In this paper, we describe a connection that exists among (a) the number of singular points along the trajectory of Toda flow, (b) the cohomology of a compact subgroup $K$, and (c) the number of points of a Chevalley group $K({\mathbb F}_q)$ related to $K$ over a finite field ${\mathbb F}_q$. The Toda lattice is defined for a real split semisimple Lie algebra $\mathfrak g$, and $K$ is a maximal compact Lie subgroup of $G$ associated to $\mathfrak g$. Relations are also obtained between the singularities of the Toda flow and the integral cohomology of the real flag manifold $G/B$ with $B$ the Borel subgroup of $G$ (here we have $G/B=K/T$ with a finite group $T$). We also compute the maximal number of singularities of the Toda flow for any real split semisimple algebra, and find that this number gives the multiplicity of the singularity at the intersection of the varieties defined by the zero set of Schur polynomials.
For n>2, we prove the mod 2 cohomology of the finite Chevalley group Spin_n(F_q) is isomorphic to that of the classifying space of the loop group of the spin group Spin(n).
We compute the number of rational points of classifying stacks of Chevalley group schemes using the Lefschetz-Grothendieck trace formula of Behrend for $\ell$-adic cohomology of algebraic stacks. From this we also derive associated zeta functions for these classifying stacks.
Let p, ell be distinct primes and let q be a power of p. Let G be a connected compact Lie group. We show that there exists an integer b such that the mod ell cohomology of the classifying space of a finite Chevalley group G(F_q) is isomorphic to the mod ell cohomology of the classifying space of the loop group LG for q=p^{ab}, a>0.
We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}Σ$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to as ``Schubert Calculus on ${\mathrm{w}}Σ$''. For the weighed Schubert classes in ${\mathrm{w}}Σ$, we give the Chevalley's formula. In addition, we define the weighted analogue of double Schubert polynomials and give the corresponding Chevalley--Monk's formula.
We study the singularities (blow-ups) of the Toda lattice associated with a real split semisimple Lie algebra $\mathfrak g$. It turns out that the total number of blow-up points along trajectories of the Toda lattice is given by the number of points of a Chevalley group $K({\mathbb F}_q)$ related to the maximal compact subgroup $K$ of the group $\check G$ with $\check{\mathfrak g}={\rm Lie}(\check G)$ over the finite field ${\mathbb F}_q$. Here $\check{\mathfrak g}$ is the Langlands dual of ${\mathfrak g}$. The blow-ups of the Toda lattice are given by the zero set of the $τ$-functions. For ex…
We give a simple characterization of Lie elements in free pre-Lie algebras as elements of the kernel of a map between spaces of trees. We explain how this result is related to natural operations on the Chevalley-Eilenberg complex of a Lie algebra. We also indicate a possible relation to Loday's theory of triplettes.
We construct some spectral sequences as tools for computing commutative cohomology of commutative Lie algebras in characteristic 2. In a first part, we focus on a Hochschild-Serre-type spectral sequence, while in a second part we obtain comparison spectral sequences which mediate between Chevalley-Eilenberg-, commutative-and Leibniz cohomology. These methods are illustrated by a few computations.
Let G be a compact, connected Lie group, acting smoothly on a manifold M. Goresky-Kottwitz-MacPherson described a small Cartan model for the equivariant cohomology of M, quasi-isomorphic to the standard Cartan complex of equivariant differential forms. In this paper, we construct an explicit cochain map from the small Cartan model into the standard Cartan model, inducing an isomorphism in cohomology. The construction involves the solution of a remarkable inhomogeneous Maurer-Cartan equation. This solution has further applications to the theory of transgression in the Weil algebra, and to the C…
Based on the Basis theorem of Bruhat--Chevalley [C] and the formula for multiplying Schubert classes obtained in [D\QTR{group}{u}] and programed in [DZ$_{\QTR{group}{1}}$], we introduce a new method computing the Chow rings of flag varieties (resp. the integral cohomology of homogeneous spaces). The method and results of this paper have been extended in [DZ$_{3}$, DZ$_{4}$] to obtain the integral cohomology rings of all complete flag manifolds, and to construct the integral cohomologies of Lie groups in terms of Schubert classes.
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 an…
We determine the mod $2$ cohomology over the Steenrod algebra of the classifying spaces of the free loop groups $LG$ for compact groups $G=Spin(7)$, $Spin(8)$, $Spin(9)$, and $F_4$. Then, we show that they are isomorphic as algebras over the Steenrod algebra to the mod $2$ cohomology of the corresponding Chevalley groups of type $G(q)$, where $q$ is an odd prime power. In a similar manner, we compute the cohomology of the free loop space over $BDI(4)$ and show that it is isomorphic to that of $BSol(q)$ as algebras over the Steenrod algebra.
We construct and examine the universal Toda bracket of a highly structured ring spectrum R. This invariant of R is a cohomology class in the Mac Lane cohomology of the graded ring of homotopy groups of R which carries information about R and the category of R-module spectra. It determines for example all triple Toda brackets of R and the first obstruction to realizing a module over the homotopy groups of R by an R-module spectrum. For periodic ring spectra, we study the corresponding theory of higher universal Toda brackets. The real and complex K-theory spectra serve as our main examples.
Let $G$ be a smooth connected reductive group over a field $k$ and $Γ$ be a central subgroup of $G$. We construct Eilenberg-Moore-type spectral sequences converging to the Hodge and de Rham cohomology of $B(G/Γ)$. As an application, building upon work of Toda and using Totaro's inequality, we show that for all $m\geq 0$ the Hodge and de Rham cohomology algebras of the classifying stacks $B\mathrm{PGL}_{4m+2}$ and $B\mathrm{PSO}_{4m+2}$ over $\mathbb{F}_2$ are isomorphic to the singular $\mathbb{F}_2$-cohomology of the classifying space of the corresponding Lie group. From this we obtain a full…
We give a complete description of the integral cohomology ring of the flag manifold E_8/T, where E_8 denotes the compact exceptional Lie group of rank 8 and T its maximal torus, by the method due to Borel and Toda. This completes the computation of the integral cohomology rings of the flag manifolds for all compact connected simple Lie groups.
This is a survey of `Cohomological Physics', a phrase that first appeared in the context of anomalies in gauge theory. Differential forms were implicit in physics at least as far back as Gauss (1833) (cf. his electro-magnetic definition of the linking number), and more visibly in Dirac's magnetic monopole (1931). The magnetic charge was given by the first Chern number. Thus were characteristic classes (and by implication the cohomology of Lie algebras and of Lie groups) introduced into physics. The `ghosts' introduced by Fade'ev and Popov were incorporated into what came to be known as BRST co…
Using factorization homology, we realize the rational homology of the unordered configuration spaces of an arbitrary manifold $M$, possibly with boundary, as the homology of a Lie algebra constructed from the compactly supported cohomology of $M$. By locating the homology of each configuration space within the Chevalley-Eilenberg complex of this Lie algebra, we extend theorems of Bödigheimer-Cohen-Taylor and Félix-Thomas and give a new, combinatorial proof of the homological stability results of Church and Randal-Williams. Our method lends itself to explicit calculations, examples of which we …
Attributed to J F Adams is the conjecture that, at odd primes, the mod-p cohomology ring of the classifying space of a connected compact Lie group is detected by its elementary abelian p-subgroups. In this note we rely on Toda's calculation of H^*(BF_4;F_3) in order to show that the conjecture holds in case of the exceptional Lie group F_4. To this aim we use invariant theory in order to identify parts of H^*(BF_4;F_3) with invariant subrings in the cohomology of elementary abelian 3-subgroups of F_4. These subgroups themselves are identified via the Steenrod algebra action on H^*(BF_4;F_3).
We develop methods for computing the restriction map from the cohomology of the automorphism group of a height $dn$ formal group law (i.e., the height $dn$ Morava stabilizer group) to the cohomology of the automorphism group of an $A$-height $n$ formal $A$-module, where $A$ is the ring of integers in a degree $d$ field extension of $\mathbb{Q}_p$. We then compute this map for the quadratic extensions of $\mathbb{Q}_p$ and the height $2$ Morava stabilizer group at primes $p>3$. We show that the these automorphism groups of formal modules are closed subgroups of the Morava stabilizer groups, and…
