arXiv subjects
Publications and source records attributed to Jakob Stix.
Anabelian geometry as an attempt to describe geometry in terms of \'etale 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.
We introduce the tame \'etale fundamental group $\pi_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 $\pi_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 $\pi_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 \'etale fundamental group, and on the 'vertical compactification' of a map of adic spaces.
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, \'etale, and Kummer \'etale 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 \'etale site and of the Kummer \'etale fundamental group.
Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved the analogous theorem for fields finitely generated over $\mathbb{Q}$. Our proof relies on Mochizuki's Hom-theorem in anabelian geometry, and a study of point-theoretic morphisms of fundamental groups of curves.
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.
We study effective global generation properties of projectivizations of curve semistable vector bundles over curves and abelian varieties.
We contemplate the range of convex Fujita numbers for minimal smooth projective surfaces according to their position in the Kodaira-Enriques classification.
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.
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$.
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.
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.
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.
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$.
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).
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$.
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.
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.
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)$.