Source author record

Jakob Stix

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT math.GR

Catalog footprint

Research overview

12works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2015arXiv

Categories of abelian varieties over finite fields I. Abelian varieties over $\mathbb{F}_p$

We assign functorially a $\mathbb{Z}$ -lattice with semisimple Frobenius action to each abelian variety over $\mathbb{F}_p$ . This establishes an equivalence of categories that describes abelian varieties over $\mathbb{F}_p$ avoiding $\sqrt{p}$ as an eigenvalue of Frobenius in terms of simple commutative algebra. The result extends the isomorphism classification of Waterhouse and Deligne's equivalence for ordinary abelian varieties.

preprint2015arXiv

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)$ .

preprint2015arXiv

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.

preprint2015arXiv

Series of $p$ -groups with Beauville structure

For every $p\geq 2$ we show that each finite $p$ -group with an unmixed Beauville structure is part of a surjective infinite projective system of finite $p$ -groups with compatible unmixed Beauville structures. This leads to the new notion of an unmixed topological Beauville structure on pro-finite groups. We further construct for $p \geq 5$ a new explicit infinite series of non-abelian $p$ -groups that allow unmixed Beauville structures.

preprint2014arXiv

Étale contractible varieties in positive characteristic

Unlike in characteristic 0, there are no non-trivial smooth varieties over an algebraically closed field k of characteristic p>0 that are contractible in the sense of etale homotopy theory.

preprint2013arXiv

Simply transitive quaternionic lattices of rank 2 over F_q(t) and a non-classical fake quadric

We construct an infinite series of simply transitive irreducible lattices in PGL_2(F_q((t))) \times PGL_2(F_q((t))) by means of a quaternion algebra over F_q(t). The lattices depend on an odd prime power q = p^r and a parameter τ in F_q^* different from 1, and are the fundamental group of a square complex with just one vertex and universal covering T_{q+1} \times T_{q+1}, a product of trees with constant valency q + 1. Our lattices give rise via non-archimedian uniformization to smooth projective surfaces of general type over F_q((t)) with ample canonical class, Chern ratio (c_1)^2/c_2 = 2, trivial Albanese variety and non-reduced Picard scheme. For q = 3, the Zariski-Euler characteristic attains its minimal value χ= 1: the surface is a non-classical fake quadric.

preprint2013arXiv

Weil-Châtelet divisible elements in Tate-Shafarevich groups II: On a question of Cassels

For an abelian variety A over a number field k we discuss the divisibility in H^1(k,A) of elements of the subgroup Sha(A/k). The results are most complete for elliptic curves over Q.

preprint2012arXiv

Birational p-adic Galois sections in higher dimensions

This note explores the consequences of Koenigsmann's model theoretic argument from the proof of the birational p-adic section conjecture for curves in the context of higher dimensional varieties over p-adic local fields.

preprint2011arXiv

Arithmetic in the fundamental group of a p-adic curve: On the p-adic section conjecture for curves

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the function field of the curve.

preprint2010arXiv

Descent obstruction and fundamental exact sequence

A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite k-groups G, in view of a local-global interpolation property for sections of the fundamental group short exact sequence of X/k. There are applications to the Brauer-Manin obstruction, to the descent obstruction by torsors under linear groups, and to the birational version of Grothendieck's section conjecture over number fields. In particular, we obtain examples of families of curves over number fields, such that the birational section conjecture is true in a non-trivial way.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jakob Stix

Research overview

Is this your work?

12 publications

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

Galois sections and $p$ -adic period mappings

Categories of abelian varieties over finite fields I. Abelian varieties over $\mathbb{F}_p$

Lifting Galois sections along torsors

On the birational section conjecture with local conditions

Series of $p$ -groups with Beauville structure

Étale contractible varieties in positive characteristic

Simply transitive quaternionic lattices of rank 2 over F_q(t) and a non-classical fake quadric

Weil-Châtelet divisible elements in Tate-Shafarevich groups II: On a question of Cassels

Birational p-adic Galois sections in higher dimensions

Arithmetic in the fundamental group of a p-adic curve: On the p-adic section conjecture for curves

Descent obstruction and fundamental exact sequence

See the researcher in context

Building this map preview

Jakob Stix

Research overview

Is this your work?

12 publications

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

Galois sections and ppp-adic period mappings

Categories of abelian varieties over finite fields I. Abelian varieties over Fp\mathbb{F}_pFp​

Lifting Galois sections along torsors

On the birational section conjecture with local conditions

Series of ppp-groups with Beauville structure

Étale contractible varieties in positive characteristic

Simply transitive quaternionic lattices of rank 2 over F_q(t) and a non-classical fake quadric

Weil-Châtelet divisible elements in Tate-Shafarevich groups II: On a question of Cassels

Birational p-adic Galois sections in higher dimensions

Arithmetic in the fundamental group of a p-adic curve: On the p-adic section conjecture for curves

Descent obstruction and fundamental exact sequence

See the researcher in context

Building this map preview

Galois sections and $p$ -adic period mappings

Categories of abelian varieties over finite fields I. Abelian varieties over $\mathbb{F}_p$

Series of $p$ -groups with Beauville structure