Back stable Schubert calculus

We study the back stable Schubert calculus of the infinite flag variety. Our main results are: – a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; – a novel definition of double and triple Stanley symmetric functions; – a proof of the positivity of double Edelman–Greene coefficients generalizing the results of Edelman–Greene and Lascoux–Schützenberger; – the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman–Greene insertion algorithm; – the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case; – equivariant Pieri rules for the homology of the infinite Grassmannian; – homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian.

Hodge decomposition of string topology

Let X be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$ -equivariant homology $ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $ of the free loop space of X preserves the Hodge decomposition of $ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture of [7].

Homological Stability for Spaces of Commuting Elements in Lie Groups

In this paper, we study homological stability for spaces $\textrm{Hom}({{\mathbb{Z}}}^n,G)$ of pairwise commuting $n$-tuples in a Lie group $G$. We prove that for each $n\geqslant 1$, these spaces satisfy rational homological stability as $G$ ranges through any of the classical sequences of compact, connected Lie groups, or their complexifications. We prove similar results for rational equivariant homology, for character varieties, and for the infinite-dimensional analogues of these spaces, $\textrm{Comm}(G)$ and $B_{\textrm{com}} G$, introduced by Cohen–Stafa and Adem–Cohen–Torres-Giese, respectively. In addition, we show that the rational homology of the space of unordered commuting $n$-tuples in a fixed group $G$ stabilizes as $n$ increases. Our proofs use the theory of representation stability—in particular, the theory of $\textrm{FI}_W$-modules developed by Church–Ellenberg–Farb and Wilson. In all of the these results, we obtain specific bounds on the stable range, and we show that the homology isomorphisms are induced by maps of spaces.

Homology of SL2 over function fields I: Parabolic subcomplexes

The present paper studies the group homology of the groups {\operatorname{SL}_{2}(k[C])} and {\operatorname{PGL}_{2}(k[C])} , where {C=\overline{C}\setminus\{P_{1},\dots,P_{s}\}} is a smooth affine curve over an algebraically closed field k. It is well known that these groups act on a product of trees and the quotients can be described in terms of certain equivalence classes of rank two vector bundles on the curve {\overline{C}} . There is a natural subcomplex consisting of cells with suitably non-trivial isotropy group. The paper provides explicit formulas for the equivariant homology of this “parabolic subcomplex”. These formulas also describe group homology of {\operatorname{SL}_{2}(k[C])} above degree s, generalizing a result of Suslin in the case {s=1} .

K-theory Schubert calculus of the affine Grassmannian

We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case where G=SLn, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, calledK-k-Schur functions, whose highest-degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations by means of Kashiwara’s thick affine flag manifold.