We show that categories of modules over a ring in homotopy type theory (HoTT) satisfy the internal versions of the AB axioms from homological algebra. The main subtlety lies in proving AB4, which is that coproducts indexed by arbitrary sets are left-exact. To prove this, we replace a set X with the strict category of lists of elements in X. From showing that the latter is filtered, we deduce left-exactness of the coproduct. More generally, we show that exactness of filtered colimits (AB5) implies AB4 for any abelian category in HoTT. Our approach is heavily inspired by Roswitha Harting’s construction of the internal coproduct of abelian groups in an elementary topos with a natural numbers object. To state the AB axioms, we define and study filtered (and sifted) precategories in HoTT. A key result needed is that filtered colimits commute with finite limits of sets. This is a familiar classical result but has not previously been checked in our setting. Finally, we interpret our most central results into an $\infty$ -topos $ {\mathscr{X}} $ . Given a ring R in $ {\tau_{\leq 0}({{\mathscr{X}}})} $ – for example, an ordinary sheaf of rings – we show that the internal category of R-modules in $ {\mathscr{X}} $ represents the presheaf which sends an object $ X \in {\mathscr{X}} $ to the category of $ (X{\times}R) $ -modules in ${\mathscr{X}} / X$ . In general, our results yield a product-preserving left adjoint to base change of modules over X. When X is 0-truncated, this left adjoint is the internal coproduct. By an internalisation procedure, we deduce left-exactness of the internal coproduct as an ordinary functor from its internal left-exactness coming from HoTT.

It is well known that the category of comodules over a flat Hopf algebroid is abelian but typically fails to have enough projectives, and more generally, the category of graded comodules over a graded flat Hopf algebroid is abelian but typically fails to have enough projectives. In this short paper, we prove that the category of connective graded comodules over a connective, graded, flat, finite-type Hopf algebroid has enough projectives. Applications to algebraic topology are given: the Hopf algebroids of stable co-operations in complex bordism, Brown–Peterson homology, and classical mod p homology all have the property that their categories of connective graded comodules have enough projectives. We also prove that categories of connective graded comodules over appropriate Hopf algebras fail to be equivalent to categories of graded connective modules over a ring.

This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and $\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of $\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.

In this paper we extend the generalized algebraic fundamental group constructed in Esnault and Hogadi, (Trans. Amer. Math. Soc. 364(5) (2012), 2429–2442) to general fibered categories using the language of gerbes. As an application we obtain a Tannakian interpretation for the Nori fundamental gerbe defined in Borne and Vistoli (J. Algebraic Geom. (2014), S1056–3911, 00638-X) for nonsmooth non-pseudo-proper algebraic stacks.

In this paper we demonstrate that non-commutative localizations of arbitrary additive categories (generalizing those defined by Cohn in the setting of rings) are closely (and naturally) related to weight structures. Localizing an arbitrary triangulated category $\text{}\underline{C}$ by a set $S$ of morphisms in the heart $\text{}\underline{Hw}$ of a weight structure $w$ on it one obtains a triangulated category endowed with a weight structure $w^{\prime }$. The heart of $w^{\prime }$ is a certain version of the Karoubi envelope of the non-commutative localization $\text{}\underline{Hw}[S^{-1}]_{\mathit{add}}$ (of $\text{}\underline{Hw}$ by $S$). The functor $\text{}\underline{Hw}\rightarrow \text{}\underline{Hw}[S^{-1}]_{\mathit{add}}$ is the natural categorical version of Cohn’s localization of a ring, i.e., it is universal among additive functors that make all elements of $S$ invertible. For any additive category $\text{}\underline{A}$, taking $\text{}\underline{C}=K^{b}(\text{}\underline{A})$ we obtain a very efficient tool for computing $\text{}\underline{A}[S^{-1}]_{\mathit{add}}$; using it, we generalize the calculations of Gerasimov and Malcolmson (made for rings only). We also prove that $\text{}\underline{A}[S^{-1}]_{\mathit{add}}$ coincides with the ‘abstract’ localization $\text{}\underline{A}[S^{-1}]$ (as constructed by Gabriel and Zisman) if $S$ contains all identity morphisms of $\text{}\underline{A}$ and is closed with respect to direct sums. We apply our results to certain categories of birational motives $DM_{gm}^{o}(U)$ (generalizing those defined by Kahn and Sujatha). We define $DM_{gm}^{o}(U)$ for an arbitrary $U$ as a certain localization of $K^{b}(Cor(U))$ and obtain a weight structure for it. When $U$ is the spectrum of a perfect field, the weight structure obtained this way is compatible with the corresponding Chow and Gersten weight structures defined by the first author in previous papers. For a general $U$ the result is completely new. The existence of the corresponding adjacent$t$-structure is also a new result over a general base scheme; its heart is a certain category of birational sheaves with transfers over $U$.

We define a dimension for a triangulated category. We prove a representability Theorem for a class of functors on finite dimensional triangulated categories. We study the dimension of the bounded derived category of an algebra or a scheme and we show in particular that the bounded derived category of coherent sheaves over a variety has a finite dimension.

If $G$ is a pro-$p$, $p$-adic, Lie group containing no element of order $p$ and if $\Lambda (G)$ denotes the Iwasawa algebra of $G$ then we propose a number of invariants associated to finitely generated $\Lambda (G)$-modules, all given by various forms of Euler characteristic. The first turns out to be none other than the rank, and this gives a particularly convenient way of calculating the rank of Iwasawa modules. Others seem to play similar roles to the classical Iwasawa $\lambda $- and $\mu $-invariants. We explore some properties and give applications to the Iwasawa theory of elliptic curves.

2000 Mathematical Subject Classification: primary 16E10; seconday 11R23.