Related papers: Free incomplete Tambara functors are almost never …
Given a set $\Sigma$ of equations, the free-algebra functor $F_{\Sigma}$ associates to each set $X$ of variables the free algebra $F_{\Sigma}(X)$ over $X$. Extending the notion of \emph{derivative} $\Sigma'$ for an arbitrary set $\Sigma$ of…
Let $k$ be a unital commutative ring. In this paper, we study polynomial functors from the category of finitely generated free nilpotent groups to the category of $k$-modules, focusing on comparisons across different nilpotency classes and…
We ask some questions and make some observations about the (complete) theory T (infinity, V) of free algebras in V on infinitely many generators, where V is a variety in the sense of universal algebra. We focus on the case T(infinity, R)…
Given a non-semisimple automorphism $\varphi$ of a vertex algebra $V$, the fields in a $\varphi$-twisted $V$-module involve the logarithm of the formal variable, and the action of the Virasoro operator $L_0$ on such module is not…
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…
Given associative unital algebras $A$ and $B$ and a complex $T^\bullet$ of $B-A-$bi\-modules, we give necessary and sufficient conditions for the total derived functors, $\Rh_A(T^\bullet,?):\D(A)\longrightarrow\D(B)$ and…
The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…
Let $G$ be a finite group and $\mathbb{K}$ a field of characteristic zero. the ring $R_\mathbb{K}(G)$ of virtual characters of $G$ over $\mathbb{K}$ is naturally endowed with a so-called Grothendieck filtration, with associated graded ring…
We study the loop and suspension functors on the category of augmented $\mathbb{E}_n$-algebras. One application is to the formality of the cochain algebra of the $n$-sphere. We show that it is formal as an $\mathbb{E}_n$-algebra, also with…
The $n$-dimensional quantum torus $\Lambda$ is defined to be the $F$-algebra generated by variables $y_1, \cdots, y_n$ with the relations $y_iy_j = q_{ij}y_jy_i$ where $q_{ij}$ are suitable scalars from the base field. This algebra is also…
We show that for any type ${\rm III_1}$ free Araki-Woods factor $\mathcal{M} = \Gamma(H_\R, U_t)"$ associated with an orthogonal representation $(U_t)$ of $\R$ on a separable real Hilbert space $H_\R$, the continuous core $M = \mathcal{M}…
Let G be a finite group acting by automorphism on a lattice A, and hence on the group algebra S=k[A]. The algebra of G-invariants in S is called an algebra of multiplicative invariants. We investigate when algebras of multiplicative…
Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…
Given commutative, unital rings $A$ and $B$ with a ring homomorphism $A\to B$ making $B$ free of finite rank as an $A$-module, we can ask for a "trace" or "norm" homomorphism taking algebraic data over $B$ to algebraic data over $A$. In…
Let $K$ be a field of characteristic zero, let $\sigma$ be an automorphism of $K$ and let $\delta$ be a $\sigma$-derivation of $K$. We show that the division ring $D=K(x;\sigma,\delta)$ either has the property that every finitely generated…
It is well known that all torsors under an affine algebraic group over an algebraically closed field are trivial. We note that under suitable conditions this also holds if the the group is not necessarily of finite type. This has an…
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…
Varieties of quantitative algebras are fully described by their free-algebra monads on the category Met of metric spaces. For a longer time it has been an open problem whether the resulting enriched monads are precisely the strongly…
We prove a necessary and sufficient condition for the graded algebra of automorphic forms on a symmetric domain of type IV to be free. From the necessary condition, we derive a classification result. Let $M$ be an even lattice of signature…
The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important…