On blowing up minimal toric surfaces

Antonio Laface,Luca Ugaglia

2024-03-20

Abstract:We prove that the Cox ring of the blowing-up of a minimal toric surface of Picard rank two is finitely generated. As part of our proof of this result we provide a necessary and sufficient condition for finite generation of Cox rings of normal projective $\mathbb Q$-factorial surfaces.

Algebraic Geometry

What problem does this paper attempt to address?

Cox rings of nef anticanonical rational surfaces

Michela Artebani,Sofía Pérez Garbayo

2024-03-15

Abstract:This paper deals with the problem of computing a generating set for the Cox ring $R(X)$ of a smooth projective rational surface $X$ with nef anticanonical class. In case $R(X)$ is finitely generated, we show that the degrees of its generators are either classes of negative curves, elements of the Hilbert basis of the nef cone or certain ample classes of anticanonical degree one, which only appear when $X$ is a rational elliptic surface of Halphen index $m>2$. Moreover, we partially characterize which elements of the Hilbert basis of the nef cone are irredundant for generating $R(X)$. We apply this result to compute explicit minimal generating sets for Cox rings of some rational elliptic surfaces of Halphen index $>1$.

Algebraic Geometry
The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

Carlos Galindo,Francisco Monserrat,Carlos-Jesús Moreno-Ávila

2024-01-14

Abstract:Let $X$ be a rational surface obtained by blowing up at a configuration $\mathcal{C}$ of infinitely near points over a Hirzebruch surface $\mathbb{F}_\delta$. We prove that there exist two positive integers $a \leq b$ such that the cone of curves of $X$ is finite polyhedral and minimally generated when $\delta \geq a$, and the Cox ring of $X$ is finitely generated whenever $\delta \geq b$. The integers $a$ and $b$ depend only on a combinatorial object (a graph decorated with arrows) representing the strict transforms of the exceptional divisors, their intersections and those with the fibers and special section of $\mathbb{F}_\delta$.

Algebraic Geometry
The Cox ring of an embedded variety

Cristóbal Herrera,Antonio Laface,Luca Ugaglia

2024-11-26

Abstract:We compute the Cox ring of an embedded variety $X \subseteq Z$ within a Mori dream space, under the assumption that the pullback map induces an isomorphism at the level of divisor class groups. We show that the Cox ring of $X$ is the intersection of finitely many localizations of a quotient image of the Cox ring of $Z$. As a consequence, we provide an algorithm that terminates if and only if the Cox ring of $X$ is finitely generated, thereby generalizing previous works on the subject. We apply these results to compute the Cox ring of hypersurfaces in smooth projective toric varieties.

Algebraic Geometry
Cox rings and symplectic quotient singularities with torus action

Maksymilian Grab

DOI: https://doi.org/10.48550/arXiv.1807.11438

2020-10-19

Abstract:We develop a method of finding a Cox ring of a crepant resolution of a quotient singularity with a torus action and apply it to examples of symplectic quotient singularities in dimension 4. In addition we obtain a bound on the degrees of homogeneous generators of the Cox ring in a more general setup, based on the multigraded Castelnuovo-Mumford regularity and Kawamata-Viehweg vanishing.

Algebraic Geometry
On the finite generation of valuation semigroups on toric surfaces

Klaus Altmann,Christian Haase,Alex Küronya,Karin Schaller,Lena Walter

2024-05-07

Abstract:We provide a combinatorial criterion for the finite generation of a valuation semigroup associated with an ample divisor on a smooth toric surface and a non-toric valuation of maximal rank. As an application, we construct a lattice polytope such that none of the valuation semigroups of the associated polarized toric variety coming from one-parameter subgroups and centered at a non-toric point are finitely generated.

Algebraic Geometry
Algebra and Geometry of Irreducible toric vector bundles of rank $n$ on $\mathbb{P}^n$

Courtney George,Christopher Manon

2023-08-17

Abstract:We construct a presentation for the Cox ring of the projectivization $\mathbb{P}\mathcal{E}$ of any rank $n$ irreducible toric vector bundle on $\mathbb{P}^n$. We use this presentation to show that $\mathbb{P}\mathcal{E}$ always satisfies Fujita's freeness and ampleness conjectures.

Algebraic Geometry
Positivity properties of divisors on Toric Vector Bundles

Courtney George,Christopher Manon

2023-08-17

Abstract:We use presentations of the Cox rings of projectivized toric vector bundles and elements of matroid theory to compute Newton-Okounkov bodies, effective cones, and nef cones of these spaces. As an application we analyze the Fano property and establish Fujita's freeness and ampleness conjectures for several classes of projectivized toric vector bundles.

Algebraic Geometry
Codimension two torus actions on the affine space

Alvaro Liendo,Charlie Petitjean

2024-11-22

Abstract:In this paper, we classify smooth, contractible affine varieties equipped with faithful torus actions of complexity two, having a unique fixed point and a two-dimensional algebraic quotient isomorphic to a toric blow-up of a toric surface. These varieties are of particular interest as they represent the simplest candidates for potential counterexamples to the linearization conjecture in affine geometry.

Algebraic Geometry
The minimal fibering degree of a toric variety equals the lattice width of its polytope

Audric Lebovitz,David Stapleton

2023-08-09

Abstract:The purpose of this paper is to compute the minimal fibering degree of an arbitrary projective toric variety. We prove that it equals the lattice width of the associated polytope. This gives a complete answer to a question asked in a recent paper of Levinson, Ullery and the second author. The minimal fibering degree of a polarized projective variety was introduced in that paper in order to compute the degree of irrationality (a generalization of gonality) of high degree divisors. From this perspective, our paper gives a higher dimensional analogue of results of Kawaguchi and others who computed the gonality of curves in toric surfaces in terms of lattice widths.

Algebraic Geometry
On locally factorial Fano fourfolds of Picard number two

Andreas Bäuerle,Christian Mauz

2024-02-11

Abstract:We classify the locally factorial Fano fourfolds of Picard number two with a hypersurface Cox ring that admit an effective action of a three-dimensional torus.

Algebraic Geometry
Minimality of a toric embedded resolution of singularities after Bouvier-Gonzalez-Sprinberg

Büşra Karadeniz Şen,Camille Plénat,Meral Tosun

2023-07-06

Abstract:This paper is devoted to construct a minimal toric embedded resolution of a rational singularity via jet schemes. The minimality is reached by extending the concept of the profile of a simplicial cone given in 6.

Algebraic Geometry
The toric ring of one dimensional simplicial complexes

Antonino Ficarra,Jürgen Herzog,Dumitru I. Stamate

2023-06-08

Abstract:Let $\Delta$ be a 1-dimensional simplicial complex. Then $\Delta$ may be identified with a finite simple graph $G$. In this article, we investigate the toric ring $R_G$ of $G$. All graphs $G$ such that $R_G$ is a normal domain are classified. For such a graph, we determine the set $\mathcal{P}_G$ of height one monomial prime ideals of $R_G$. In the bipartite case, and in the case of whiskered cycles, this set is explicitly described. As a consequence, we determine the canonical class $[\omega_{R_G}]$ and characterize the Gorenstein property of $R_G$. For a bipartite graph $G$, we show that $R_G$ is Gorenstein if and only if $G$ is unmixed. For a subclass of non-bipartite graphs $G$, which includes whiskered cycles, $R_G$ is Gorenstein if and only if $G$ is unmixed and has an odd number of vertices. Finally, it is proved that $R_G$ is a pseudo-Gorenstein ring if $G$ is an odd cycle.

Commutative Algebra
On weak Fano manifolds with small contractions obtained by blow-ups of a product of projective spaces

Toru Tsukioka

DOI: https://doi.org/10.48550/arXiv.1610.07007

2016-10-22

Abstract:We consider weak Fano manifolds with small contractions obtained by blowing up successively curves and subvarieties of codimension 2 in products of projective spaces. We give a classification result for a special case. In the process of proof, we describe explicitly the structure of nef cones and compute the self intersection numbers of anti-canonical divisors for such weak Fano manifolds.

Algebraic Geometry
Cohomological vanishing on blown-up projective spaces

Marco Flores

2024-11-19

Abstract:By utilizing elementary techniques from toric geometry, we prove sharp cohomological vanishing results for line bundles defined on the blow-up of projective space $\mathbb{P}^n$ at no more than $n+1$ points.

Algebraic Geometry
On Toric Generators in the Unitary and Special Unitary Bordism Rings

Zhi Lu,Taras Panov

DOI: https://doi.org/10.2140/agt.2016.16.2865

2016-01-01

Algebraic & Geometric Topology

Abstract:We construct a new family of toric manifolds generating the unitary bordism ring. Each manifold in the family is the complex projectivisation of the sum of a line bundle and a trivial bundle over a complex projective space. We also construct a family of special unitary quasitoric manifolds which contains polynomial generators of the special unitary bordism ring with 2 inverted in dimensions >8. Each manifold in the latter family is obtained from an iterated complex projectivisation of a sum of line bundles by amending the complex structure to make the first Chern class vanish.
Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings

Steven Amelotte,Benjamin Briggs

2023-05-26

Abstract:A fundamental result in toric topology identifies the cohomology ring of the moment-angle complex $\mathcal{Z}_K$ associated to a simplicial complex $K$ with the Koszul homology of the Stanley--Reisner ring of $K$. By studying cohomology operations induced by the standard torus action on the moment-angle complex, we extend this to a topological interpretation of the minimal free resolution of the Stanley-Reisner ring. The exterior algebra module structure in cohomology induced by the torus action recovers the linear part of the minimal free resolution, and we show that higher cohomology operations induced by the action (in the sense of Goresky-Kottwitz-MacPherson) can be assembled into an explicit differential on the resolution. Describing these operations in terms of Hochster's formula, we recover and extend a result due to Katthän. We then apply all of this to study the equivariant formality of torus actions on moment-angle complexes. For these spaces, we obtain complete algebraic and combinatorial characterisations of which subtori of the naturally acting torus act equivariantly formally.

Algebraic Topology,Commutative Algebra
Stability and largeness properties of minimal surfaces in higher codimension

Ailana Fraser,Richard Schoen

2023-03-14

Abstract:We consider stable minimal surfaces of genus 1 in Euclidean space and in Riemannian manifolds. Under the condition of covering stability (all finite covers are stable) we show that a genus 1 finite total curvature minimal surface in $\mathbb R^n$ lies in an even dimensional affine subspace and is holomorphic for some constant orthogonal complex structure. For stable minimal tori in Riemannian manifolds we give an explicit bound on the systole in terms of a positive lower bound on the isotropic curvature. As an application we estimate the systole of noncyclic abelian subgroups of the fundamental group of PIC manifolds. This gives a new proof of the result of [5] that the fundamental cannot contain a noncyclic free abelian subgroup. The proofs apply the structure theory of holomorphic vector bundles over genus 1 Riemann surfaces developed by M. Atiyah [2].

Differential Geometry
The Picard index of a surface with torus action

Justus Springer

DOI: https://doi.org/10.1007/s13348-024-00443-x

2024-10-25

Abstract:We consider normal rational projective surfaces with torus action and provide a formula for their Picard index, that means the index of the Picard group inside the divisor class group. As an application, we classify the log del Pezzo surfaces with torus action of Picard number one up to Picard index 10,000.

Algebraic Geometry
Toric rings attached to simplicial complexes

Jürgen Herzog,Somayeh Moradi,Ayesha Asloob Qureshi

2023-10-10

Abstract:We consider standard graded toric rings $R_{\Delta}$ whose generators correspond to the faces of a simplicial complex $\Delta$. When $R_{\Delta}$ is normal, it is shown that its divisor class group is free. For a flag complex $\Delta$ which is the clique complex of a perfect graph, a nice description for the class group and the canonical module of $R_{\Delta}$ in terms of the minimal vertex covers of the graph is given. Moreover, for a quasi-forest simplicial complex a quadratic Gröbner basis for the defining ideal of $R_{\Delta}$ is presented. Using this fact we give combinatorial descriptions for the $a$-invariant and the Gorenstein property of $R_\Delta$.

Commutative Algebra,Combinatorics

On blowing up minimal toric surfaces

Cox rings of nef anticanonical rational surfaces

The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

The Cox ring of an embedded variety

Cox rings and symplectic quotient singularities with torus action

On the finite generation of valuation semigroups on toric surfaces

Algebra and Geometry of Irreducible toric vector bundles of rank $n$ on $\mathbb{P}^n$

Positivity properties of divisors on Toric Vector Bundles

Codimension two torus actions on the affine space

The minimal fibering degree of a toric variety equals the lattice width of its polytope

On locally factorial Fano fourfolds of Picard number two

Minimality of a toric embedded resolution of singularities after Bouvier-Gonzalez-Sprinberg

The toric ring of one dimensional simplicial complexes

On weak Fano manifolds with small contractions obtained by blow-ups of a product of projective spaces

Cohomological vanishing on blown-up projective spaces

On Toric Generators in the Unitary and Special Unitary Bordism Rings

Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings

Stability and largeness properties of minimal surfaces in higher codimension

The Picard index of a surface with torus action

Toric rings attached to simplicial complexes