Unstable arithmetic fracture squares in $\infty$-topoi

Klaus Mattis

2024-04-29

Abstract:We show that for a large class of $\infty$-topoi

Algebraic Topology

What problem does this paper attempt to address?

A symmetric monoidal fracture square

Niko Naumann,Luca Pol,Maxime Ramzi

2024-11-08

Abstract: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.

Algebraic Topology,Algebraic Geometry,Category Theory
The perfectoid Tate algebra has uncountable Krull dimension

Jack J Garzella

2024-06-09

Abstract:Let $K$ be a perfectoid field with pseudo-uniformizer $\pi$. We adapt an argument of Du in \cite{DuUncountable} to show that the perfectoid Tate algebra $K\langle x^{1 / p^{\infty}} \rangle$ has an uncountable chain of distinct prime ideals. First, we conceptualize Du's argument, defining the notion of a \textit{Newton polygon formalism} on a ring. We prove a version of Du's theorem in the prescence of a sufficiently nondiscrete Newton polygon formalism. Then, we apply our framework to the perfectoid Tate algebra via a "nonstandard" Newton polygon formalism (roughly, the roles of the series variable $x$ and the pseudo-uniformizer $\pi$ are switched). We conclude a similar statement for multivatiate perfectoid Tate algebras using the one-variable case.

Number Theory,Commutative Algebra,Algebraic Geometry
Arithmeticity of the Kontsevich–Zorich monodromies of certain families of square‐tiled surfaces II

Manuel Kany,Carlos Matheus

DOI: https://doi.org/10.1002/mana.202300085

2024-01-25

Mathematische Nachrichten

Abstract:In this note, we extend the scope of our previous work joint with Bonnafoux, Kattler, Niño, Sedano‐Mendoza, Valdez, and Weitze‐Schmithüsen by showing the arithmeticity of the Kontsevich–Zorich monodromies of infinite families of square‐tiled surfaces of genera four, five, and six.

mathematics
Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

Carlos Martinez-Ranero,Javier Utreras

2024-10-30

Abstract:We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combines techniques from central simple algebras with model theory and builds on work of Anscombe, Dittmann and Fehm. As an application, we show that, for each finite field $\mathbb{F}$ of odd characteristic and any positive integer $n$ coprime with the characteristic of $\mathbb{F}$, the first-order theory of the field given by the compositum of the fields generated by adjoining the $n$--th roots of all monic irreducible polynomials in $\mathbb{F}[t]$, of degree divisible by $n$ is undecidable in the language of rings with the variable $t$ as a constant.

Logic,Number Theory
Arithmeticity of the Kontsevich--Zorich monodromies of certain families of square-tiled surfaces II

Manuel Kany,Carlos Matheus

2024-01-24

Abstract:In this note, we extend the scope of our previous work joint with Bonnafoux, Kattler, Niño, Sedano-Mendoza, Valdez and Weitze-Schmithüsen by showing the arithmeticity of the Kontsevich--Zorich monodromies of infinite families of square-tiled surfaces of genera four, five and six.

Dynamical Systems,Algebraic Geometry
On the top-dimensional cohomology of arithmetic Chevalley groups

Benjamin Brück,Yuri Santos Rego,Robin J. Sroka

2024-05-13

Abstract:Let $\mathbb{K}$ be a number field with ring of integers $\mathfrak{O}$ and let $\mathcal{G}$ be a Chevalley group scheme not of type $\mathtt{E}_8$, $\mathtt{F}_4$ or $\mathtt{G}_2$. We use the theory of Tits buildings and a result of Tóth on Steinberg modules to prove that $H^{\operatorname{vcd}}(\mathcal{G}(\mathfrak{O}); \mathbb{Q}) = 0$ if $\mathfrak{O}$ is Euclidean.

Algebraic Topology,Group Theory,Number Theory
The smashing spectrum of sheaves

Ko Aoki

2024-06-06

Abstract:For an arbitrary $\infty$-topos, we classify the smashing localizations in the $\infty$-category of sheaves valued in derived vector spaces: Any of them is the restriction functor to a (unique) closed subtopos. Our proof is based on the existence of a Boolean cover. This result in particular gives us the first example of a nonzero presentably symmetric monoidal stable $\infty$-category whose smashing spectrum has no points. Combining this with the sheaves-spectrum adjunction, we obtain a Tannaka-type categorical reconstruction result for locales.

Category Theory,Commutative Algebra,Algebraic Topology
Recovering the relative poset structure of a covering of schemes using glued topoi

Paul Alexander Helminck

2024-07-06

Abstract:Let $X$ be a normal connected Noetherian scheme. In this paper we give an algorithm to reconstruct the relative poset structure of finite dominant separable morphism $X'\to X$ in terms of topos-theoretic enhancements of the underlying poset of $X$. The different relative poset structures are classified by an object in a $2$-limit of topoi over a graph, which we call the universal poset covering. We interpret the data in the universal covering in terms of glued power series, and we show how to calculate these using iterated symbolic multivariate Newton-Puiseux algorithms. This in particular gives a full local monogenic algorithm to calculate dual intersection graphs of semistable models of curves defined over a discretely valued field. We give a detailed study of this algorithm, with various examples to illustrate the non-trivial gluing phenomena. We also interpret these techniques in terms of analytic spaces, with an eye towards future applications in $p$-adic integration theory.

Algebraic Geometry
A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Kirsten Eisentraeger,Russell Miller,Caleb Springer,Linda Westrick

2023-10-27

Abstract:For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, then $S_Z$ is meager in $\text{Sub}(\overline{\mathbb{Q}})$. Here, thin and meager both mean "small", in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields $L$ have the property that the ring of algebraic integers $\mathcal{O}_L$ is universally definable in $L$. The main tools are Hilbert's Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists$-definable subset of an algebraic extension of $\mathbb Q$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.

Number Theory,Logic
Topological Frobenius algebras

Kai Cieliebak,Alexandru Oancea

2024-09-10

Abstract:We define the notions of unital/counital/biunital infinitesimal anti-symmetric bialgebras and coFrobenius bialgebras and discuss their algebraic properties. We also define the notion of a graded 2D open-closed TQFT. These structures arise in Rabinowitz Floer homology, loop space homology, quantum homology, and the homology of finite dimensional manifolds. The underlying vector spaces, which are typically infinite dimensional, belong to a class of topological vector spaces known as Tate vector spaces.

Symplectic Geometry,Algebraic Topology,Rings and Algebras
On the existence of free sublattices of bounded index and arithmetic applications

Henri Johnston,Alex Torzewski

DOI: https://doi.org/10.1016/j.jalgebra.2024.05.016

2024-06-06

Abstract:Let $\mathcal{O}$ be a Dedekind domain whose field of fractions $K$ is a global field. Let $A$ be a finite-dimensional separable $K$-algebra and let $\Lambda$ be an $\mathcal{O}$-order in $A$. Let $n$ be a positive integer and suppose that $X$ is a $\Lambda$-lattice such that $K \otimes_{\mathcal{O}} X$ is free of rank $n$ over $A$. Then $X$ contains a (non-unique) free $\Lambda$-sublattice of rank $n$. The main result of the present article is to show there exists such a sublattice $Y$ such that the generalised module index $[X : Y]_{\mathcal{O}}$ has explicit upper bounds with respect to division that are independent of $X$ and can be chosen to satisfy certain conditions. We give examples of applications to the approximation of normal integral bases and strong Minkowski units, and to the Galois module structure of rational points over abelian varieties.

Number Theory,Rings and Algebras
Topologization and Functional Analytification III

Xin Tong

2024-05-23

Abstract:In this paper, we continue our study on the topologization and functional analytification in $\infty$-categorical and homotopical analytic geometry. As in our previous articles on the $\infty$-categorical extensions of certain analytic and topological contexts, we discuss the corresponding prismatic cohomological constructions after Bhatt-Lurie, Bhatt-Scholze and Drinfeld, and the corresponding Robba stacks and sheaves after Kedlaya-Liu.

Algebraic Geometry,Number Theory
Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories

Rudradip Biswas,Hongxing Chen,Kabeer Manali Rahul,Chris J. Parker,Junhua Zheng

2024-07-26

Abstract:Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived categories of perfect complexes. In this paper, using different methods, we prove some very general results about the existence of bounded $t$-structures on (not necessarily algebraic or topological) triangulated categories and their invariance under completion. We show that if the opposite category of an essentially small triangulated category has finite finitistic dimension in our sense, then the existence of a bounded t-structure on it forces it to be equal to its completion. We also prove a parallel result regarding the equivalence of all bounded t-structures on any intermediate triangulated category between the starting category and its completion. Our general treatment, when specialized to the case of schemes, immediately gives us Neeman's theorem as an application and significantly generalizes another remarkable theorem by Neeman about the equivalence of bounded $t$-structures on the bounded derived categories of coherent sheaves. When specialized to other cases like associative rings, nonpositive DG-rings, connective $\mathbb{E}_1$-rings, triangulated categories without models, etc., we get many other applications. Under mild finiteness assumptions, these results not only give a categorical obstruction (the singularity category in our sense) to the existence of bounded $t$-structures on a triangulated category, but also provide plenty of triangulated categories on which all bounded $t$-structures are equivalent. The strategy used in our treatment is introducing a new concept of finitistic dimension for triangulated categories and lifting $t$-structures along completions of triangulated categories.

Rings and Algebras,Algebraic Geometry,Category Theory,Representation Theory
$(\infty,2)$-Topoi and descent

Fernando Abellán,Louis Martini

2024-10-03

Abstract:We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as the exponentiability of these fibrations. As our main result, we prove a 2-dimensional version of Giraud's theorem which characterizes $(\infty,2)$-topoi as those $(\infty, 2)$-categories that appear as localizations of $\mathfrak{C}\!\operatorname{at}$-valued presheaves in which the localization functor preserves certain partially lax finite limits which we call oriented pullbacks. We develop the basics of a theory of partially lax Kan extensions internal to an $(\infty,2)$-topos, and we show that every $(\infty,2)$-topos admits an internal version of the Yoneda embedding. Our general formalism recovers the theory of categories internal to a $(\infty,1)$-topos (as develop by the second author and Sebastian Wolf) as a full sub-$(\infty,2)$-category of the $(\infty,2)$-category of $(\infty,2)$-topoi. As a technical ingredient, we prove general results on the theory of presentable $(\infty,2)$-categories, including lax cocompletions and 2-dimensional versions of the adjoint functor theorem, which might be of independent interest.

Category Theory,Algebraic Topology
A solution to the first Lawvere's problem A Grothendieck topos that has a proper class many quotient topoi

Yuhi Kamio,Ryuya Hora

2024-07-24

Abstract:This paper solves the first problem of the open problems in topos theory posted by William Lawvere, which asks the existence of a Grothendieck topos that has a proper class many quotient topoi. This paper concretely constructs such Grothendieck topoi, including the presheaf topos of the free monoid generated by countably infinite elements $\mathbf{PSh}(M_\omega)$. Utilizing the combinatorics of the classifying topos of the theory of inhabited objects and considering pairing functions, the problem is reduced to making rigid relational structures. This is accomplished by using Kunen's theorem on elementary embeddings in set theory.

Category Theory
On arithmetical structures on K9

Claire Levaillant

2023-11-07

Abstract:We study the arithmetical structures on the complete graph $K_9$. Our method is based on studying the solutions to writing the unit as a sum of 9 unit fractions. We work from the perspective of the Diophantine equation and use some elementary properties on the $p$-adic valuations. The proofs are assisted by trees and automata.

Number Theory,Combinatorics
Arithmetic finiteness of very irregular varieties

Thomas Krämer,Marco Maculan

2024-08-14

Abstract:We prove the Shafarevich conjecture for very irregular varieties of dimension less than half the dimension of their Albanese variety, subject to some mild numerical conditions. Our proof relies on the Lawrence-Venkatesh method as in the work of Lawrence-Sawin, together with the big monodromy criterion from our work with Javanpeykar and Lehn.

Algebraic Geometry,Number Theory
On $τ$-tilting finiteness of symmetric algebras of polynomial growth

Kengo Miyamoto,Qi Wang

DOI: https://doi.org/10.11650/tjm/240708

2024-08-28

Abstract:In this paper, we report on the $\tau$-tilting finiteness of some classes of finite-dimensional algebras over an algebraically closed field, including symmetric algebras of polynomial growth, $0$-Hecke algebras and $0$-Schur algebras. Consequently, we find that derived equivalence preserves the $\tau$-tilting finiteness over symmetric algebras of polynomial growth, and self-injective cellular algebras of polynomial growth are $\tau$-tilting finite. Furthermore, the representation-finiteness and $\tau$-tilting finiteness over $0$-Hecke algebras and $0$-Schur algebras (with few exceptions) coincide.

Representation Theory,Rings and Algebras
On the Teichmüller stack of compact quotients of

Théo Jamin

DOI: https://doi.org/10.1007/s10711-024-00916-0

2024-04-05

Geometriae Dedicata

Abstract:This article aims to pursue and generalize, by using the global point of view offered by the stacks, the local study made by Ghys (J für die reine und angewandte Mathematik 468:113–138, 1995) concerning the deformations of complex structures of compact quotients of . In his article, Ghys showed that the analytic germ of the representation variety of in , pointed at the trivial morphism, determines the Kuranishi space of . In this note, we show that the tautological family above a Zariski analytic open subset V in remains complete. Moreover, the computation of the isotropy group of a complex structure in Teichmüller space, allows us to affirm that the quotient stack is an open substack of the Teichmüller stack of .

mathematics

Unstable arithmetic fracture squares in $\infty$-topoi

A symmetric monoidal fracture square

The perfectoid Tate algebra has uncountable Krull dimension

Arithmeticity of the Kontsevich–Zorich monodromies of certain families of square‐tiled surfaces II

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

Arithmeticity of the Kontsevich--Zorich monodromies of certain families of square-tiled surfaces II

On the top-dimensional cohomology of arithmetic Chevalley groups

The smashing spectrum of sheaves

Recovering the relative poset structure of a covering of schemes using glued topoi

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Topological Frobenius algebras

On the existence of free sublattices of bounded index and arithmetic applications

Topologization and Functional Analytification III

Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories

$(\infty,2)$-Topoi and descent

A solution to the first Lawvere's problem A Grothendieck topos that has a proper class many quotient topoi

On arithmetical structures on K9

Arithmetic finiteness of very irregular varieties

On $τ$-tilting finiteness of symmetric algebras of polynomial growth

On the Teichmüller stack of compact quotients of