Related papers: Steenrod operations and the diagonal morphism

Let D_n be the Dickson invariant ring of F_2[X_1,...,X_n] acted by the general linear group GL(n,\F_2). In this paper, we provide an elementary proof of the conjecture by [Hung]: each element in D_n is in the image of the Steenrod square in…

We prove a cyclic cohomological analogue of Haefliger's van Est-type theorem for the groupoid of germs of diffeomorphisms of a manifold. The differentiable version of cyclic cohomology is associated to the algebra of transverse differential…

This article fills some gaps in Voevodsky's construction of the Steenrod operations acting on the motivic cohomology with coefficients in Z/lZ of motivic spaces in the sense of Morel and Voevodsky over a perfect field of characteristic…

We consider a free action of an Ore semigroup on a higher-rank graph, and the induced action by endomorphisms of the $C^*$-algebra of the graph. We show that the crossed product by this action is stably isomorphic to the $C^*$-algebra of a…

We prove the $K$-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and $C^*$-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes…

We introduce a symmetric operad $\square p$ ("box-op") which describes a certain calculus of rectangular labeled ``boxes''. Algebras over $\square p$, which we call box operads, have appeared under the name of fc multicategories in work by…

We determine the homotopy type of quotients of $S^n \times S^n$ by free actions of $\mathbb Z_{/p} \times \mathbb Z_{/p}$ where $2p>n+3$. Much like free $\mathbb Z_{/p}$ actions, they can be classified via the first $p$-localized…

In this article we study simplicity and traces of reduced $L^p$ operator crossed products $F^p_{\mathrm{r}}(G, A, \alpha)$. Given $p \in (1, \infty)$, let $G$ be a Powers group, and let $\alpha \colon G \to Aut(A)$ be an isometric action of…

Given a connected semisimple Lie group $G$, Monod has recently proved that the measurable cohomology of the $G$-action $H^*_m(G \curvearrowright G/P)$ on the Furstenberg boundary $G/P$, where $P$ is a minimal parabolic subgroup, maps…

Let $p$ be an odd prime and $\mathbb{F}_p$ be the prime field of order $p$. Consider a $2$-dimensional orthogonal group $G$ over $\mathbb{F}_p$ acting on the standard representation $V$ and the dual space $V^*$. We compute the invariant…

We consider the notion of the graph product of actions of groups $\left\{G_v\right\}$ on a $C^*$-algebra $\mathcal{A}$ and show that under suitable commutativity conditions the graph product action $\bigstar_\Gamma \alpha_v: \bigstar_\Gamma…

We give an algebraic/geometric characterization of the classical pseudodifferential operators on a smooth manifold in terms of the tangent groupoid and its natural $\mathbb{R}^\times_+$-action. Specifically, we show that a properly…

We study self-similar groupoid actions on arbitrary directed graphs together with $\mathbb{T}$-valued twists that exhaust the second cohomology group of the associated Zappa-Sz\'ep product category. We define and analyse the associated…

In this work we obtain sharp $L^p$-estimates for pseudo-differential operators on arbitrary graded Lie groups. The results are presented within the setting of the global symbolic calculus on graded Lie groups by using the Fourier analysis…

Let k be the field with p>0 elements, and let G be a finite group. By exhibiting an E-infinity-operad action on Hom(P,k) for a complete projective resolution P of the trivial kG-module k, we obtain power operations of Dyer-Lashof type on…

In this paper, we establish dimension-free $L_p$-estimates for operator-valued maximal spherical means over cyclic groups $\Z_{m+1}^d$ for all $p>1$ and $m\geq1$. The key ingredient is a noncommutative extension of the spectral technique…

The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…

Let A -> B be a homomorphism of commutative rings. The squaring operation is a functor Sq_{B/A} from the derived category D(B) of complexes B-modules into itself. The squaring operation is needed for the definition of rigid complexes (in…

In this paper we present the construction of explicit quasi-isomorphisms that compute the cyclic homology and periodic cyclic homology of crossed-product algebras associated with (discrete) group actions. In the first part we deal with…

Let X a proper smooth curve over the field of complex numbers. Localization of the Heisenberg algebra gives the algebra of global sections of the ring of differential operators on the Jacobian J of X. It seems natural to ask for same kind…