Related papers: Lifting zero-dimensional schemes and divided power…
The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to a degree shift and some homotopic weakening of the axioms.…
Let G be a reductive group over an algebraically closed field of characteristic p>0. We study properties of embeddings of spherical homogeneous G-spaces. We look at Frobenius splittings, canonical or by a (p-1)-th power, compatible with…
Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…
We formalize the main approach for showing Zariski descent-type statements for strong generation of triangulated categories associated to algebro-geometric objects. This recovers various known statements in the literature. As applications…
Let A and B be two connected graded commutative k-algebras of finite type, where k is a perfect field of positive characteristic p. We prove that the quasi--shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only…
This paper deals with $n$-dimensional algebras, over any field, which have only trivial derivation (automorphism) and simple algebras. It is shown that the corresponding sets of algebras are not empty and, in algebraically closed field…
Let A be a commutative associative integrally closed k-algebra without zero divisors effectively graded by a lattice. We obtain a criterion of local nilpotency of the sum of two homogeneous locally nilpotent derivations (LNDs) of fiber type…
It is conjectured that if k is an algebraically closed field of characteristic p > 0, then any branched G-cover of smooth projective k-curves where the "KGB" obstruction vanishes and where a p-Sylow subgroup of G is cyclic lifts to…
We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein…
Let $k$ be a field. For each pair of positive integers $(n,N)$, we resolve $Q=R/(x^N,y^N,z^N)$ as a module over the ring $R=k[x,y,z]/(x^n+y^n+z^n)$. Write $N$ in the form $N=a n+r$ for integers $a$ and $r$, with $r$ between $0$ and $n-1$.…
This article extends the notion of a Frobenius power of an ideal in prime characteristic to allow arbitrary nonnegative real exponents. These generalized Frobenius powers are closely related to test ideals in prime characteristic, and…
We investigate the relative assembly map from the family of finite subgroups to the family of virtually cyclic subgroups for the algebraic $K$-theory of twisted group rings of a group G with coefficients in a regular ring R or, more…
We study codimension growth of infinite dimensional Lie algebras over a field of characteristic zero. We prove that if a Lie algebra $L$ is an extension of a nilpotent algebra by a finite dimensional semisimple algebra then the PI-exponent…
We prove lifting theorems for completely positive maps going out of exact $C^\ast$-algebras, where we remain in control of which ideals are mapped into which. A consequence is, that if $\mathsf X$ is a second countable topological space,…
Lusztig has constructed a Frobenius morphism for quantum groups at an $\ell$-th root of unity, which gives an integral lift of the Frobenius map on universal enveloping algebras in positive characteristic. Using the Hall algebra we give a…
Let F be a locally compact nonarchimedean field with residue characteristic p and G the group of F-rational points of a connected split reductive group over F. For k an arbitrary field, we study the homological properties of the…
We introduce positive Gorenstein ideals. These are Gorenstein ideals in the graded ring $\RR[x]$ with socle in degree 2d, which when viewed as a linear functional on $\RR[x]_{2d}$ is nonnegative on squares. Equivalently, positive Gorenstein…
Universal algebraic geometry is generalised from solutions of equations in a single algebra to the study of $\varphi$- or $K$-spectra, akin to the prime spectrum of a ring. We explore their basic properties and constructions, give a…
We prove the existence of resolution of singularities for arbitrary (not necessarily reduced or irreducible) excellent two-dimensional schemes, via permissible blow-ups. The resolution is canonical, and functorial with respect to…
We introduce a general technique for decomposing monomial algebras which we use to study the Lefschetz properties. We apply our technique to various classes of algebras, including monomial almost complete intersections and Gorenstein…