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.
Recently J.C. Rohde constructed families of Calabi-Yau threefolds parametrised by Shimura varieties. The points corresponding to threefolds with CM are dense in the Shimura variety and, moreover, the families do not have boundary points with maximal unipotent monodromy. Both aspects are of interest for Mirror Symmetry. In this paper we discuss one of Rohde's examples in detail and we explicitly give the Picard-Fuchs equation for this one dimensional family.
In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we introduce the notion of arithmetic $\mathcal{D}$-modules having potentially-unipotent monodromy. For example, from Kedlaya's semistable reduction theorem, overconvergent isocrystals with Frobenius structure have potentially unipotent monodromy. We construct some coefficients stable under Grothendieck's six operation, containing overconvergent isocrystals with Frobenius structure and whose object have potentially unipotent monodromy. On the other hand, we introduce the notion of arithmetic $\mathcal{D}$-modules havin…
The aim of this paper is to construct families of Calabi--Yau 3-folds without boundary points with maximal unipotent monodromy and to describe the variation of their Hodge structures. In particular five families are constructed. In all these cases the variation of the Hodge structures of the Calabi--Yau 3-folds is basically the variation of the Hodge structures of a family of curves. This allows us to write explicitly the Picard--Fuchs equation for the 1-dimensional families. These Calabi--Yau 3-folds are desingularizations of quotients of the product of a (fixed) elliptic curve and a K3 surfa…
Assume that the local universal deformation of a Calabi-Yau 3-manifold X has an automorphism which does not act by 1 or -1 on the third cohomology. We show that the $F^2$ bundle in the Variation of Hodge structures of each maximal family containing $X$ is constant in this case. Thus X cannot be a fiber of a maximal family with maximally unipotent monodromy, if such an automorphism exists. Moreover we classify the possible actions of such an automorphism on the third cohomology, construct examples and show that the period domain is a complex ball containing a dense set of complex multiplication…
We show that complex local systems with quasi-unipotent monodromy at infinity over a normal complex variety are Zariski dense in their moduli. v2: we waited for feedback and added a consequence of Alexandr Petrov's theorem. 3: we tightened the last section. Final version: appears in Israel Journal of Mathematics. footnote added to Conjecture 1.1: Aaron Landesman and Daniel Litt just made available a preprint showing that there is a lower bound for the rank of geometric local systems with infinite mon-odromy on certain curves, and consequently the conjecture can not be true in this generality.
Let $X$ be a projective manifold, and $D$ be a normal crossing divisor of $X$. By Jost-Zuo's theorem that if we have a reductive representation $ρ$ of the fundamental group $π_{1}(X^{*})$ with unipotent local monodromy, where $X^*=X-D$, then there exists a tame pluriharmonic metric $h$ on the flat bundle $\mathcal V$ associated to the local system $\mathbb V$ obtain from $ρ$ over $X^*$. Therefore, we get a harmonic bundle $(E, θ, h)$, where $θ$ is the Higgs field, i.e. a holomorphic section of $End(E)\otimesΩ^{1,0}_{X^*}$ satisfying $θ^2=0$. In this paper, we study the harmonic bundle $(E,θ,h)…
Let X be a smooth, geometrically connected variety over a p-adic local field. We show that the pro-unipotent fundamental group of X (in both the etale and crystalline settings) satisfies the weight-monodromy conjecture, following Vologodsky. We deduce (in the etale setting) that Frobenii act semisimply on the Lie algebra of the pro-unipotent fundamental group of X, and (in the crystalline setting) that the same is true for a K-linear power of the crystalline Frobenius. We give applications to the representability and geometry of the Selmer varieties appearing in the Chabauty-Kim program, even …
We give three new proofs of a theorem of C. Sabbah asserting that the weight filtration of the limit mixed Hodge structure at infinity of cohomologically tame polynomials coincides with the monodromy filtration up to a certain shift depending on the unipotent or non-unipotent monodromy part.
We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface.
We characterize those unipotent representations of the fundamental group $π_1(X,x)$ of a compact Kaehler manifold $X$, which correspond to a Higgs bundle whose underlying Higgs field is equal to zero. The characterization is parallel to the one that R. Hain gave of those unipotent representations of $π_1(X,x)$ that can be realized as the monodromy of a flat connection on the holomorphically trivial vector bundle. We see that Hain's result and ours follow from a careful study of Simpson's correspondence between Higgs bundles and local systems.
We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology manifold. Given an analytic function $f$ on an intersection cohomology manifold, we describe a simple relation between $V(f)$ being an intersection cohomology manifold and the vanishing cycle Milnor monodromy of $f$. We then describe how the Sebastiani-Thom isomorphism allows us to easily produce intersection cohomology manifolds with arbitrary singular sets. Fin…
For a generic (polynomial) one-parameter deformation of a complete intersection, there is defined its monodromy zeta-function. We provide explicit formulae for this zeta-function in terms of the corresponding Newton polyhedra in the case the deformation is non-degenerate with respect to its Newton polyhedra. Using this result we obtain the formula for the monodromy zeta-function at the origin of a polynomial on a complete intersection, which is an analog of the Libgober--Sperber theorem.
Following Newton, Ivory and Arnold, we study the Newtonian potentials of algebraic hypersurfaces in $R^n$. The ramification of (analytic continuations of) these potential depends on a monodromy group, which can be considered as a proper subgroup of the local monodromy group of a complete intersection (acting on a {\em twisted} vanishing homology group if $n$ is odd). Studying this monodromy group we prove, in particular, that the attraction force of a hyperbolic layer of degree $d$ in $R^n$ coincides with appropriate algebraic vector-functions everywhere outside the attracting surface if $n=2$…
In this paper we prove a direct geometric relation between Deligne--Lusztig varieties and Springer fibres in type $\mathsf{A}$: For any rational unipotent element, the Springer fibre cuts out a unique component of a specific Deligne--Lusztig variety; moreover, this component forms an open dense subset of a component of the Springer fibre. This boils down to a map from the unipotent variety to the Weyl group, and combines several constructions with a combinatorial flavour (like Weyr normal forms, Robinson--Schensted correspondence, and Spaltenstein's and Steinberg's labellings); it also provide…
We study a variant of the Neron models over curves which is recently found by the second named author in a more general situation using the theory of Hodge modules. We show that its identity component is a certain open subset of an iterated blow-up along smooth centers of the Zucker extension of the family of intermediate Jacobians and that the total space is a complex Lie group over the base curve and is Hausdorff as a topological space. In the unipotent monodromy case, the image of the map to the Clemens extension coincides with the Neron model defined by Green, Griffiths and Kerr. In the ca…
We define an iterative construction that produces a family of elliptically fibered Calabi-Yau $n$-folds with section from a family of elliptic Calabi-Yau varieties of one dimension lower. Parallel to the geometric construction, we iteratively obtain for each family with a point of maximal unipotent monodromy, normalized to be at t=0, its Picard-Fuchs operator and a closed-form expression for the period holomorphic at t=0, through a generalization of the classical Euler transform for hypergeometric functions. In particular, our construction yields one-parameter families of elliptically fibered …
We classify all $\Sp_4(\mathbb{C})$-rigid, quasi-unipotent local systems and show that all of them have geometric origin. Furthermore, we investigate which of those having a maximal unipotent element are induced by fourth order Calabi-Yau operators. Via this approach, we reconstruct all known Calabi-Yau operators inducing a $\Sp_4(\mathbb{C})$-rigid monodromy tuple and obtain closed formulae for special solutions of them.
We exhibit an infinite family of discrete subgroups of ${Sp}_4(\mathbb R)$ which have a number of remarkable properties. Our results are established by showing that each group plays ping-pong on an appropriate set of cones. The groups arise as the monodromy of hypergeometric differential equations with parameters $\left(\tfrac{N-3}{2N},\tfrac{N-1}{2N}, \tfrac{N+1}{2N}, \tfrac{N+3}{2N}\right)$ at infinity and maximal unipotent monodromy at zero, for any integer $N\geq 4$. Additionally, we relate the cones used for ping-pong in $\mathbb R^4$ with crooked surfaces, which we then use to exhibit do…
We describe examples of computations of Picard-Fuchs operators for families of Calabi-Yau manifolds based on the expansion of a period near a conifold point. We find examples of operators without a point of maximal unipotent monodromy, thus answering a question posed by J. Rohde.
A Fano problem is an enumerative problem of counting $r$-dimensional linear subspaces on a complete intersection in $\mathbb{P}^n$ over a field of arbitrary characteristic, whenever the corresponding Fano scheme is finite. A classical example is enumerating lines on a cubic surface. We study the monodromy of finite Fano schemes $F_{r}(X)$ as the complete intersection $X$ varies. We prove that the monodromy group is either symmetric or alternating in most cases. In the exceptional cases, the monodromy group is one of the Weyl groups $W(E_6)$ or $W(D_k)$.
We study mirror symmetry of complete intersection Calabi-Yau manifolds which have birational automorphisms of infinite order. We observe that movable cones in birational geometry are transformed, under mirror symmetry, to the monodromy nilpotent cones which are naturally glued together.
We identify the perverse filtration of a Lagrangian fibration with the monodromy weight filtration of a maximally unipotent degeneration of compact hyper-Kähler manifolds.
In this paper we introduce a certain class of families of Hessenberg varieties arising from Springer theory for symmetric spaces. We study the geometry of those Hessenberg varieties and investigate their monodromy representations in detail using the geometry of complete intersections of quadrics. We obtain decompositions of these monodromy representations into irreducibles and compute the Fourier transforms of the IC complexes associated to these irreducible representations. The results of the paper refine (part of) the Springer correspondece for the split symmetric pair (SL(N),SO(N)) in [CVX2…
Generic Triviality of Linear Automorphisms of Complete Intersections
Institute for Theoretical and Mathematical Physics, Lomonosov Moscow State University（莫斯科国立大学理论与数学物理研究所）；Department of Mechanics and Mathematics, Lomonosov Moscow State University（莫斯科国立大学力学与数学系）
Let $(X,x)$ be an isolated complete intersection singularity and let $f : (X,x) \to (\CC,0)$ be the germ of an analytic function with an isolated singularity at $x$. An important topological invariant in this situation is the Picard-Lefschetz monodromy operator associated to $f$. We give a survey on what is known about this operator. In particular, we review methods of computation of the monodromy and its eigenvalues (zeta function), results on the Jordan normal form of it, definition and properties of the spectrum, and the relation between the monodromy and the topology of the singularity.
A Kodaira fibration is a non-isotrivial fibration $f\colon S\rightarrow B$ from a smooth algebraic surface $S$ to a smooth algebraic curve $B$ such that all fibers are smooth algebraic curves of genus $g$. Such fibrations arise as complete curves inside the moduli space $\mathcal{M}_g$ of genus $g$ algebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case $g=3$ and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of $\mathcal{M}_3$ parametrizing curves whose…
We investigate the local contribution of the braid monodromy factorization in the context of the links obtained by the closure of these braids. We consider plane curves which are arrangements of lines and conics as well as some algebraic surfaces, where some of the former occur as local configurations in degenerated and regenerated surfaces in the latter. In particular we focus on degenerations which involve intersection points of multiplicity two and three. We demonstrate when the same links arise even when the local arrangements are different.
The Riemann-Wirtinger integral is an analogue of the hypergeometric integral, which is defined as an integral on a one-dimensional complex torus. We study the intersection forms on the twisted homology and cohomology groups associated with the Riemann-Wirtinger integral. We derive explicit formulas of some intersection numbers, and apply them to study the monodromy representation, connection problems, and contiguity relations.
mu-constant families of holomorphic function germs with isolated singularities are considered from a global perspective. First, a monodromy group from all families which contain a fixed singularity is studied. It consists of automorphisms of the Milnor lattice which respect not only the intersection form, but also the Seifert form and the monodromy. We conjecture that it contains all such automorphisms, modulo {id,-id}. Second, marked singularities are defined and global moduli spaces for right equivalence classes of them are established. The conjecture on the group would imply that these modu…
In this paper we reduce the problem of counting the number of connected components in the intersection of two opposite open Schubert cells in the variety of real complete flags to a purely combinatorial question of counting the number of orbits of a certain intriguing group action in the space of upper triangular matrices with {0,1}-valued entries. The crucial step of our reduction uses the parametrization of the space of real unipotent totally positive upper triangular matrices introduced by Lusztig and Berenstein, Fomin, Zelevinski.
Given a linear action of a group $G$ on a $K$-vector space $V$, we consider the invariant ring $K[V \oplus V^*]^G$, where $V^*$ is the dual space. We are particularly interested in the case where $V =\gfq^n$ and $G$ is the group $U_n$ of all upper unipotent matrices or the group $B_n$ of all upper triangular matrices in $\GL_n(\gfq)$. In fact, we determine $\gfq[V \oplus V^*]^G$ for $G = U_n$ and $G =B_n$. The result is a complete intersection for all values of $n$ and $q$. We present explicit lists of generating invariants and their relations. This makes an addition to the rather short list o…
The paper completes the study of symmetries of parabolic function singularities with relation to complex crystallographic groups that was started in \cite{GM,X9}. We classify smoothable automorphisms of $P_8$ singularities which split the kernel of the intersection form on the second homology. For such automorphisms, the monodromy groups acting on the duals to the eigenspaces with degenerate intersection form are then identified as some of complex affine reflection groups tabled in \cite{P}.
The aim of this article is to report on recent progress in understanding mirror symmetry for some non-complete intersection Calabi-Yau threefolds. We first construct four new smooth non-complete intersection Calabi-Yau threefolds with h^{1,1}=1, whose existence was previously conjectured by C. van Enckevort and D. van Straten. We then compute the period integrals of candidate mirror families of F. Tonoli's degree 13 Calabi-Yau threefold and three of the new Calabi-Yau threefolds. The Picard-Fuchs equations coincide with the expected Calabi-Yau equations. Some of the mirror families turn out to…
We provide an inductive algorithm computing Gromov-Witten invariants in all genera with arbitrary insertions of all smooth complete intersections in projective space. We also prove that all Gromov-Witten classes of all smooth complete intersections in projective space belong to the tautological ring of the moduli space of stable curves. The main idea is to show that invariants with insertions of primitive cohomology classes are controlled by their monodromy and by invariants defined without primitive insertions but with imposed nodes in the domain curve. To compute these nodal Gromov-Witten in…
We formulate general conjectures about the relationship between the A-model connection on the cohomology of a $d$-dimensional Calabi-Yau complete intersection $V$ of $r$ hypersurfaces $V_1, \ldots, V_r$ in a toric variety ${\bf P}_Σ$ and the system of differential operators annihilating the special hypergeometric function $Φ_0$ depending on the fan $Σ$. In this context, the Mirror Symmetry phenomenon can be interpreted as the following twofold characterization of the series $Φ_0$. First, $Φ_0$ is defined by intersection numbers of rational curves in ${\bf P}_Σ$ with the hypersurfaces $V_i$ and…
On the atomic decomposition of complete intersection in flag varieties
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences（保加利亚科学院数学与信息学研究所）；Simons Center for Geometry and Physics, Stony Brook University（石溪大学西蒙斯几何与物理中心）；International Center for Mathematical Sciences (ICMS)（国际数学科学中心）；Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (Unicamp)（坎皮纳斯州立大学数学、统计与科学计算研究所）
The monodromy action in the homology of level sets of Morse functions on stratified singular analytic varieties is studied. The local variation operators in both the standard and the intersection homology groups defined by the loops around the critical values of such functions are reduced to similar operators in the homology groups of the transversal slices of the corresponding strata.
