arXiv subjects

Luca Pol

Publications and source records attributed to Luca Pol.

18 recordsLinked to original sources

arXiv2026

Descent and finite permutation resolutions for discrete groups

Let $G$ be a discrete group with a finite-dimensional model for the classifying space for proper actions, and let $k$ be a commutative Noetherian ring of finite global dimension. In this setting, we prove that the homotopy category of projective $kG$-modules, the stable module category of $kG$-modules as defined by Mazza-Symonds, and the derived category of permutation $kG$-modules with finite isotropy, admit descent to finite subgroups. As an application, we show that any $kG$-module of type $FP_\infty$ is a retract of a module that admits a finite resolution by finitely generated $\natural$-permutation modules with finite isotropy, generalizing a result of Balmer-Gallauer.

math.RT↗

arXiv2026

The Galois theory of $G$-spectra and the Burnside ring

We prove that the Galois groupoid of the category of $G$-spectra for a finite group $G$ is algebraic, i.e. equivalent to the \'etale fundamental groupoid of the Burnside ring of $G$. We implement an algorithm that computes the latter from the table of marks of $G$, and provide numerous examples.

math.AT↗

arXiv2025

The spectrum of global representations for families of bounded rank and VI-modules

A global representation is a compatible collection of representations of the outer automorphism groups of the finite groups belonging to a family $\mathscr{U}$. These arise in classical representation theory, in the study of representation stability, as well as in global homotopy theory. In this paper we begin a systematic study of the derived category $\mathsf{D}(\mathscr{U};k)$ of global representations over fields $k$ of characteristic zero, from the point-of-view of tensor-triangular geometry. We calculate its Balmer spectrum for various infinite families of finite groups including elementary abelian $p$-groups, cyclic groups, and finite abelian $p$-groups of bounded rank. We then deduce that the Balmer spectrum associated to the family of finite abelian $p$-groups has infinite Krull dimension and infinite Cantor--Bendixson rank, illustrating the complex phenomena we encounter. As a concrete application, we provide a complete tt-theoretic classification of finitely generated derived VI-modules. Our proofs rely on subtle information about the growth behaviour of global representations studied in a companion paper, as well as novel methods from non-rigid tt-geometry.

math.RT↗

arXiv2025

Global representation theory: Homological foundations

A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category $\mathsf{A}(\mathscr{U})$, simultaneously generalising classical representation theory and the category of VI-modules appearing in the representation theory of the general linear groups. In this paper we establish homological foundations of its derived category $\mathsf{D}(\mathscr{U})$. We prove that any complex of projective global representations is DG-projective, and hence conclude that the derived category admits an explicit model as the homotopy category of projective global representations. We show that from a tensor-triangular perspective it exhibits some unusual features: for example, there are very few dualizable objects and in general many more compact objects. Under more restrictive conditions on the family $\mathscr{U}$, we then construct torsion-free classes for global representations which encode certain growth properties in $\mathscr{U}$. This lays the foundations for a detailed study of the tensor-triangular geometry of derived global representations which we pursue in forthcoming work.

math.RT↗

arXiv2025

Torsion models for tensor-triangulated categories

Given a rigidly-compactly generated tensor-triangulated category whose Balmer spectrum is finite dimensional and Noetherian, we construct a torsion model for it, which is equivalent to the original tensor-triangulated category. The torsion model is determined in an adelic fashion by objects with singleton supports. This categorifies the Cousin complex from algebra, and the process of reconstructing a spectrum from its monochromatic layers in chromatic stable homotopy theory. This model is inspired by work of the second author in rational equivariant stable homotopy theory, and extends previous work of the authors from the one-dimensional setting.

math.AT↗

arXiv2024

Separable commutative algebras in equivariant homotopy theory

Given a finite group $G$ and a commutative ring $G$-spectrum $R$, we study the separable commutative algebras in the category of compact $R$-modules. We isolate three conditions on the geometric fixed points of $R$ which ensure that every separable commutative algebra is standard, i.e. arises from a finite $G$-set. In particular we show that all separable commutative algebras in the categories of compact objects in $G$-spectra and in derived $G$-Mackey functors are standard provided that $G$ is a $p$-group. In these categories we also show that for a general finite group $G$, not all separable commutative algebras are standard. We finally discuss how the classification of separable commutative algebras in compact $G$-spectra varies if we require the existence of multiplicative norms. We show that if $G$ is solvable, then any separable commutative algebra therein that is normed is automatically standard. However, if $G$ is not solvable, we provide examples of separable commutative algebras that are normed but not standard.

math.AT↗

arXiv2024

A symmetric monoidal fracture square

Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ which is rigidly-compactly generated and a set of compact objects $\mathcal{K}$ of $\mathcal{C}$, one can form the subcategories of $\mathcal{K}$-complete and $\mathcal{K}$-local objects. The goal of this paper is to explain how to recover $\mathcal{C}$ from its $\mathcal{K}$-local and $\mathcal{K}$-complete subcategories while retaining the symmetric monoidal structure. Specializing to the case where $\mathcal{C}$ is the $\infty$-category of $G$-spectra for a finite group $G$, our result can be viewed as a symmetric monoidal variant of the isotropy separation decomposition, a version of which appeared previously in work of Krause.

math.AT↗

arXiv2024

Global 2-rings and genuine refinements

We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring decategorifies to a multiplicative cohomology theory on global spaces, i.e. a naive global ring. We suggest when a naive global 2-ring deserves to be called \emph{genuine}. As evidence, we associate to such a global 2-ring a family of equivariant cohomology theories which satisfy a version of the change of group axioms introduced by Ginzburg, Kapranov and Vasserot. We further show that the decategorified multiplicative global cohomology theory associated to a genuine global $2$-ring canonically refines to an $\mathbb{E}_\infty$-ring object in global spectra. As we show, two interesting examples of genuine global 2-rings are given by quasi-coherent sheaves on the torsion points of an oriented spectral elliptic curve and Lurie's theory of tempered local systems. In particular, we obtain global spectra representing equivariant elliptic cohomology and tempered cohomology.

math.AT↗

arXiv2023

Descent in tensor triangular geometry

We investigate to what extent we can descend the classification of localizing, smashing and thick ideals in a presentably symmetric monoidal stable $\infty$-category $\mathscr{C}$ along a descendable commutative algebra $A$. We establish equalizer diagrams relating the lattices of localizing and smashing ideals of $\mathscr{C}$ to those of $\mathrm{Mod}_{A}(\mathscr{C})$ and $\mathrm{Mod}_{A\otimes A}(\mathscr{C})$. If $A$ is compact, we obtain a similar equalizer for the lattices of thick ideals which, via Stone duality, yields a coequalizer diagram of Balmer spectra in the category of spectral spaces. We then give conditions under which the telescope conjecture and stratification descend from $\mathrm{Mod}_{A}(\mathscr{C})$ to $\mathscr{C}$. The utility of these results is demonstrated in the case of faithful Galois extensions in tensor triangular geometry.

math.CT↗

arXiv2023

Separable commutative algebras and Galois theory in stable homotopy theories

We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite covers are precisely those separable commutative algebras with underlying dualizable module, which have a locally constant and finite degree function. We then use Galois theory to classify separable commutative algebras in numerous categories of interest. Examples include the category of modules over a connective $\mathbb{E}_\infty$-ring $R$ which is either connective or even periodic with $\pi_0(R)$ regular Noetherian in which $2$ acts invertibly, the stable module category of a finite group of $p$-rank one and the derived category of a qcqs scheme.

math.AT↗

arXiv2023

Quillen stratification in equivariant homotopy theory

We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as coefficients, and secondly, we categorify it to a result about equivariant modules. Our general stratification theorem is formulated in the language of equivariant tensor-triangular geometry, which we show to be tightly controlled by the non-equivariant tensor-triangular geometry of the geometric fixed points. We then apply our methods to the case of Borel-equivariant Lubin--Tate $E$-theory $\underline{E_n}$, for any finite height $n$ and any finite group $G$, where we obtain a sharper theorem in the form of cohomological stratification. In particular, this provides a computation of the Balmer spectrum as well as a cohomological parametrization of all localizing $\otimes$-ideals of the category of equivariant modules over $\underline{E_n}$, thereby establishing a finite height analogue of the work of Benson, Iyengar, and Krause in modular representation theory.

math.AT↗

arXiv2022

On free global spectra

In this note we define and study free global spectra: global spectra with non-trivial geometric fixed points only at the trivial group. We show that free global spectra often do not exist, and when they do, their homotopy groups satisfy strong divisibility conditions. As an application, we show that the universal free $G$-spectrum $EG_+$ does not admit a global refinement.

math.AT↗

arXiv2022

Global homotopy theory via partially lax limits

We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group $G$, which are compatible with the restriction-inflation functors. More precisely, we show that the $\infty$-category of global spaces is equivalent to a partially lax limit of the functor sending a compact Lie group $G$ to the $\infty$-category of $G$-spaces. We also prove the stable version of this result, showing that the $\infty$-category of global spectra is equivalent to the partially lax limit of a diagram of $G$-spectra. Finally, the techniques employed in the previous cases allow us to describe the $\infty$-category of proper $G$-spectra for a Lie group $G$, as a limit of a diagram of $H$-spectra for $H$ running over all compact subgroups of $G$.

math.AT↗

arXiv2021

Local Gorenstein duality in chromatic group cohomology

We consider local Gorenstein duality for cochain spectra $C^*(BG;R)$ on the classifying spaces of compact Lie groups $G$ over complex orientable ring spectra $R$. We show that it holds systematically for a large array of examples of ring spectra $R$, including Lubin-Tate theories, topological $K$-theory, and various forms of topological modular forms. We also prove a descent result for local Gorenstein duality which allows us to access further examples.

math.AT↗

arXiv2021

Representation stability and outer automorphism groups

In this paper we study families of representations of the outer automorphism groups indexed on a collection of finite groups $\mathcal{U}$. We encode this large amount of data into a convenient abelian category $\mathcal{A}\mathcal{U}$ which generalizes the category of VI-modules appearing in the representation theory of the finite general linear groups. Inspired by work of Church--Ellenberg--Farb, we investigate for which choices of $\mathcal{U}$ the abelian category is locally noetherian and deduce analogues of central stability and representation stability results in this setting. Finally, we show that some invariants coming from rational global homotopy theory exhibit representation stability.

math.RT↗

arXiv2020

Torsion models for tensor-triangulated categories: the one-step case

Given a suitable stable monoidal model category $\mathscr{C}$ and a specialization closed subset $V$ of its Balmer spectrum one can produce a Tate square for decomposing objects into the part supported over $V$ and the part supported over $V^c$ spliced with the Tate object. Using this one can show that $\mathscr{C}$ is Quillen equivalent to a model built from the data of local torsion objects, and the splicing data lies in a rather rich category. As an application, we promote the torsion model for the homotopy category of rational circle-equivariant spectra from [18] to a Quillen equivalence. In addition, a close analysis of the one step case highlights important features needed for general torsion models which we will return to in future work.

math.AT↗

arXiv2020

The homotopy theory of complete modules

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity, these three notions of completions interact well. We consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes and prove that they present the same homotopy theory. Given a ring homomorphism $R \to S$, we then give necessary and sufficient conditions for the categories of complete $R$-complexes and the categories of complete $S$-complexes to have equivalent homotopy theories. This recovers and generalizes a result of Sather-Wagstaff and Wicklein on extended local (co)homology.

math.AC↗

arXiv2019

The Left Localization Principle, completions, and cofree $G$-spectra

We show under mild hypotheses that a Quillen adjunction between stable model categories induces another Quillen adjunction between their left localizations, and we provide conditions under which the localized adjunction is a Quillen equivalence. Moreover, we show that in many cases the induced Quillen equivalence is symmetric monoidal. Using our results we construct a symmetric monoidal algebraic model for rational cofree $G$-spectra. In the process, we also show that $L$-complete modules provide an abelian model for derived complete modules.

math.AT↗