Related papers: Steenrod operations and the diagonal morphism

In 1999, Reg Wood conjectured that the quotient of Q[x_1,...,x_n] by the action of the rational Steenrod algebra is a graded regular representation of the symmetric group S_n. As pointed out by Reg Wood, the analog of this statement is a…

We introduce a theory of $*$-structures for bialgebroids and Hopf algebroids over a $*$-algebra, defined in such a way that the relevant category of (co)modules is a bar category. We show that if $H$ is a Hopf $*$-algebra then the action…

This paper answers a fundamental question in the theory of Steiner operations (StOps) as defined and studied in the monograph, "Global Methods for Combinatorial Isoperimetric Problems" (GMCIP). StOps are morphisms for combinatorial…

This article considers cuspidal curves whose coordinate rings are numerical semigroup algebras. Using a general result about descent of Hopf algebroid structures, their rings of differential operators are shown to be cocommutative and…

Let $p$ be an odd prime number. We study the problem of determining the module structure over the mod $p$ Steenrod algebra $\mathcal A(p)$ of the Dickson algebra $D_n$ consisting of all modular invariants of general linear group…

The Stolz--Teichner program proposes a deep connection between geometric field theories and certain cohomology theories. In this paper, we extend this connection by developing a theory of geometric power operations for geometric field…

We calculate the mod-two cohomology of all alternating groups together, with both cup and transfer product structures, which in particular determines the additive structure and ring structure of the cohomology of individual groups. We show…

We prove some results related to a conjecture of Hivert and Thi\'ery about the dimension of the space of q-harmonics. In the process we compute the actions of the involved operators on symmetric and alternating functions, which have some…

We give a Hopf-algebraic formulation of the $R^*$-operation, which is a canonical way to render UV and IR divergent Euclidean Feynman diagrams finite. Our analysis uncovers a close connection to Brown's Hopf algebra of motic graphs. Using…

For $p\in (1,\infty)$, we study representations of \'etale groupoids on $L^{p}$-spaces. Our main result is a generalization of Renault's disintegration theorem for representations of \'etale groupoids on Hilbert spaces. We establish a…

We show that a closed orientable 3-manifold M admits an action of Z_p with fixed point set S^1 iff M can be obtained as the result of surgery on a p-periodic framed link L and Z_p acts freely on the components of L. We prove a similar…

Let A be the mod 2 Steenrod algebra, and let Q denote the category of exterior sub-Hopf algebras of A, where the morphisms are given by inclusions. The restriction maps Ext_A (Z/2,Z/2) --> Ext_E (Z/2,Z/2), for E in Q, can be assembled into…

Given a non-singular action $\Gamma \curvearrowright (X,\mu)$, we define the $*$-algebra $\mathbb C_{\rm fp}[\Gamma \curvearrowright X]$ of operators of finite dynamical propagation associated with this action. This assignment is completely…

We prove that the Serre spectral sequence of the fibration $\overline{\mathcal M}_{0, 1+p} \to E\mathbb Z/p \times_{\mathbb Z/p} \overline{\mathcal M}_{0, 1+p} \to B \mathbb Z/p$ collapses at the $E_2$ page. We use this to prove that: for…

We introduce the notion of $\mathrm{R}$-Eulerian sequences for any $\mathcal{N}_\infty$-ring spectrum $\mathrm{R}$ of finite orientation order. We prove that each $\mathrm{R}$-Eulerian sequence determines a stable $\mathrm{R}$-cohomology…

In the present work we define and study the classifying (or "quotient") site $[X/\Sigma]$ for any small site $X$ with (countable) coproducts endowed with an action of a (countable) semigroup $\Sigma$. A simple case (the most relevant to our…

Given a compact Lie group $G$, in this paper we establish $L^p$-bounds for pseudo-differential operators in $L^p(G)$. The criteria here are given in terms of the concept of matrix symbols defined on the non-commutative analogue of the phase…

Let $p$ be an odd prime and $G$ the finite cyclic group of order $p$. We use the Casson-Walker-Lescop invariant to find a necessary condition for a three-manifold to have an action of $G$ with a circle as the set of fixed points.

We show that the $\ell^p$-pseudofunctions, which were recently shown to lead to exotic completions of group $C^*$-algebras by Wiersma and the second named author, can be used to construct well-behaved crossed product functors in the sense…

In an interesting note, E.M. Stein observed some 20 years ago that while the Kohn Laplacian $\square_b$ on functions is neither locally solvable nor (analytic) hypoelliptic, the addition of a non-zero complex constant reversed these…