Related papers: Affine Springer fiber and the small quantum group
Let M be a closed 3-manifold and S(M) the skein module of M at some odd root of unity. Using the Frobenius morphism, we can see S(M) as the space of global sections of a coherent sheaf over the SL2 character scheme of M. We prove that when…
We prove that a 1-dimnl family of abelian varieties with an ample sheaf defining principal polarization can be canonically compactified (after a finite base change) to a projective family with an ample sheaf. We show that the central fiber…
We show that the category of coherent sheaves on the toric boundary divisor of a smooth quasiprojective toric DM stack is equivalent to the wrapped Fukaya category of a hypersurface in a complex torus. Hypersurfaces with every Newton…
An important result of Arkhipov-Bezrukavnikov-Ginzburg relates constructible sheaves on the affine Grassmannian to coherent sheaves on the dual Springer resolution. In this paper, we prove a positive-characteristic analogue of this…
We prove most of Lusztig's conjectures from the paper "Bases in equivariant K-theory II", including the existence of a canonical basis in the Grothendieck group of a Springer fiber. The conjectures also predict that this basis controls…
We give new homotopy theoretic criteria for deciding when a fibration with homotopy finite fibers admits a reduction to a fiber bundle with compact topological manifold fibers. The criteria lead to a new and unexpected result about…
We give a new moduli construction of the minimal resolution of the singularity of type 1/r(1,a) by introducing the Special McKay quiver. To demonstrate that our construction trumps that of the G-Hilbert scheme, we show that the induced…
We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…
For any formal group law, there is a formal affine Hecke algebra defined by Hoffnung, Malag\'on-L\'opez, Savage, and Zainoulline. Coming from this formal group law, there is also an oriented cohomology theory. We identify the formal affine…
Following the idea of [Far16], we develop the foundations of the geometric Langlands program on the Fargues--Fontaine curve. In particular, we define a category of $\ell$-adic sheaves on the stack $\mathrm{Bun}_G$ of $G$-bundles on the…
We prove that every filtered fiber functor on the category of dualizable representations of a smooth affine group scheme with enough dualizable representations comes from a graded fiber functor.
In this paper we provide a wildness criterion for any finite dimensional Hopf algebra with finitely generated cohomology. This generalizes a result of Farnsteiner to not necessarily cocommutative Hopf algebras over ground fields of…
Our goal is to convince the readers that the theory of complex normal surface singularities can be a powerful tool in the study of numerical semigroups, and, in the same time, a very rich source of interesting affine and numerical…
In this note we give a geometric realization of the cohomology of Springer fibers in type A. More precisely, we describe the cohomology by the coordinate ring of a scheme theoretic intersection of a Cartan subalgebra with a certain union of…
We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive…
Let G be a Lie goup, let M and N be smooth connected G-manifolds, let f be a smooth G-map from M to N, and let P denote the fiber of f. Given a closed and equivariantly closed relative 2-form for f with integral periods, we construct the…
We introduce the notion of a simultaneous categorical resolution of singularities, a categorical version of simultaneous resolutions of rational double points of surface degenerations. Furthermore, we suggest a construction of simultaneous…
An $n$-dimensional closed flat manifold is said to be of diagonal type if the standard representation of its holonomy group $G$ is diagonal. An $n$-dimensional Bieberbach group of diagonal type is the fundamental group of such a manifold.…
We extend the dimension and strong linearity results of generic vanishing theory to bundles of holomorphic forms and rank one local systems, and more generally to certain coherent sheaves of Hodge-theoretic origin associated to irregular…
In this article we overview those aspects of the theory of affine semigroups and their algebras that have been relevant for our own research, and pose several open problems. Answers to these problems would contribute substantially to the…