In this paper we compute the cohomology of the Fano varieties of $k$-planes in the smooth complete intersection of two quadrics in $\mathbb{P}^{2g+1}$, using Springer theory for symmetric spaces.
In \cite{CVX3}, we have established a Springer theory for the symmetric pair $(\operatorname{SL}(N),\operatorname{SO}(N))$. In this setting we obtain representations of (the Tits extension) of the braid group rather than just Weyl group representations. These representations arise from cohomology of families of certain (Hessenberg) varieties. In this paper we determine the Springer correspondence explicitly for IC sheaves supported on order 2 nilpotent orbits. In this process we encounter universal families of hyperelliptic curves. As an application we calculate the cohomolgy of Fano varieties…
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…
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…
The Springer resolution of the nilpotent cone of a semisimple Lie algebra has played an important role in representation theory. The nilpotent cone is equal to Spec R, where R is the ring of regular functions on the nilpotent cone. This paper constructs and studies an analogue of the Springer resolution for the variety Spec S, where S is the ring of regular functions on the universal cover of the regular nilpotent orbit. The construction makes use of the theory of toric varieties. Using this construction, we provide new proofs of results of Broer and of Graham about Spec S. Finally, we show th…
We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover relations on isotropic flags that describe the irreducible components.
We prove an explicit formula for the Poincaré polynomials of parabolic character varieties of Riemann surfaces with semisimple local monodromies, which was conjectured by Hausel, Letellier and Rodriguez-Villegas. Using an approach of Mozgovoy and Schiffmann the problem is reduced to counting pairs of a parabolic vector bundles and a nilpotent endomorphism of prescribed generic type. The generating function counting these pairs is shown to be a product of Macdonald polynomials and the function counting pairs without parabolic structure. The modified Macdonald polynomial $\tilde H_λ[X;q,t]$ is i…
A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural extension of Springer's theory to arbitrary symplectic resolutions of conical symplectic singularities. We analyse features of the action in the case of affine quiver varieties, constructing Weyl group actions on the cohomology of $ADE$ quiver varieties, and also consider "symplectically dual" examples arising from slices in the affine Grassmannian. Along the way…
We prove a conjecture of Khovanov which identifies the topological space underlying the Springer variety of complete flags in C^2n stabilized by a fixed nilpotent operator with two Jordan blocks of size n.
The $Δ$-Springer varieties are a generalization of Springer fibers introduced by Levinson, Woo, and the author that have connections to the Delta Conjecture from algebraic combinatorics. We prove a positive Hall-Littlewood expansion formula for the graded Frobenius characteristic of the cohomology ring of a $Δ$-Springer variety. We do this by interpreting the Frobenius characteristic in terms of counting points over a finite field $\mathbb{F}_q$ and partitioning the $Δ$-Springer variety into copies of Springer fibers crossed with affine spaces. As a special case, our proof method gives a geome…
We prove that for any e>0, there exists only finitely many e-log terminal spherical Fano varieties of fixed dimension. We also introduce an invariant of a spherical subgroup H in a reductive group G which measures how nice an equivariant Fano compactification G/H there exists.
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.
This survey paper describes Springer fibers, which are used in one of the earliest examples of a geometric representation. We will compare and contrast them with Schubert varieties, another family of subvarieties of the flag variety that play an important role in representation theory and combinatorics, but whose geometry is in many respects simpler. The end of the paper describes a way that Springer fibers and Schubert varieties are related, as well as open questions.
Consider the moment map $μ\colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $μ$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that $\operatorname{Lie}(P) = \mathfrak{p}$, and give an explicit description of the irreducible components. This allows us to study nearby fibers of $μ$ as they are equidimensional, and one may also construct GIT quotients $μ^{-1}(…
The Springer variety is the set of flags stabilized by a nilpotent operator. In 1976, T.A. Springer observed that this variety's cohomology ring carries a symmetric group action, and he offered a deep geometric construction of this action. Sixteen years later, Garsia and Procesi made Springer's work more transparent and accessible by presenting the cohomology ring as a graded quotient of a polynomial ring. They combinatorially describe an explicit basis for this quotient. The goal of this paper is to generalize their work. Our main result deepens their analysis of Springer varieties and extend…
This paper establishes an isomorphism between the Bar-Natan skein module of the solid torus with a particular boundary curve system and the homology of the (n,n) Springer variety. The results build on Khovanov's work with crossingless matchings and the cohomology of the (n,n) Springer variety. We also give a formula for comultiplication in the Bar-Natan skein module for this specific three-manifold and boundary curve system.
In this paper we establish Springer correspondence for the symmetric pair $(\mathrm{SL}(N),\mathrm{SO}(N))$ using Fourier transform, parabolic induction functor, and a nearby cycle sheaves construction due to Grinberg. As applications, we obtain results on cohomology of Hessenberg varieties and geometric constructions of irreducible representations of Hecke algebras of symmetric groups at $q=-1$.
Regular semisimple Hessenberg varieties are smooth subvarieties of the flag variety, and their examples contain the flag variety itself and the permutohedral variety which is a toric variety. We give a complete classification of Fano and weak Fano regular semisimple Hessenberg varieties in type A in terms of combinatorics of Hessenberg functions. In particular, we show that if the anti-canonical bundle of a regular semisimple Hessenberg variety is nef, then it is in fact nef and big.
We study a wide class of affine varieties, which we call affine Fano varieties. By analogy with birationally super-rigid Fano varieties, we define super-rigidity for affine Fano varieties, and provide many examples and non-examples of super-rigid affine Fano varieties.
We prove a more general and precise version of the Noether-Fano inequalities for birational maps between Mori fiber spaces. This is applied to give descriptions of global canonical thresholds on Fano varieties of Picard number one.
Varieties of Fano type are very well behaved with respect to MMP, and they are known to be rationally connected. We study the relation between classes of rationally connected varieties and varieties of Fano type. We give examples of rationally connected varieties of dimension $\geqslant 3$ which are not birationally equivalent to Fano type varieties, thereby answering the question of Cascini and Gongyo.
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 prove a conjecture of L.Bonavero, C. Casagrande, O. Debarre and S. Druel, on the pseudo-index of smooth Fano varieties, in the special case of horospherical varieties.
The symmetric projective varieties of rank one are all smooth and Fano by a classic result of Akhiezer. We classify the locally factorial (respectively smooth) projective symmetric $G$-varieties of rank 2 which are Fano. When $G$ is semisimple we classify also the locally factorial (respectively smooth) projective symmetric $G$-varieties of rank 2 which are only quasi-Fano. Moreover, we classify the Fano symmetric $G$-varieties of rank 3 obtainable from a wonderful variety by a sequence of blow-ups along $G$-stable varieties. Finally, we classify the Fano symmetric varieties of arbitrary rank …
We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This le…
In this paper, we obtain a complete classification of smooth toric Fano varieties equipped with extremal contractions which contract divisors to curves for any dimension. As an application, we obtain a complete classification of smooth projective toric varieties which can be equivariantly blown-up to Fano along curves.
In this article we give the definitions of log Fano varieties and log Calabi-Yau varieties in the framework of theory of log schemes of Fontain-Illusie-Kato and give congruences of the cardinalities of rational points of them over the log points of finite fields.
We classify the polarized symplectic automorphisms of Fano varieties of smooth cubic fourfolds (equipped with the Plücker polarization) and study the fixed loci.
Generalizing the notions of reflexive polytopes and nef-partitions of Batyrev and Borisov, we propose a mirror symmetry construction for Calabi-Yau complete intersections in Fano toric varieties.
Fano varieties are 'atomic pieces' of algebraic varieties, the shapes that can be defined by polynomial equations. We describe the role of computation and database methods in the construction and classification of Fano varieties, with an emphasis on three-dimensional Fano varieties with mild singularities called Q-Fano threefolds. The classification of Q-Fano threefolds has been open for several decades, but there has been significant recent progress. These advances combine computational algebraic geometry and large-scale data analysis with new ideas that originated in theoretical physics.
Given a natural number $l$ and a weak Fano $n$-fold $X$ with $\operatorname{dim}\overline{φ_{-lK_X}(X)}\geq n-1$, we study the lower bound of the anti-canonical volume and the upper bound of the anti-canonical stability index. The method can also be used to give similar bounds for polarised Calabi-Yau varieties.
This is a survey paper about a selection of recent results on the geometry of a special class of Fano varieties, which are called of K3 type. The focus is mostly Hodge-theoretical, with an eye towards the multiple connections between Fano varieties of K3 type and hyperkähler geometry.
We show that the Picard rank is constant in families of Fano varieties (in arbitrary characteristic) and we moreover investigate the constancy of the index.
We prove results about 1-cycles on certain Fano varieties using techniques that rely on rational curves. Firstly, we show that Fano weighted complete intersections with index bigger than half their dimension have trivial first Griffiths group. Secondly, we prove that the first Chow group of most $2$-Fano weighted complete intersections, and of $2$-Fano conic-connected varieties in $\mathbb{P}^n$ of high enough index (with $3$ obvious exceptions), are generated by lines. Furthermore, if the Fano variety of lines is irreducible, the first Chow group is isomorphic to $\mathbb{Z}$.
We construct several new families of Fano varieties of K3 type. We give a geometrical explanation of the K3 structure and we link some of them to projective families of irreducible holomorphic symplectic manifolds.
We classify mildly singular Fano varieties $X$ such that $\mathrm{Nef}(X)=\mathrm{Psef}(X)$ and that the Picard number of $X$ is equal to the dimension of $X$ minus $1$.
We show that the set of Fano varieties (with arbitrary singularities) whose anticanonical divisors have large Seshadri constants satisfies certain weak and birational boundedness. We also classify singular Fano varieties of dimension $n$ whose anticanonical divisors have Seshadri constants at least $n$, generalizing an earlier result of Liu and the author.
This note is about cycle-theoretic properties of the Fano variety of lines on a smooth cubic fivefold. The arguments are based on the fact that this Fano variety has finite-dimensional motive. We also present some results concerning Chow groups of Fano varieties of lines on certain cubics in other dimensions.
We explain a web of Sarkisov links that overlies the classification of Fano weighted projective spaces in dimensions 3 and 4, extending results of Prokhorov.
Conjecturally, Fano varieties of K3 type admit a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. We prove this for many of the families of Fano varieties of K3 type constructed by Fatighenti-Mongardi. This has interesting consequences for the Chow ring of these varieties.
We study global log canonical thresholds on anticanonically embedded quasismooth weighted Fano threefold hypersurfaces having terminal quotient singularities to prove the existence of a Kahler-Einstein metric on most of them, and to produce examples of Fano varieties with infinite discrete groups of birational automorphisms.
We study the anti-canonical ring of a projective variety and we characterise varieties of log Fano type depending on the singularities of these models.
We obtain a combinatorial description of Gorenstein spherical Fano varieties in terms of certain polytopes, generalizing the combinatorial description of Gorenstein toric Fano varieties by reflexive polytopes and its extension to Gorenstein horospherical Fano varieties due to Pasquier. Using this description, we show that the rank of the Picard group of an arbitrary $d$-dimensional $\mathbb{Q}$-factorial Gorenstein spherical Fano variety is bounded by $2d$. This paper also contains an overview of the description of the natural representative of the anticanonical divisor class of a spherical va…
We complete the study of birational geometry of Fano fiber spaces $π\colon V\to {\mathbb P}^1$, the fiber of which is a Fano double hypersurface of index 1. For each family of these varieties we either prove birational rigidity or produce explicitly non-trivial structures of Fano fiber spaces. A new linear method of studying movable systems on Fano fiber spaces $V/{\mathbb P}^1$ is developed.
The purpose of this paper is to give basic tools for the classification of nonsingular toric Fano varieties by means of the notions of primitive collections and primitive relations due to Batyrev. By using them we can easily deal with equivariant blow-ups and blow-downs, and get an easy criterion to determine whether a given nonsingular toric variety is a Fano variety or not. As applications of these results, we get a toric version of a theorem of Mori, and can classify, in principle, all nonsingular toric Fano varieties obtained from a given nonsingular toric Fano variety by finite succession…
Fano varieties are subvarieties of the Grassmannian whose points parametrize linear subspaces contained in a given projective variety. These expository notes give an account of results on Fano varieties of complete intersections, with a view toward an application in machine learning. The prerequisites have been kept to a minimum in order to make these results accessible to a broad audience.