相关论文: Ring completion of rig categories

If $R$ is a topological ring then $R^{\ast}$, the group of units of $R$, with the subspace topology is not necessarily a topological group. This leads us to the following natural definition: By an \emph{absolute topological ring} we mean a…

We study commutative complex $K$-theory, a generalised cohomology theory built from spaces of ordered commuting tuples in the unitary groups. We show that the spectrum for commutative complex $K$-theory is stably equivalent to the…

In this article we describe the $G\times G$-equivariant $K$-ring of $X$, where $X$ is a regular compactification of a connected complex reductive algebraic group $G$. Furthermore, in the case when $G$ is a semisimple group of adjoint type,…

The construction of E infinity ring spaces and thus E infinity ring spectra from bipermutative categories gives the most highly structured way of obtaining the K-theory commutative ring spectra. The original construction dates from around…

For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…

The well-known Lawvere category R of extended real positive numbers comes with a monoidal closed structure where the tensor product is the sum. But R has another such structure, given by multiplication, which is *-autonomous. Normed sets,…

Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of…

Let $R$ be a right notherian ring. We introduce the concept of relative singularity category $\Delta_{\mathcal{X}}(R)$ of $R$ with respect to a contravariantly finite subcategory $\mathcal{X}$ of $\rm{mod}\mbox{-}R.$ Along with some…

We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.

The focus of this article is on metric completions of triangulated categories arising in the representation theory of hereditary finite dimensional algebras and commutative rings. We explicitly describe all completions of bounded derived…

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.

We prove that if $R$ is a G-ring then every fully dualizable $R$-linear cocomplete category is equivalent to a twist by a $\mathbb{G}_m$-gerbe of the category of modules over a finite \'etale $R$-algebra. We also show that this holds more…

We generalize the classical operad pair theory to a new model for $E_\infty$ ring spaces, which we call ring operad theory, and establish a connection with the classical operad pair theory, allowing the classical multiplicative infinite…

A commutative ring is reduced when it can be embedded into a direct product of fields. While the category of reduced commutative rings plays a fundamental role in affine geometry, it exhibits several structural deficiencies: it admits…

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

The groupoid of finite sets has a "canonical" structure of a symmetric 2-rig with the sum and product respectively given by the coproduct and product of sets. This 2-rig $\widehat{\mathbb{F}\mathbb{S} et}$ is just one of the many…

We extend the notion of regular coherence from rings to additive categories and show that well-known consequences of regular coherence for rings also apply to additive categories. For instance the negative K-groups and all twisted…

We define higher semiadditive algebraic K-theory, a variant of algebraic K-theory that takes into account higher semiadditive structure, as enjoyed for example by the $K(n)$- and $T(n)$-local categories. We prove that it satisfies a form of…

Let $R$ be a strong $n$-coherent ring such that each finitely $n$-presented $R$-module has finite projective dimension. We consider $\mathcal{FP}_{n}(R)$ the full subcategory of $R$-Mod of finitely $n$-presented modules. We prove that…

In this article we describe the $G_{comp}\times G_{comp}$-equivariant topological $K$-ring of a {\em cellular} toroidal embedding $\mathbb{X}$ of a complex connected reductive algebraic group $G$. In particular, our results extend the…