Intersection complexes of fans and toric varieties

Remarks on the combinatorial intersection cohomology of fans

We review the theory of combinatorial intersection cohomology of fans developed by Barthel-Brasselet-Fieseler-Kaup, Bressler-Lunts, and Karu. This theory gives a substitute for the intersection cohomology of toric varieties which has all the expected formal properties but makes sense even for non-rational fans, which do not define a toric variety. As a result, a number of interesting results on the toric $g$ and $h$ polynomials have been extended from rational polytopes to general polytopes. We present explicit complexes computing the combinatorial IH in degrees one and two; the degree two com…

The category of toric stacks

In this paper, we prove that there exists an equivalence between 2-category of smooth Deligne-Mumford stacks with torus-embeddings and actions, and the 1-category of stacky fans. For this purpose, we obtain two main results. The first is to investigate a combinatorial aspect of the 2-category of toric algebraic stacks defined in \cite{I2}. We establish an equivalence between the 2-category of toric algebraic stacks and the 1-category of stacky fans. The second is to give a geometric characterization theorem for toric algebraic stacks.

有理二重点奇点的Gröbner扇与最小嵌入环面消解

Gröbner Fans and Minimal Embedded Toric Resolutions of Rational Double Point Singularities

本文通过显式构造ADE奇点的Gröbner扇并利用profile概念进行加细，重构了有理二重点奇点的嵌入环面消解。

回环型变种与着色扇的概述

An overview of horospherical varieties and coloured fans

本文通过着色扇理论概述回环型变种的组合结构，扩展了紧致型变种理论的应用范围。

Dual fans and mirror symmetry

We show that the mirror constructions of Greene-Plesser, Berglund-Hubsch, Batryev-Borsov, Givental and Hori-Vafa can be expressed in terms of what we call dual fans. To do this, we associate to a pair of dual fans a pair of toric Landau-Ginzburg models, and we describe a process by which each of the mirror constructions listed also produces a pair of toric Landau-Ginzburg models. Replacing mirror pairs by toric Landau-Ginzburg models is reversible, and our main result is the dual fan models and the mirror pairs models coincide.

Mixed volumes of normal complexes

Normal complexes are orthogonal truncations of polyhedral fans. In this paper, we develop the study of mixed volumes for normal complexes. Our main result is a sufficiency condition that ensures when the mixed volumes of normal complexes associated to a given fan satisfy the Alexandrov-Fenchel inequalities. By specializing to Bergman fans of matroids, we give a new proof of the Heron-Rota-Welsh Conjecture as a consequence of the Alexandrov-Fenchel inequalities for normal complexes.

Toric Stacks I: The Theory of Stacky Fans

The purpose of this paper and its sequel (Toric Stacks II) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties. In this paper, we define a \emph{toric stack} as a quotient of a toric variety by a subgroup of its torus (we also define a generically stacky version). Any toric stack arises from a combinatorial gadget called a \emph{stacky fan}. We develop a dictionary between the combinatorics of stacky fans and the geometry of toric stacks, stress…

Combinatorial Intersection Cohomology for Fans

We continue the approach toward a purely combinatorial "virtual" intersection cohomology for possibly non-rational fans, based on our investigation of equivariant intersection cohomology for toric varieties (see math.AG/9904159). Fundamental objects of study are "minimal extension sheaves" on "fan spaces". These are flabby sheaves of graded modules over a sheaf of polynomial rings, satisfying three relatively simple axioms that characterize the properties of the equivariant intersection cohomology sheaf on a toric variety, endowed with the finite topology given by open invariant subsets. These…

A Theory of Stacky Fans

We study the category of KM fans - a "stacky" generalization of the category of fans considered in toric geometry - and its various realization functors to "geometric" categories. The "purest" such realization takes the form of a functor from KM fans to the 2-category of stacks over the category of fine fans, in the "characteristic-zero-étale" topology. In the algebraic setting, over a field of characteristic zero, we have a realization functor from KM fans to (log) Deligne-Mumford stacks. We prove that this realization functor gives rise to an equivalence of categories between (lattice) KM fa…

高阶Gelfand-Kapranov-Zelevinsky扇形

Higher rank Gelfand-Kapranov-Zelevinsky fans

本文研究高阶GKZ扇形，通过点配置构造高阶拟估值，将相关紧致簇平坦退化为减少的紧致簇联合体，编码点配置的多面体细分。

Jumping deformations of complete toric varieties

We construct one-parameter complex analytic families whose special fibers are complete toric varieties. Under some assumptions, the general fibers of these families also become toric varieties and we can explicitly describe the corresponding fans from the data of the fans corresponding to the special fibers. Using these families, we give a deformation family for a certain toric weakened Fano 3-fold. Moreover, we get some examples of toric weakened Fano 4-folds.

Toric varieties and spherical embeddings over an arbitrary field

We are interested in two classes of varieties with group action, namely toric varieties and spherical embeddings. They are classified by combinatorial objects, called fans in the toric setting, and colored fans in the spherical setting. We characterize those combinatorial objects corresponding to varieties defined over an arbitrary field $k$. Then we provide some situations where toric varieties over $k$ are classified by Galois-stable fans, and spherical embeddings over $k$ by Galois-stable colored fans. Moreover, we construct an example of a smooth toric variety under a 3-dimensional nonspli…

Purely Algebraic Method to Construct Toric Schemes

In this article, we first give some elementary proprieties of monoids and fans, then construct a toric scheme over an arbitrary ring, from a given fan. Using Valuative Criterion, we prove that this scheme is separated and give the sufficient and necessary condition when it is proper. We also study the regularity and logarithmic regularity of it. Finally we study the morphisms of toric schemes induced by the homomorphisms of fans.

Classifying Toric and Semitoric Fans by Lifting Equations from ${\rm SL}_2({\mathbb Z})$

We present an algebraic method to study four-dimensional toric varieties by lifting matrix equations from the special linear group ${\rm SL}_2({\mathbb Z})$ to its preimage in the universal cover of ${\rm SL}_2({\mathbb R})$. With this method we recover the classification of two-dimensional toric fans, and obtain a description of their semitoric analogue. As an application to symplectic geometry of Hamiltonian systems, we give a concise proof of the connectivity of the moduli space of toric integrable systems in dimension four, recovering a known result, and extend it to the case of semitoric …

环面栈的函子分类

A Functorial Classification of Toric Stacks

本文通过引入栈扇2-范畴$\textsf{StkFan}$，构造其与环面栈2-范畴$\textsf{TStk}$的等价，解决了环面栈范畴化构造的错误或局限问题，还发展了环面范畴理论并为Gale对偶提供公理框架。

完备的单纯形扇，Stanley-Reisner环和等变h多项式

Complete simplicial fans, Stanley--Reisner rings, and equivariant h-polynomials

本文推导了有限群作用于完备单纯形扇的Stanley-Reisner环的Artinian约简的分层特征公式，基于等变h多项式，并研究了该群在关联的典范流形上同调的表示。

Weighted Projective Spaces from the toric point of view with computational applications

The purpose of the present paper is threefold. First: giving a treatise on weighted projective spaces by the toric point of view. Second: providing characterizations of fans and polytopes giving weighted projective spaces, with particular focus on a kind of \emph{recognition process} of toric data like fans and polytopes. Third: building a mathematical framework for the algorithmic and computational approach to wps's realized in [23,24].

Skeletons and fans of logarithmic structures

We survey a collection of closely related methods for generalizing fans of toric varieties, include skeletons, Kato fans, Artin fans, and polyhedral cone complexes, all of which apply in the wider context of logarithmic geometry. Under appropriate assumptions these structures are equivalent, but their different realizations have provided for surprisingly disparate uses. We highlight several current applications and suggest some future possibilities.

Introduction to the toric Mori theory

The main purpose of this paper is to give a simple and non-combinatorial proof of the toric Mori theory. Here, the toric Mori theory means the (log) Minimal Model Program (MMP, for short) for toric varieties. We minimize the arguments on fans and their decompositions. We recommend this paper to the following people: (A) those who are uncomfortable with manipulating fans and their decompositions, (B) those who are familiar with toric geometry but not with the MMP. People in the category (A) will be relieved from tedious combinatorial arguments in several problems. Those in the category (B) will…

Lefschetz decomposition and the cd-index of fans

The goal of this article is to give a Lefschetz type decomposition for the cd-index of a complete fan. To a complete simplicial fan one can associate a toric variety X, the even Betti numbers h_i of X and the numbers g_i = h_i-h_{i-1}. If the fan is projective, then non-negativity of g_i follows from the Lefschetz decomposition of the cohomology. In the case of a nonsiplicial complete fan one can analogously compute the flag h-numbers h_S and, by a change of variable formula, the cd-index. We give an analogue of the Lefschetz operation for the cd-index. This gives another proof of the non-nega…

可折叠扇、cscK曲面与局部K-模空间

Foldable fans, cscK surfaces and local K-moduli

本文引入并分类格自同构群含非平凡循环子群的光滑环面可折叠曲面，证明其均存在cscK度量，并刻画极化cscK模空间在相应点附近的局部有限商模型。

Towards transverse toric geometry

We study certain foliated complex manifolds that behave similarly to complete nonsingular toric varieties. We classify them by combinatorial objects that we call marked fans. We describe the basic cohomology algebras of them in terms of corresponding marked fans. We also study the basic Dolbeault cohomology algebras of them.

Gluing affine torus actions via divisorial fans

Generalizing the passage from a fan to a toric variety, we provide a combinatorial approach to construct arbitrary effective torus actions on normal, algebraic varieties. Based on the notion of a ``proper polyhedral divisor'' introduced in earlier work, we develop the concept of a ``divisorial fan'' and show that these objects encode the equivariant gluing of affine varieties with torus action. We characterize separateness and completeness of the resulting varieties in terms of divisorial fans, and we study examples like C*-surfaces and projectivizations of (non-split) vector bundles over tori…

约化超概形与环面超簇的组合学

Reduced superschemes and the combinatorics of toric supervarieties

本文通过重新定义约化超环与超概形，建立了环面超簇与装饰多面体扇之间的范畴等价，并利用装饰多胞体刻画了异构超格拉斯曼流形中的自然环面超簇。

锥模、二次扇与非交换解析

Conic modules, secondary fans and non-commutative resolutions

本文研究锥模与二次扇的关系，提出非交换解析的构造方法，并探讨了锥模在非交换解析中的应用条件。

Elliptic genera, torus orbifolds and multi-fans; II

This article is a continuation of SG/0107014. Some vanishing theorems for orbifold elliptic genus of level N for multi-fans are proved. As an application, complete Q-factorial toric varieties whose canonical divisors are divisible by their dimesion in the group of T-Cartier divisors are determined.

Bunches of cones in the divisor class group -- A new combinatorial language for toric varieties

As an alternative to the description of a toric variety by a fan in the lattice of one parameter subgroups, we present a new language in terms of what we call bunches -- these are certain collections of cones in the vector space of rational divisor classes. The correspondence between these bunches and fans is based on classical Gale duality. The new combinatorial language allows a much more natural description of geometric phenomena around divisors of toric varieties than the usual method by fans does. For example, the numerically effective cone and the ample cone of a toric variety can be rea…

恰含一条例外曲线的光滑环曲面分类

On the classification of smooth toric surfaces with exactly one exceptional curve

本文分类了恰含一条例外曲线的光滑射影环曲面，证明其同构于 $\mathbb{F}_1$ 或由有理数 $r$ 定义的 $S_r$，并建立了 $S_r$ 的扇与相关三维簇扇的组合联系。

Foliations modeling nonrational simplicial toric varieties

We establish a correspondence between simplicial fans, not necessarily rational, and certain foliated compact complex manifolds called LVMB-manifolds. In the rational case, Meersseman and Verjovsky have shown that the leaf space is the usual toric variety. We compute the basic Betti numbers of the foliation for shellable fans. When the fan is in particular polytopal, we prove that the basic cohomology of the foliation is generated in degree two. We give evidence that the rich interplay between convex and algebraic geometries embodied by toric varieties carries over to our nonrational construct…

Calculating Milnor Numbers and Versal Component Dimensions from P-Resolution Fans

We use Altmann's toric fan description of P-resolutions to formulate a new description of deformation theory invariants for two-dimensional cyclic quotient singularities. In particular, we show how to calculate the dimensions of the (reduced) versal base space components as well as Milnor numbers of smoothings over them.

Introduction to Toric Geometry

These notes are based on a series of lectures given by the author at the Max Planck Institute for Mathematics in the Sciences in Leipzig. Addressed topics include affine and projective toric varieties, abstract normal toric varieties from fans, divisors on toric varieties and Cox's construction of a toric variety as a GIT quotient. We emphasize the role of toric varieties in solving systems of polynomial equations and provide many computational examples using the Julia package Oscar.jl.

Normality and quadraticity for special ample line bundles on toric varieties arising from root systems

We prove that special ample line bundles on toric varieties arising from root systems are projectively normal. Here the maximal cones of the fans correspond to the Weyl chambers, and special means that the bundle is torus-equivariant such that the character of the line bundle that corresponds to a maximal Weyl chamber is dominant with respect to that chamber. Moreover, we prove that the associated semigroup rings are quadratic.

围栏复形与正体种集的托里卡退化

Fence Complexes and Toric Degenerations of Positroid Varieties

本文研究了正体种集的围栏复形结构，证明其与闭球同胚，并展示其在正体种集的非负部分上提供正则CW复形结构，同时证明围栏复形的Ehrhart多项式等于相关正体种集的Hilbert多项式。

Equivariant Intersection Cohomology of Toric Varieties

We investigate the equivariant intersection cohomology of a toric variety. Considering the defining fan of the variety as a finite topological space with the subfans being the open sets (that corresponds to the "toric" topology given by the invariant open subsets), equivariant intersection cohomology provides a sheaf (of graded modules over a sheaf of graded rings) on that "fan space". We prove that this sheaf is a "minimal extension sheaf", i.e., that it satisfies three relatively simple axioms which are known to characterize such a sheaf up to isomorphism. In the verification of the second o…

Toric varieties and Gröbner bases: the complete Q-factorial case

We present two algorithms determining all the complete and simplicial fans admitting a fixed non-degenerate set of vectors $V$ as generators of their 1-skeleton. The interplay of the two algorithms allows us to discerning if the associated toric varieties admit a projective embedding, in principle for any values of dimension and Picard number. The first algorithm is slower than the second one, but it computes all complete and simplicial fans supported by $V$ and lead us to formulate a topological-combinatoric conjecture about the definition of a fan. On the other hand, we adapt the Sturmfels' …

Toric varieties and minimal complexes

We translate the equivariant decomposition theorem (in the case of a proper morphism of toric varieties) in to the language of combinatorially defined ``shifted minimal complexes''.

Infinite type toric varieties and Voronoi Tilings

An infinite type toric variety is a normal toric variety given by a fan with infinitely many cones. We construct examples in this paper coming from representation theory of loop groups. The fans that appear are cones on Voronoi tilings on a vector space equipped with an inner product. We also explain the affine analogue of the connection between a generic torus orbit closure in a flag variety and the closure a maximal torus in the wonderful compactification.

Deformations of Toric Varieties via Minkowski Sum Decompositions of Polyhedral Complexes

We generalized the construction of deformations of affine toric varieties of K. Altmann and our previous construction of deformations of weak Fano toric varieties to the case of arbitrary toric varieties by introducing the notion of Minkowski sum decompositions of polyhedral complexes. Our construction embeds the original toric variety into a higher dimensional toric variety where the image is given by a prime binomial complete intersection ideal in Cox homogeneous coordinates. The deformations are realized by families of complete intersections. For compact simplicial toric varieties with at w…

On derived categories of arithmetic toric varieties

We begin a systematic investigation of derived categories of smooth projective toric varieties defined over an arbitrary base field. We show that, in many cases, toric varieties admit full exceptional collections. Examples include all toric surfaces, all toric Fano 3-folds, some toric Fano 4-folds, the generalized del Pezzo varieties of Voskresenskii and Klyachko, and toric varieties associated to Weyl fans of type $A$. Our main technical tool is a completely general Galois descent result for exceptional collections of objects on (possibly non-toric) varieties over non-closed fields.

Towards a combinatorial Intersection Cohomology for Fans

The real intersection cohomology of a toric variety is described in a purely combinatorial way using methods of elementary commutative algebra only. We define, for arbitrary fans, the notion of a ``minimal extension sheaf'' on the fan as an axiomatic characterization of the equivariant intersection cohomology sheaf. This provides a purely algebraic interpretation of Stanley's generalized f- and g-vector of an arbitrary polytope or complete fan under a natural vanishing condition. -- The results presented in this note originate from joint work with G.Barthel, J.-P.Brasselet and L.Kaup, continui…

Secant varieties of toric varieties arising from simplicial complexes

Motivated by the study of the secant variety of the Segre-Veronese variety we propose a general framework to analyze properties of the secant varieties of toric embeddings of affine spaces defined by simplicial complexes. We prove that every such secant is toric, which gives a way to use combinatorial tools to study singularities. We focus on the Segre-Veronese variety for which we completely classify their secants that give Gorenstein or $\mathbb Q$-Gorenstein varieties. We conclude providing the explicit description of the singular locus.

The algebraic de Rham theorem for toric varieties

On an arbitrary toric variety, we introduce the logarithmic double complex, which is essentially the same as the algebraic de Rham complex in the nonsingular case, but which behaves much better in the singular case. Over the field of complex numbers, we prove the toric analog of the algebraic de Rham theorem which Grothendieck formulated and proved for general nonsingular algebraic varieties re-interpreting an earlier work of Hodge-Atiyah. Namely, for a finite simplicial fan which need not be complete, the complex cohomology groups of the corresponding toric variety as an analytic space coinci…

Classification of normal toric varieties over a valuation ring of rank one

Normal toric varieties over a field or a discrete valuation ring are classified by rational polyhedral fans. We generalize this classification to normal toric varieties over an arbitrary valuation ring of rank one. The proof is based on a generalization of Sumihiro's theorem to this non-noetherian setting. These toric varieties play an important role for tropicalizations.

约化Čech复形与环面映射下高次直像的计算

Reduced Čech complexes and computing higher direct images under toric maps

本文提出约化Čech复形的公理化表述与环面簇上的构造方法，并给出光滑真环面簇间环面纤维化下线丛高次直像的计算算法，解决层上同调计算与直像求解问题。

Birational Geometry of Toric Varieties

Toric geometry provides a bridge between algebraic geometry and combinatorics of fans and polytopes. For each polarized toric variety (X,L) we have associated a polytope P. In this thesis we use this correspondence to study birational geometry for toric varieties. To this end, we address subjects such as Minimal Model Program, Mori fiber spaces, and chamber structures on the cone of effective divisors. We translate some results from these theories to the combinatorics of polytopes and use them to get structure theorems on space of polytopes. In particular, we treat toric varieties known as 2-F…

光滑完全环簇的基典范投影化算法

Sharp Bounds and Canonical Blow-ups for Toric Projectivization

本文提出一种显式的投影化算法，通过基典范细化将任意光滑完全扇转化为光滑完全投影扇，且环态射分解为有限次余维二中心的正则爆裂。

Intersection complexes of toric varieties and mixed Hodge modules

We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As a corollary the Euler characteristic Hodge numbers of non-degenerate toric hypersurface can be determined by the Euler characteristic subtotal Hodge numbers together with combinatorial data of Newton polyhedra. This is used implicitly in an explicit formula by Batyrev--Borisov. Note that a formula for the Euler characteristic subtotal Hodge numbers in terms …

Smooth toric DM stacks

We give a new definition of smooth toric DM stacks in the same spirit of toric varieties. We show that our definition is equivalent to the one of Borisov, Chen and Smith in terms of stacky fans. In particular, we give a geometric interpretation of the combinatorial data contained in a stacky fan. We also give a bottom up classification in terms of simplicial toric varieties and fiber products of root stacks.

Immaculate line bundles on toric varieties

We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism. In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group.…

Toric matrix Schubert varieties and their polytopes

Given a matrix Schubert variety $\overline{X_π}$, it can be written as $\overline{X_π}=Y_π\times \mathbb{C}^q$ (where $q$ is maximal possible). We characterize when $Y_π$ is toric (with respect to a $(\mathbb{C}^*)^{2n-1}$-action) and study the associated polytope $Φ(\mathbb{P}(Y_π))$ of its projectivization. We construct regular triangulations of $Φ(\mathbb{P}(Y_π))$ which we show are geometric realizations of a family of subword complexes. Subword complexes were introduced by Knutson and Miller in 2004, who also showed that they are homeomorphic to balls or spheres and raised the question of…

Mayer-Vietoris sequences and equivariant K-theory rings of toric varieties

We apply a Mayer-Vietoris sequence argument to identify the Atiyah-Segal equivariant complex K-theory rings of certain toric varieties with rings of integral piecewise Laurent polynomials on the associated fans. We provide necessary and sufficient conditions for this identification to hold for toric varieties of complex dimension 2, including smooth and singular cases. We prove that it always holds for smooth toric varieties, regardless of whether or not the fan is polytopal or complete. Finally, we introduce the notion of fans with "distant singular cones," and prove that the identification h…

Irrational toric varieties and secondary polytopes

The space of torus translations and degenerations of a projective toric variety forms a toric variety associated to the secondary fan of the integer points in the polytope corresponding to the toric variety. This is used to identify a moduli space of real degenerations with the secondary polytope. A configuration A of real vectors gives an irrational projective toric variety in a simplex. We identify a space of translations and degenerations of the irrational projective toric variety with the secondary polytope of A. For this, we develop a theory of irrational toric varieties associated to arb…

Pluripotential theory for tropical toric varieties and non-archimedean Monge-Ampére equations

Tropical toric varieties are partial compactifications of finite dimensional real vector spaces associated with rational polyhedral fans. We introduce plurisubharmonic functions and a Bedford--Taylor product for Lagerberg currents on open subsets of a tropical toric variety. The resulting tropical toric pluripotential theory provides the link to give a canonical correspondence between complex and non-archimedean pluripotential theories of invariant plurisubharmonic functions on toric varieties. We will apply this correspondence to solve invariant non-archimedean Monge--Ampère equations on tori…

Equivariant K-theory of toric orbifolds

Toric orbifolds are a topological generalization of projective toric varieties associated to simplicial fans. We introduce some sufficient conditions on the combinatorial data associated to a toric orbifold to ensure the existence of an invariant cell structure on it and call such a toric orbifold retractable. In this paper, our main goal is to study equivariant cohomology theories of retractable toric orbifolds. Our results extend the corresponding results on divisive weighted projective spaces.