Related papers: Profinite Cosheaves Valued in Pro-regular Categori…

We have generalised the notion of categorical theory in model theory to the context of coherent theories. We prove a duality result between the full sub-2-category of pretopoi which are categorical, and the 2-category of profinite monoids.…

We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established…

The sets of closed and closed-normal subgroups of a profinite group carry a natural profinite topology. Through a combination of algebraic and topological methods the size of these subgroup spaces is calculated, and the spaces partially…

We provide elementary proofs of the Nielsen-Schreier Theorem and the Kurosh Subgroup Theorem via wreath products. Our proofs are diagrammatic in nature and work simultaneously in the abstract and profinite categories. A new proof that open…

In this paper we establish lower and upper bounds for the cardinality of the profinite genus of the fundamental group $\pi_{1}(M_A)\cong (\mathbb{Z} \times \mathbb{Z})\rtimes_{A}\mathbb{Z}$ of a torus bundle $M_{A}$ in terms of the number…

Let $\underline{x} = x_1,\ldots,x_k$ denote an ordered sequence of elements of a commutative ring $R$. Let $M$ be an $R$-module. We recall the two notions that $\underline{x}$ is $M$-proregular given by Greenlees and May (see \cite{[5]})…

We define the notion of 1-affineness for a prestack, and prove an array of results that establish 1-affineness of certain types of prestacks.

Let $\mathfrak C$ be a class of finite groups which is closed for subgroups, quotients and direct products. Given a profinite group $G$ and an element $x\in G$, we denote by $P_{\mathfrak{C}}(x,G)$ the probability that $x$ and a randomly…

A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…

An interesting question is whether two 3-manifolds can be distinguished by computing and comparing their collections of finite covers; more precisely, by the profinite completions of their fundamental groups. In this paper, we solve this…

A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of…

We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…

Building on the theory of parity sheaves due to Juteau-Mautner-Williamson, we develop a formalism of "mixed modular perverse sheaves" for varieties equipped with a stratification by affine spaces. We then give two applications: (1) a…

The homology groups introduced by A. Brumer can be used to establish a criterion ensuring that a profinite $\mathbb{F}_p[[G]]$-module of a pro-$p$ group $G$ has projective dimension $d<\infty$ (cf. Thm. A). This criterion yields a new…

The aim of this work is to investigate the behavior of equidivisibility under coproduct in the category of pro-$\mathsf{V}$ semigroups, where $\mathsf{V}$ is a pseudovariety of finite semigroups. Exploring the relationship with the…

We give a very short proof of two Theorems, whose content is outlined in the title, and where $\Pi_g$ is the fundamental group of a compact complex curve of genus $g$: (1) Theorem 2.1 of the irrational pencil in the profinite version,…

Motivated by algebraic quantum field theory, we study presheaves of symmetric tensor categories defined over the base of a space, intended as a spacetime. Any section of a presheaf (that is, any "superselection sector", in the applications…

We prove that every small profinite group can be decomposed into a direct product of indecomposable profinite groups, and that such a decomposition is unique up to order and isomorphisms of the components. We also investigate the…

An important result in tilting theory states that a class of modules over a ring is a tilting class if and only if it is the Ext-orthogonal class to a set of compact modules of bounded projective dimension. Moreover, cotilting classes are…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…