Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1010.0163

A Game for the Resolution of Singularities

Herwig Hauser·Josef Schicho
View original source ↗Read source document ↗Export metadata ↓

Abstract

We propose a combinatorial game on finite graphs, called Salmagundy, that is played by two protagonists, Dido and Mephisto. The game captures the logical structure of a proof of the resolution of singularities. In each round, the graph of the game is modified by the moves of the players. When it assumes a final configuration, Dido has won. Otherwise, the game goes on forever, and nobody wins. In particular, Mephisto cannot win himself, he can only prevent Dido from winning. We show that Dido always possesses a winning strategy, regardless of the initial shape of the graph and of the moves of Mephisto. This implies -- translating back to algebraic geometry -- that there is a choice of centers for the blowup of singular varieties in characteristic zero which eventually leads to their resolution. The algebra needed for this implication is elementary. The transcription from varieties to graphs and from blowups to modifications of the graph thus axiomatizes the proof of the resolution of singularities. In principle, the same logic could also work in positive characteristic, once an appropriate descent in dimension is settled.

Explore related subjects

math.AGmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Herwig Hauser, Josef Schicho. 2010-10-01. A Game for the Resolution of Singularities. https://doi.org/10.1112/plms%2Fpds025

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Adiabatic Limit and Deformations of Complex Structures

Based on our recent adaptation of the adiabatic limit construction to the case of complex structures, we prove the fact that the deformation limiting manifold of any holomorphic family of Moishezon manifolds is Moishezon. Two new ingredients, hopefully of independent interest, are introduced. The first one associates with every compact complex manifold $X$, in every degree $k$, a holomorphic vector bundle over $\C$ of rank equal to the $k$-th Betti number of $X$. This vector bundle, previously given an algebraic construction in the literature, shows that the degenerating page of the Frölicher spectral sequence of $X$ is the holomorphic limit, as $h\in\C^\star$ tends to $0$, of the $d_h$-cohomology of $X$, where $d_h=h\partial + \bar\partial$. A relative version of this vector bundle is then associated with every holomorphic family of compact complex manifolds. The second ingredient is a relaxation of the notion of strongly Gauduchon (sG) metric that we introduced in 2009. For a given positive integer $r$, a Gauduchon metric $γ$ on an $n$-dimensional compact complex manifold $X$ is said to be $E_r$-sG if $\partialγ^{n-1}$ represents the zero cohomology class on the $r$-th page of the Frölicher spectral sequence of $X$. Strongly Gauduchon metrics coincide with $E_1$-sG metrics.

math.AG↗
arXiv2026

Logarithmic cohomological field theories

We introduce a new logarithmic structure on the moduli stack of stable curves, admitting logarithmic gluing maps. Using this we define cohomological field theories taking values in the logarithmic Chow cohomology ring, a refinement of the usual notion of a cohomological field theory. We realise the double ramification cycle as a partial logarithmic cohomological field theory.

math.AG↗
arXiv2026

Chow quotients of ${\mathbb C}^*$-actions on convex varieties

In this paper we study the Chow quotient ${\mathcal C}X$ of a convex variety $X$ of Picard number one by the action of a one dimensional torus having no non-trivial finite isotropy. Examples of these actions can be found in the rational homogeneous framework. We prove that the subvariety of ${\mathcal C}X$ parametrizing reducible torus-invariant cycles is a simple normal crossing divisor, we compute the Nef and Mori cones of ${\mathcal C}X$, and its anticanonical divisor.

math.AG↗