Related papers: On normed $\mathbb{E}_\infty$-rings in genuine equ…

We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both relations and operations. We show the close connection between this problem and a…

This paper studies averaging algebras, say, associative algebras endowed with averaging operators. We develop a cohomology theory for averaging algebras and justify it by interpreting lower degree cohomology groups as formal deformations…

We prove that if $R$ is an $\mathbb{E}_2$-ring with homotopy concentrated in even degrees, and $\{x_j\}$ is any sequence of elements in $\pi_{2*}(R)$, then $R/(x_1,x_2,\cdots)$ admits the structure of an $\mathbb{E}_1$-$R$-algebra. This…

We describe in terms of generators and relations the ring structure of the $RO(C_2)$-graded $C_2$-equivariant stable stems $\pi_\star^{C_2}$ modulo the ideal of all nilpotent elements. As a consequence, we also record the ring structure of…

In this paper we present the notion of a von Neumann regular $\mathcal{C}^{\infty}-$ring, we prove some results about them and we describe some of their properties. We prove, using two different methods, that the category of von Neumann…

We characterize relatively norm compact sets in the regular $C^*$-algebra of finitely generated Coxeter groups using a geometrically defined positive semigroup acting on the algebra.

For $R$ a Euclidean number ring, and let $\Gamma_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(R)$. Borel--Serre showed that the cohomology of $\Gamma_n(p)$ vanishes above a degree $\nu$ that is quadratic in $n$. Let…

We compute the $RO(C_p \times C_p)$-graded Bredon cohomology of equivariant universal and classifying spaces associated to families of subgroups, with coefficients in the constant Mackey functor $\underline{\mathbb{F}_p}$. An explicit…

Over the past century, cohomology operations have played a crucial role in homotopy theory and its applications. A powerful framework for constructing such operations is the theory of commutative algebras in spectra. In this article, we…

For strongly even $\mathbb{E}_{\infty}^{C_2}$-rings $E$ we show that any homotopy ring map $\mathrm{MU} \to E^e$ lifts to an $\mathbb{E}_{\rho}$-map $\mathrm{MU}_{\mathbb{R}} \to E$. This refines the Hahn-Shi Real orientations of Lubin-Tate…

Let $k$ be a perfect field of characteristic $p$. Associated to any (1-dimensional, commutative) formal group law of finite height $n$ over $k$ there is a complex oriented cohomology theory represented by a spectrum denoted $E(n)$ and…

A homotopy commutative algebra, or $C_{\infty}$-algebra, is defined via the Tornike Kadeishvili homotopy transfer theorem on the vector space generated by the set of Young tableaux with self-conjugated Young diagrams. We prove that this…

We show that if X is any proper complex variety, there is a weight decomposition on the real schematic homotopy type, in the form of an algebraic G_m-action. This extends to a real Hodge structure, in the form of a discrete C^*-action, such…

We take the following approach to analyze homotopy equivalence in periodic adelic functions. First, we introduce the concept of pre-periodic functions and define their homotopy invariant through the construction of a generalized winding…

The topological Hochschild homology THH(R) of a commutative S-algebra (E_infty ring spectrum) R naturally has the structure of a commutative R-algebra in the strict sense, and of a Hopf algebra over R in the homotopy category. We show,…

This dissertation concerns the classification of groupoid and higher-rank graph C*-algebras and has two main components. Firstly, for a groupoid it is shown that the notions of strength of convergence in the orbit space and…

The classical Gelfand--Naimark theorems provide important insight into the structure of general and of commutative C*-algebras. It is shown that these can be generalized to certain ordered *-algebras. More precisely, for $\sigma$-bounded…

In this work we study the $E_{\infty}$-ring $\text{THH}(\mathbb{F}_p)$ as a graded spectrum. Following an identification at the level of $E_2$-algebras with $\mathbb{F}_p[\Omega S^3]$, the group ring of the $E_1$-group $\Omega S^3$ over…

We introduce a path-theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higher level generalisations over fields of arbitrary characteristic. Our first main result is a…

We show that C*-algebras generated by irreducible representations of finitely generated nilpotent groups satisfy the universal coefficient theorem of Rosenberg and Schochet. This result combines with previous work to show that these…