Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0706.0460

Permutation actions on equivariant cohomology

Julianna S. Tymoczko
View original source ↗Read source document ↗Export metadata ↓

Abstract

This survey paper describes two geometric representations of the permutation group using the tools of toric topology. These actions are extremely useful for computational problems in Schubert calculus. The (torus) equivariant cohomology of the flag variety is constructed using the combinatorial description of Goresky-Kottwitz-MacPherson, discussed in detail. Two permutation representations on equivariant and ordinary cohomology are identified in terms of irreducible representations of the permutation group. We show how to use the permutation actions to construct divided difference operators and to give formulas for some localizations of certain equivariant classes. This paper includes several new results, in particular a new proof of the Chevalley-Monk formula and a proof that one of the natural permutation representations on the equivariant cohomology of the flag variety is the regular representation. Many examples, exercises, and open questions are provided.

Explore related subjects

math.ATmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Julianna S. Tymoczko. 2007-06-04. Permutation actions on equivariant cohomology. https://arxiv.org/abs/0706.0460

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Persistence and Topological Complexity

Topological complexity is a homotopy invariant that measures the minimal number of continuous rules required for motion planning in a space. In this work, we introduce persistent analogs of topological complexity and its cohomological lower bound, the zero-divisor-cup-length, for persistent topological spaces, and establish their stability. For Vietoris--Rips filtrations of metric spaces, we show that the erosion distances between these persistent invariants are bounded above by twice the Gromov--Hausdorff distance. We develop metric models of classical topological spaces based on cube boundaries with the $\ell_\infty$ metric and their products and wedges, allowing explicit computations of persistent invariants and their distances. These examples show that, in certain cases, persistent topological complexity and zero-divisor-cup-length distinguish spaces that persistent homology, persistent LS-category, and persistent cup-length fail to distinguish.

math.AT↗
arXiv2026

Nilpotence phenomena over $\mathbb{E}_{\infty}$-rings in positive characteristic

We study the behavior of nilpotent classes in $\mathbb{E}_\infty$-rings over finite fields. In characteristic $p=2$, we show that any nilpotent class can be killed by a nilpotence detecting map of $\mathbb{E}_\infty$-rings. As a consequence, we prove the existence of ``residue fields'', namely that any non-zero $\mathbb{E}_\infty$-ring over $\mathbb{F}_2$ admits a map to a separably closed graded field. Conversely, for any odd prime $p$, we construct non-zero $\mathbb{E}_\infty$-rings over $\mathbb{F}_p$ which admit nilpotent classes that cannot be killed by any non-zero map of $\mathbb{E}_\infty$-rings, a phenomenon that does not occur classically or at any finite height.

math.AT↗
arXiv2026

Radicals and Nilpotents in Equivariant Algebra

Associated to each Tambara functor $T$ is its Nakaoka spectrum $\mathrm{Spec}(T)$, analogous to the Zariski spectrum of a commutative ring. We establish that this topological space is spectral. This result follows from an analysis of the notion of nilpotence in Tamabra functors. We prove that the nilradical of a Tambara functor $T$ (the intersection of all of its prime ideals) is computed levelwise, i.e. consists precisely of the nilpotent elements in $T$. In contrast to ordinary commutative algebra, the nilpotents of $T$ are not the same as the elements $x$ such that $T[1/x] = 0$; we therefore also give a classification of these elements. As a corollary, we observe that the set of these elements in $π_\star^s$ (the equivariant stable stems, viewed as an $\mathrm{RO}(G)$-graded Tambara functor) forms an ideal.

math.AT↗