Nashtopes and their A-discriminants
Abstract
An n-player game in normal form is said to be of format d = (d1, …, dn) if the i-th player has di options for 1 ≤ i ≤ n, and is said to be balanced if dn − 1 ≤ ∑i=1n−1(di − 1). The Nash equilibria of the game correspond to solutions of the system of indifference equations for the game, with payoff differences as coefficients and strategy probabilities as variables. As such, the mixed discriminant of this system gives some information about which games could have an unusual number of totally mixed Nash equilibria. This mixed discriminant can be regarded as an 𝒜-discriminant for some matrix 𝒜 in the sense of [Gelfand--Kapranov--Zelevinsky 1994], and the convex hull of the columns of 𝒜 is a polytope, which we call the Nashtope. We study this 𝒜-discriminant for each balanced game format with at least three players. This discriminant is a subset of the Nash discriminant variety introduced in [Abo--Portakal--Sodomaco 2026]. We compute the codimension and degree of this discriminant for all balanced game formats, including on-boundary formats, using the Euler obstruction formula in [Matsui--Takeuchi 2011]. Our 𝒜-discriminant locus corresponds to a special multigraded Hurwitz locus studied in [Pratt--Sodomaco--Sturmfels 2026]. As a consequence of [Pokidkin 2026], we obtain the codimensions and degrees of the irreducible components of the Nash discriminant variety for each balanced game format with at least three players, fully resolving Problem 3.8 of [Abo--Portakal--Sodomaco 2026].
Related
- Discriminants of Hermitian forms, maximal degenerations and Kontsevich's tropical approach to the Hodge conjecture
- Matrix Completion Discriminants
- Whitney fold and cusp for algebraic surfaces, and singularities of discriminants
- The density of discriminants of A4-quartic fields
- ON THE DISTANCE TO DISCRIMINANTS AND OSCULATING VARIETIES
BibTeX
@misc{neuhaus2026nashtopes,
title = {{Nashtopes and their A-discriminants}},
author = {Elke Neuhaus and Irem Portakal and Luca Sodomaco and Katherine Tung},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.29889},
eprint = {2610.29889},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.29889},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Nashtopes and their A-discriminants
AU - Elke Neuhaus
AU - Irem Portakal
AU - Luca Sodomaco
AU - Katherine Tung
PY - 2026
DA - 2026/10/21
PB - arXiv
DO - 10.48550/arxiv.2610.29889
UR - https://arxiv.org/abs/2610.29889
AB - An n-player game in normal form is said to be of format d = (d_1, …, d_n) if the i-th player has d_i options for 1 ≤ i ≤ n, and is said to be balanced if d_n − 1 ≤ ∑_i=1^n−1(d_i − 1). The Nash equilibria of the game correspond to solutions of the system of indifference equations for the game, with payoff differences as coefficients and strategy probabilities as variables. As such, the mixed discriminant of this system gives some information about which games could have an unusual number of totally mixed Nash equilibria. This mixed discriminant can be regarded as an 𝒜-discriminant for some matrix 𝒜 in the sense of [Gelfand--Kapranov--Zelevinsky 1994], and the convex hull of the columns of 𝒜 is a polytope, which we call the Nashtope. We study this 𝒜-discriminant for each balanced game format with at least three players. This discriminant is a subset of the Nash discriminant variety introduced in [Abo--Portakal--Sodomaco 2026]. We compute the codimension and degree of this discriminant for all balanced game formats, including on-boundary formats, using the Euler obstruction formula in [Matsui--Takeuchi 2011]. Our 𝒜-discriminant locus corresponds to a special multigraded Hurwitz locus studied in [Pratt--Sodomaco--Sturmfels 2026]. As a consequence of [Pokidkin 2026], we obtain the codimensions and degrees of the irreducible components of the Nash discriminant variety for each balanced game format with at least three players, fully resolving Problem 3.8 of [Abo--Portakal--Sodomaco 2026].
ER -