Explicit Classification for Torsion Subgroups of Rational Points of Elliptic Curves

We study the classification of elliptic curves E over the rationals ℚ according to the torsion sugroups E _tors(ℚ). More precisely, we classify those elliptic curves with E _tors(ℚ) being cyclic with even orders. We also give explicit formulas for generators of E _tors(ℚ). These results, together with the recent results of K. Ono for the non-cyclic E _tors(ℚ), completely solve the problem of the explicit classification and parameterization when E has a rational point of order 2. Received July 29, 1999, Revised March 9, 2001, Accepted July 20, 2001     

Elliptic curves and their torsion subgroups over number fields of type (2, 2,

Suppose that E：y2=x(x+M)(x+N) is an elliptic curve, where M相似文献   

Mordell-Weil groups and Selmer groups of twin- prime elliptic curves

Let E = Eσ : y2 = x(x + σp)(x + σq) be elliptic curves, where σ = ±1, p and q are primenumbers with p+2 = q. (i) Selmer groups S(2)(E/Q), S(φ)(E/Q), and S(φ)(E/Q) are explicitly determined,e.g. S(2)(E+1/Q)= (Z/2Z)2, (Z/2Z)3, and (Z/2Z)4 when p ≡ 5, 1 (or 3), and 7(mod 8), respectively. (ii)When p ≡ 5 (3, 5 for σ = -1) (mod 8), it is proved that the Mordell-Weil group E(Q) ≌ Z/2Z Z/2Z,symbol, the torsion subgroup E(K)tors for any number field K, etc. are also obtained.     

Zagier's conjecture on L(E,2)

In this paper we introduce an elliptic analog of the Bloch-Suslin complex and prove that it (essentially) computes the weight two parts of the groups K ₂(E) and K ₁(E) for an elliptic curve E over an arbitrary field k. Combining this with the results of Bloch and Beilinson we proved Zagier's conjecture on L(E,2) for modular elliptic curves over ℚ. Oblatum 3-VI-1996 & 16-V-1997     

The 2-primary torsion on elliptic curves in the Z p -extensions of Q

Let E be an elliptic curve over Q and p a prime number. Denote by Q_p,∞ the Z_p-extension of Q. In this paper, we show that if p≠3, then where E(Q_p,∞)₍₂₎ is the 2-primary part of the group E(Q_p,∞) of Q_p,∞-rational points on E. More precisely, in case p=2, we completely classify E(Q_2,∞)₍₂₎ in terms of E(Q)₍₂₎; in case p≥5 (or in case p=3 and E(Q)₍₂₎≠{O}), we show that E(Q_p,∞)₍₂₎=E(Q)₍₂₎.     

数域中tame 核的p-秩

Let E/F be a Galois extension of number fields with Galois group G=Gal(E/F), and let p be a prime not dividing #G. In this paper, using character theory of finite groups, we obtain the upper bound of #K₂O_E if the group K₂O_E is cyclic, and prove some results on the divisibility of the p-rank of the tame kernel K₂O_E, where E/F is not necessarily abelian. In particular, in the case of G=C_n, D_n, A₄, we easily get some results on the divisibility of the p-rank of the tame kernel K₂O_E by the character table. Let E/Q be a normal extension with Galois group D_l, where l is an odd prime, and F/Q a non-normal subextension with degree l. As an application, we show that f|p-rank K₂O_F, where f is the smallest positive integer such that p^f≡±1(mod l).     

Concentration of Points on Two and Three Dimensional Modular Hyperbolas and Applications

Let p be a large prime number, K, L, M, λ be integers with 1 ≤ M ≤ p and gcd(λ, p) = 1. The aim of our paper is to obtain sharp upper bound estimates for the number I ₂(M; K, L) of solutions of the congruence

Logarithmic Estimates for Submartingales and Their Differential Subordinates

In the paper we determine, for any K>0 and α∈[0,1], the optimal constant L(K,α)∈(0,∞] for which the following holds: If X is a nonnegative submartingale and Y is α-strongly differentially subordinate to X, then

On linguistic dynamical systems,families of graphs of large girth,and cryptography

The paper is devoted to the study of a linguistic dynamical system of dimension n ≥ 2 over an arbitrary commutative ring K, i.e., a family F of nonlinear polynomial maps f _α : K ⁿ → K ⁿ depending on “time” α ∈ {K − 0} such that f _α ⁻¹ = f _−αM, the relation f _α1 (x) = f _α2 (x) for some x ∈ Kⁿ implies α₁ = α₂, and each map f _α has no invariant points. The neighborhood {f _α (υ)∣α ∈ K − {0}} of an element v determines the graph Γ(F) of the dynamical system on the vertex set Kⁿ. We refer to F as a linguistic dynamical system of rank d ≥ 1 if for each string a = (α₁, υ, α₂), s ≤ d, where α_i + α_i+1 is a nonzero divisor for i = 1, υ, d − 1, the vertices υ _a = f _α1 × ⋯ × f _αs (υ) in the graph are connected by a unique path. For each commutative ring K and each even integer n ≠= 0 mod 3, there is a family of linguistic dynamical systems L_n(K) of rank d ≥ 1/3n. Let L(n, K) be the graph of the dynamical system L_n(q). If K = F_q, the graphs L(n, F_q) form a new family of graphs of large girth. The projective limit L(K) of L(n, K), n → ∞, is well defined for each commutative ring K; in the case of an integral domain K, the graph L(K) is a forest. If K has zero divisors, then the girth of K drops to 4. We introduce some other families of graphs of large girth related to the dynamical systems L_n(q) in the case of even q. The dynamical systems and related graphs can be used for the development of symmetric or asymmetric cryptographic algorithms. These graphs allow us to establish the best known upper bounds on the minimal order of regular graphs without cycles of length 4n, with odd n ≥ 3. Bibliography: 42 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 326, 2005, pp. 214–234.     

On Indecomposable Elements of K1 of a Product of Elliptic Curves

Let E₁, E₂ be elliptic curves with good reduction over a local field k of residue characteristic p. Let X be the smooth projective model of E₁ × E₂ over the ring of integers of k. We show that KerCH²(X) CH² (E₁ × E₂)) is a finite p-group, by giving a new construction of indecomposable elements of H¹ _Zar(E₁ × E₂, K₂). As an application we show that the prime to p part of the torsion subgroup of CH²(E₁ × E₂) is finite.     

Elliptic curves of odd modular degree

The modular degree m _E of an elliptic curve E/Q is the minimal degree of any surjective morphism X ₀(N) → E, where N is the conductor of E. We give a necessary set of criteria for m _E to be odd. In the case when N is prime our results imply a conjecture of Mark Watkins. As a technical tool, we prove a certain multiplicity one result at the prime p = 2, which may be of independent interest. Supported in part by the American Institute of Mathematics. Supported in part by NSF grant DMS-0401545.     

函数域的K_2群的挠元

设F是域,令G_n(F)={{a,φ_n(a)}∈K_2(F)| a,Φ_n(a)∈F~*},这里Φ_n(x)是n次分圆多项式.使用函数域的ABC定理证明了若F是常数域为k函数域,l≠ch(k)是素数,则对n≥3且l>2或n>3且l=2,G_(ln)(F)不是K_2(F)的子群.由此部分地证实了Browkin的猜想.     

A Property of Isometric Mappings Between Dual Polar Spaces of Type {DQ (2n, {\mathbb K})}

Let f be an isometric embedding of the dual polar space ${\Delta = DQ(2n, {\mathbb K})}Let f be an isometric embedding of the dual polar space D = DQ(2n, \mathbb K){\Delta = DQ(2n, {\mathbb K})} into D￠ = DQ(2n, \mathbb K￠){\Delta^\prime = DQ(2n, {\mathbb K}^\prime)}. Let P denote the point-set of Δ and let e￠: D￠? S￠ @ PG(2ⁿ - 1, \mathbb K￠){e^\prime : \Delta^\prime \rightarrow {\Sigma^\prime} \cong {\rm PG}(2^n - 1, {{\mathbb K}^\prime})} denote the spin-embedding of Δ′. We show that for every locally singular hyperplane H of Δ, there exists a unique locally singular hyperplane H′ of Δ′ such that f(H) = f(P) ?H￠{f(H) = f(P) \cap H^\prime}. We use this to show that there exists a subgeometry S @ PG(2ⁿ - 1, \mathbb K){\Sigma \cong {\rm PG}(2^n - 1, {\mathbb K})} of Σ′ such that: (i) e￠°f (x) ? S{e^\prime \circ f (x) \in \Sigma} for every point x of D; (ii) e : = e￠°f{\Delta; ({\rm ii})\,e := e^\prime \circ f} defines a full embedding of Δ into Σ, which is isomorphic to the spin-embedding of Δ.     

On the Torsion of Elliptic Curves Over Quartic Number Fields

We determine which groups Z/MZZ/NZ occur infinitely often astorsion groups E(K)_tors when K varies over all quartic numberfields and E varies over all elliptic curves over K.     

Some inequalities about mixed volumes

We prove inequalities about the quermassintegralsV _k (K) of a convex bodyK in ℝ ⁿ (here,V _k (K) is the mixed volumeV((K, k), (B _n ,n − k)) whereB _n is the Euclidean unit ball). (i) The inequality

On spaces of p-adic vector measures

LetX be a Hausdorff zero-dimensional topological space,K(X) the algebra of all clopen subsets of X, E a Hausdorff locally convex space over a non-Archimedean valued field and C _b (X) the space of all bounded continuous -valued functions on X. The space M(K(X),E), of all bounded finitely-additive measures m: K(X) → E, is investigated. If we equip C _b (X) with the topologies β _o , β, β _u , τ _b or β _ob , it is shown that, for E (compete, the corresponding spaces of continuous linear operators from C _b (X) to E (are algebraically isomorphic to certain subspaces of M(K(X),E). The text was submitted by the author in English.     

On the regularity of the minima of quasiconvex integrals

We prove in this paper theC ^∞ regularity for a “very strict” local minimum of classC _loc ^ρ , ρ>3, of functionals with genuine degenerate quasiconvex integrand depending on a vector-valued function u. Such a minimum satisfies the condition: for all x∈Ω, there exists a neighbourhoodK(x) ofx in Ω andC ₁ (x)>0,C ₂ (x)>0,1≥ε(x)>0, such that for all real ϕ∈c ₀ ^∞ (K). This work is supported by the National Natural Science Foundation of China and the Fok Ying Tung Education Foundation.     

Curves with infinitely many points of fixed degree

Thed-th symmetric productC ^(d) of a curveC defined over a fieldK is closely related to the set of points ofC of degree ≤d. IfK is a number field, then a conjecture of Lang [Hi] proved by Faltings [Fa2] implies ifC ^(d) (K) is an infinite set, then there is aK-rational covering ofC → ℙ _|K ¹ of degree ≤2d. As an application one gets that for fixed fieldK and fixedd there are only finitely many primes ι such that the set of all elliptic curves defined over some extensionsL ofK with [L∶K]≤d and withL-rational isogeny of degree ι is infinite.     

The number of genus 2 covers of an elliptic curve

The main aim of this paper is to determine the number c _N,D of genus 2 covers of an elliptic curve E of fixed degree N ≥ 1 and fixed discriminant divisor D ∈Div (E). In the case that D is reduced, this formula is due to Dijkgraaf.The basic technique here for determining c _N,D is to exploit the geometry of a certain compactification C =C _E,N of the universal genus 2 curve over the Hurwitz space H _E,N which classifies (normalized) genus 2 covers of degree N of E. Thus, a secondary aim of this paper is to study the geometry of C. For example, the structure of its degenerate fibres is determined, and this yields formulae for the numerical invariants of C which are also of independent interest.     

The 1-Lipschitz mapping between the unit spheres of two Hilbert spaces can be extended to a real linear isometry of the whole space

LetE andF be Hilbert spaces with unit spheresS ₁(E) andS ₁(F). Suppose thatV ₀ S₁(E) →S ₁(F) is a Lipschitz mapping with Lipschitz constantk=1 such that −V ₀[S ₁(E)] ⊂V ₀[S ₁(E)]. Then V₀ can be extended to a real linear isometric mappingV fromE intoF. In particular, every isometric mapping fromS ₁(E) ontoS ₁(F) can be extended to a real linear isometric mapping fromE ontoF.