We study a generalization of Hodge structures which first appeared in the work of Cecotti and Vafa. It consists of twistors, that is, holomorphic vector bundles on P^1, with additional structure, a flat connection on C^*, a real subbundle and a pairing. We call these objects TERP-structures. We generalize to TERP-structures a correspondence of Cattani, Kaplan and Schmid between nilpotent orbits of Hodge structures and polarized mixed Hodge structures. The proofs use work of Simpson and Mochizuki on variations of twistor structures and a control of the Stokes structures of the poles at zero and infinity. The results are applied to TERP-structures which arise via oscillating integrals from holomorphic functions with isolated singularities.
We study an algebraic inequality for nilpotent matrices and show some interesting geometric applications: (i) obtaining topological information for nilpotent polystable Higgs bundles over a compact Riemann surface; (ii) obtaining a sharp upper bound of the holomorphic sectional curvatures of the period domain and the Hodge metric on the Calabi-Yau moduli.
We construct toroidal partial compactifications of the moduli spaces of mixed Hodge structures with polarized graded quotients. They are moduli spaces of log mixed Hodge structures with polarized graded quotients. We construct them as the spaces of nilpotent orbits.
We present a new proof of a part of the nilpotent orbit theorem for unipotent complex variations of Hodge structure. In our proof, the $L^2$ extension theorem of Ohsawa-Takegoshi type plays an essential role.
In this note, we show that the cohomology groups of (virtually) nilpotent Kähler groups are naturally endowed with a mixed Hodge structure. These structures make the Hopf morphisms into mixed Hodge structures morphisms. We illustrate this fact with the study of known examples of non-abelian nilpotent Kähler groups.
An $F$-nilpotent local ring is a local ring $(R, \mathfrak{m})$ of prime characteristic defined by the nilpotence of the Frobenius action on its local cohomology modules $H^i_{\mathfrak{m}}(R)$. A singularity in characteristic zero is said to be of $F$-nilpotent type if its modulo $p$ reduction is $F$-nilpotent for almost all $p$. In this paper, we give a Hodge-theoretic interpretation of three-dimensional normal isolated singularities of $F$-nilpotent type. In the graded case, this yields a characterization of these singularities in terms of divisor class groups and Brauer groups.
Let $G$ be a reductive group scheme over the $p$-adic integers, and let $μ$ be a minuscule cocharacter for $G$. In the Hodge-type case, we construct a functor from nilpotent $(G,μ)$-displays over $p$-nilpotent rings $R$ to formal $p$-divisible groups over $R$ equipped with crystalline Tate tensors. When $R/pR$ has a $p$-basis étale locally, we show that this defines an equivalence between the two categories. The definition of the functor relies on the construction of a $G$-crystal associated with any adjoint nilpotent $(G,μ)$-display, which extends the construction of the Dieudonné crystal ass…
We describe two approaches to classifying the possible monodromy cones C arising from nilpotent orbits in Hodge theory. The first is based upon the observation that C is contained in the open orbit of any interior point N in C under an associated Levi subgroup determined by the limit mixed Hodge structure. The possible relations between the interior of C its faces are described in terms of signed Young diagrams. The second approach is to understand the Tannakian category of nilpotent orbits via a category D introduced by Deligne in a letter to Cattani and Kaplan. In analogy with Hodge theory, …
Given a morphism $X \to S$ of log schemes of characteristic $p > 0$ and a lifting of $X'$ over $S$ modulo $p^2$, we use Lorenzon's indexed algebras $A_X^{gp}$ and $B_{X/S}$ to construct an equivalence between $O_X$-modules with nilpotent integrable connection and indexed $B_{X/S}$-modules with nilpotent $B_{X/S}$-linear Higgs field. If either satisfies a stricter nilpotence condition, we find an isomorphism between the de Rham cohomology of the connection and the Higgs cohomology of the Higgs field.
Let $k$ be a perfect field of odd characteristic and $X$ a smooth algebraic variety over $k$ which is $W_2$-liftable. We show that the exponent twisiting of the classical Cartier descent gives an equivalence of categories between the category of nilpotent Higgs sheaves of exponent $\leq p-1$ over $X/k$ and the category of nilpotent flat sheaves of exponent $\leq p-1$ over $X/k$, and it is equivalent up to sign to the inverse Cartier and Cartier transforms for these nilpotent objects constructed in the nonabelian Hodge theory in positive characteristic by Ogus-Vologodsky. In view of the crucial…
We continue our work on variations of graded-polarized mixed Hodge structures by defining analogs of the harmonic metric equations for filtered bundles and proving a precise analog of Schmid's Nilpotent Orbit Theorem for 1-parameter degenerations of graded-polarized mixed Hodge structure.
We construct a hermitian metric on the classifying spaces of graded-polarized mixed Hodge structures and prove analogs of the strong distance estimate between an admissible period map and the approximating nilpotent orbit. We also consider the asymptotic behavior of the biextension metric, the norm estimates and the asymptotics of the reduced limit Hodge filtration.
We study the structure of string theory flux compactification for a general family of elliptic CY 3-folds. We investigate the locus of the attractor points of the flux compactification in type IIB string theory on the boundary components of period domains. Specifically we give equations describing this locus through the asymptotic of nilpotent orbits on period domains. our approach is a mixture of techniques of asymptotic Hodge theory and the numerical period vectors used in physics.
We prove that the relative log de Rham cohomology groups of a projective semistable log smooth degeneration admit a natural \textit{limiting} mixed Hodge structure. More precisely, we construct a family of increasing filtrations and a family of nilpotent endomorphisms on the relative log de Rham cohomology groups and show that they satisfy a part of good properties of a nilpotnet orbit in several variables.
Two interesting questions in algebraic geometry are: (i) how can a smooth projective varieties degenerate? and (ii) given two such degenerations, when can we say that one is "more singular/degenerate" than the other? Schmid's Nilpotent Orbit Theorem yields Hodge-theoretic analogs of these questions, and the Hodge-theoretic answers in turn provide insight into the motivating algebro-geometric questions, sometimes with applications to the study of moduli. Recently the Hodge-theoretic questions have been completely answered. This is an expository survey of that work.
Period domains, the classifying spaces for (pure, polarized) Hodge structures, and more generally Mumford-Tate domains, arise as open $G_{\mathbb{R}}$--orbits in flag varieties $G/P$. We investigate Hodge--theoretic aspects of the geometry and representation theory associated with these flag varieties. In particular, we relate the Griffiths--Yukawa coupling to the variety of lines on $G/P$ (under a minimal homogeneous embedding), construct a large class of polarized $G_{\mathbb{R}}$--orbits in $G/P$, and compute the associated Hodge--theoretic boundary components. An emphasis is placed through…
We complete the construction of the fundamental diagram of various partial compactifications of the moduli spaces of mixed Hodge structures with polarized graded quotients. The diagram includes the space of nilpotent orbits, the space of SL(2)-orbits, and the space of Borel--Serre orbits. We give amplifications of this fundamental diagram, and amplify the relations of these spaces. We describe how this work is useful to understand asymptotic behaviors of Beilinson regulators and of local height parings in degeneration. We discuss "mild degenerations" in which regulators converge.
We construct an enlargement of the classifying space of mixed Hodge structures with polarized graded quotients, by adding mixed Hodge theoretic version of SL(2)-orbits. This space has a real analytic structure and a log structure with sign. The SL(2)-orbit theorem in several variables for mixed Hodge structures can be understood naturally with this space.
We present a Macaulay2 package that produces compactifications of adjoint orbits and of the fibres of symplectic Lefschetz fibrations on them. We use Macaulay2 functions to calculate the corresponding Hodge diamonds, which then reveal topological information about the Lefschetz fibrations.
We recover a 4-dimensional wreath product X as a transversal slice to a nilpotent orbit in sp_6. By using deformations of Springer resolutions, we construct a symplectic deformation of symplectic resolutions of X.
We prove that for any two projective symplectic resolutions $Z_1$ and $Z_2$ for a nilpotent orbit closure in a complex simple Lie algebra of classical type, then $Z_1$ is deformation equivalen to $Z_2$.
We prove an analog of Schmid's $\text{\rm SL}_2$-orbit theorem for a class of variations of mixed Hodge structure which includes logarithmic deformations, degenerations of 1-motives and archimedean heights. In particular, as consequence this theorem, we obtain a simple formula for the asymptotic behavior of the archimedean height of a flat family of algebraic cycles which depends only on the weight filtration and local monodromy.
We prove that any symplectic resolution of the closure of a nilpotent orbit in a semi-simple complex Lie algebra is isomorphic to the collapsing of the cotangent bundle of a projective homogenous variety. Then we give a complete characterization of those nilpotent orbits whose closure admit a symplectic resolution.
In this paper we obtain various results about the geometry of nilpotent orbits. In particular, we obtain a better understanding of the Kostant-Sekiguchi correspondence and Kronheimer's instanton flow. We utilize the moment map of Ness and the SL(2)-orbit theorem from Hodge theory. The results of this paper are used in the proof of the Barbarsch-Vogan conjecture in math.RT/0005305 (Ann. of Math. (2) 151 (2000), no. 3, 1071-1118).
We consider aspects of the relationship between nilpotent orbits in a semisimple real Lie algebra $\mathfrak{g}$ and those in its complexification $\mathfrak{g}_{\mathbb{C}}$. In particular, we prove that two distinct real nilpotent orbits lying in the same complex orbit are incomparable in the closure order. Secondly, we characterize those $\mathfrak{g}$ having non-empty intersections with all nilpotent orbits in $\mathfrak{g}_{\mathbb{C}}$. Finally, for $\mathfrak{g}$ quasi-split, we characterize those complex nilpotent orbits containing real ones.
A recent theorem of [GGSM1] showed that adjoint orbits of semisimple Lie algebras have the structure of symplectic Lefschetz fibrations. We investigate the behaviour of their fibrewise compactifications. Expressing adjoint orbits and fibres as affine varieties in their Lie algebra, we compactify them to projective varieties via homogenisation of the defining ideals. We find that their Hodge diamonds vary wildly according to the choice of homogenisation, and that extensions of the potential to the compactification must acquire degenerate singularities.
This is a survey article prepared for the submission to "Handbook of moduli". The following topics are discussed: (i) Basic facts and examples of resolutions for nilpotent orbit (ii) Q-factorial terminalizations of nilpotent orbit closures and related birational geometry (iii) Poisson deformations of nilpotent orbit closures.
The projectivised nilpotent orbit closure P(\bar{O}) carries a natural contact structure on its smooth part. A resolution X \to P(\bar{O}) is called contact if the contact structure on P(O) extends to a contact structure on X. It turns out that contact resolutions, crepant resolutions and minimal models of P(\bar{O}) are all the same. In this note, we determine when the projectivised nilpotent orbit closure admits a contact resolution, and in the case of existence, we study the birational geometry among different contact resolutions.
One of our results of this article is that every (projective) crepant resolution of a Slodowy slice in a nilpotent orbit closure in $\mathfrak{sl}_N(\mathbb{C})$ can be obtained as the restriction of some crepant resolution of the nilpotent orbit closure. We also show that there is a decomposition of the Slodowy slice into other Slodowy slices with good properties. From this decomposition, one can count the number of crepant resolutions.
We study in this paper the jet schemes of the closure of nilpotent orbits in a finite-dimensional complex reductive Lie algebra. For the nilpotent cone, which is the closure of the regular nilpotent orbit, all the jet schemes are irreducible. This was first observed by Eisenbud and Frenkel, and follows from a strong result of Mustautca (2001). Using induction and restriction of "little" nilpotent orbits in reductive Lie algebras, we show that for a large number of nilpotent orbits, the jet schemes of their closure are reducible. As a consequence, we obtain certain geometrical properties of the…
We check that the statement of Hikita conjecture holds for the case of the minimal nilpotent orbit of a simple Lie algebra $\mathfrak{g}$ of type ADE and $\mathbb{C} ^2 / Γ$.
A short note to show that the elements of the (open) cone underlying a nilpotent orbit on a period domain are pairwise congruent under the symmetry group of the period domain.
Let $\0$ be a nilpotent orbit in a semisimple complex Lie algebra $\g$. Denote by $G$ the simply connected Lie group with Lie algebra $\g$. For a $G$-homogeneous covering $M \to \0$, let $X$ be the normalization of $\bar{\0}$ in the function field of $M$. In this note, we study the existence of symplectic resolutions for such coverings $X$.
This paper is about nilpotent orbits of reductive groups over local non-Archimedean fields. In this paper we will try to identify for which groups there are only finitely many nilpotent orbits, for which groups the nilpotent orbits are separable and for which groups Howe's conjecture holds. For general reductive groups we get some partial results. For split reductive groups we get a classification in terms of the root data and the characteristic of the underlying local field.
We study certain spaces of nilpotent orbits in Hodge domains, and treat a number of examples. More precisely, we compute the Mumford-Tate group of the limit mixed Hodge structure of a generic such orbit. The result is used to present these spaces as iteratively fibered algebraic-group orbits in a minimal way. We conclude with two applications to variations of Hodge structure.
We describe Springer fibers corresponding to the minimal and minimal special nilpotent orbits of simple Lie algebras. As a result, we give an answer to the conjecture of Humphreys regarding some graphs attached to Springer fibers.
The condition of nilpotency is studied in the general linear Lie algebra $\mathfrak{gl}_{n}(\mathbb{K})$ and the symplectic Lie algebra $\mathfrak{sp}_{2m}(\mathbb{K})$ over an algebraically closed field of characteristic 0. In particular, the conjugacy class of nilpotent matrices is described through nilpotent orbit varieties $\mathcal{O}_λ$ and an algorithm is provided for computing the closure $\overline{\mathcal{O}_λ} \cong \text{Spec}\left(\mathbb{K}[X]\big/J_λ\right).$ We provide new generators for the ideal $J_λ$ defining the affine variety $\overline{\mathcal{O}_λ}$ which show that the…
This short note is a supplement to the previous article with the same title. Here we treat a conical symplectic variety obtained as a finite covering of a (not necessarily normal) nilpotent orbit closure of a complex semisimple Lie algebra.
Let $\g$ be simple Lie algebra. We give a conceptual proof for the fact that the nilpotent orbits of height 3 are spherical. It is shown that if the highest root of $\g$ is fundamental, then $\g$ has a specific nilpotent orbit of height 3. This orbit satisfies several interesting relations. Moreover, it can be used for an intrinsic construction of a $G_2$ grading in $\g$. We also discuss an approach to describing the algebra of covariants on a nilpotent orbit. For the nilpotent orbits of height 2, it is shown that the algebra of regular functions is a free module over the algebra of covariants…
Institut Camille Jordan, UMR 5208 CNRS, Univ Lyon, Université Jean Monnet（让·莫内大学）；Institut de Mathématiques de Bourgogne, UMR 5584 CNRS, Université Bourgogne Franche-Comté（勃艮第弗朗什-孔泰大学）
We give a new proof of the classification of ${\rm GL}^+(2,\mathbb{R})$-orbit closures that are saturated for the absolute period foliation of the Hodge bundle. As a consequence, we obtain a short proof of the classification of closures of leaves of the absolute period foliation of the Hodge bundle. Our approach is based on a method for classifying ${\rm GL}^+(2,\mathbb{R})$-orbit closures using deformations of flat pairs of pants.
We give a geometric description for the dominant characteristic of a nilpotent orbit in an arbitrary finite-dimensional rational G-module. In particular, we obtain a generalization of a recent result of Gunnells-Sommers, see math.RT/0212089.
In the case of complex symplectic and orthogonal groups, we find $(\mathfrak{g}, K)-$modules with the property that their $K-$structure matches the structure of regular functions on the closures of nilpotent orbits. This establishes a version of the Orbit Method of Kirrilov-Kostant-Souriau as proposed by Vogan. In the process we give another proof of the classification of nilpotent orbits with normal closure in the Lie algebra of a classical group first established by Kraft-Procesi.
Let g be a complex reductive Lie algebra with Cartan algebra h. Hotta and Kashiwara defined a holonomic D-module M, on g x h, called Harish-Chandra module. We relate gr(M), an associated graded module with respect to a canonical Hodge filtration on M, to the isospectral commuting variety, a subvariety of g x g x h x h which is a ramified cover of the variety of pairs of commuting elements of g. Our main result establishes an isomorphism of gr(M) with the structure sheaf of X_norm, the normalization of the isospectral commuting variety. It follows, thanks to the theory of Hodge modules, that th…
We show that the Chern character of a variation of polarized Hodge structures of weight one with nilpotent residues at $\infty$ dies up to torsion in the Chow ring, except in codimension 0.
Over a field of characteristic $0$, we construct a minimal set of generators of the defining ideals of closures of nilpotent conjugacy class in the set of $n \times n$ matrices. This modifies a conjecture of Weyman and provides a complete answer to it.
We continue the study of the closures of $GL(V)$-orbits in the enhanced nilpotent cone $V\times\cN$ begun by the first two authors. We prove that each closure is an invariant-theoretic quotient of a suitably-defined enhanced quiver variety. We conjecture, and prove in special cases, that these enhanced quiver varieties are normal complete intersections, implying that the enhanced nilpotent orbit closures are also normal.
We study the quantizations of the algebras of regular functions on nilpotent orbits. We show that such a quantization always exists and is unique if the orbit is birationally rigid. Further we show that, for special birationally rigid orbits, the quantization has integral central character in all cases but four (one orbit in E_7 and three orbits in E_8). We use this to complete the computation of Goldie ranks for primitive ideals with integral central character for all special nilpotent orbits but one (in E_8). Our main ingredient is results on the geometry of normalizations of the closures of…
