Finiteness of Frobenius Traces of a Sheaf on a Flat Arithmetic Scheme

2018 ◽  
Vol 2020 (9) ◽  
pp. 2864-2880
Author(s):  
Koji Shimizu

Abstract For a lisse $\ell $-adic sheaf on a scheme flat and of finite type over $\mathbb{Z}$, we consider the field generated over $ \mathbb{Q}$ by Frobenius traces of the sheaf at closed points. Assuming conjectural properties of geometric Galois representations of number fields and the Generalized Riemann Hypothesis, we prove that the field is finite over $\mathbb{Q}$ when the sheaf is de Rham at $\ell $ pointwise. This is a number field analog of Deligne’s finiteness result about Frobenius traces in the function field case.

2013 ◽  
Vol 13 (3) ◽  
pp. 517-559 ◽  
Author(s):  
Eric Larson ◽  
Dmitry Vaintrob

AbstractGiven an abelian variety $A$ of dimension $g$ over a number field $K$, and a prime $\ell $, the ${\ell }^{n} $-torsion points of $A$ give rise to a representation ${\rho }_{A, {\ell }^{n} } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ( \mathbb{Z} / {\ell }^{n} \mathbb{Z} )$. In particular, we get a mod-$\ell $representation ${\rho }_{A, \ell } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{F} }_{\ell } )$ and an $\ell $-adic representation ${\rho }_{A, {\ell }^{\infty } } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{Z} }_{\ell } )$. In this paper, we describe the possible determinants of subquotients of these two representations. These two lists turn out to be remarkably similar.Applying our results in dimension $g= 1$, we recover a generalized version of a theorem of Momose on isogeny characters of elliptic curves over number fields, and obtain, conditionally on the Generalized Riemann Hypothesis, a generalization of Mazur’s bound on rational isogenies of prime degree to number fields.


2017 ◽  
Vol 164 (3) ◽  
pp. 551-572 ◽  
Author(s):  
DRAGOS GHIOCA ◽  
KHOA D. NGUYEN ◽  
THOMAS J. TUCKER

AbstractLetKbe a number field or a function field of characteristic 0, letφ∈K(z) with deg(φ) ⩾ 2, and letα∈ ℙ1(K). LetSbe a finite set of places ofKcontaining all the archimedean ones and the primes whereφhas bad reduction. After excluding all the natural counterexamples, we define a subsetA(φ,α) of ℤ⩾0× ℤ>0and show that for all but finitely many (m,n) ∈A(φ,α) there is a prime 𝔭 ∉Ssuch that ord𝔭(φm+n(α)−φm(α)) = 1 andαhas portrait (m,n) under the action ofφmodulo 𝔭. This latter condition implies ord𝔭(φu+v(α)−φu(α)) ⩽ 0 for (u,v) ∈ ℤ⩾0× ℤ>0satisfyingu<morv<n. Our proof assumes a conjecture of Vojta for ℙ1× ℙ1in the number field case and is unconditional in the function field case thanks to a deep theorem of Yamanoi. This paper extends earlier work of Ingram–Silverman, Faber–Granville and the authors.


2014 ◽  
Vol 17 (A) ◽  
pp. 385-403 ◽  
Author(s):  
Jean-François Biasse ◽  
Claus Fieker

AbstractWe describe how to compute the ideal class group and the unit group of an order in a number field in subexponential time. Our method relies on the generalized Riemann hypothesis and other usual heuristics concerning the smoothness of ideals. It applies to arbitrary classes of number fields, including those for which the degree goes to infinity.


2013 ◽  
Vol 149 (4) ◽  
pp. 568-586 ◽  
Author(s):  
Peter J. Cho ◽  
Henry H. Kim

AbstractLet $K$ be a number field of degree $n$, and let $d_K$ be its discriminant. Then, under the Artin conjecture, the generalized Riemann hypothesis and a certain zero-density hypothesis, we show that the upper and lower bounds of the logarithmic derivatives of Artin $L$-functions attached to $K$ at $s=1$ are $\log \log |d_K|$ and $-(n-1) \log \log |d_K|$, respectively. Unconditionally, we show that there are infinitely many number fields with the extreme logarithmic derivatives; they are families of number fields whose Galois closures have the Galois group $C_n$ for $n=2,3,4,6$, $D_n$ for $n=3,4,5$, $S_4$ or $A_5$.


Author(s):  
Filip Najman ◽  
George C. Ţurcaş

In this paper we prove that for every integer [Formula: see text], there exists an explicit constant [Formula: see text] such that the following holds. Let [Formula: see text] be a number field of degree [Formula: see text], let [Formula: see text] be any rational prime that is totally inert in [Formula: see text] and [Formula: see text] any elliptic curve defined over [Formula: see text] such that [Formula: see text] has potentially multiplicative reduction at the prime [Formula: see text] above [Formula: see text]. Then for every rational prime [Formula: see text], [Formula: see text] has an irreducible mod [Formula: see text] Galois representation. This result has Diophantine applications within the “modular method”. We present one such application in the form of an Asymptotic version of Fermat’s Last Theorem that has not been covered in the existing literature.


Author(s):  
CLEMENS FUCHS ◽  
SEBASTIAN HEINTZE

Abstract Let $ (G_n)_{n=0}^{\infty } $ be a nondegenerate linear recurrence sequence whose power sum representation is given by $ G_n = a_1(n) \alpha _1^n + \cdots + a_t(n) \alpha _t^n $ . We prove a function field analogue of the well-known result in the number field case that, under some nonrestrictive conditions, $ |{G_n}| \geq ( \max _{j=1,\ldots ,t} |{\alpha _j}| )^{n(1-\varepsilon )} $ for $ n $ large enough.


2021 ◽  
Vol 9 ◽  
Author(s):  
David Burns ◽  
Rob de Jeu ◽  
Herbert Gangl ◽  
Alexander D. Rahm ◽  
Dan Yasaki

Abstract We develop methods for constructing explicit generators, modulo torsion, of the $K_3$ -groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic $3$ -space or on direct calculations in suitable pre-Bloch groups and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite $K_3$ -group of a number field. As part of this approach, we make several improvements to the theory of Bloch groups for $ K_3 $ of any field, predict the precise power of $2$ that should occur in the Lichtenbaum conjecture at $ -1 $ and prove that this prediction is valid for all abelian number fields.


2007 ◽  
Vol 03 (04) ◽  
pp. 541-556 ◽  
Author(s):  
WAI KIU CHAN ◽  
A. G. EARNEST ◽  
MARIA INES ICAZA ◽  
JI YOUNG KIM

Let 𝔬 be the ring of integers in a number field. An integral quadratic form over 𝔬 is called regular if it represents all integers in 𝔬 that are represented by its genus. In [13,14] Watson proved that there are only finitely many inequivalent positive definite primitive integral regular ternary quadratic forms over ℤ. In this paper, we generalize Watson's result to totally positive regular ternary quadratic forms over [Formula: see text]. We also show that the same finiteness result holds for totally positive definite spinor regular ternary quadratic forms over [Formula: see text], and thus extends the corresponding finiteness results for spinor regular quadratic forms over ℤ obtained in [1,3].


Author(s):  
Mattias Jonsson ◽  
Paul Reschke

AbstractWe show that any birational selfmap of a complex projective surface that has dynamical degree greater than one and is defined over a number field automatically satisfies the Bedford–Diller energy condition after a suitable birational conjugacy. As a consequence, the complex dynamics of the map is well behaved. We also show that there is a well-defined canonical height function.


2018 ◽  
Vol 154 (4) ◽  
pp. 850-882
Author(s):  
Yunqing Tang

In his 1982 paper, Ogus defined a class of cycles in the de Rham cohomology of smooth proper varieties over number fields. This notion is a crystalline analogue of$\ell$-adic Tate cycles. In the case of abelian varieties, this class includes all the Hodge cycles by the work of Deligne, Ogus, and Blasius. Ogus predicted that such cycles coincide with Hodge cycles for abelian varieties. In this paper, we confirm Ogus’ prediction for some families of abelian varieties. These families include geometrically simple abelian varieties of prime dimension that have non-trivial endomorphism ring. The proof uses a crystalline analogue of Faltings’ isogeny theorem due to Bost and the known cases of the Mumford–Tate conjecture.


Sign in / Sign up

Export Citation Format

Share Document