Related papers: A Friedlander-Suslin theorem over a noetherian bas…

Relying on the computation of the Andre-Quillen homology groups for unstable Hopf algebras, we prove that the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

Let $mathfrak{g}$ be a restricted Lie superalgebra over an algebraically closed field $k$ of characteristic $p>2$. Let $\mathfrak{u}(\mathfrak{g})$ denote the restricted enveloping algebra of $\mathfrak{g}$. In this paper we prove that the…

We study the automorphism groups attached to a free algebra with multiple, possibly infinitely many, composition laws. As an application, we prove that the automorphism group of finitely generated vertex algebras over noetherian rings are…

We show that for a noetherian algebra $A$ whose bounded dg derived category is smooth, the singular Hochschild cohomology (=Tate--Hochschild cohomology) is isomorphic, as a graded algebra, to the Hochschild cohomology of the dg singularity…

We introduce a notion of ellipticity of complexes of linear pseudodifferential operators acting on sections of $A$-Hilbert bundles over smooth manifolds, $A$ being a $C^*$-algebra. We prove that the cohomology groups of an $A$-elliptic…

Let $\Gamma$ be a torsion-free arithmetic group acting on its associated global symmetric space $X$. Assume that $X$ is of non-compact type and let $\Gamma$ act on the geodesic boundary $\partial X$ of $X$. Via general constructions in…

Let $A$ be a connected commutative $\C$-algebra with derivation $D$, $G$ a finite linear automorphism group of $A$ which preserves $D$, and $R=A^G$ the fixed point subalgebra of $A$ under the action of $G$. We show that if $A$ is generated…

Let $G$ be a finite group and $k$ a field of characteristic $p$. We conjecture that if $M$ is a $kG$-module with $H^*(G,M)$ finitely generated as a module over $H^*(G,k)$ then as an element of the stable module category…

We prove a decomposition theorem for the equivariant K-theory of actions of affine group schemes G of finite type over a field on regular separated noetherian algebraic spaces, under the hypothesis that the actions have finite geometric…

In this paper we prove the following generalization of a result of Hartshorne: Let $(S,\n)$ be a regular local ring of dimension $4$. Assume that $x,y,u,v$ is a regular system of parameters for $S$ and $a:=xu+yv$. Then for each finitely…

Let $n$ be a fixed positive integer and $h: \{1,2,\ldots,n\} \rightarrow \{1,2,\ldots,n\}$ a Hessenberg function. The main results of this paper are twofold. First, we give a systematic method, depending in a simple manner on the Hessenberg…

We determine the Batalin-Vilkovisky structure on the Tate-Hochschild cohomology of the group algebra $kG$ of a finite group $G$ in terms of the additive decomposition. In particular, we show that the Tate cohomology of $G$ is a…

We give a proof of the finite generation of the cohomology ring of a finite p-group over F_p by reduction to the case of elementary abelian groups, based on Serre's Theorem on products of Bocksteins.

We prove that Ext^*_A(k,k) is a Gerstenhaber algebra, where A is a Hopf algebra. In case A=D(H) is the Drinfeld double of a finite dimensional Hopf algebra H, our results implies the existence of a Gerstenhaber bracket on H^*_{GS}(H,H).…

We prove that the quantum graph algebra and the quantum moduli algebra associated to a punctured sphere and complex semisimple Lie algebra $\mathfrak{g}$ are Noetherian rings and finitely generated rings over $\mathbb{C}(q)$. Moreover, we…

Let H be a semisimple (so, finite dimensional) Hopf algebra over an algebraically closed field k of characteristic zero and let A be a commutative domain over k. We show that if A arises as an H-module algebra via an inner faithful…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

Let $\mathcal K$ be a complete quasivariety of completely regular universal topological algebras of continuous signature $\mathcal E$ (which means that $\mathcal K$ is closed under taking subalgebras, Cartesian products, and includes all…

We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30.…