Related papers: On the section conjecture over function fields and…

We develop theorems which produce a multitude of hyperbolic triples for the finite classical groups. We apply these theorems to prove that every quasisimple group except Alt(5) and SL_2(5) is a Beauville group. In particular, we settle a…

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. In other words, if K is the fraction…

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…

We show that the algebraic fundamental group of a smooth projective curve over a finite field admits a finite topological presentation where the number of relations does not exceed the number of generators.

In this survey, we introduce the three theorems about the m-step solvable Grothendieck conjecture in anabelian geometry of hyperbolic curves by H. Nakamura, S. Mochizuki, and the author. We also give sketches of the proofs of these…

In this paper we will prove that Tate conjecture of abelian varieties over finite field is equivalent to the finiteness of isomorphism classes of abelian varieties with a fixed dimension. We give a different approach with Zarhin's result.

Let $K$ be the function field of a $p$-adic curve, $G$ a semisimple simply connected group over $K$ and $X$ a $G$-torsor over $K$. A conjecture of Colliot-Th\'el\`ene, Parimala and Suresh predicts that if for every discrete valuation $v$ of…

We prove a generalization of Shafarevich's Conjecture for fields of Laurent series in two variables over an arbitrary field. While not projective, the absolute Galois group of such a field is shown to be semi-free. We also show that the…

A group is metabelian if its commutator subgroup is abelian. For finitely generated metabelian groups, classical commutative algebra, algebraic geometry and geometric group theory, especially the latter two subjects, can be brought to bear…

We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete…

We prove a version of Knebusch's Norm Principle for finite \'etale extensions of semi-local Noetherian domains with infinite residue fields of characteristic different from 2. As an application we prove Grothendieck's conjecture on…

In this note, we will show that Bogomolov conjecture holds for a non-isotrivial curve of genus 2 over a function field.

We formulate for function fields an analog of Serre's conjecture on the modularity of 2-dimensional irreducible mod l representations of the absolute Galois group of Q: our analog is not restricted to 2-dimensional represntations. While the…

Given a finite field k of characteristic at least 5, we show that the Tate conjecture holds for K3 surfaces defined over the algebraic closure of k if and only if there are only finitely many K3 surfaces over each finite extension of k.

Suppose $E$ is an elliptic curve defined over $\Q$. At the 1983 ICM the first author formulated some conjectures that propose a close relationship between the explicit class field theory construction of certain abelian extensions of…

We prove that every finite abelian group G occurs as a subgroup of the class group of infinitely many real cyclotomic fields.

The objective of this paper is to study the anabelian object referred to as \emph{pointed virtual curves}. Namely, given a family of curves $Y \rightarrow X$ over a field $k$ under suitable conditions, we consider the…

We prove the generalised Tate conjecture for H^3 of products of elliptic curves over finite fields, by slightly modifying an argument of M. Spiess concerning the Tate conjecture. We prove it fully if the elliptic curves run among at most 3…

We provide partial results towards a conjectural generalization of a theorem of Lubotzky-Mozes-Raghunathan for arithmetic groups (over number fields or function fields) that implies, in low dimensions, both polynomial isoperimetric…

In this paper, we introduce a new class of $\ell$-adic sheaves, which we call quadratic $\ell$-adic sheaves, on connected unipotent commutative algebraic groups over finite fields. They are sheaf-theoretic enhancements of quadratic forms on…