On the Analyticity of Amoeba Contours

@misc{nisse2026analyticity,
  title = {{On the Analyticity of Amoeba Contours}},
  author = {Mounir Nisse},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.29654},
  eprint = {2609.29654},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.29654},
}

TY  - UNPB
TI  - On the Analyticity of Amoeba Contours
AU  - Mounir Nisse
PY  - 2026
DA  - 2026/09/01
PB  - arXiv
DO  - 10.48550/arxiv.2609.29654
UR  - https://arxiv.org/abs/2609.29654
AB  - The contour of an amoeba records the critical values of the logarithmic map and forms a fundamental interface between complex algebraic geometry and real-analytic geometry. Building on the known semianalyticity of amoeba contours, we prove the stronger statement that the componentwise exponential image of the contour of any algebraic hypersurface in (ℂ^*)^n is semialgebraic. For a smooth hypersurface, we establish a natural criterion guaranteeing that the contour is a closed real-analytic hypersurface: the logarithmic Gauss map is transverse to ℝP^n−1 and the logarithmic map has maximal rank along its critical locus. We then show that neither hypothesis is necessary, since singular or ramified critical parametrizations may still have complete real-analytic images. Finally, we derive intrinsic restrictions imposed by analyticity. In particular, every irreducible contour component of dimension n−1 is generated, over a dense open subset of its regular locus, by a real-analytic critical stratum on which the logarithmic map has maximal rank. These results distinguish the analytic geometry of the contour from the singularities of its critical parametrization and answer the question of Lang, Shapiro, and Shustin concerning effective sufficient conditions for analyticity.
ER  -