Related papers: A categorification of the Cartan-Eilenberg formula

A comma category, exemplified in algebraic geometry by coherent systems, combines two categories over a third through morphisms between their objects. We establish sufficient conditions for it to be abelian, compute its Grothendieck group,…

We derive a geometric model for the module category $\operatorname{mod} \mathbf{k} Q$ of a Dynkin quiver $Q$ via the heart of a total stability condition on the bounded derived category of $\operatorname{mod} \mathbf{k} Q$. As an…

Let F be a number field and $\widetilde{\mathrm{Sp}}(2n)$ be the metaplectic covering of Weil of $\mathrm{Sp}(2n, \mathbb{A}_F)$. We stabilize the elliptic semi-simple terms of the genuine part of trace formula for…

We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…

We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.

A theorem of Eilenberg establishes that there exists a bijection between the set of all varieties of regular languages and the set of all varieties of finite monoids. In this article after defining, for a fixed set of sorts $S$ and a fixed…

We classify module categories over the category of representations of quantum $SL(2)$ in a case when $q$ is not a root of unity. In a case when $q$ is a root of unity we classify module categories over the semisimple subquotient of the same…

In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…

We introduce a new class of triangulated categories, which are Verdier quotients of three-Calabi-Yau categories from (decorated) marked surfaces, and show that its spaces of stability conditions can be identified with moduli spaces of…

The monopole map defines an element in an equivariant stable cohomotopy group refining the Seiberg-Witten invariant. This first of two articles presents the details of the definition of the stable cohomotopy invariant and discusses its…

For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…

We develop in this paper a stable theory for projective complexes, by which we mean to consider a chain complex of finitely generated projective modules as an object of the factor category of the homotopy category modulo split complexes. As…

Consider a subgroup of finite index of modular group. We give an analytic criterion for a cuspidal divisor to be torsion in the Jacobian of the corresponding modular curve. By BelyI theorem, such a criterion would apply to any curve over a…

It is often stated that the Carlitz module is to the ring of univariate polynomials over a finite field what the multiplicative group is to the ring of integers. This analogy extends to the "rank 2" case, where Drinfeld modules play a role…

We prove that the only separable commutative ring-objects in the stable module category of a finite cyclic p-group G are the ones corresponding to subgroups of G. We also describe the tensor-closure of the Kelly radical of the module…

We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about…

The aim of this note is to explore the Euler system of Beilinson--Kato elements in families passing through the critical $p$-stabilization of an Eisenstein series attached to two Dirichlet characters $(\psi,\tau)$. In this context, we…

We present a systematic study of symmetries, invariants and moduli spaces of classes of coframes. We introduce a classifying Lie algebroid to give a complete description of the solution to Cartan's realization problem that applies to both…

We consider the derived category of permutation modules for a finite group, in positive characteristic. We stratify this tensor triangulated category using Brauer quotients. We describe the spectrum of its compact objects, by reducing the…

Classifying endotrivial kG-modules, i.e., elements of the Picard group of the stable module category for an arbitrary finite group G, has been a long-running quest. By deep work of Dade, Alperin, Carlson, Thevenaz, and others, it has been…