Abstract:Let $G$ be a connected and simply-connected semisimple group over $\mathbf{C}$, let $G_c$ be a maximal compact subgroup of $G(\mathbf{C})$, and let $T$ be a maximal torus. The derived geometric Satake equivalence of Bezrukavnikov-Finkelberg localizes to an equivalence between a full subcategory of $\mathrm{Loc}_{G_c}(\Omega G_c; \mathbf{C})$ and $\mathrm{QCoh}(\check{\mathfrak{g}}^{\mathrm{reg}}[2]/\check{G})$, which can be thought of as a version of the geometric Satake equivalence "over the regular locus". In this article, we study the story when $\mathrm{Loc}_{T_c}(\Omega G_c; \mathbf{C})$ is replaced by the $\infty$-category of $T$-equivariant local systems of $A$-modules over $\mathrm{Gr}_G(\mathbf{C})$, where $A$ is a complex-oriented even-periodic $\mathbf{E}_\infty$-ring equipped with an oriented group scheme $\mathbf{G}$. We show that upon rationalization, $\mathrm{Loc}_{T_c}(\Omega G_c; A)$, which was studied variously by Arkhipov-Bezrukavnikov-Ginzburg and Yun-Zhu when $A = \mathbf{C}[\beta^{\pm 1}]$, can be described in terms of the spectral geometry of various Langlands-dual stacks associated to $A$ and $\mathbf{G}$. For example, this implies that if $A$ is an elliptic cohomology theory with elliptic curve $E$, then $\mathrm{Loc}_{T_c}(\Omega G_c; A) \otimes \mathbf{Q}$ can be described via the moduli stack of $\check{B}$-bundles of degree $0$ on $E^\vee$.

Regular subdivisions, bounds on initial ideals, and categorical limits

Two-dimensional regularity and exactness

Limits of ideals of points in a toric variety

Three invariants of geometrically vertex decomposable ideals

Regular Ideals, Ideal Intersections, and Quotients

Monomial ideals with regular quotients and some edge rings

Real enumerative invariants relative to the toric boundary and their refinement

Quotients of unstable subvarieties and moduli spaces of sheaves of fixed Harder-Narasimhan type

Regular Hessenberg varieties for the minimal indecomposable Hessenberg space

Geometric vertex decomposition and liaison for toric ideals of graphs

Uniform bounds on projective dimension and Castelnuovo-Mumford regularity

Bounded geometry for PCF-special subvarieties

Locally dualisable modular representations and local regularity

Chromatic aberrations of geometric Satake over the regular locus

Degenerations of real irrational toric varieties

Binomial Difference Ideal and Toric Difference Variety

Syzygies of Curves in Products of Projective Spaces

Multidegrees, prime ideals, and non-standard gradings

Relative poset polytopes and semitoric degenerations

On regular sets of affine type in finite Desarguesian planes and related codes

A correspondence of good G-sets under partial geometric quotients