Related papers: Cohomological Splitting of Coadjoint Orbits

We study the construction of a manifestly covariant worldline action from a coadjoint orbit. A coadjoint orbit is a submanifold in the dual vector space of a Lie algebra, generated by coadjoint actions. Since a coadjoint orbit is a…

For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of…

For typical cocycles over subshifts of finite type, we show that for any given orbit segment, we can construct a periodic orbit such that it shadows the given orbit segment and that the product of the cocycle along its orbit is a proximal…

Let G be a simple algebraic group defined over an algebraically closed field of characteristic 0 or a good prime for G. Let U be a maximal unipotent subgroup of G and \u its Lie algebra. We prove the separability of orbit maps and the…

Let X be a "nice" space with an action of a torus T. We consider the Atiyah-Bredon sequence of equivariant cohomology modules arising from the filtration of X by orbit dimension. We show that a front piece of this sequence is exact if and…

By decomposing the regular representation of a particular (Heisenberg-like) Lie supergroup into irreducible subspaces, we show that not all of them can be obtained by applying geometric quantization to coadjoint orbits with an even…

Let M be the product of two compact Hamiltonian T-spaces X and Y. We present a formula for evaluating integrals on the symplectic reduction of M by the diagonal T action. At every regular value of the moment map for X x Y, the integral is…

We present the classification of coadjoint orbits of the unitriangular group $UT(7, K)$. We also describe subregular orbits of $UT(n, K)$ for an arbitrary $n$.

In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings…

This is the first of a series of two papers devoted to the partition function realization of Wilson surfaces in strict higher gauge theory. A higher version of the Kirillov-Kostant-Souriau theory of coadjoint orbits is presented based on…

We calculate the integral equivariant cohomology, in terms of generators and relations, of locally standard torus orbifolds whose odd degree ordinary cohomology vanishes. We begin by studying GKM-orbifolds, which are more general, before…

We calculate the rational equivariant cohomology of the spaces of non-contractible loops in compact space forms and show how to apply these calculations for proving the existence of closed geodesics.

We present two approaches to the study of the cohomology of moduli spaces of curves. Together, they allow us to compute the rational cohomology of the moduli space \Mbar_4 of stable complex curves of genus 4, with its Hodge structure.

We study the geometrical structure of the coadjoint orbits of an arbitrary complex or real Lie algebra ${\mathfrak g}$ containing some ideal ${\mathfrak n}$. It is shown that any coadjoint orbit in ${\mathfrak g}^*$ is a bundle with the…

Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data.…

We introduce a family of periods of mixed Tate motives called dissection polylogarithms, that are indexed by combinatorial objects called dissection diagrams. The motivic coproduct on the former is encoded by a combinatorial Hopf algebra…

For finite dimensional free $C_p$-spaces, the calculation of the Bredon cohomology ring as an algebra over the cohomology of $S^0$ is used to prove the non-existence of certain $C_p$-maps. These are related to Borsuk-Ulam type theorems, and…

Computation of homology or cohomology is intrinsically a problem of high combinatorial complexity. Recently we proposed a new efficient algorithm for computing cohomologies of Lie algebras and superalgebras. This algorithm is based on…

The quantization of vector bundles is defined. Examples are constructed for the well controlled case of equivariant vector bundles over compact coadjoint orbits. (Coadjoint orbits are symplectic spaces with a transitive, semisimple symmetry…

We compute the Poincare polynomial and the cohomology algebra with rational coefficeints of the manifold M_n of real points of the moduli space of algebraic curves of genus 0 with n labeled points. This cohomology is a quadratic algebra,…