Showing 1–17 of 17 results for author: Haine, P J

Standard $t$-structures

Authors: Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier

Abstract: We provide a general construction of induced $t$-structures, that generalizes standard $t$-structures for $\infty$-categories of sheaves. More precisely, given a presentable $\infty$-category $\mathcal{X}$ and a presentable stable $\infty$-category $\mathcal{E}$ equipped with an accessible $t$-structure $τ= (\mathcal{E}_{\geq 0}, \mathcal{E}_{\leq 0})$, we show that… ▽ More We provide a general construction of induced $t$-structures, that generalizes standard $t$-structures for $\infty$-categories of sheaves. More precisely, given a presentable $\infty$-category $\mathcal{X}$ and a presentable stable $\infty$-category $\mathcal{E}$ equipped with an accessible $t$-structure $τ= (\mathcal{E}_{\geq 0}, \mathcal{E}_{\leq 0})$, we show that $\mathcal{X} \otimes \mathcal{E}$ is equipped with a canonical $t$-structure whose coconnective part is given in $\mathcal{X} \otimes \mathcal{E}_{\leq 0}$. When $\mathcal{X}$ is an $\infty$-topos, we give a more explicit description of the connective part as well. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Comments: Comments very welcome. 11 pages

Fully faithful functors and pushouts of $\infty$-categories

Authors: Peter J. Haine, Maxime Ramzi, Jan Steinebrunner

Abstract: We study stability properties of fully faithful functors, and compute mapping anima in pushouts of $\infty$-categories along fully faithful functors. We provide applications of these calculations to pushouts along Dwyer functors and Reedy categories. We study stability properties of fully faithful functors, and compute mapping anima in pushouts of $\infty$-categories along fully faithful functors. We provide applications of these calculations to pushouts along Dwyer functors and Reedy categories. △ Less

Submitted 5 March, 2025; originally announced March 2025.

Comments: 31 pages

Report number: CPH-GEOTOP-DNRF151

Reconstruction of schemes from their étale topoi

Authors: Magnus Carlson, Peter J. Haine, Sebastian Wolf

Abstract: Let $k$ be a field that is finitely generated over its prime field. In Grothendieck's anabelian letter to Faltings, he conjectured that sending a $k$-scheme to its étale topos defines a fully faithful functor from the localization of the category of finite type $k$-schemes at the universal homeomorphisms to a category of topoi. We prove Grothendieck's conjecture for infinite fields of arbitrary ch… ▽ More Let $k$ be a field that is finitely generated over its prime field. In Grothendieck's anabelian letter to Faltings, he conjectured that sending a $k$-scheme to its étale topos defines a fully faithful functor from the localization of the category of finite type $k$-schemes at the universal homeomorphisms to a category of topoi. We prove Grothendieck's conjecture for infinite fields of arbitrary characteristic. In characteristic $0$, this shows that seminormal finite type $k$-schemes can be reconstructed from their étale topoi, generalizing work of Voevodsky. In positive characteristic, this shows that perfections of finite type $k$-schemes can be reconstructed from their étale topoi. △ Less

Submitted 29 July, 2024; originally announced July 2024.

Comments: Comments very welcome. 39 pages

Profinite completions of products

Authors: Peter J. Haine

Abstract: A source of difficulty in profinite homotopy theory is that the profinite completion functor does not preserve finite products. In this note, we provide a new, checkable criterion on prospaces $X$ and $Y$ that guarantees that the profinite completion of $X\times Y$ agrees with the product of the profinite completions of $X$ and $Y$. Using this criterion, we show that profinite completion preserves… ▽ More A source of difficulty in profinite homotopy theory is that the profinite completion functor does not preserve finite products. In this note, we provide a new, checkable criterion on prospaces $X$ and $Y$ that guarantees that the profinite completion of $X\times Y$ agrees with the product of the profinite completions of $X$ and $Y$. Using this criterion, we show that profinite completion preserves products of étale homotopy types of qcqs schemes. This fills a gap in Chough's proof of the Künneth formula for the étale homotopy type of a product of proper schemes over a separably closed field. △ Less

Submitted 31 May, 2024; originally announced June 2024.

Comments: Comments very welcome. 13 pages. A version of this note originally appeared on the author's website in November 2022

Exodromy beyond conicality

Authors: Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier

Abstract: We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of the underlying homotopy types of these spaces. These stratifications are typically not conical; hence we cannot rely on the currently available exodromy equiva… ▽ More We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of the underlying homotopy types of these spaces. These stratifications are typically not conical; hence we cannot rely on the currently available exodromy equivalence between constructible sheaves on a stratified space, which requires conicality as a fundamental hypothesis. Building on ideas of Clausen and Orsnes Jansen, we study the class of exodromic stratified spaces, for which the conclusion of the exodromy theorem holds. We prove two new fundamental properties of this class of stratified spaces: coarsenings of exodromic stratifications are exodromic, and every morphism between exodromic stratified spaces induces a functor between the associated exit path $\infty$-categories. As a consequence, we produce many new examples of exodromic stratified spaces, including: coarsenings of conical stratifications, locally finite subanalytic stratifications of real analytic spaces, and algebraic stratifications of real varieties. Our proofs are at the generality of stratified $\infty$-topoi, hence apply to even more general situations such as stratified topological stacks. Finally, we use the previously mentioned finiteness results to construct derived moduli stacks of constructible and perverse sheaves. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Comments: Comments very welcome. 73 pages

Spectral weight filtrations

Authors: Peter J. Haine, Piotr Pstrągowski

Abstract: We provide a description of Voevodsky's $\infty$-category of motivic spectra in terms of the subcategory of motives of smooth proper varieties. As applications, we construct weight filtrations on the Betti and étale cohomologies of algebraic varieties with coefficients in any complex oriented ring spectrum. We show that these filtrations satisfy $\ell\mathrm{dh}$-descent, giving an effective way o… ▽ More We provide a description of Voevodsky's $\infty$-category of motivic spectra in terms of the subcategory of motives of smooth proper varieties. As applications, we construct weight filtrations on the Betti and étale cohomologies of algebraic varieties with coefficients in any complex oriented ring spectrum. We show that these filtrations satisfy $\ell\mathrm{dh}$-descent, giving an effective way of calculating them in positive characteristic. In the complex motivic case, we further refine the weight filtration to one defined at the level of stable homotopy types. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: Comments very welcome. 54 pages

Nonabelian basechange theorems & étale homotopy theory

Authors: Peter J. Haine, Tim Holzschuh, Sebastian Wolf

Abstract: This paper has two main goals. First, we prove nonabelian refinements of basechange theorems in étale cohomology (i.e., prove analogues of the classical statements for sheaves of spaces). Second, we apply these theorems to prove a number of results about the étale homotopy type. Specifically, we prove nonabelian refinements of the smooth basechange theorem, Huber-Gabber affine analogue of the prop… ▽ More This paper has two main goals. First, we prove nonabelian refinements of basechange theorems in étale cohomology (i.e., prove analogues of the classical statements for sheaves of spaces). Second, we apply these theorems to prove a number of results about the étale homotopy type. Specifically, we prove nonabelian refinements of the smooth basechange theorem, Huber-Gabber affine analogue of the proper basechange theorem, and Fujiwara-Gabber rigidity theorem. Our methods also recover Chough's nonabelian refinement of the proper basechange theorem. Transporting an argument of Bhatt-Mathew to the nonabelian setting, we apply nonabelian proper basechange to show that the profinite étale homotopy type satisfies arc-descent. Using nonabelian smooth and proper basechange and descent, we give rather soft proofs of a number of Künneth formulas for the étale homotopy type. △ Less

Submitted 6 June, 2024; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: Comments very welcome. v2. Clarified a number of points throughout. Corrected an error in the proof of invariance under specialization. v1. 36 pages

Descent for sheaves on compact Hausdorff spaces

Authors: Peter J. Haine

Abstract: These notes explain some descent results for $\infty$-categories of sheaves on compact Hausdorff spaces and derive some consequences. Specifically, given a compactly assembled $\infty$-category $\mathcal{E}$, we show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category $\operatorname{Sh}^{\operatorname{post}}(X;\mathcal{E})$ of Postnikov complete $\mathcal{E}$-va… ▽ More These notes explain some descent results for $\infty$-categories of sheaves on compact Hausdorff spaces and derive some consequences. Specifically, given a compactly assembled $\infty$-category $\mathcal{E}$, we show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category $\operatorname{Sh}^{\operatorname{post}}(X;\mathcal{E})$ of Postnikov complete $\mathcal{E}$-valued sheaves on $ X $ satisfies descent for proper surjections. This implies proper descent for left complete derived $\infty$-categories and that the functor $\operatorname{Sh}^{\operatorname{post}}(-;\mathcal{E})$ is a sheaf on the category of compact Hausdorff spaces equipped with the topology of finite jointly surjective families. Using this, we explain how to embed Postnikov complete sheaves on a locally compact Hausdorff space into condensed objects. This implies that the condensed and sheaf cohomologies of a locally compact Hausdorff space agree. △ Less

Submitted 1 October, 2022; originally announced October 2022.

Comments: 25 pages. Comments very welcome!

The fundamental fiber sequence in étale homotopy theory

Authors: Peter J. Haine, Tim Holzschuh, Sebastian Wolf

Abstract: Let $k$ be a field with separable closure $\bar{k}\supset k$, and let $X$ be a qcqs $k$-scheme. We use the theory of profinite Galois categories developed by Barwick-Glasman-Haine to provide a quick conceptual proof that the sequences \begin{equation*} Π_{<\infty}^{\mathrm{\acute{e}t}}(X_{\bar{k}}) \to Π_{<\infty}^{\mathrm{\acute{e}t}}(X) \to \mathrm{BGal}(\bar{k}/k) \qquad \text{and} \qquad \wide… ▽ More Let $k$ be a field with separable closure $\bar{k}\supset k$, and let $X$ be a qcqs $k$-scheme. We use the theory of profinite Galois categories developed by Barwick-Glasman-Haine to provide a quick conceptual proof that the sequences \begin{equation*} Π_{<\infty}^{\mathrm{\acute{e}t}}(X_{\bar{k}}) \to Π_{<\infty}^{\mathrm{\acute{e}t}}(X) \to \mathrm{BGal}(\bar{k}/k) \qquad \text{and} \qquad \widehatΠ{}_{\infty}^{\mathrm{\acute{e}t}}(X_{\bar{k}}) \to \widehatΠ{}_{\infty}^{\mathrm{\acute{e}t}}(X) \to \mathrm{BGal}(\bar{k}/k) \end{equation*} of protruncated and profinite étale homotopy types are fiber sequences. This gives a common conceptual reason for the following two phenomena: first, the higher étale homotopy groups of $X$ and the geometric fiber $X_{\bar{k}}$ are isomorphic, and second, if $X_{\bar{k}}$ is connected, then the sequence of profinite étale fundamental groups $1\to\hatπ{}_{1}^{\mathrm{\acute{e}t}}(X_{\bar{k}})\to\hatπ{}_{1}^{\mathrm{\acute{e}t}}(X)\to\mathrm{Gal}(\bar{k}/k)\to 1$ is exact. It also proves the analogous results for the `groupe fondamental élargi' of SGA3. △ Less

Submitted 20 December, 2022; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: Comments very welcome! v3. 16 pages. Improved the exposition in subsection 1.2. Expanded and generalized the material in subsection 3.3. To appear in International Mathematics Research Notices. v2: 15 pages. Minor changes and added a reference. v1: 14 pages

Differential Cohomology: Categories, Characteristic Classes, and Connections

Authors: Araminta Amabel, Arun Debray, Peter J. Haine

Abstract: We give an overview of differential cohomology from a modern, homotopy-theoretic perspective in terms of sheaves on manifolds. Although modern techniques are used, we base our discussion in the classical precursors to this modern approach, such as Chern-Weil theory and differential characters, and include the necessary background to increase accessibility. Special treatment is given to differentia… ▽ More We give an overview of differential cohomology from a modern, homotopy-theoretic perspective in terms of sheaves on manifolds. Although modern techniques are used, we base our discussion in the classical precursors to this modern approach, such as Chern-Weil theory and differential characters, and include the necessary background to increase accessibility. Special treatment is given to differential characteristic classes, including a differential lift of the first Pontryagin class. Multiple applications, including to configuration spaces, invertible field theories, and conformal immersions, are also discussed. This book is based on talks given at MIT's Juvitop seminar jointly with UT Austin in the Fall of 2019. △ Less

Submitted 18 January, 2023; v1 submitted 24 September, 2021; originally announced September 2021.

Comments: Comments very welcome! Edited by: A. Amabel, A. Debray, P. Haine. Talks by: A. Amabel, D. Chua, A. Debray, S. Devalapurkar, D. Freed, P. Haine, M. Hopkins, G. Parker, C. Reid, and A. Zhang. v2. Added Chapter 13 on classifying spaces for G-bundles. Improved notation. Corrected numerous typos and made a number of minor additions. v1. 232 pages

From nonabelian basechange to basechange with coefficients

Authors: Peter J. Haine

Abstract: The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of presentable $\infty$-categories preserves left adjointable squares. As a sample result, we show that the Proper Basechange Theorem in topology holds with coefficients i… ▽ More The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of presentable $\infty$-categories preserves left adjointable squares. As a sample result, we show that the Proper Basechange Theorem in topology holds with coefficients in any presentable $\infty$-category which is compactly generated or stable. We also prove results about the interaction between tensor products of presentable $\infty$-categories and various categorical constructions that are of independent interest. △ Less

Submitted 21 September, 2022; v1 submitted 7 August, 2021; originally announced August 2021.

Comments: Comments very welcome. v3: 29 pages (with many diagrams and references). Added subsection 2.5 on commuting tensors past limits. Improved some results to work with compactly assembled $\infty$-categories. Updated a reference and fixed some typos. v2: 27 pages. Fixed typos and added references. Added section 4 generalizing the material of section 7.4 of arXiv:1807.03281. v1: 23 pages

The homotopy-invariance of constructible sheaves

Authors: Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier

Abstract: The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is homotopy-invariant. To do this, we first establish a number of results in the unstratified setting, i.e., the setting of locally constant (hyper)sheaves. For exam… ▽ More The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is homotopy-invariant. To do this, we first establish a number of results in the unstratified setting, i.e., the setting of locally constant (hyper)sheaves. For example, if $X$ is a locally weakly contractible topological space and $\mathcal{E}$ is a presentable $\infty$-category, then we give a concrete formula for the constant hypersheaf functor $\mathcal{E}\to \mathrm{Sh}^{\mathrm{hyp}}(X;\mathcal{E})$. This formula lets us show that the constant hypersheaf functor is a right adjoint, and is fully faithful if $X$ is also weakly contractible. It also lets us prove a general monodromy equivalence and categorical Künneth formula for locally constant hypersheaves. △ Less

Submitted 7 September, 2022; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 28 pages. Comments very welcome! v5. Clarified a few things and added some remarks. A slightly shorter version of this paper will appear in Homology, Homotopy and Applications. v4. Completely revised. Two new authors. Much stronger results. v3. Fixed the definition of a "constructible hypersheaf" and clarified a few points. v2. Fixed some typos

MSC Class: 18F20; 54B40; 55N30

On the James and Hilton-Milnor Splittings, & the metastable EHP sequence

Authors: Sanath K. Devalapurkar, Peter J. Haine

Abstract: This note provides modern proofs of some classical results in algebraic topology, such as the James Splitting, the Hilton-Milnor Splitting, and the metastable EHP sequence. We prove fundamental splitting results \begin{equation*} ΣΩΣX \simeq ΣX \vee (X\wedge ΣΩΣX) \quad \text{and} \quad Ω(X \vee Y) \simeq ΩX\times ΩY\times ΩΣ(ΩX \wedge ΩY) \end{equation*} in the maximal generality of an $\infty$-c… ▽ More This note provides modern proofs of some classical results in algebraic topology, such as the James Splitting, the Hilton-Milnor Splitting, and the metastable EHP sequence. We prove fundamental splitting results \begin{equation*} ΣΩΣX \simeq ΣX \vee (X\wedge ΣΩΣX) \quad \text{and} \quad Ω(X \vee Y) \simeq ΩX\times ΩY\times ΩΣ(ΩX \wedge ΩY) \end{equation*} in the maximal generality of an $\infty$-category with finite limits and pushouts in which pushouts squares remain pushouts after basechange along an arbitrary morphism (i.e., Mather's Second Cube Lemma holds). For connected objects, these imply the classical James and Hilton-Milnor Splittings. Moreover, working in this generality shows that the James and Hilton-Milnor splittings hold in many new contexts, for example in: elementary $\infty$-topoi, profinite spaces, and motivic spaces over arbitrary base schemes. The splitting result in this last context extend Wickelgren and Williams' splitting result for motivic spaces over a perfect field. We also give two proofs of the metastable EHP sequence in the setting of $\infty$-topoi: the first is a new, non-computational proof that only utilizes basic connectedness estimates involving the James filtration and the Blakers-Massey Theorem, while the second reduces to the classical computational proof. △ Less

Submitted 14 December, 2021; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: Comments very welcome. v5: 29 pages. Final journal version. v4: 28 pages. Corrected some errors around connectedness hypotheses in the infinite splitting results. v3: Corrected some minor mistakes regarding connectivity degrees. 23 pages. v2: Minor adjustments to exposition. Corrected some typos. 22 pages. v1: 22 pages

Journal ref: Doc. Math. 26 (2021), 1423-1464

On coherent topoi & coherent $1$-localic $\infty$-topoi

Authors: Peter J. Haine

Abstract: In this note we prove the following useful fact that seems to be missing from the literature: the $\infty$-category of coherent ordinary topoi (in the sense of SGA4) is equivalent to the $\infty$-category of coherent $1$-localic $\infty$-topoi (in Lurie's sense). We also collect a number of examples of coherent geometric morphisms between $\infty$-topoi coming from algebraic geometry. In this note we prove the following useful fact that seems to be missing from the literature: the $\infty$-category of coherent ordinary topoi (in the sense of SGA4) is equivalent to the $\infty$-category of coherent $1$-localic $\infty$-topoi (in Lurie's sense). We also collect a number of examples of coherent geometric morphisms between $\infty$-topoi coming from algebraic geometry. △ Less

Submitted 10 July, 2019; v1 submitted 3 April, 2019; originally announced April 2019.

Comments: Comments very welcome. v2: 13 pages. Corrected some omissions and typos in v1 and clarified a few points. arXiv admin note: substantial text overlap with arXiv:1807.03281

Extended étale homotopy groups from profinite Galois categories

Authors: Peter J. Haine

Abstract: In this note we show that the protruncated shape of a spectral $\infty$-topos is a delocalization of its profinite stratified shape. This gives a way to reconstruct the extended étale homotopy groups (i.e., the non-profinitely complete étale homotopy groups) of a coherent scheme from its profinite Galois category. In this note we show that the protruncated shape of a spectral $\infty$-topos is a delocalization of its profinite stratified shape. This gives a way to reconstruct the extended étale homotopy groups (i.e., the non-profinitely complete étale homotopy groups) of a coherent scheme from its profinite Galois category. △ Less

Submitted 20 January, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: 9 pages. Comments very welcome. v2: Removed an erroneous remark about the protruncated shape preserving finite products

On the homotopy theory of stratified spaces

Authors: Peter J. Haine

Abstract: Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an equivalence from our homotopy theory of $P$-stratified topological spaces to the $\infty$-category of $\infty$-categories with a conservative functor to $P$. This… ▽ More Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an equivalence from our homotopy theory of $P$-stratified topological spaces to the $\infty$-category of $\infty$-categories with a conservative functor to $P$. This proves a stratified form of Grothendieck's homotopy hypothesis, verifying a conjecture of Ayala-Francis-Rozenblyum. Our homotopy theory of stratified spaces has the added benefit of capturing all examples of geometric interest: conically stratified spaces fit into our theory, and the Ayala-Francis-Tanaka-Rozenblyum homotopy theory of conically smooth stratified spaces embeds into ours. △ Less

Submitted 23 March, 2023; v1 submitted 2 November, 2018; originally announced November 2018.

Comments: v6: 33 pages. Many parts have been rewritten in response to referee comments. The appendix has been removed and replaced by citations to Douteau's work. Final version to appear in Annales scientifiques de l'École normale supérieure

Lifting Enhanced Factorization Systems to Functor $ 2 $-Categories

Authors: Peter J. Haine

Abstract: In this paper we give sufficient conditions for lifting an enhanced factorization system $ (\mathcal{E}, \mathcal{M}) $ on a $ 2 $-category $ \mathbf{D} $ to the functor $ 2 $-category $ \mathbf{D}^{\mathbf{C}} $, where $ \mathbf{C} $ is a small $ 2 $-category. Due to previous work of Lack, our work provides coherence results for $ 2 $-monads on functor $ 2 $-categories. These coherence results ar… ▽ More In this paper we give sufficient conditions for lifting an enhanced factorization system $ (\mathcal{E}, \mathcal{M}) $ on a $ 2 $-category $ \mathbf{D} $ to the functor $ 2 $-category $ \mathbf{D}^{\mathbf{C}} $, where $ \mathbf{C} $ is a small $ 2 $-category. Due to previous work of Lack, our work provides coherence results for $ 2 $-monads on functor $ 2 $-categories. These coherence results are of immediate interest to an ongoing collaboration of Guillou, May, Merling, and Osorno on equivariant infinite loop space theory. △ Less

Submitted 2 July, 2016; v1 submitted 22 April, 2016; originally announced April 2016.

Comments: 19 pages. References reordered, corrected some typographical errors, and removed redundancy from the proof of Lem. 3.1. See author's website for a version of the paper with working hyperlinks