Related papers: Adams operations in cohomotopy
The space of differential operators acting on skewsymmetric tensor fields or on smooth forms of a smooth manifold are representations of its Lie algebra of vector fields. We compute the first cohomology spaces of these representations and…
The most standard description of symmetries of a mathematical structure produces a group. However, when the definition of this structure is motivated by physics, or information theory, etc., the respective symmetry objects might become more…
An isometric action of a Lie group on a Riemannian manifold is of cohomogeneity one if the corresponding orbit space is one-dimensional. In this article we develop a conceptual approach to the classification of cohomogeneity one actions on…
Quasi-elliptic cohomology is a variant of Tate K-theory. It is the orbifold K-theory of a space of constant loops. For global quotient orbifolds, it can be expressed in terms of equivariant K-theories. In this paper we show how this theory…
In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"),…
In this paper, we compute explicitly both the $K$-theory and integral cohomology rings of the space of commuting elements in $SU(2)$ via the $K$-theory of its desingularization. We also briefly discuss the different behavior of its…
We compute the cohomology of the quotient algebra $\mathcal{A}(2)$ of the $\mathbb{R}$-motivic dual Steenrod algebra. We do so by running a $\rho$-Bockstein spectral sequence whose input is the cohomology of $\mathbb{C}$-motivic…
Let $\text{Ham(M)}$ be the group of Hamiltonian symplectomorphisms of a quantizable, compact, symplectic manifold $(M,\omega)$. We prove the existence of an action integral around loops in $\text{Ham(M)}$, and determine the value of this…
This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to…
An action of A on X is a map F: AxX to X such that F|_X = id: X to X. The restriction F|_A: A to X of an action is called a cyclic map. Special cases of these notions include group actions and the Gottlieb groups of a space, each of which…
Let $\mathbb{B}(\mathcal{H})$ denote the $C^{\ast}$-algebra of all bounded linear operators on a Hilbert space $\big(\mathcal{H}, \langle\cdot, \cdot\rangle\big)$. Given a positive operator $A\in\B(\h)$, and a number $\lambda\in [0,1]$, a…
We extend the definition of Weinstein's Action homomorphism to Hamiltonian actions with equivariant moment maps of (possibly infinite-dimensional) Lie groups on symplectic manifolds, and show that under conditions including a uniform bound…
We study operads in unstable global homotopy theory, which is the homotopy theory of spaces with compatible actions by all compact Lie groups. We show that the theory of these operads works remarkably well, as for example it is possible to…
Homotopy comomentum maps are a higher generalization of the notion of moment map introduced to extend the concept of Hamiltonian actions to the framework of multisymplectic geometry. Loosely speaking, higher means passing from considering…
We compute the cohomology of the subalgebra $A^{C_2}(1)$ of the $C_2$-equivariant Steenrod algebra $A^{C_2}$. This serves as the input to the $C_2$-equivariant Adams spectral sequence converging to the $RO(C_2)$-graded homotopy groups of an…
The $C_2$-spectrum of Atiyah's Real $K$-theory is denoted by $\mathbf{KR}$ and the $C_2$-spectrum of topological modular forms of level structure $\Gamma_1(3)$ by $\mathbf{TMF}_1(3)$. In this short note we compute the $C_2$-equivariant…
We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…
For a skew left brace $(G, \cdot, \circ)$, the map $\lambda : (G, \circ) \to \Aut \,(G, \cdot),~~a \mapsto \lambda_a,$ where $\lambda_a(b) = a^{-1} \cdot (a \circ b)$ for all $a, b \in G$, is a group homomorphism. Then $\lambda$ can also be…
We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve…
In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically…