Related papers: Exodromy

Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic…

Given a finitely generated relatively hyperbolic group $G$, we construct a finite generating set $X$ of $G$ such that $(G,X)$ has the `falsification by fellow traveler property' provided that the parabolic subgroups $\{H_\omega\}_{\omega\in…

For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…

We complete the program, initiated in [6], to compare the many different possible definitions of the underlying homotopy type of a log scheme. We show that, up to profinite completion, they all yield the same result, and thus arrive at an…

We develop cohomological and homological theories for a profinite group $G$ with coefficients in the Pontryagin dual categories of pro-discrete and ind-profinite $G$-modules, respectively. The standard results of group (co)homology hold for…

We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and…

Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian.…

We describe the construction which takes as input a profinite group, which when applied the the absolute Galois group of a geometric field F agrees in some cases with the algebraic K-theory of F. We prove that it agrees in the case of a…

We develop a theory of Goodwillie calculus for functors between $G$-equivariant homotopy theories, where $G$ is a finite group. We construct $J$-excisive approximations of a homotopy functor for any finite $G$-set $J$. These fit together…

By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$, the automorphism group of the…

Assume $G$ is a solvable group whose elementary abelian sections are all finite. Suppose, further, that $p$ is a prime such that $G$ fails to contain any subgroups isomorphic to $C_{p^\infty}$. We show that if $G$ is nilpotent, then the…

Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show…

Given a countable group $G$ splitting as a free product $G=G_1\ast\dots\ast G_k\ast F_N$, we establish classification results for subgroups of the group $Out(G,\mathcal{F})$ of all outer automorphisms of $G$ that preserve the conjugacy…

Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…

Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic~$0$ and fix an embedding $K \subset \mathbb{C}$. The Mumford--Tate conjecture is a precise way of saying that certain extra structure on the…

Let $X$ be a smooth complex quasi-projective variety that is special in the sense of Campana. We prove that the monodromy group of any complex local system on $X$ is virtually nilpotent of class at most $2$. This result sharply refines a…

We obtain a characterization of Maximal and Galois-Maximal $C_2$-spaces (including real algebraic varieties) in terms of $\operatorname{RO}(C_2)$-graded cohomology with coefficients in the constant Mackey functor $\underline{\mathbf{F}}_2$,…

In this article we calculate the profinite genus of the fundamental group of a $n$-dimensional compact flat manifold $X$ with holonomy group of prime order. As consequence, we prove that if $n\leq 21$, then $X$ is determined among all…

This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…

Malle proposed a conjecture for counting the number of $G$-extensions $L/K$ with discriminant bounded above by $X$, denoted $N(K,G;X)$, where $G$ is a fixed transitive subgroup $G\subset S_n$ and $X$ tends towards infinity. We introduce a…