Given an ample line bundle on a toric surface, a question of Donaldson asks which simple closed curves can be vanishing cycles for nodal degenerations of smooth curves in the complete linear system. This paper provides a complete answer. This is accomplished by reformulating the problem in terms of the mapping class group-valued monodromy of the linear system, and giving a precise determination of this monodromy group.
In this article we consider surfaces that are general with respect to a 3- dimensional toric idealistic cluster. In particular, this means that blowing up a toric constellation provides an embedded resolution of singularities for these surfaces. First we give a formula for the topological zeta function directly in terms of the cluster. Then we study the eigenvalues of monodromy. In particular, we derive a useful criterion to be an eigenvalue. In a third part we prove the monodromy and the holomorphy conjecture for these surfaces.
We study $A$-hypergeometric functions introduced by Gelfand-Kapranov-Zelevinsky and prove a formula for the eigenvalues of their monodromy automorphisms defined by the analytic continuaions along large loops contained in complex lines parallel to the coordinate axes. A method of toric compactifications will be used to prove our main theorem.
The geometric monodromy of a plane curve singularity is a quasi-finite diffeomorphism. In this paper we locate the reduction curves of the geometric monodromy and the quadratic vanishing cycles of the singularity. An application to the geometric monodromy group is given.
For an ample line bundle $\mathcal{L}$ on a complete toric surface $X$, we consider the subset $V_{\mathcal{L}} \subset \vert \mathcal{L} \vert$ of irreducible, nodal, rational curves contained in the smooth locus of $X$. We study the monodromy map from the fundamental group of $V_{\mathcal{L}}$ to the permutation group on the set of nodes of a reference curve $C \in V_{\mathcal{L}}$. We identify a certain obstruction map $\varPsi_{X}$ defined on the set of nodes of $C$ and show that the image of the monodromy is exactly the group of deck transformations of $\varPsi_{X}$, provided that $\mathc…
Mirror symmetry for a toric variety involves Laurent polynomials whose symplectic topology is related to the algebraic geometry of the toric variety. We show that there is a monodromy action on the monomially admissible Fukaya-Seidel categories of these Laurent polynomials as the arguments of their coefficients vary that corresponds under homological mirror symmetry to tensoring by a line bundle naturally associated to the monomials whose coefficients are rotated. In the process, we introduce the monomially admissible Fukaya-Seidel category as a new interpretation of the Fukaya-Seidel category…
We consider the problem of existence of Neron models for a family of abelian varieties over a base of dimension greater than 1. We show that when S is of equicharacteristic zero, the condition of toric additivity introduced in [Ore18] is sufficient for the existence of a Neron model, and also necessary under some extra assumptions. Furthermore, we give an equivalent formulation of toric additivity in terms of monodromy action on the l-adic Tate module.
We study D-branes on smooth noncompact toric Calabi-Yau manifolds that are resolutions of abelian orbifold singularities. Such a space has a distinguished basis {S_i} for the compactly supported K-theory. Using local mirror symmetry we demonstrate that the S_i have simple transformation properties under monodromy; in particular, they are the objects that generate monodromy around the principal component of the discriminant locus. One of our examples, the toric resolution of C^3/(Z_2 x Z_2), is a three parameter model for which we are able to give an explicit solution of the GKZ system.
We use multiplication maps to give a characteristic-free approach to vanishing theorems on toric varieties. Our approach is very elementary but is enough powerful to prove vanishing theorems.
We explicitly describe cohomology of the sheaf of differential forms with poles along a semiample divisor on a complete simplicial toric variety. As an application, we obtain a new vanishing theorem which is an analogue of the Bott-Steenbrink-Danilov vanishing theorem.
In the geometric situation of the simple Shimura varieties of Kottwitz studied in Harris and Taylor's book, we describe the monodromy filtration of the vanishing cycles complex and the spectral sequence associated to it. We prove in particular that this filtration coincides with the weight one up to shift. Thanks to the Berkovich-Fargues' theorem, we deduce the description of the local monodromy filtration of the Deligne-Carayol model. In application, we obtain the description of the local components of cohomological automorphic representations of certains unitary groups, a global Jacquet-Lang…
We use the liftability of the relative Frobenius morphism of toric varieties and the strong liftability of toric varieties to prove the Bott vanishing theorem, the degeneration of the Hodge to de Rham spectral sequence and the Kawamata-Viehweg vanishing theorem for log pairs on toric varieties in positive characteristic. These results generalize those results of Danilov, Buch-Thomsen-Lauritzen-Mehta, Mustata and Fujino to the case where concerned Weil divisors are not necessarily torus invariant.
In this paper, we clarify the mistakes made in the former article entitled "Vanishing Theorems on Toric Varieties in Positive Characteristic". On the other hand, we use the positive characteristic method to reprove the Bott vanishing theorem, the degeneration of the Hodge to de Rham spectral sequence and the Kawamata-Viehweg vanishing theorem for log pairs on toric varieties over a field of arbitrary characteristic, where concerned Weil divisors are torus invariant.
A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of the orbits of the torus action. We prove vanishing theorems for toric polyhedra. We also give a proof of the $E_1$-degeneration of Hodge to de Rham type spectral sequence for toric polyhedra in any characteristic. Finally, we give a very powerful extension theorem for ample line bundles.
In this article we construct a Koszul-type resolution of the p-th exterior power of the sheaf of holomorphic differential forms on smooth toric varieties and use this to prove a Nadel-type vanishing theorem for Hodge ideals associated to effective \mathbb{Q}-divisors on smooth projective toric varieties. This extends earlier results of Mustaţă and Popa.
Let $X$ be a toric Fano manifold and denote by $Crit(f_X) \subset (\mathbb{C}^{\ast})^n$ the solution scheme of the corresponding Landau-Ginzburg system of equations. For toric Del-Pezzo surfaces and various toric Fano threefolds we define a map $L : Crit(f_X) \rightarrow Pic(X)$ such that $\mathcal{E}_L(X) : = L(Crit(f_X)) \subset Pic(X)$ is a full strongly exceptional collection of line bundles. We observe the existence of a natural monodromy map $$ M : π_1(L(X) \setminus R_X,f_X) \rightarrow Aut(Crit(f_X))$$ where $L(X)$ is the space of all Laurent polynomials whose Newton polytope is equal…
We resume the study initiated in \cite{CL}. For a generic curve $C$ in an ample linear system $\vert \mathcal{L} \vert$ on a toric surface $X$, a vanishing cycle of $C$ is an isotopy class of simple closed curve that can be contracted to a point along a degeneration of $C$ to a nodal curve in $\vert \mathcal{L} \vert$. The obstructions that prevent a simple closed curve in $C$ from being a vanishing cycle are encoded by the adjoint line bundle $K_X \otimes \mathcal{L}$. In this paper, we consider the linear systems carrying the two simplest types of obstruction. Geometrically, these obstructio…
This article is the first in a series of two in which we study the vanishing cycles of curves in toric surfaces. We give a list of possible obstructions to contract vanishing cycles within a given complete linear system. Using tropical means, we show that any non-separating simple closed curve is a vanishing cycle whenever none of the listed obstructions appears.
Toric varieties associated with root systems appeared very naturally in the theory of group compactifications. Here they are considered in a very different context. We prove the vanishing of higher cohomology groups for certain line bundles on toric varieties associated to $GL_n$ and $G_2$. This can be considered of general interest and it improves the previously known results for these varieties. We also show how these results give a simple proof of a converse to Mazur's inequality for $GL_n$ and $G_2$ respectively. It is known that the latter imply the non-emptiness of some affine Deligne-Lu…
Directed Gaussian graphical models are statistical models that use a directed acyclic graph (DAG) to represent the conditional independence structures between a set of jointly normal random variables. The DAG specifies the model through recursive factorization of the parametrization, via restricted conditional distributions. In this paper, we make an attempt to characterize the DAGs whose vanishing ideals are toric ideals. In particular, we give some combinatorial criteria to construct such DAGs from smaller DAGs which have toric vanishing ideals. An associated monomial map called the shortest…
We use Cox's description for sheaves on toric varieties and results about the local cohomology with respect to monomial ideals to give a characteristic free approach to vanishing results on arbitrary toric varieties. As an application, we give a proof of a strong form of Fujita's conjecture in the case of toric varieties. We also prove that every sheaf on a toric variety corresponds to a module over the homogeneous coordinate ring, generalizing Cox's result for the simplicial case.
We propose a new sheaf-theoretical method for the calculation of the monodromy zeta functions of Milnor fibrations. As an application, classical formulas of Kushnirenko and Varchenko etc. concerning polynomials on $\CC^n$ will be generalized to polynomial functions on any toric variety.
This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new vanishing theorem related to divisors whose inverse is nef and has small Kodaira dimension. Finally, we give a new criterion for divisorial sheaves for being maximal Cohen-Macaulay.
Consider a root system $R$ and the corresponding toric variety $V_R$ whose fan is the Weyl fan and whose lattice of characters is given by the root lattice for $R$. We prove the vanishing of the higher cohomology groups for certain line bundles on $V_R$ by proving a purely combinatorial result for root systems. These results are related to a converse to Mazur's Inequality for (simply-connected) split reductive groups.
Let $\K$ be a finite field and $X$ be a complete simplicial toric variety over $\K$. We give an algorithm relying on elimination theory for finding generators of the vanishing ideal of a subgroup $Y_Q$ parameterized by a matrix $Q$ which can be used to study algebraic geometric codes arising from $Y_Q$. We give a method to compute the lattice $L$ whose ideal $I_L$ is exactly $I(Y_Q)$ under a mild condition. As applications, we give precise descriptions for the lattices corresponding to some special subgroups. We also prove a Nullstellensatz type theorem valid over finite fields, and share \ver…
We compute the monodromy of the Hitchin fibration for the moduli space of $L$-twisted $SL(n,\mathbb{C})$ and $GL(n,\mathbb{C})$-Higgs bundles for any $n$, on a compact Riemann surface of genus $g>1$. We require the line bundle $L$ to either be the canonical bundle or satisfy $deg(L) > 2g-2$. The monodromy group is generated by Picard-Lefschetz transformations associated to vanishing cycles of singular spectral curves. We construct such vanishing cycles explicitly and use this to show that the $SL(n,\mathbb{C})$ monodromy group is a {\em skew-symmetric vanishing lattice} in the sense of Janssen…
Let K be a complete discrete valuation field of mixed characteristic (0,p) with algebraically closed residue field, and let f: Y --> P^1 be a three-point G-cover defined over K, where G has a cyclic p-Sylow subgroup P. We examine the stable model of f, in particular, the minimal extension K^{st}/K such that the stable model is defined over K^{st}. Our main result is that, if g(Y) \geq 2, the ramification indices of f are prime to p, and |P| = p^n, then the p-Sylow subgroup of Gal(K^{st}/K) has exponent dividing p^{n-1}. This extends work of Raynaud in the case that |P| = p.
Let f be an isolated plane curve singularity with Milnor fiber of genus at least 5. For all such f, we give (a) an intrinsic description of the geometric monodromy group that does not invoke the notion of the versal deformation space, and (b) an easy criterion to decide if a given simple closed curve in the Milnor fiber is a vanishing cycle or not. With the lone exception of singularities of type $A_n$ and $D_n$, we find that both are determined completely by a canonical framing of the Milnor fiber induced by the Hamiltonian vector field associated to f. As a corollary we answer a question of …
We show that the monodromy operator at infinity plus the decomposition of the homology given by the vanishing cycles completely determine the homology monodromy representation of any complex polynomial.
We use the toric degeneration of Bott-Samelson varieties and the description of cohomolgy of line bundles on toric varieties to deduce vanishings results for the cohomology of lines bundles on Bott-Samelson varieties.
The computations that are suggested by String Theory in the B model requires the existence of degenerations of CY manifolds with maximum unipotent monodromy. In String Theory such a point in the moduli space is called a large radius limit (or large complex structure limit). In this paper we are going to construct one parameter families of $n$ dimensional Calabi-Yau manifolds, which are complete intersections in toric varieties and which have a monodromy operator $T$ such that (T$^{N}-id)^{n+1}=0$ but (T$^{N}-id)^{n}\neq0,$ i.e the monodromy operator is maximal unipotent.
Gaussian graphical models are semi-algebraic subsets of the cone of positive definite covariance matrices. They are widely used throughout natural sciences, computational biology and many other fields. Computing the vanishing ideal of the model gives us an implicit description of the model. In this paper, we resolve two conjectures of Sturmfels and Uhler from \cite{BS n CU}. In particular, we characterize those graphs for which the vanishing ideal of the Gaussian graphical model is generated in degree $1$ and $2$. These turn out to be the Gaussian graphical models whose ideals are toric ideals…
We prove a vanishing theorem for the Hodge number h^21 of projective toric varieties provided by a certain class of polytopes. We explain how this Hodge number also gives information about the deformation theory of the toric Gorenstein singularity derived from the same polytope. In particular, the vanishing theorem for h^21 implies that these deformations are unobstructed.
We introduce and study the vanishing homology of singular projective hypersurfaces. We prove its concentration in two levels in case of 1-dimensional singular locus $Σ$, and moreover determine the ranks of the nontrivial homology groups. These two groups depend on the monodromy at special points of $Σ$ and on the effect of the monodromy of the local system over its complement.
The main objective of this article is to study the topology of the fibers of a generic rational function of the type $F^p/G^q$ in the projective space of dimension two. We will prove that the action of the monodromy group on a single Lefschetz vanishing cycle $δ$ generates the first homology group of a generic fiber of $F^p/G^q$. In particular, we will prove that for any two Lefschetz vanishing cycles $δ_0$ and $δ_1$ in a regular compact fiber of $F^p/G^q$, there exists a monodromy $h$ such that $h(δ_0)=\pm δ_1$.
Let K be a finite field and let X be a subset of a projective space, over the field K, which is parameterized by monomials arising from the edges of a clutter. We show some estimates for the degree-complexity, with respect to the revlex order, of the vanishing ideal I(X) of X. If the clutter is uniform, we classify the complete intersection property of I(X) using linear algebra. We show an upper bound for the minimum distance of certain parameterized linear codes along with certain estimates for the algebraic invariants of I(X).
We study the Dynkin diagram associated to the monodromy of direct sums of polynomials. The monodromy problem asks under which conditions on a polynomial, the monodromy of a vanishing cycle generates the whole homology of a regular fiber. We consider the case $y^4+g(x)$, which is a generalization of the results of Christopher and Marde$\check{s}$ić about the monodromy problem for hyperelliptic curves. Moreover, We solve the monodromy problem for direct sums of fourth degree polynomials.
Let Q be a finite quiver without oriented cycles. Denote by U --> M the fine moduli space of stable thin sincere representations of Q with respect to the canonical stability notion. We prove Ext^i(U,U) = 0 for all i >0 and compute the endomorphism algebra of the universal bundle U. Moreover, we obtain a necessary and sufficient condition for when this algebra is isomorphic to the path algebra kQ of the quiver Q. If so, then the bounded derived category of finitely generated right kQ-modules is embedded into that of coherent sheaves on M.
We study the vanishing neighbourhood of non-isolated singularities of functions on singular spaces by associating a general linear function. We use the carrousel monodromy in order to show how to get a better control over the attaching of thimbles. For one dimensional singularities, we prove obstructions to integer (co)homology groups and to the eigenspaces of the monodromy via monodromies of nearby sections. Our standpoint allows to find, in certain cases, the structure of the Milnor fibre up to the homotopy type.
A smooth scheme X over a field k of positive characteristic is said to be strongly liftable, if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, first we prove that smooth toric varieties are strongly liftable. As a corollary, we obtain the Kawamata-Viehweg vanishing theorem for smooth projective toric varieties. Second, we prove the Kawamata-Viehweg vanishing theorem for normal projective surfaces which are birational to a strongly liftable smooth projective surface. Finally, we deduce the cyclic cover trick over W_2(k), which can be used to construct a l…
We study the vanishing cycle complex $φ_fA_X$ for a holomorphic function $f$ on a reduced complex analytic space $X$ with $A$ a Dedekind domain (for instance, a localization of the ring of integers of a cyclotomic field, where the monodromy eigenvalue decomposition may hold after a localization of $A$). Assuming the perversity of the shifted constant sheaf $A_X[d_X]$, we show that the lowest possibly-non-zero vanishing cohomology at $0\in X$ can be calculated by the restriction of $φ_fA_X$ to an appropriate nearby curve in the singular locus $Y$ of $f$, which is given by intersecting $Y$ with …
