Related papers: A Proof of the Countable Telescope Conjecture for …

This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the \v{C}ech cohomology…

We determine the Balmer spectrum of dualisable objects in the stable module category for $\mathrm{H}_1\mathfrak{F}$ groups of type $\mathrm{FP}_{\infty}$ and show that the telescope conjecture holds for these categories. We also determine…

Various classification theorems of thick subcategories of a triangulated category have been obtained in many areas of mathematics. In this paper, as a higher-dimensional version of the classification theorem of thick subcategories of the…

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

Modern categories of spectra such as that of Elmendorf et al equipped with strictly symmetric monoidal smash products allows the introduction of symmetric monoids providing a new way to study highly coherent commutative ring spectra. These…

This is the second part of a work initiated in \cite{GaHa}, where we constructed a model category, $\Qt$, for set theory. In the present paper we use this model category to introduce homotopy-theoretic intuitions to set theory. Our main…

Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…

With an explicit, algebraic indexing $(2,1)$-category, we develop an efficient homotopy theory of cyclonic objects: circle-equivariant objects relative to the family of finite subgroups. We construct an $\infty$-category of cyclotomic…

We study the triangulated subcategories of compact objects in stable homotopy categories such as the homotopy category of spectra, the derived categories of rings, and the stable module categories of Hopf algebras. In the first part of this…

In 1986, Kato set up a framework of conjectures relating (higher) $0$-cycles and \'etale cohomology for smooth projective schemes over finite fields or rings of integers in local fields through the homology of so-called Kato complexes. In…

Let G be a finite group. The stable module category of G has been applied extensively in group representation theory. In particular, it has been used to great effect that it is a triangulated category which is compactly generated. Let H be…

We explore connections between three structures associated with the cohomology of the moduli of 1-dimensional stable sheaves on $\mathbb{P}^2$: perverse filtrations, tautological classes, and refined BPS invariants for local $\mathbb{P}^2$.…

We develop the theory of stratification for a rigidly-compactly generated tensor-triangulated category using the smashing spectrum and the small smashing support. Within the stratified context, we investigate connections between big prime…

The purpose of this paper is to make a comprehensive connection between the basic results and properties derived from the two kinds of topologies (namely the $(\epsilon,\lambda)-$topology introduced by the author and the stronger locally…

We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the…

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…

For the module category of a hereditary ring, the Ext-orthogonal pairs of subcategories are studied. For each Ext-orthogonal pair that is generated by a single module, a 5-term exact sequence is constructed. The pairs of finite type are…

By reformulating the classical proof as a Baire Category argument, we show that Besicovitch's Theorem in Cantor space is provable in $ACA_0$, and additionally that the witnessing subset is computable from one jump of the original set. We…

Coorbit theory is a powerful machinery that constructs a family of Banach spaces, the so-called coorbit spaces, from well-behaved unitary representations of locally compact groups. A core feature of coorbit spaces is that they can be…

We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak…