In the theory of configuration spaces, "splitting" usually refers to the phenomenon that the configuration spaces on a manifold and those on its punctured version are closely related cohomologically. We prove a splitting theorem that is equivariant and mixed-Hodge-theoretic; both are new features in such results. As an application, we determine the generating function for the mixed Hodge numbers of the unordered configuration spaces of a multi-punctured elliptic curve.
We study intersection cohomology of character varieties for punctured Riemann surfaces with prescribed monodromies around the punctures. Relying on previous result from Mellit for semisimple monodromies we compute the intersection cohomology of character varieties with monodromies of any Jordan type. This proves the Poincaré polynomial specialization of a conjecture from Letellier.
In this paper, we construct compactifications of $SL_2(\mathbb{C})$-character varieties of $n$-punctured projective line and study the boundary divisor of the compactifications. This study is motivated by the conjecture for the configuration of the boundary divisor, due to C. Simpson. We verify the conjecture for a few examples.
We determine the PSL_2(C) and SL_2(C) character varieties of the once-punctured torus bundles with tunnel number one, i.e. the once-punctured torus bundles that arise from filling one boundary component of the Whitehead link exterior. In particular, we determine `natural' models for these algebraic sets, identify them up to birational equivalence with smooth models, and compute the genera of the canonical components. This enables us to compare dilatations of the monodromies of these bundles with these genera. We also determine the minimal polynomials for the trace fields of these manifolds. Ad…
For singular metrics, there is no Quillen metric formalism on cohomology determinant. In this paper, we develop an admissible theory, with which the arithmetic Deligne-Riemann-Roch isometry can be established for singular metrics. As an application, we first study Weil-Petersson metrics and Takhtajan-Zograf metrics on moduli spaces of punctured Riemann surfaces, and then give a more geometric interpretation of our determinant metrics in terms of Selberg zeta functions. We end this paper by proposing an arithmetic factorization for Weil-Petersson metrics, cuspidal metrics and Selberg zeta funct…
We compute the cohomology rings of smooth real toric varieties and of real toric spaces, which are quotients of real moment-angle complexes by freely acting subgroups of the ambient 2-torus. The differential graded algebra we present is in fact an equivariant dga model, valid for arbitrary coefficients. We deduce from our description that smooth toric varieties are M-varieties.
Constructing families of abelian varieties of $\text{GL}_2$-type over $4$-punctured complex projective line via $p$-adic Hodge theory and Langlands correspondence and application to algebraic solutions of Painleve VI equation
We study the algebraic symplectic geometry of multiplicative quiver varieties, which are moduli spaces of representations of certain quiver algebras, introduced by Crawley-Boevey and Shaw, called multiplicative preprojective algebras. They are multiplicative analogues of Nakajima quiver varieties. They include character varieties of (open) Riemann surfaces fixing conjugacy class closures of the monodromies around punctures, when the quiver is "crab-shaped". We prove that, under suitable hypotheses on the dimension vector of the representations, or the conjugacy classes of monodromies in the ch…
In this paper, for any Milnor hypersurface we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalised Buchstaber-Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
The Khovanov-Springer variety X(n) is a certain subvariety of the variety of flags of length 2n, which has been studied from various different points of view. We give a new proof of the ring structure of the cohomology of X(n) and relate it to some interesting geometric, combinatorial and algebraic phenomena.
Topologically, compact toric varieties can be constructed as identification spaces: they are quotients of the product of a compact torus and the order complex of the fan. We give a detailed proof of this fact, extend it to the non-compact case and draw several, mostly cohomological conclusions. In particular, we show that the equivariant integral cohomology of a toric variety can be described in terms of piecewise polynomials on the fan if the ordinary integral cohomology is concentrated in even degrees. This generalizes a result of Bahri-Franz-Ray to the non-compact case. We also investigate …
Motivated by the study of the structure of algebraic actions the additive group on affine threefolds X, we consider a special class of such varieties whose algebraic quotient morphisms X $\rightarrow$ X//Ga restrict to principal homogeneous bundles over the complement of a smooth point of the quotient. We establish basic general properties of these varieties and construct families of examples illustrating their rich geometry. In particular, we give a complete classification of a natural subclass consisting of threefolds X endowed with proper Ga-actions, whose algebraic quotient morphisms $π$ :…
In this article we study the equivariant elliptic cohomology of complex toric varieties. We prove a partial reconstruction theorem showing that equivariant elliptic cohomology encodes considerable non-trivial information on the equivariant 1-skeleton of a toric variety X (although it stops short of being a complete invariant of its GKM graphs). Elliptic cohomology is supposed to encode higher categorical geometric data, and proposals have been made linking elliptic cocycles to categorified bundles. In particular, contrary to ordinary cohomology and K-theory, elliptic cohomology is expected not…
We give sufficient conditions for the semisimplicity of quantum cohomology of Fano varieties of Picard rank 1. We apply these techniques to prove new semisimplicity results for some Fano varieties of Picard rank 1 and large index. We also give examples of Fano varieties having a non semisimple small quantum cohomology but a semisimple big quantum cohomology.
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.
This is an expository lecture, for the Abel bicentennial (Oslo, 2002), describing some recent work on the (small) quantum cohomology ring of Grassmannians and other homogeneous varieties.
We study the Fulton-Macpherson Chow cohomology of affine toric varieties. In particular, we prove that the Chow cohomology vanishes in positive degree. We prove an analogous result for the operational $K$-theory defined by Anderson and Payne.
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.
In this paper we study a relation between the cohomology ring of a regular nilpotent Hessenberg variety and Schubert polynomials. To describe an explicit presentation of the cohomology ring of a regular nilpotent Hessenberg variety, polynomials $f_{i,j}$ were introduced by Abe-Harada-Horiguchi-Masuda. We show that every polynomial $f_{i,j}$ is an alternating sum of certain Schubert polynomials.
We prove that the cohomology of the moduli space of morphisms of a fixed finite degree from a smooth projective curve $C$ of genus $g$ to a complete simplicial toric variety $\mathbb{P}(Σ)$, denoted by the rational polyhedral fan $Σ$, stabilizes. As an arithmetic consequence we obtain a resolution of the Batyrev-Manin conjecture for toric varieties over global function fields in all but finitely many characteristics.
The main goal of this paper is to give a unified description for the structure of the small quantum cohomology rings for all homogeneous spaces of SL_n(C).
We investigate the cohomology rings of regular semisimple Hessenberg varieties whose Hessenberg functions are of the form $h=(h(1),n\dots,n)$ in Lie type $A_{n-1}$. The main result of this paper gives an explicit presentation of the cohomology rings in terms of generators and their relations. Our presentation naturally specializes to Borel's presentation of the cohomology ring of the flag variety and it is compatible with the representation of the symmetric group $\mathfrak{S}_n$ on the cohomology constructed by J. Tymoczko. As a corollary, we also give an explicit presentation of the $\mathfr…
In this paper we study the étale cohomology groups associated to abelian varieties. We obtain necessary and sufficient conditions for an abelian variety to have semistable reduction (or purely additive reduction which becomes semistable over a quadratic extension) in terms of the action of the absolute inertia group on the étale cohomology groups with finite coefficients.
A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable subsets in o-minimal expansions of the tropical semi-group $Γ_\infty$, where $Γ$ denotes the value group of $K$. For quasi-projective varieties, both cohomologies are strongly related by a deformation retraction of the stable completion homeomorphic to a definable subset of $Γ_\infty$. In both contexts, we show that the corresponding cohomology theory satisf…
By using vector field techniques, we compute the ordinary and equivariant cohomology rings of Hilbert scheme of points in the projective plane in relation with that of a Grassmann variety.
In this paper we construct a spectral sequence computing a modified version of morphic cohomology of a toric variety (even when it is singular) in terms of combinatorial data coming from the fan of the toric variety.
We prove that the prime torsion in the local integral intersection cohomology of Schubert varieties in the flag variety of the general linear group grows exponentially in the rank. The idea of the proof is to find a highly singular point in a Schubert variety and calculate the Euler class of the normal bundle to the (miraculously smooth) fibre in a particular Bott-Samelson resolution. The result is a geometric version of an earlier result established using Soergel bimodule techniques.
We describe a method of computing equivariant and ordinary intersection cohomology of certain varieties with actions of algebraic tori, in terms of structure of the zero- and one-dimensional orbits. The class of varieties to which our formula applies includes Schubert varieties in flag varieties and affine flag varieties. We also prove a monotonicity result on local intersection cohomology stalks.
The rim-hook rule for quantum cohomology of the Grassmannian allows one to reduce quantum calculations to classical calculations in the cohomology of the Grassmannian. We use the Abelian/non-Abelian correspondence for cohomology to prove a rim-hook removal rule for the cohomology of quiver flag varieties. Quiver flag varieties are generalisations of type A flag varieties; this result is new even in the flag case. This gives an effective way of computing products in their cohomology, reducing computations to that in the cohomology ring of the Grassmannian. We then prove a quantum rim-hook rule …
In this short note we prove that if X is a separably rationally connected variety over an algebraically closed field of positive characteristic, then H^1(X, O_X)=0.
We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain results concerning Koszul duality: nonequivariant intersection cohomology is equal to the cohomology of the Koszul complex $IH_T^*(X)\otimes H^*(T)$. We also describe the weight filtration in $IH^*(X)$.
We realize any space of conformal blocks attached to a punctured curve inside the cohomology of a configuration space of that curve and compare the WZW connection with the Gauss-Manin connection.
In this paper we survey geometric and arithmetic techniques to study the cohomology of semiprojective hyperkaehler manifolds including toric hyperkaehler varieties, Nakajima quiver varieties and moduli spaces of Higgs bundles on Riemann surfaces. The resulting formulae for their Poincare polynomials are combinatorial and representation theoretical in nature. In particular we will look at their Betti numbers and will establish some results and expectations on their asymptotic shape.
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.
We describe the quantum cohomology ring of a toric Fano variety $X$ in terms of the usual topological cohomology ring for an auxiliary infinite-dimensional scheme. This scheme is a part of an algebro-geometric model for the universal cover of the space of free loops with values in $X$.
The purpose of this paper is to show that the third unramified cohomology with divisible coefficients of a smooth projective geometrically rational threefold over a finite field must vanish under $\Z_{\ell}$-exactness Hard Lefschetz condition.
We show that the equivariant Chow cohomology ring of a toric variety is naturally isomorphic to the ring of integral piecewise polynomial functions on the associated fan. This gives a large class of singular spaces for which localization holds in equivariant Chow cohomology with integer coefficients. We also compute the equivariant Chow cohomology of toric prevarieties and general complex hypertoric varieties in terms of piecewise polynomial functions.
We reproduce the quantum cohomology of toric varieties (and of some hypersurfaces in projective spaces) as the cohomology of certain vertex algebras with differential. The deformation technique allows us to compute the cohomology of the chiral de Rham complex over the projective space.
We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of reductive groups. Thereby, we extend a well-known algorithm for toric varieties.
Using the work of Fargues-Scholze, we prove a vanishing theorem for the generic unramified part of the cohomology of local Shimura varieties of general linear groups. This gives an alternative approach to vanishing results of Caraiani-Scholze for the cohomology of unitary Shimura varieties.
It is shown that for a perverse sheaf $K$ on an abelian variety $X$ the integers $i$ for which the cohomology $H^i(X,K)$ does not vanish define an interval in the number line (under certain conditions on the field of definition of $K$)
We establish a, and conjecture further, relationship between the existence of subvarieties representing minimal cohomology classes on principally polarized abelian varieties, and the generic vanishing of certain sheaf cohomology. The main ingredient is the Generic Vanishing criterion of math.AG/0608127, based on the Fourier-Mukai transform.
We give a description of the moment graph for Bott-Samelson varieties in arbitrary Lie type. We use this, along with curve neighborhoods and explicit moduli space computations, to compute a presentation for the small quantum cohomology ring of a particular Bott-Samelson variety in Type $A$. We also show the conjecture $\mathcal{O}$ of Galkin, Golyshev, and Iritani holds for that Bott-Samelson variety.
In this paper, we compare two cohomology groups associated to Shimura varieties of PEL type, which are not proper over the base. One is the compactly supported l-adic cohomology, and the other is the nearby cycle cohomology, namely, the compactly supported cohomology of the nearby cycle complex for the canonical integral model of the Shimura variety over Z_p. We prove that the G(Q_p)-cuspidal part of these cohomology groups are the same, where G denotes the reductive algebraic group naturally attached to the PEL datum. Some applications to unitary Shimura varieties are also given.
In this Note we prove the vanishing of (twisted) Koszul cohomology groups $K_{p,1}$ of an abelian variety with values in powers of an ample line bundle. It complements the work of G. Pareschi on the property $(N_p)$.
