Related papers: Geometric Langlands duality and forms of reductive…

The geometric Langlands program can be described in a natural way by compactifying on a Riemann surface C a twisted version of N=4 super Yang-Mills theory in four dimensions. The key ingredients are electric-magnetic duality of gauge…

We study basic geometric properties of some group analogue of affine Springer fibers and compare with the classical Lie algebra affine Springer fibers. The main purpose is to formulate a conjecture that relates the number of irreducible…

We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed…

Given a semisimple element in the loop Lie algebra of a reductive group, we construct a quasi-coherent sheaf on a partial resolution of the trigonometric commuting variety of the Langlands dual group. The construction uses affine Springer…

Let ${\bf A}$ be the ring of adeles of a number field $F$. Given a self-dual irreducible, automorphic, cuspidal representation $\tau$ of $\GL_n(\BA)$, with trivial central characters, we construct its full inverse image under the weak…

We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally…

We show that homologically projectively dual varieties for Grassmannians Gr(2,6) and Gr(2,7) are given by certain noncommutative resolutions of singularities of the corresponding Pfaffian varieties. As an application we describe the derived…

A differential algebra of finite type over a field k is a filtered algebra A, such that the associated graded algebra is finite over its center, and the center is a finitely generated k-algebra. The prototypical example is the algebra of…

In this note we consider representations of the group GL(n,F), where F is the field of real or complex numbers or, more generally, an arbitrary local field, in the space of equivariant line bundles over Grassmannians over the same field F.…

We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…

Let Lag(E) be the grassmannian of lagrangian subspaces of a complex symplectic vector space E. We construct a Maslov class which generates the second integral cohomology of Lag(E), and we show that its mod 2 reduction is the characteristic…

Let $\mathbf{G}$ be a connected reductive group over an algebraically closed field $\mathbb{F}$ of good characteristic, satisfying some mild conditions. In this paper we relate tilting objects in the heart of Bezrukavnikov's exotic…

The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the…

In this paper we construct an abelian category of "mixed perverse sheaves" attached to any realization of a Coxeter group, in terms of the associated Elias-Williamson diagrammatic category. This construction extends previous work of the…

We discuss recent developments in the Langlands program for function fields, and in the geometric Langlands program. In particular we explain a canonical decomposition of the space of cuspidal automorphic forms for any reductive group G…

A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…

We prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups. As a corollary from this formula we get that if a perverse sheaf on a reductive group is equivariant under the adjoint action, then its Euler…

Covariant first order differential calculus over quantum complex Grassmann manifolds is considered. It is shown by a Pusz-Woronowicz type argument that under restriction to calculi close to classical Kaehler differentials there exist…

Tannaka's Theorem states that a linear algebraic group G is determined by the category of finite dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category…

We prove a version of the tamely ramified geometric Langlands correspondence in positive characteristic for $GL_n(k)$. Let $k$ be an algebraically closed field of characteristic $p> n$. Let $X$ be a smooth projective curve over $k$ with…