Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSpringer fibers and the Delta Conjecture at $t=0$
138
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We introduce a family of varieties $Y_{n,lambda,s}$, which we call the $Delta$-Springer varieties, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,lambda,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are induced Specht modules. The $lambda=(1^k)$ case of this construction gives a compact geometric realization for the expression in the Delta Conjecture at $t=0$. Finally, we generalize results of De Concini and Procesi on the scheme of diagonal nilpotent matrices by constructing an ind-variety $Y_{n,lambda}$ whose cohomology ring is isomorphic to the coordinate ring of the scheme-theoretic intersection of an Eisenbud-Saltman rank variety and diagonal matrices.
rate research
Read More
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.
We study the exotic t-structure on the derived category of coherent sheaves on two-block Springer fibre (i.e. for a nilpotent matrix of type (m+n,n) in type A). The exotic t-structure has been defined by Bezrukavnikov and Mirkovic for Springer theoretic varieties in order to study representations of Lie algebras in positive characteristic. Using work of Cautis and Kamnitzer, we construct functors indexed by affine tangles, between categories of coherent sheaves on different two-block Springer fibres (i.e. for different values of n). After checking some exactness properties of these functors, we describe the irreducible objects in the heart of the exotic t-structure, and enumerate them by crossingless (m,m+2n) matchings. We compute the Exts between the irreducible objects, and show that the resulting algebras are an annular variant of Khovanovs arc algebras. In subsequent work we will make a link with annular Khovanov homology, and use these results to give a positive characteristic analogue of some categorification results using two-block parabolic category O (by Bernstein-Frenkel-Khovanov, Brundan, Stroppel, et al).
We show the rationality of a generating series from the affine Springer fibers. The main ingredient is the homogeneity of the Arthur-Shalika germ expansion for the weighted orbital integrals.
Springer fibers are subvarieties of the flag variety parametrized by partitions; they are central objects of study in geometric representation theory. Schubert varieties are subvarieties of the flag variety that induce a well-known basis for the cohomology of the flag variety. This paper relates these two varieties combinatorially. We prove that the Betti numbers of the Springer fiber associated to a partition with at most three rows or two columns are equal to the Betti numbers of a specific union of Schubert varieties.
Springer varieties are studied because their cohomology carries a natural action of the symmetric group $S_n$ and their top-dimensional cohomology is irreducible. In his work on tangle invariants, Khovanov constructed a family of Springer varieties $X_n$ as subvarieties of the product of spheres $(S^2)^n$. We show that if $X_n$ is embedded antipodally in $(S^2)^n$ then the natural $S_n$-action on $(S^2)^n$ induces an $S_n$-representation on the image of $H_*(X_n)$. This representation is the Springer representation. Our construction admits an elementary (and geometrically natural) combinatorial description, which we use to prove that the Springer representation on $H_*(X_n)$ is irreducible in each degree. We explicitly identify the Kazhdan-Lusztig basis for the irreducible representation of $S_n$ corresponding to the partition $(n/2,n/2)$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
