Related papers: Animated $\lambda$-rings and Frobenius lifts
The lambda-ring cohomology in dimensions 0 and 1 of certain truncated polynomial filtered lambda-rings are computed. The dimension 1 case is related to deformations of lambda-rings.
The representation ring of an affine algebraic group scheme can be endowed with the structure of a (special) $\lambda$-ring. We show that the same is true for the ring of symmetric representations, i.e. for the Grothendieck-Witt ring of the…
We study a collection of operations on the cohomotopy of any space, with which it becomes a "beta-ring", an algebraic structure analogous to a lambda-ring. In particular, this ring possesses Adams operations, represented by maps on the…
The Grothendieck-Witt ring of a field is known to be a $\lambda$-ring, where the $\lambda$-operations are induced by the exterior powers of bilinear spaces. We give a similar construction on the mixed Grothendieck-Witt ring of a central…
The notion of a Frobenius manifold appears in relation to various topics in algebraic and analytic geometry, such and quantum cohomology, deformation of meromorphic connections, unfolding of singularities and others. In the local setting…
We define the notion of an infinitely generated tilting object of infinite homological dimension in an abelian category. A one-to-one correspondence between $\infty$-tilting objects in complete, cocomplete abelian categories with an…
J McClure's Dyer-Lashof operation in $p$-adic $K$-theory defines, in particular, a prismatic structure on the complex representation ring of the circle group. Work of Ando, Rezk, Stapleton, and others generalizes this to define a canonical…
We describe bases for the morphism spaces of the Frobenius Heisenberg categories associated to a symmetric graded Frobenius algebra, proving several open conjectures. Our proof uses a categorical comultiplication and generalized cyclotomic…
We give a universal property of the construction of the ring of $p$-typical Witt vectors of a commutative ring, endowed with Witt vectors Frobenius and Verschiebung, and generalize this construction to the derived setting. We define an…
For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $\Lambda$, we give the upper bounds of the extension dimension of $\Lambda$ in terms of the radical…
We introduce and study graded perfectoid rings as graded analogues of Scholze's (integral) perfectoid rings. We establish a categorical equivalence between graded perfectoid rings and graded perfect prisms, extending the Bhatt-Scholze's…
This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable…
We define several versions of the cohomology ring of an associative algebra. These ring structures unify some well known operations from homological algebra and differential geometry. They have some formal resemblance with the quantum…
The tensor functor called $\alpha$-induction produces a new unitary fusion category from a Frobenius algebra, or a $Q$-system, in a braided unitary fusion category. A bi-unitary connection, which is a finite family of complex number subject…
The tensor functor called $\alpha$-induction arises from a Frobenius algebra object, or a Q-system, in a braided unitary fusion category. In the operator algebraic language, it gives extensions of endomorphism of $N$ to $M$ arising from a…
The main goal of this article is to introduce BL-rings, i.e., commutative rings whose lattices of ideals can be equipped with a structure of BL-algebra. We obtain a description of such rings, and study the connections between the new class…
It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define Frobenius quantales that may not have a unit. We develop the elementary theory of these structures and show, in…
We give different perspectives on the notion of shape for condensed anima. We prove that it recovers more classical notions of shape for topological spaces in the cases of all paracompact compactly generated spaces and all locally…
We define the Hochschild complex and cohomology of a ring object in a monoidal category enriched over abelian groups. We interpret the cohomology groups and prove that the cohomology ring is graded-commutative.
Frobenius algebras in the category of sets and relations ($\mathbf{Rel}$) serve as a unifying framework for various algebraic and combinatorial structures, including groupoids, effect algebras, and abstract circles. Recently, a nerve…