After results by the author (1980, 1981), and by Vinberg (1981), finiteness of the number of maximal arithmetic reflection groups in Lobachevsky spaces was not known in dimensions $2\le n\le 9$ only.
Recently (2005), the finiteness was proved in dimension 2 by Long, Maclachlan and Reid, and in dimension 3 by Agol.
Here we use these results in dimensions 2 and 3 to prove finiteness in all remaining dimensions $4\le n\le 9$. Methods of the author (1980, 1981) are strong enough to complete this in few lines by simple considerations.
We examine groups whose resonance varieties, characteristic varieties and Sigma-invariants have a natural arithmetic group symmetry, and we explore implications on various finiteness properties of subgroups. We compute resonance varieties, characteristic varieties and Alexander polynomials of Torelli groups, and we show that all subgroups containing the Johnson kernel have finite first Betti number, when the genus is at least four. We also prove that, in this range, the $I$-adic completion of the Alexander invariant is finite-dimensional, and the Kahler property for the Torelli group implies t…
Harder's reduction theory provides filtrations of euclidean buildings that allow one to deduce cohomological and homological properties of S-arithmetic groups over global function fields. In this survey I will sketch the main points of Harder's reduction theory starting from Weil's geometry of numbers and the Riemann-Roch theorem, describe a filtration that is particularly useful for deriving finiteness properties of S-arithmetic groups, and state the rank conjecture and its partial verifications that do not restrict the cardinality of the underlying field of constants. As a motivation for fur…
A main theme of the paper is a conjecture of Bloch-Kato on the image of $p$-adic regulator maps for a proper smooth variety $X$ over an algebraic number field $k$. The conjecture for a regulator map of particular degree and weight is related to finiteness of two arithmetic objects: One is the $p$-primary torsion part of the Chow group in codimension 2 of $X$. Another is an unramified cohomology group of $X$. As an application, for a regular model ${\mathscr X}$ of $X$ over the integer ring of $k$, we show an injectivity result on torsion of a cycle class map from the Chow group in codimension …
Let $X$ be a smooth curve over a finitely generated field $k$, and let $\ell$ be a prime different from the characteristic of $k$. We analyze the dynamics of the Galois action on the deformation rings of mod $\ell$ representations of the geometric fundamental group of $X$. Using this analysis, we prove analogues of the Shafarevich and Fontaine-Mazur finiteness conjectures for function fields over algebraically closed fields in arbitrary characteristic, and a weak variant of the Frey-Mazur conjecture for function fields in characteristic zero. For example, we show that if $X$ is a normal, conne…
Suppose L is any finite algebraic extension of either the ordinary rational numbers or the p-adic rational numbers. Also let g_1,...,g_k be polynomials in n variables, with coefficients in L, such that the total number of monomial terms appearing in at least one g_i is exactly m. We prove that the maximum number of isolated roots of G:=(g_1,...,g_k) in L^n is finite and depends solely on (m,n,L), i.e., is independent of the degrees of the g_i. We thus obtain an arithmetic analogue of Khovanski's Theorem on Fewnomials, extending earlier work of Denef, Van den Dries, Lipshitz, and Lenstra.
We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois representations that is densely pointwise refined in the sense of Mazur is actually trianguline as a family over a large subspace. In the case of the Coleman-Mazur eigencurve, we determine the behavior at all points.
We prove finiteness results on integral points on complements of large divisors in projective varieties over finitely generated fields of characteristic zero. To do so, we prove a function field analogue of arithmetic finiteness results of Corvaja-Zannier and Levin using Wang's function field Subspace Theorem. We then use a method of Evertse-Győry for concluding finiteness of integral points over finitely generated fields from known finiteness results over number fields.
Using authors's methods of 1980, 1981, some explicit finite sets of number fields containing ground fields of arithmetic hyperbolic reflection groups are defined, and good bounds of their degrees (over Q) are obtained. For example, degree of the ground field of any arithmetic hyperbolic reflection group in dimension at least 6 is bounded by 56. These results could be important for further classification. We also formulate a mirror symmetric conjecture to finiteness of the number of arithmetic hyperbolic reflection groups which was established in full generality recently.
In this paper, we consider a finiteness problem of saturated subsheaves of a hermitian locally free sheaf on an arithmetic variety. As an application, we could prove the unique existence of an arithmetic Harder-Narasimham filtration.
This is a survey article on some recent developments in the arithmetic theory of linear algebraic groups over higher-dimensional fields, written for the Notices of the AMS.
A hyperbolic lattice is called \textit{$(1{,}2)$-reflective} if its automorphism group is generated by $1$- and $2$-reflections up to finite index. In this paper we prove that the fundamental polyhedron of a $\mathbb{Q}$-arithmetic cocompact reflection group in the three-dimensional Lobachevsky space contains an edge such that the distance between its framing faces is small enough. Using this fact we obtain a classification of $(1{,}2)$-reflective anisotropic hyperbolic lattices of rank $4$.
We study arithmetic of the algebraic varieties defined over number fields by applying Lagrange interpolation to fibrations. Assuming the finiteness of the Tate-Shafarevich group of a certain elliptic curve, we show, for Châtelet surface bundles over curves, that the violation of Hasse principle being accounted for by the Brauer-Manin obstruction is not invariant under an arbitrary finite extension of the ground field.
Those are the notes for the 2015 Summer Research Institute on Algebraic Geometry. We report on Deligne's finiteness theorem for $\ell$-adic representations on smooth varieties defined over a finite field, on its crystalline version, and on how the geometric étale fundamental group of a smooth projective variety defined over a characteristic $p>0$ field controls crystals on the infinitesimal site and should control those on the crystalline site. v2: last results added to the report, and some typos corrected.
Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$ representing $L$ is finite by showing that the moduli stack of such hypersurfaces has only finitely many $R$-points. We accomplish this by using level structures to interpolate finiteness results between this moduli stack and the stack of canonically polarized varieties.
We study the solutions of the Rosenberg--Markoff equation ax^2+by^2+cz^2 = dxyz (a generalization of the well--known Markoff equation). We specifically focus on looking for solutions in arithmetic progression that lie in the ring of integers of a number field. With the help of previous work by Alvanos and Poulakis, we give a complete decision algorithm, which allows us to prove finiteness results concerning these particular solutions. Finally, some extensive computations are presented regarding two particular cases: the generalized Markoff equation x^2+y^2+z^2 = dxyz over quadratic fields and …
In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the solution of the Grothendieck anabelian section conjecture to the solution of its birational version. We show that (uniformly) good sections of arithmetic fundamental groups of smooth, proper, and geometrically connected hyperbolic curves over slim (and regular) fields can be lifted to sections of cuspidally abelian absolute Galois groups. As an application we…
Consider a fixed connected, finite graph $Γ$ and equip its vertices with weights $p_i$ which are non-negative integers. We show that there is a finite number of possibilities for the coefficients of the canonical cycle of a numerically Gorenstein surface singularity having $Γ$ as the dual graph of the minimal resolution, the weights $p_i$ of the vertices being the arithmetic genera of the corresponding irreducible components. As a consequence we get that if $Γ$ is not a cycle, then there is a finite number of possibilities of self-intersection numbers which one can attach to the vertices which…
In this paper we generalize an argument of Neukirch from birational anabelian geometry to the case of arithmetic curves. In contrast to the function field case, it seems to be more complicate to describe the position of decomposition groups of points at the boundary of the scheme $\Spec \caO_{K,S}$, where $K$ is a number field and $S$ a set of primes of $K$, intrinsically in terms of the fundamental group. We prove that it is equivalent to give the following pieces of information additionally with the fundamental group $π_1(\Spec \caO_{K,S})$: the location of decomposition groups of boundary p…
We prove that up to scaling there are only finitely many integral lattices L of signature (2,n) with n>20 or n=17 such that the modular variety defined by the orthogonal group of L is not of general type. In particular, when n>107, every modular variety defined by an arithmetic group for a rational quadratic form of signature (2,n) is of general type. We also obtain similar finiteness in n>8 for the stable orthogonal groups. As a byproduct we derive finiteness of lattices admitting reflective modular form of bounded vanishing order, which proves a conjecture of Gritsenko and Nikulin.
In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstruction to the algebraicity of the unitary connection on the vector bundle $E_\C$ over the complex manifold $X(\C)$ that is compatible with its holomorphic structure. We develop basic properties of the ar…
We prove finiteness results for Tate--Shafarevich groups in degree 2 associated with 1--motives, rely them to Leopoldt's conjecture, and present an example of a semiabelian variety with an infinite Tate--Shafarevich group in degree 2. We also establish an arithmetic duality theorem for 1--motives over number fields which complements earlier results of Harari and Szamuely in this direction.
We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it holds over all number fields, under the condition of finiteness (of the $\ell$-primary parts) of certain Shafarevich-Tate groups. We also prove that if the section conjecture holds over all number fields then it holds over all finitely generated fields for curves which are defined over a number field.
Building upon our arithmetic duality theorems for 1-motives, we prove that the Manin obstruction related to a finite subquotient $\Be (X)$ of the Brauer group is the only obstruction to the Hasse principle for rational points on torsors under semiabelian varieties over a number field, assuming the finiteness of the Tate-Shaferevich group of the abelian quotient. This theorem answers a question by Skorobogatov in the semiabelian case and is a key ingredient of recent work on the elementary obstruction for homogeneous spaces over number fields. We also establish a Cassels-Tate type dual exact se…
Poincaré duality for pro-étale $\mathbf{Q}_p$-local systems
Morningside Center of Mathematics and State Key Laboratory of Mathematics Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院，中国科学院数学与系统科学研究所）；CNRS, IMJ-PRG, Sorbonne Université（法国国家科学研究中心，IMJ-PRG，索邦大学）；Institut for Matematiske Fag, Københavns Universitet（哥本哈根大学数学系）；University of Maryland, Department of Mathematics（马里兰大学，数学系）
Assuming the finiteness of the Shafarevich-Tate group of elliptic curves over number fields we make several observations on the birational Grotendieck anabelian setion conjecture. We prove that the birational setion conjecture for curves over number fields can be reduced to the case of elliptic curves. In this case we prove that, as a consequence of a result of Stoll, a section of the exact sequence of the absolute Galois group of an elliptic curve over a number field arises from a rational point if and only if the induced section of the corresponding (geometrically abelianised) arithmetic fun…
