ID: 2401.12090

Sch\"on complete intersections

January 22, 2024

View on ArXiv
Alexander Esterov
Mathematics
Algebraic Geometry

A complete intersection $f_1=\cdots=f_k=0$ is sch\"on, if $f_1=\cdots=f_j=0$ defines a sch\"on subvariety of an algebraic torus for every $j\leqslant k$. This class includes nondegenerate complete intersections, critical loci of their coordinate projections, other simplest Thom--Boardman and multiple point strata of such projections, generalized Calabi--Yau complete intersections, equaltions of polynomial optimization, hyperplane arrangement complements, and many other interesting special varieties. We study their Euler characteristics, connectednes, Calabi--Yau-ness, tropicalizations, etc., extending (in part conjecturally) the respective classical results about nondegenerate complete intersections.

Similar papers 1

Benoit Bertrand, Frederic Bihan
Algebraic Geometry
Combinatorics

We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic...

Martin Helmer
Algebraic Geometry
Symbolic Computation

Let $V$ be a possibly singular scheme-theoretic complete intersection subscheme of $\mathbb{P}^n$ over an algebraically closed field of characteristic zero. Using a recent result of Fullwood ("On Milnor classes via invariants of singular subschemes", Journal of Singularities) we develop an algorithm to compute the Chern-Schwartz-MacPherson class and Euler characteristic of $V$. This algorithm complements existing algorithms by providing performance improvements in the computa...

Giulio Caviglia, Alessio Sammartano
Commutative Algebra
Algebraic Geometry

Let $ e_1, ..., e_c $ be positive integers and let $ Y \subseteq \mathbb{P}^n$ be the monomial complete intersection defined by the vanishing of $x_1^{e_1}, ..., x_c^{e_c}$. In this paper we study sharp upper bounds on the number of equations and syzygies of subschemes parametrized by the Hilbert scheme of points $Hilb^d(Y)$, and discuss applications to the Hilbert scheme of points $Hilb^d(X)$ of arbitrary complete intersections $X \subseteq \mathbb{P}^n$.

Kiumars Kaveh, A. G. Khovanskii
Algebraic Geometry

Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G/H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete intersections are smooth varieties. We compute their arithmetic genus as well as some of their h^{p,0} numbers. The answers are given in terms of the moment polytopes and Newton-Okounkov polytopes associated to G-invariant linear systems. We also give...

Helmut A. Hamm
Algebraic Geometry

We discuss conditions for complete intersections in a toric variety which allow to compute Hodge numbers if the complete intersection is a quasi-smooth complete variety. A preliminary step is the computation of the Euler characteristic of differential forms, we also look at symmetric or arbitrary forms instead of the usual alternating ones.

Nathan Ilten, Tyler L. Kelly
Algebraic Geometry

We study Fano schemes $F_k(X)$ for complete intersections $X$ in a projective toric variety $Y\subset \mathbb{P}^n$. Our strategy is to decompose $F_k(X)$ into closed subschemes based on the irreducible decomposition of $F_k(Y)$ as studied by Ilten and Zotine. We define the expected dimension for these subschemes, which always gives a lower bound on the actual dimension. Under additional assumptions, we show that these subschemes are non-empty and smooth of the expected dimen...

Andreas Gross
Algebraic Geometry

We introduce a relative refined $\chi_y$-genus for sch\"on subvarieties of algebraic tori. These are rational functions of degree minus the codimension with coefficients in the ring of lattice polytopes. We prove that the relative refined $\chi_y$ turns sufficiently generic intersections into products, and that we can recover the ordinary $\chi_y$-genus by counting lattice points. Applying the tropical Chern character to the relative refined $\chi_y$-genus we obtain a refined...

Mihai Halic
Algebraic Geometry

We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of rational homogeneous varieties are complete intersections.

Makoto Miura
Algebraic Geometry
Combinatorics

In this article, we summarize combinatorial description of complete intersection Calabi-Yau threefolds in Hibi toric varieties. Such Calabi-Yau threefolds have at worst conifold singularities, and are often smoothable to non-singular Calabi-Yau threefolds. We focus on such non-singular Calabi-Yau threefolds of Picard number one, and illustrate the calculation of topological invariants, using new motivating examples.

Margherita Barile
Algebraic Geometry
Commutative Algebra

We present a class of toric varieties $V$ which, over any algebraically closed field of characteristic zero, are defined by codim $V$+1 binomial equations.