Table of Contents
Fetching ...

Bounding minimal log discrepancies of general arrangement varieties

Leandro Meier

TL;DR

The paper proves Shokurov's conjectured bound $\mathrm{mld}_x(X) \le \dim(X)$ for klt general arrangement varieties of arbitrary complexity by exploiting presentations as quotients by diagonalizable groups and applying known $mld$-bounds for local complete intersections via Cox rings. The approach reduces to cone singularities or toroidal-analogue settings and uses quotient techniques to transfer bounds from simpler cases to the general arrangement setting. This extends the class of varieties for which the $mld$-bound holds beyond previously settled cases (dimension $\le 3$, toric, and lci), contributing a new pillar in the birational classification program and the study of singularities in the MMP. The results also highlight the utility of Cox rings and quotient-geometry in controlling singularities of $T$-varieties, offering a framework that may inform future extensions to broader classes of singularities.

Abstract

The minimal log discrepancy is an invariant of singularities that plays an important role in the birational classification of algebraic varieties. Shokurov conjectured that the minimal log discrepancy can always be bounded from above in terms of the dimension of the variety. We prove this conjecture for general arrangement varieties, a particular class of T-varieties, adding to previous results on this conjecture which include threefolds, toric varieties, and local complete intersection varieties.

Bounding minimal log discrepancies of general arrangement varieties

TL;DR

The paper proves Shokurov's conjectured bound for klt general arrangement varieties of arbitrary complexity by exploiting presentations as quotients by diagonalizable groups and applying known -bounds for local complete intersections via Cox rings. The approach reduces to cone singularities or toroidal-analogue settings and uses quotient techniques to transfer bounds from simpler cases to the general arrangement setting. This extends the class of varieties for which the -bound holds beyond previously settled cases (dimension , toric, and lci), contributing a new pillar in the birational classification program and the study of singularities in the MMP. The results also highlight the utility of Cox rings and quotient-geometry in controlling singularities of -varieties, offering a framework that may inform future extensions to broader classes of singularities.

Abstract

The minimal log discrepancy is an invariant of singularities that plays an important role in the birational classification of algebraic varieties. Shokurov conjectured that the minimal log discrepancy can always be bounded from above in terms of the dimension of the variety. We prove this conjecture for general arrangement varieties, a particular class of T-varieties, adding to previous results on this conjecture which include threefolds, toric varieties, and local complete intersection varieties.

Paper Structure

This paper contains 11 sections, 11 theorems, 18 equations.

Key Result

Lemma 2.23

Let $X$ be a $\mathbb{Q}$-Gorenstein variety, let $W \subseteq X$ be a closed subset and $U \subseteq X$ an open subset such that $W \cap U \ne \emptyset$. Then $\mathop{\mathrm{mld}}\nolimits_{W}\left( X \right) = \mathop{\mathrm{mld}}\nolimits_{W}\left( U \right)$.

Theorems & Definitions (47)

  • Conjecture : Shokurov, 1988
  • Definition 2.1
  • Remark 2.2
  • Definition 2.3
  • Remark 2.4
  • Example 2.5
  • Definition 2.6: Definition 3.12 in HaHiWr2019OnTorusAct
  • Definition 2.7
  • Example 2.8
  • Definition 2.9
  • ...and 37 more