We first construct explicit bases for the cotangent spaces at singular points on Hibi toric varieties, i.e., toric varieties associated to distributive lattices. We then determine the singular loci of these toric varieties.
We compute the divisor class group and the Picard group of projective varieties with Hibi rings as homogeneous coordinate rings. These varieties are precisely the toric varieties associated to order polytopes. We use tools from the theory of toric varieties to get a description of the two groups which only depends on combinatorial properties of the underlying poset.
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.
We describe the non-Gorenstein loci of normal toric varieties. In the case of Hibi rings a combinatorial description is provided in terms of the underlying partially ordered set. As a non-toric application we compute the dimensions of the non-Gorenstein loci of the first secant variety of Segre varieties.
In this paper, we study splitting (or toric) non-commutative crepant resolutions (= NCCRs) of some toric rings. In particular, we consider Hibi rings, which are toric rings arising from partially ordered sets, and show that Gorenstein Hibi rings with class group $\mathbb{Z}^2$ have a splitting NCCR. In the appendix, we also discuss Gorenstein toric rings with class group $\mathbb{Z}$, in which case the existence of splitting NCCRs is already known. We especially observe the mutations of modules giving splitting NCCRs for the three dimensional case, and show the connectedness of the exchange gr…
In this manuscript we sharpen the lower bound on the codimension of the irreducible components of the Noether-Lefschetz locus of surfaces in projective toric threefolds given in [BG17]. We also provide a simpler proof of Theorem 4.11 in [BG17], which allows one to avoid some technical assumptions.
We study the real loci of toric degenerations of complex varieties with reducible central fibre. We show that the topology of such degenerations can be explicitly described via the Kato-Nakayama space of the central fibre as a log space. We furthermore provide generalities of real structures in log geometry and their lift to Kato-Nakayama spaces. A key point of this paper is a description of the Kato-Nakayama space of a toric degeneration and its real locus, both as bundles determined by combinatorial data. We provide several examples including real toric degenerations of K3-surfaces and a tor…
We study equivariant bi-vector fields on a toric variety. We prove that, on a smooth toric variety of dimension $n$, the locus where the rank of an equivariant bi-vector field is $\leq 2k$ is not empty and has at least a component of dimension $\geq 2k+1$, for all integers $k> 0$ such that $2k < n$. The same is true also for $k=0$, if the toric variety is smooth and compact. While for the non compact case, the locus in question has to be assumed to be non empty.
We construct a family of flat semitoric degenerations for the Hibi variety of every finite distributive lattice. The irreducible components of each degeneration are the toric varieties associated with polytopes forming a regular subdivision of the order polytope of the underlying poset. These components are themselves Hibi varieties. For each degeneration in our family we also define the corresponding weight polytope and embed the degeneration into the associated toric variety as the union of orbit closures given by a set of faces. Every such weight polytope projects onto the order polytope wi…
We continue our study of the Noether-Lefschetz loci in toric varieties and investigate deformation of pairs (V,X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a odd dimensional simplicial projective toric variety, with V\subset X. Under some assumptions, we prove that the cohomological class in H^{k,k}(X) associated to V remains of type (k,k) under an infinitesimal deformation if and only if V remains algebraic. Actually we prove that locally the Noether-Lefschetz locus is an irreducible component of a suitable Hilbert scheme. This generalizes Theorem 4.2 …
The notion of a d-critical locus is an ingredient in the definition of motivic Donaldson-Thomas invariants by [BJM19]. There is a canonical d-critical locus structure on the Hilbert scheme of dimension zero subschemes on local toric Calabi-Yau 3-folds. This is obtained by truncating the $-1$-shifted symplectic structure on the derived moduli stack [BBBBJ15]. In this paper we show the canonical d-critical locus structure has critical charts consistent with the description of Hilbert scheme as a degeneracy locus [BBS13]. In particular, the canonical d-critical locus structure is isomorphic to th…
We study the base locus of the higher fundamental forms of a projective toric variety $X$ at a general point. More precisely we consider the closure $X$ of the image of a map $({\mathbb C}^*)^k\to {\mathbb P}^n$, sending $t$ to the vector of Laurent monomials with exponents $p_0,\dots,p_n\in {\mathbb Z}^k$. We prove that the $m$-th fundamental form of such an $X$ at a general point has non empty base locus if and only if the points $p_i$ lie on a suitable degree-$m$ affine hypersurface. We then restrict to the case in which the points $p_i$ are all the lattice points of a lattice polytope and …
Exceptional loci of F-blowups and $G$-Hilbert schemes
Instituto de Ingeniería y Tecnología, UACJ(乌斯帕塔技术工程研究所);The University of Osaka(大阪大学);Kavli Institute for the Physics and Mathematics of the Universe, The University of Tokyo(东京大学宇宙物理与数学研究所)
In this article, we establish the arithmetic purity of strong approximation for smooth loci of weighted projective spaces. By using this result and the descent method, we also prove that the arithmetic purity of strong approximation with Brauer-Manin obstruction holds for any smooth and complete toric variety.
Adapting focal loci techniques used by Chiantini and Lopez, we provide lower bounds on the genera of curves contained in very general surfaces in Gorenstein toric threefolds. We illustrate the utility of these bounds by obtaining results on algebraic hyperbolicity of very general surfaces in toric threefolds.
In this paper, we study derived categories of certain toric varieties with Picard number three that are blowing-up another toric varieties along their torus invariant loci of codimension at most three. We construct strong full exceptional collections by using Orlov's blow-up formula and mutations.
In this paper, we prove that: For any given finitely many distinct points $P_1,...,P_r$ and a closed subvariety $S$ of codimension $\geq 2$ in a complete toric variety over a uncountable (characteristic 0) algebraically closed field, there exists a rational curve $f:\mathbb{P}^1\to X$ passing through $P_1,...,P_r$, disjoint from $S\setminus \{P_1,...,P_r\}$ (see Main Theorem). As a corollary, we prove that the smooth loci of complete toric varieties are strongly rationally connected.
We say that a group G acts infinitely transitively on a set X if for every integer m the induced diagonal action of G is transitive on the cartesian mth power of X with the diagonals removed. We describe three classes of affine algebraic varieties such that their automorphism groups act infinitely transitively on their smooth loci. The first class consists of affine cones over flag varieties, the second of non-degenerate affine toric varieties, and the third of iterated suspensions over affine varieties with infinitely transitive automorphism groups of a reinforced type.
In this note we introduce higher order polar loci as natural generalizations of the classical polar loci, replacing the role of tangent spaces by that of higher order osculating spaces. The close connection between polar loci and dual varieties carries over to a connection between higher order polar loci and higher order dual varieties. We generalize the duality between the degrees of polar classes of a variety and those of its dual variety to varieties that are reflexive to a higher order. In particular, the degree of the top (highest codimension) polar class of order k is equal to the degree…
We describe a practical and effective method for reconstructing the deformation class of a Fano manifold X from a Laurent polynomial f that corresponds to X under Mirror Symmetry. We explore connections to nef partitions, the smoothing of singular toric varieties, and the construction of embeddings of one (possibly-singular) toric variety in another. In particular, we construct degenerations from Fano manifolds to singular toric varieties; in the toric complete intersection case, these degenerations were constructed previously by Doran--Harder. We use our method to find models of orbifold del …
Castelnuovo-Mumford regularity of toric varieties with at most one singular point
Universidad de La Laguna(拉古纳大学);Instituto de Matemáticas y Aplicaciones (IMAULL), Sección de Matemáticas, Facultad de Ciencias, Universidad de La Laguna(拉古纳大学理学院数学系数学与应用数学研究所 (IMAULL));Universidad de Valladolid(巴利亚多利德大学);Instituto de Investigación en Matemáticas de la Universidad de Valladolid (IMUVA), Universidad de Valladolid(巴利亚多利德大学)
We find a relation between mixed volumes of several polytopes and the convex hull of their union, deducing it from the following fact: the mixed volume of a collection of polytopes only depends on the product of their support functions (rather than on the individual support functions). For integer polytopes, this dependence is essentially a certain specialization of the isomorphism between two well-known combinatorial models for the cohomology of toric varieties, however, this construction has not been extended to arbitrary polytopes so far (partially due to the lack of combinatorial tools cap…