skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Torsion for CM elliptic curves defined over number fields of degree 2𝑝
For a prime number p p , we characterize the groups that may arise as torsion subgroups of an elliptic curve with complex multiplication defined over a number field of degree 2 p 2p . In particular, our work shows that a classification in the strongest sense is tied to determining whether there exist infinitely many Sophie Germain primes.  more » « less
Award ID(s):
2137659
PAR ID:
10562633
Author(s) / Creator(s):
;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Proceedings of the American Mathematical Society
Volume:
151
Issue:
765
ISSN:
0002-9939
Page Range / eLocation ID:
1001 to 1015
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We say a null-homologous knot K K in a 3 3 -manifold Y Y has Property G, if the Thurston norm and fiberedness of the complement of K K is preserved under the zero surgery on K K . In this paper, we will show that, if the smooth 4 4 -genus of K ×<#comment/> { 0 } K\times \{0\} (in a certain homology class) in ( Y ×<#comment/> [ 0 , 1 ] ) #<#comment/> N C P 2 ¯<#comment/> (Y\times [0,1])\#N\overline {\mathbb CP^2} , where Y Y is a rational homology sphere, is smaller than the Seifert genus of K K , then K K has Property G. When the smooth 4 4 -genus is 0 0 , Y Y can be taken to be any closed, oriented 3 3 -manifold. 
    more » « less
  2. We study regularity of solutions u u to ∂<#comment/> ¯<#comment/> u = f \overline \partial u=f on a relatively compact C 2 C^2 domain D D in a complex manifold of dimension n n , where f f is a ( 0 , q ) (0,q) form. Assume that there are either ( q + 1 ) (q+1) negative or ( n −<#comment/> q ) (n-q) positive Levi eigenvalues at each point of boundary ∂<#comment/> D \partial D . Under the necessary condition that a locally L 2 L^2 solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain 1 / 2 1/2 derivative when q = 1 q=1 and f f is in the Hölder–Zygmund space Λ<#comment/> r ( D ) \Lambda ^r( D) with r > 1 r>1 . For q > 1 q>1 , the same regularity for the solutions is achieved when ∂<#comment/> D \partial D is either sufficiently smooth or of ( n −<#comment/> q ) (n-q) positive Levi eigenvalues everywhere on ∂<#comment/> D \partial D
    more » « less
  3. We show that for primes N , p ≥<#comment/> 5 N, p \geq 5 with N ≡<#comment/> −<#comment/> 1 mod p N \equiv -1 \bmod p , the class number of Q ( N 1 / p ) \mathbb {Q}(N^{1/p}) is divisible by p p . Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when N ≡<#comment/> −<#comment/> 1 mod p N \equiv -1 \bmod p , there is always a cusp form of weight 2 2 and level Γ<#comment/> 0 ( N 2 ) \Gamma _0(N^2) whose ℓ<#comment/> \ell th Fourier coefficient is congruent to ℓ<#comment/> + 1 \ell + 1 modulo a prime above p p , for all primes ℓ<#comment/> \ell . We use the Galois representation of such a cusp form to explicitly construct an unramified degree- p p extension of Q ( N 1 / p ) \mathbb {Q}(N^{1/p})
    more » « less
  4. Let Σ<#comment/> \Sigma be a smooth Riemannian manifold, Γ<#comment/> ⊂<#comment/> Σ<#comment/> \Gamma \subset \Sigma a smooth closed oriented submanifold of codimension higher than 2 2 and T T an integral area-minimizing current in Σ<#comment/> \Sigma which bounds Γ<#comment/> \Gamma . We prove that the set of regular points of T T at the boundary is dense in Γ<#comment/> \Gamma . Prior to our theorem the existence of any regular point was not known, except for some special choice of Σ<#comment/> \Sigma and Γ<#comment/> \Gamma . As a corollary of our theorem we answer to a question in Almgren’sAlmgren’s big regularity paperfrom 2000 showing that, if Γ<#comment/> \Gamma is connected, then T T has at least one point p p of multiplicity 1 2 \frac {1}{2} , namely there is a neighborhood of the point p p where T T is a classical submanifold with boundary Γ<#comment/> \Gamma ; we generalize Almgren’s connectivity theorem showing that the support of T T is always connected if Γ<#comment/> \Gamma is connected; we conclude a structural result on T T when Γ<#comment/> \Gamma consists of more than one connected component, generalizing a previous theorem proved by Hardt and Simon in 1979 when Σ<#comment/> = R m + 1 \Sigma = \mathbb R^{m+1} and T T is m m -dimensional. 
    more » « less
  5. Let f f be analytic on [ 0 , 1 ] [0,1] with | f ( k ) ( 1 / 2 ) | ⩽<#comment/> A α<#comment/> k k ! |f^{(k)}(1/2)|\leqslant A\alpha ^kk! for some constants A A and α<#comment/> > 2 \alpha >2 and all k ⩾<#comment/> 1 k\geqslant 1 . We show that the median estimate of μ<#comment/> = ∫<#comment/> 0 1 f ( x ) d x \mu =\int _0^1f(x)\,\mathrm {d} x under random linear scrambling with n = 2 m n=2^m points converges at the rate O ( n −<#comment/> c log ⁡<#comment/> ( n ) ) O(n^{-c\log (n)}) for any c > 3 log ⁡<#comment/> ( 2 ) / π<#comment/> 2 ≈<#comment/> 0.21 c> 3\log (2)/\pi ^2\approx 0.21 . We also get a super-polynomial convergence rate for the sample median of 2 k −<#comment/> 1 2k-1 random linearly scrambled estimates, when k / m k/m is bounded away from zero. When f f has a p p ’th derivative that satisfies a λ<#comment/> \lambda -Hölder condition then the median of means has error O ( n −<#comment/> ( p + λ<#comment/> ) + ϵ<#comment/> ) O( n^{-(p+\lambda )+\epsilon }) for any ϵ<#comment/> > 0 \epsilon >0 , if k →<#comment/> ∞<#comment/> k\to \infty as m →<#comment/> ∞<#comment/> m\to \infty . The proof techniques use methods from analytic combinatorics that have not previously been applied to quasi-Monte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number. 
    more » « less