arXiv Science⌕ Search

arXiv subjects

Jakob Stix

Publications and source records attributed to Jakob Stix.

At least 19 recordsLinked to original sources
arXiv2026

The étale topos reconstructs varieties over sub-p-adic fields

Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite-type $K$-scheme to its étale topos is fully faithful after localizing at universal homeomorphisms. This generalizes a result of Voevodsky, who proved the analogous theorem for fields finitely generated over $\mathbb{Q}$. We also establish a relative version over normal noetherian Nagata schemes with sub-$p$-adic function fields, where we prove that componentwise universally open schemes can be reconstructed from their étale topoi, up to universal homeomorphism. Specializing to $\operatorname{Spec}(\mathbb{Z})$ as the base, this partially verifies a conjecture of Grothendieck. Our proofs rely on Mochizuki's Hom-theorem in anabelian geometry, a study of point-theoretic morphisms of fundamental groups of curves, and a topos-theoretic section conjecture of Voevodsky, which we prove.

math.AG↗
arXiv2026

Anabelian Geometry in Families

Anabelian geometry as an attempt to describe geometry in terms of étale topological data has addressed so far mainly categories of varieties over a field. In this paper we work over a normal base scheme $S$ of finite type over a sub-$p$-adic field and show that families of hyperbolic curves over $S$ are anabelian among smooth $S$-schemes with respect to dominant morphisms.

math.NT↗
arXiv2026

Tame fundamental groups of rigid spaces

We introduce the tame étale fundamental group $π_1^t(X/K)$ of a rigid space X over a non-archimedean field K. We show that if X is qcqs and K has topologically finitely generated tame Galois group (e.g. algebraically closed or a local field), then $π_1^t(X/K)$ is topologically finitely generated. If X is moreover the rigid generic fibre of a strictly semistable formal scheme such that the smooth locus of its special fibre admits a projective snc compactification, then $π_1^t(X/K)$ is topologically finitely presented. The proofs rely on techniques of logarithmic geometry (extended beyond its usual scope of finitely generated monoids), in particular on an analogous finiteness statement for the tame log étale fundamental group, and on the 'vertical compactification' of a map of adic spaces.

math.AG↗
arXiv2024

Logarithmic geometry beyond fs

We develop the foundations of logarithmic structures beyond the standard finiteness conditions. The motivation is the study of semistable models over general valuation rings. The key new notion is that of a morphism of finite presentation up to saturation (sfp), which is one that is qcqs and which is locally isomorphic to the saturated base change of a finitely presented morphism between fs log schemes. As in the case of schemes, sfp maps can (locally on the base) be approximated by maps between fs log schemes of finite type over $\mathbb{Z}$. Based on sfp maps, we define smooth, étale, and Kummer étale maps. Importantly, the maps of schemes underlying such maps are no longer of finite type in general, though surprisingly they are if the base is the spectrum of a valuation ring with algebraically closed field of fractions. These foundations allow us to extend beyond the fs case the theory of the Kummer étale site and of the Kummer étale fundamental group.

math.AG↗
arXiv2024

Convex Fujita numbers are not determined by the fundamental group

We study effective global generation of adjoint line bundles on smooth projective varieties. To measure the effectivity we introduce the concept of the convex Fujita number of a smooth projective variety and compute its value for a class of varieties with prescribed dimension $d \geq 2$ and an arbitrary projective group as fundamental group.

math.AG↗
arXiv2023

Topological rigidity of maps in positive characteristic and anabelian geometry

We study pairs of non-constant maps between two integral schemes of finite type over two (possibly different) fields of positive characteristic. When the target is quasi-affine, Tamagawa showed that the two maps are equal up to a power of Frobenius if and only if they induce the same homomorphism on their étale fundamental groups. We extend Tamagawa's result by adding a purely topological criterion for maps to agree up to a power of Frobenius.

math.AG↗
arXiv2023

Fundamental groups of proper varieties are finitely presented

It was recently proven by Esnault, Shusterman and the second named author, that the étale fundamental group of a connected smooth projective variety over an algebraically closed field $k$ is finitely presented. In this note, we extend this result to all connected proper schemes over $k$.

math.AG↗
arXiv2022

Categories of abelian varieties over finite fields II: Abelian varieties over finite fields and Morita equivalence

The category of abelian varieties over $\mathbb{F}_q$ is shown to be anti-equivalent to a category of $\mathbb{Z}$-lattices that are modules for a non-commutative pro-ring of endomorphisms of a suitably chosen direct system of abelian varieties over $\mathbb{F}_q$. On full subcategories cut out by a finite set $w$ of conjugacy classes of Weil $q$-numbers, the anti-equivalence is represented by what we call $w$-locally projective abelian varieties.

math.NT↗
arXiv2022

Galois sections and $p$-adic period mappings

Let $K$ be a number field not containing a CM subfield. For any smooth projective curve $Y/K$ of genus $\geq2$, we prove that the image of the "Selmer" part of Grothendieck's section set inside the $K_v$-rational points $Y(K_v)$ is finite for every finite place $v$. This gives an unconditional verification of a prediction of Grothendieck's section conjecture. In the process of proving our main result, we also refine and extend the method of Lawrence and Venkatesh, with potential consequences for explicit computations.

math.NT↗
arXiv2021

An obstruction to lifting to characteristic $0$

We introduce a new obstruction to lifting smooth proper varieties in characteristic $p>0$ to characteristic $0$. It is based on Grothendieck's specialization homomorphism and the resulting discrete finiteness properties of étale fundamental groups.

math.AG↗
arXiv2021

Parameterized (Modular) Counting and Cayley Graph Expanders

We study the problem $\#\mathrm{EdgeSub}(Φ)$ of counting $k$-edge subgraphs satisfying a given graph property $Φ$ in a large host graph $G$. Building upon the breakthrough result of Curticapean, Dell and Marx (STOC 17), we express the number of such subgraphs as a finite linear combination of graph homomorphism counts and derive the complexity of computing this number by studying its coefficients. Our approach relies on novel constructions of low-degree Cayley graph expanders of $p$-groups, which might be of independent interest. The properties of those expanders allow us to analyse the coefficients in the aforementioned linear combinations over the field $\mathbb{F}_p$ which gives us significantly more control over the cancellation behaviour of the coefficients. Our main result is an exhaustive and fine-grained complexity classification of $\#\mathrm{EdgeSub}(Φ)$ for minor-closed properties $Φ$, closing the missing gap in previous work by Roth, Schmitt and Wellnitz (ICALP 21). Additionally, we observe that our methods also apply to modular counting. Among others, we investigate the problems of modular counting of paths, cycles, forests and matroid bases. In the course of our investigations we also provide an exhaustive parameterized complexity classification for the problem of counting graph homomorphisms modulo a prime $p$.

cs.CC↗
arXiv2018

Infinite series of quaternionic 1-vertex cube complexes, the doubling construction, and explicit cubical Ramanujan complexes

We construct vertex transitive lattices on products of trees of arbitrary dimension $d \geq 1$ based on quaternion algebras over global fields with exactly two ramified places. Starting from arithmetic examples, we find non-residually finite groups generalizing earlier results of Wise, Burger and Mozes to higher dimension. We make effective use of the combinatorial language of cubical sets and the doubling construction generalized to arbitrary dimension. Congruence subgroups of these quaternion lattices yield explicit cubical Ramanujan complexes, a higher dimensional cubical version of Ramanujan graphs (optimal expanders).

math.GR↗
arXiv2017

Cubic twin prime polynomials are counted by a modular form

We present the geometry lying behind counting twin prime polynomials in $\mathbb{F}_q[T]$ in general. We compute cohomology and explicitly count points by means of a twisted Lefschetz trace formula applied to these parametrizing varieties for cubic twin prime polynomials. The elliptic curve $X^3 = Y(Y-1)$ occurs in the geometry, and thus counting cubic twin prime polynomials involves the associated modular form. In theory, this approach can be extended to higher degree twin primes, but the computations become harder. The formula we get in degree $3$ is compatible with the Hardy-Littlewood heuristic on average, agrees with the prediction for $q \equiv 2 \pmod 3$ but shows anomalies for $q \equiv 1 \pmod 3$.

math.NT↗
arXiv2016

Anabelian geometry with etale homotopy types

Anabelian geometry with etale homotopy types generalizes in a natural way classical anabelian geometry with etale fundamental groups. We show that, both in the classical and the generalized sense, any point of a smooth variety over a field k which is finitely generated over Q has a fundamental system of (affine) anabelian Zariski-neighbourhoods. This was predicted by Grothendieck in his letter to Faltings.

math.NT↗
arXiv2015

On the birational section conjecture with local conditions

A birationally liftable Galois section s of a hyperbolic curve X/k over a number field k yields an adelic point x(s) in the smooth completion of X. We show that x(s) is X-integral outside a set of places of Dirichlet density 0, or s is cuspidal. The proof relies on $GL_2(F_\ell)$-quotients of $π_1(U)$ for some open U of X. If k is totally real or imaginary quadratic, we prove that all birationally adelic, non-cuspidal Galois sections come from rational points as predicted by the section conjecture of anabelian geometry. As an aside we also obtain a strong approximation result for rational points on hyperbolic curves over Q or imaginary quadratic fields.

math.AG↗
arXiv2015

Lifting Galois sections along torsors

The cuspidalization conjecture, which is a consequence of Grothendieck's section conjecture, asserts that for any smooth hyperbolic curve $X$ over a finitely generated field $k$ of characteristic $0$ and any non empty Zariski open $U \subset X$, every section of $π_1 (X, \bar x) \to \mathrm{Gal}_k$ lifts to a section of $π_1 (U,\bar x) \to \mathrm{Gal}_k$. We consider in this article the problem of lifting Galois sections to the intermediate quotient $ π_1^{cc}(U)$ introduced by Mochizuki. We show that when $k = \mathbb Q$ and $D=X\setminus U$ is an union of torsion sub-packets every Galois section actually lifts to $ π_1^{cc}(U)$. One of the main tools in the proof is the construction of torus torsors $F_D$ and $E_D$ over $X$ and the geometric interpretation $ π_1^{cc}(U) \simeq π_1 (F_D)$.

math.AG↗