scholarly journals Le complémentaire des puissances -ièmes dans un corps de nombres est un ensemble diophantien

2015 ◽  
Vol 151 (10) ◽  
pp. 1965-1980 ◽  
Author(s):  
Jean-Louis Colliot-Thélène ◽  
Jan Van Geel
Keyword(s):  
Prime Number ◽  
Rational Points ◽  
Parameter Family ◽  
Symmetric Power ◽  
Symmetric Powers

For $n=2$ the statement in the title is a theorem of B. Poonen (2009). He uses a one-parameter family of varieties together with a theorem of Coray, Sansuc and one of the authors (1980), on the Brauer–Manin obstruction for rational points on these varieties. For $n=p$, $p$ any prime number, A. Várilly-Alvarado and B. Viray (2012) considered analogous families of varieties. Replacing this family by its $(2p+1)$th symmetric power, we prove the statement in the title using a theorem on the Brauer–Manin obstruction for rational points on such symmetric powers. The latter theorem is based on work of one of the authors with Swinnerton-Dyer (1994) and with Skorobogatov and Swinnerton-Dyer (1998), work generalising results of Salberger (1988).

Symmetric Powers of Motives

2019 ◽  
pp. 232-252
Author(s):  
Christian Haesemeyer ◽  
Charles A. Weibel
Keyword(s):  
Topological Space ◽  
Symmetric Group ◽  
Homotopy Group ◽  
Orbit Space ◽  
Symmetric Power ◽  
Homotopy Groups ◽  
Integral Homology ◽  
Symmetric Powers ◽  
Mac Lane ◽  
Abelian Monoid

This chapter develops the basic theory of symmetric powers of smooth varieties. The constructions in this chapter are based on an analogy with the corresponding symmetric power constructions in topology. If 𝐾 is a set (or even a topological space) then the symmetric power 𝑆𝑚𝐾 is defined to be the orbit space 𝐾𝑚/Σ‎𝑚, where Σ‎𝑚 is the symmetric group. If 𝐾 is pointed, there is an inclusion 𝑆𝑚𝐾 ⊂ 𝑆𝑚+1𝐾 and 𝑆∞𝐾 = ∪𝑆𝑚𝐾 is the free abelian monoid on 𝐾 − {*}. When 𝐾 is a connected topological space, the Dold–Thom theorem says that ̃𝐻*(𝐾, ℤ) agrees with the homotopy groups π‎ *(𝑆∞𝐾). In particular, the spaces 𝑆∞(𝑆 𝑛) have only one homotopy group (𝑛 ≥ 1) and hence are the Eilenberg–Mac Lane spaces 𝐾(ℤ, 𝑛) which classify integral homology.

Quelques résultats sur les équations axp + byp = cz2

2006 ◽  
Vol 58 (1) ◽  
pp. 115-153 ◽  
Author(s):  
W. Ivorra ◽  
A. Kraus
Keyword(s):  
Prime Number ◽  
Diophantine Equation ◽  
Hyperelliptic Curves ◽  
Rational Points ◽  
Modular Representations ◽  
Natural Numbers ◽  
Prime Divisors

AbstractLet p be a prime number ≥ 5 and a, b, c be non zero natural numbers. Using the works of K. Ribet and A. Wiles on the modular representations, we get new results about the description of the primitive solutions of the diophantine equation axp + byp = cz2, in case the product of the prime divisors of abc divides 2ℓ, with ℓ an odd prime number. For instance, under some conditions on a, b, c, we provide a constant f (a, b, c) such that there are no such solutions if p > f (a, b, c). In application, we obtain information concerning the ℚ-rational points of hyperelliptic curves given by the equation y2 = xp + d with d ∈ ℤ.

scholarly journals SYMMETRIC POWER CONGRUENCE IDEALS AND SELMER GROUPS

2018 ◽  
Vol 19 (5) ◽  
pp. 1521-1572
Author(s):  
Haruzo Hida ◽  
Jacques Tilouine
Keyword(s):  
Power Series ◽  
Galois Representation ◽  
Symmetric Power ◽  
Selmer Groups ◽  
Abelian Surfaces ◽  
Symmetric Powers ◽  
Branching Laws ◽  
Hida Family

We prove, under some assumptions, a Greenberg type equality relating the characteristic power series of the Selmer groups over $\mathbb{Q}$ of higher symmetric powers of the Galois representation associated to a Hida family and congruence ideals associated to (different) higher symmetric powers of that Hida family. We use $R=T$ theorems and a sort of induction based on branching laws for adjoint representations. This method also applies to other Langlands transfers, like the transfer from $\text{GSp}(4)$ to $U(4)$. In that case we obtain a corollary for abelian surfaces.

Augmentation quotients of group rings and symmetric powers

1979 ◽  
Vol 85 (2) ◽  
pp. 247-252 ◽  
Author(s):  
Robert Sandling ◽  
Ken-Ichi Tahara
Keyword(s):  
Finite Group ◽  
Abelian Group ◽  
Additive Group ◽  
Lower Central Series ◽  
Symmetric Power ◽  
Central Series ◽  
Group Rings ◽  
Augmentation Ideal ◽  
Symmetric Powers ◽  
Image Position

Let G be a group with the lower central seriesLetwhere Σ runs over all non-negative integers a1, a2,…, an such that and is the aith symmetric power of the abelian group Gi/Gi+1 whereLet I (G) be the augmentation ideal of G in , the group ring of G over . Define the additive group Qn (G) = In (G) / In+1 (G) for any n ≥ 1. Then it is well known that Q1(G) ≅ W1(G) for any group G. Losey (4,5) proved that Q2(G) ≅ W2(G) for any finitely generated group G. Furthermore recently Tahara(12) proved that Q3(G) is a certain precisely defined quotient of W3(G) for any finite group G.

scholarly journals Galois representations attached to moments of Kloosterman sums and conjectures of Evans

2014 ◽  
Vol 151 (1) ◽  
pp. 68-120 ◽  
Author(s):  
Zhiwei Yun ◽  
Christelle Vincent
Keyword(s):  
Modular Forms ◽  
Galois Representations ◽  
Kloosterman Sums ◽  
Symmetric Power ◽  
Reductive Groups ◽  
Local Systems ◽  
Symmetric Powers ◽  
Exterior Powers ◽  
Power Moments ◽  
Tensor Powers

AbstractKloosterman sums for a finite field $\mathbb{F}_{p}$ arise as Frobenius trace functions of certain local systems defined over $\mathbb{G}_{m,\mathbb{F}_{p}}$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$ arise as Frobenius traces on a continuous $\ell$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ that comes from geometry. We also give bounds on the ramification of these Galois representations. All of this is done in the generality of Kloosterman sheaves attached to reductive groups introduced by Heinloth, Ngô and Yun [Ann. of Math. (2) 177 (2013), 241–310]. As an application, we give proofs of conjectures of Evans [Proc. Amer. Math. Soc. 138 (2010), 517–531; Israel J. Math. 175 (2010), 349–362] expressing the seventh and eighth symmetric power moments of the classical Kloosterman sum in terms of Fourier coefficients of explicit modular forms. The proof for the eighth symmetric power moment conjecture relies on the computation done in Appendix B by C. Vincent.

Reductions of one-dimensional tori

2016 ◽  
Vol 13 (06) ◽  
pp. 1473-1489 ◽  
Author(s):  
Antonella Perucca
Keyword(s):  
Prime Number ◽  
Number Field ◽  
Rational Points ◽  
Splitting Field ◽  
Dimensional Torus ◽  
Finitely Generated ◽  
One Dimensional ◽  
Finitely Generated Group ◽  
Dirichlet Density ◽  
Number Formula

Consider a non-split one-dimensional torus defined over a number field [Formula: see text]. For a finitely generated group [Formula: see text] of rational points and for a prime number [Formula: see text], we investigate for how many primes [Formula: see text] of [Formula: see text] the size of the reduction of [Formula: see text] modulo [Formula: see text] is coprime to [Formula: see text]. We provide closed formulas for the corresponding Dirichlet density in terms of finitely many computable parameters. To achieve this, we determine in general which torsion fields and Kummer extensions contain the splitting field.

scholarly journals L-FUNCTIONS OF SYMMETRIC POWERS OF THE GENERALIZED AIRY FAMILY OF EXPONENTIAL SUMS

2011 ◽  
Vol 07 (08) ◽  
pp. 2019-2064 ◽  
Author(s):  
C. DOUGLAS HAESSIG ◽  
ANTONIO ROJAS-LEÓN
Keyword(s):  
Rational Function ◽  
Exponential Sums ◽  
Newton Polygon ◽  
Symmetric Power ◽  
Symmetric Powers ◽  
Local Factors ◽  
Affine Line

This paper looks at the L-function of the kth symmetric power of the [Formula: see text]-sheaf Ai f over the affine line [Formula: see text] associated to the generalized Airy family of exponential sums. Using ℓ-adic techniques, we compute the degree of this rational function as well as the local factors at infinity. Using p-adic techniques, we study the q-adic Newton polygon of the L-function.

scholarly journals Quadratic points on non-split Cartan modular curves

2021 ◽  
pp. 1-23
Author(s):  
Philippe Michaud-Rodgers
Keyword(s):  
Elliptic Curves ◽  
Rational Points ◽  
Quadratic Fields ◽  
Modular Curves ◽  
Symmetric Powers

In this paper, we study quadratic points on the non-split Cartan modular curves [Formula: see text], for [Formula: see text] and [Formula: see text]. Recently, Siksek proved that all quadratic points on [Formula: see text] arise as pullbacks of rational points on [Formula: see text]. Using similar techniques for [Formula: see text], and employing a version of Chabauty for symmetric powers of curves for [Formula: see text], we show that the same holds for [Formula: see text] and [Formula: see text]. As a consequence, we prove that certain classes of elliptic curves over quadratic fields are modular.

scholarly journals p-cycles, S2-sets and Curves with Many Points

2018 ◽  
Vol 21 (1) ◽  
pp. 55
Author(s):  
Álvaro Garzón
Keyword(s):  
Finite Field ◽  
Prime Number ◽  
Rational Points

We construct S 2 -sets contained in the integer interval I q − 1 := [1, q − 1] with q = p^n,p a prime number and n ∈ Z +, by using the p-adic expansion of integers. Such sets comefrom considering p-cycles of length n. We give some criteria in particular cases whichallow us to glue them to obtain good S 2 -sets. After that we construct algebraic curvesover the finite field F q with many rational points via minimal (F p , F p )-polynomials whose exponent is an S 2 -set.

scholarly journals GEOMETRIC QUADRATIC CHABAUTY

2021 ◽  
pp. 1-55
Author(s):  
Bas Edixhoven ◽  
Guido Lido
Keyword(s):  
Algebraic Geometry ◽  
Prime Number ◽  
Lie Group ◽  
Unsolved Problem ◽  
Rational Points ◽  
Line Bundles ◽  
Weil Group

Abstract Since Faltings proved Mordell’s conjecture in [16] in 1983, we have known that the sets of rational points on curves of genus at least $2$ are finite. Determining these sets in individual cases is still an unsolved problem. Chabauty’s method (1941) [10] is to intersect, for a prime number p, in the p-adic Lie group of p-adic points of the Jacobian, the closure of the Mordell–Weil group with the p-adic points of the curve. Under the condition that the Mordell–Weil rank is less than the genus, Chabauty’s method, in combination with other methods such as the Mordell–Weil sieve, has been applied successfully to determine all rational points in many cases. Minhyong Kim’s nonabelian Chabauty programme aims to remove the condition on the rank. The simplest case, called quadratic Chabauty, was developed by Balakrishnan, Besser, Dogra, Müller, Tuitman and Vonk, and applied in a tour de force to the so-called cursed curve (rank and genus both $3$ ). This article aims to make the quadratic Chabauty method small and geometric again, by describing it in terms of only ‘simple algebraic geometry’ (line bundles over the Jacobian and models over the integers).

Sign in / Sign up

Export Citation Format

Share Document