arXiv Science⌕ Search

arXiv subjects

Jack Hall

Publications and source records attributed to Jack Hall.

At least 19 recordsLinked to original sources
arXiv2025

Compact approximation and descent for algebraic stacks

This work focuses on approximation and generation for the derived category of complexes with quasi-coherent cohomology on algebraic stacks. Our methods establish that approximation by compact objects descends along covers that are quasi-finite and flat. This generalizes a result of Lipman--Neeman for schemes and extends a related result known for algebraic spaces. We also study the behavior of generation under the derived pushforward and pullback of a morphism between algebraic stacks.

math.AG↗
arXiv2024

A generalized Bondal-Orlov full faithfulness criterion for Deligne-Mumford stacks

Let $X$, $Y$ be smooth projective varieties over $\mathbf{C}$. Let $K$ be a bounded complex of coherent sheaves on $X\times Y$ and let $\Phi_K \colon \mathsf{D}^b_{\mathsf{Coh}}(X) \to \mathsf{D}^b_{\mathsf{Coh}}(Y)$ be the resulting Fourier-Mukai functor. There is a well-known criterion due to Bondal-Orlov for $\Phi_K$ to be fully faithful. This criterion was recently extended to smooth Deligne-Mumford stacks with projective coarse moduli schemes by Lim-Polischuk. We extend this to all smooth, proper Deligne-Mumford stacks over arbitrary fields of characteristic $0$. Along the way, we establish a number of foundational results for bounded derived categories of proper and tame morphisms of noetherian algebraic stacks (e.g., coherent duality).

math.AG↗
arXiv2023

Coherently complete algebraic stacks in positive characteristic

With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form $[\mathrm{Spec}\, A/G]$, with $G$ reductive and $A^G$ complete local, are coherently complete along the unique closed point. We establish this conjecture in two interesting cases: (1) $A^G$ is artinian and (2) $G$ acts trivially on $\mathrm{Spec}\, A$. We also establish coherent completeness results for graded unipotent group actions. In order to establish these results, we prove a number of foundational statements concerning cohomological and completeness properties of algebraic stacks -- including on how these properties ascend and descend along morphisms.

math.AG↗
arXiv2023

On the Motivic Homotopy Type of Algebraic Stacks

We construct smooth presentations of algebraic stacks that are local epimorphisms in the Morel-Voevodsky $\mathbb{A}^1$-homotopy category. As a consequence we show that the motive of a smooth stack (in Voevodsky's triangulated category of motives) has many of the same properties as the motive of a smooth scheme.

math.AG↗
arXiv2022

Further remarks on derived categories of algebraic stacks

Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived categories. We also prove that if $X$ is smooth over $k$, then $\mathsf{D}_{\mathrm{qc}}(X)$ is compactly generated. We accomplish the former using the descendable algebras of Mathew. We also establish related results in positive and mixed characteristics.

math.AG↗
arXiv2022

Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts

We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of \'etale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin-Tyomkin.

math.AG↗
arXiv2021

Unipotent morphisms

We introduce the theory of unipotent morphisms of algebraic stacks and prove a surprising local to global principle for a class of vector bundles. Two sample applications of our methods are the following: (1) a unipotent analogue of Gabber's Theorem for torsion $\mathbf{G}_m$-gerbes and (2) smooth Deligne-Mumford stacks with quasi-projective coarse spaces satisfy the resolution property in positive characteristic. Our main tool is a descent result for flags, which we prove using results of Sch\"appi.

math.AG↗
arXiv2019

The \'etale local structure of algebraic stacks

We prove that an algebraic stack with affine stabilizers over an arbitrary base is \'etale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks over algebraically closed fields) and by Abramovich, Olsson and Vistoli (stacks with finite inertia). In addition, we prove a number of foundational results, which are new even over a field. These include various coherent completeness and effectivity results for adic sequences of algebraic stacks. Finally, we give several applications of our results and methods, such as structure theorems for linearly reductive group schemes and generalizations to the relative setting of Sumihiro's theorem on torus actions and Luna's \'etale slice theorem.

math.AG↗
arXiv2018

Cognition in Dynamical Systems, Second Edition

Cognition is the process of knowing. As carried out by a dynamical system, it is the process by which the system absorbs information into its state. A complex network of agents cognizes knowledge about its environment, internal dynamics and initial state by forming emergent, macro-level patterns. Such patterns require each agent to find its place while partially aware of the whole pattern. Such partial awareness can be achieved by separating the system dynamics into two parts by timescale: the propagation dynamics and the pattern dynamics. The fast propagation dynamics describe the spread of signals across the network. If they converge to a fixed point for any quasi-static state of the slow pattern dynamics, that fixed point represents an aggregate of macro-level information. On longer timescales, agents coordinate via positive feedback to form patterns, which are defined using closed walks in the graph of agents. Patterns can be coherent, in that every part of the pattern depends on every other part for context. Coherent patterns are acausal, in that (a) they cannot be predicted and (b) no part of the stored knowledge can be mapped to any part of the pattern, or vice versa. A cognitive network's knowledge is encoded or embodied by the selection of patterns which emerge. The theory of cognition summarized here can model autocatalytic reaction-diffusion systems, artificial neural networks, market economies and ant colony optimization, among many other real and virtual systems. This theory suggests a new understanding of complexity as a lattice of contexts rather than a single measure.

cs.MA↗
arXiv2018

GAGA theorems

We prove a new and unified GAGA theorem. This recovers all analytic and formal GAGA results in the literature, and is also valid in the non-noetherian setting. Our method can also be used to establish various Lefschetz theorems and comparison results for the Fargues-Fontaine curve.

math.AG↗
arXiv2017

Addendum: \'Etale d\'evissage, descent and pushouts of stacks

Using Nisnevich coverings and a Hilbert stack of stacky points, we prove \'etale d\'evissage results for non-representable \'etale and quasi-finite flat coverings. We give applications to absolute noetherian approximation of algebraic stacks and compact generation of derived categories.

math.AG↗
arXiv2016

Mayer-Vietoris squares in algebraic geometry

We consider various notions of Mayer--Vietoris squares in algebraic geometry. We use these to generalize a number of gluing and pushout results of Moret-Bailly, Ferrand--Raynaud, Joyet and Bhatt. An important intermediate step is Gabber's rigidity theorem for henselian pairs, which our methods give a new proof of.

math.AG↗
arXiv2016

The telescope conjecture for algebraic stacks

Using Balmer--Favi's generalized idempotents, we establish the telescope conjecture for many algebraic stacks. Along the way, we classify the thick tensor ideals of perfect complexes of stacks.

math.AG↗
arXiv2015

A Luna \'etale slice theorem for algebraic stacks

We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is \'etale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems.

math.AG↗
arXiv2014

The Balmer spectrum of a tame stack

Let $X$ be a quasi-compact algebraic stack with quasi-finite and separated diagonal. We classify the thick $\otimes$-ideals of $\mathsf{D}_{\mathrm{qc}}(X)^c$. If $X$ is tame, then we also compute the Balmer spectrum of the $\otimes$-triangulated category of perfect complexes on $X$. In addition, if $X$ admits a coarse space $X_{\mathrm{cs}}$, then we prove that the Balmer spectra of $X$ and $X_{\mathrm{cs}}$ are naturally isomorphic.

math.AG↗
arXiv2014

One positive and two negative results for derived categories of algebraic stacks

Let $X$ be a quasi-compact and quasi-separated scheme. There are two fundamental and pervasive facts about the unbounded derived category of $X$: (1) $\mathsf{D}_{\mathrm{qc}}(X)$ is compactly generated by perfect complexes and (2) if $X$ is noetherian or has affine diagonal, then the functor $\Psi_X \colon \mathsf{D}(\mathsf{QCoh}(X)) \to \mathsf{D}_{\mathrm{qc}}(X)$ is an equivalence. Our main results are that for algebraic stacks in positive characteristic, the assertions (1) and (2) are typically false.

math.AG↗
arXiv2014

Perfect complexes on algebraic stacks

We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or are local quotient stacks. We also extend To\"en and Antieau--Gepner's results on derived Azumaya algebras and compact generation of sheaves on linear categories from derived schemes to derived Deligne--Mumford stacks. These are all consequences of our main theorem: compact generation of a presheaf of triangulated categories on an algebraic stack is local for the quasi-finite flat topology.

math.AG↗