Search

For each prime number $\ell$ and for each imaginary quadratic order of class number one or two, we determine all the possible $\ell$-adic Galois representations that occur for any elliptic curve with complex multiplication by such an order over its minimal field of definition, and then we determine all the isomorphism classes of elliptic curves that have a prescribed $\ell$-adic Galois representation., Comment: 38 pages; this version fixes some minor typos and includes a link in the introduction to a Github repository with code used in the paper

In a series of papers we classify the possible torsion structures of rational elliptic curves base-extended to number fields of a fixed degree. In this paper we turn our attention to the question of how the torsion of an elliptic curve with complex multiplication defined over the rationals grows over quadratic fields. We go further and we give an explicit characterization of the quadratic fields where the torsion grows in terms of some invariants attached to the curve., Comment: To appear in Glasnik Matemati\v{c}ki

This article is a contribution to the project of classifying the torsion growth of elliptic curve upon base-change. In this article we treat the case of elliptic curve defined over the rationals with complex multiplication. For this particular case, we give a description of the possible torsion growth over cubic fields and a completely explicit description of this growth in terms of some invariants attached to a given elliptic curve.

We present a fast algorithm that takes as input an elliptic curve defined over $\mathbb Q$ and an integer $d$ and returns all the number fields $K$ of degree $d'$ dividing $d$ such that $E(K)_{tors}$ contains $E(F)_{tors}$ as a proper subgroup, for all $F \varsubsetneq K$. We ran this algorithm on all elliptic curves of conductor less than 400.000 (a total of 2.483.649 curves) and all $d \leq 23$ and collected various interesting data. In particular, we find a degree 6 sporadic point on $X_1(4,12)$, which is so far the lowest known degree a sporadic point on $X_1(m,n)$, for $m\geq 2$., Comment: 15 pages, Added Supplementary material

Let $E$ be an elliptic curve without complex multiplication defined over the rationals. The purpose of this article is to define a positive integer $A(E)$, that we call the {\it Serre's constant associated to $E$}, that gives necessary conditions to conclude that $\rho_{E,m}$, the mod m Galois representation associated to $E$, is non-surjective. In particular, if there exists a prime factor $p$ of $m$ satisfying ${\rm val}_p(m) > {\rm val}_p(A(E))>0$ then $\rho_{E,m}$ is non-surjective. {Conditionally under Serre's Uniformity Conjecture, w}e determine all the Serre's constants of elliptic curves without complex multiplication over the rationals that occur infinitely often. Moreover, we give all the possible combination of mod $p$ Galois representations that occur for infinitely many non-isomorphic classes of non-CM elliptic curves over $\mathbb{Q}$, and the known cases that appear only finitely. We obtain similar results for the possible combination of maximal non-surjective subgroups of ${\rm GL}_2(\mathbb{Z}_p)$. Finally, we conjecture all the possibilities of these combinations and in particular all the possibilities of these Serre's constant., Comment: To appear in Exp. Math

Let $\mathcal{S}$ be a set of $n$ points in real four-dimensional space, no four coplanar and spanning the whole space. We prove that if the number of solids incident with exactly four points of $\mathcal{S}$ is less than $Kn^3$ for some $K=o(n^{\frac{1}{7}})$ then, for $n$ sufficiently large, all but at most $O(K)$ points of $\mathcal{S}$ are contained in the intersection of five linearly independent quadrics. Conversely, we prove that there are finite subgroups of size $n$ of an elliptic curve which span less than $\frac{1}{6}n^3$ solids containing exactly four points of $\mathcal{S}$.

Given an elliptic curve $E/\mathbb{Q}$ with torsion subgroup $G = E(\mathbb{Q})_{\rm tors}$ we study what groups (up to isomorphism) can occur as the torsion subgroup of $E$ base-extended to $K$, a degree 6 extension of $\mathbb{Q}$. We also determine which groups $H = E(K)_{\rm tors}$ can occur infinitely often and which ones occur for only finitely many curves. This article is a first step towards a complete classification of torsion growth of over sextic fields., Comment: To appear in Mathematics of Computation

We present the first exact calculation of the energy of the bound state of a one dimensional Dirac massive particle in weak short-range arbitrary potentials, using perturbation theory to fourth order (the analogous result for two dimensional systems with confinement along one direction and arbitrary mass is also calculated to second order). We show that the non--perturbative extension obtained using Pad\'e approximants can provide remarkably good approximations even for deep wells, in certain range of physical parameters. As an example, we discuss the case of two gaussian wells, comparing numerical and analytical results, predicted by our formulas., Comment: 11 pages, 4 figures

We explore the phenomenology of a unique three-Higgs-doublet model based on the single CP symmetry of order 4 (CP4) without any accidental symmetries. The CP4 symmetry is imposed on the scalar potential and Yukawa interactions, strongly shaping both sectors of the model and leading to a very characteristic phenomenology. The scalar sector is analyzed in detail, and in the Yukawa sector we list all possible CP4-symmetric structures which do not run into immediate conflict with experiment, namely, do not lead to massless or mass-degenerate quarks nor to insufficient mixing or CP-violation in the CKM matrix. We show that the parameter space of the model, although very constrained by CP4, is large enough to comply with the electroweak precision data and the LHC results for the 125 GeV Higgs boson phenomenology, as well as to perfectly reproduce all fermion masses, mixing, and CP violation. Despite the presence of flavor changing neutral currents mediated by heavy Higgs scalars, we find through a parameter space scan many points which accurately reproduce the kaon CP-violating parameter $\epsilon_K$ as well as oscillation parameters in K and $B_{(s)}$ mesons. Thus, CP4 offers a novel minimalistic framework for building models with very few assumptions, sufficient predictive power, and rich phenomenology yet to be explored., Comment: 39 pages, 8 figures, 1 table; v2: expanded discussion, extra references, matches published version

We study how the torsion of elliptic curves over number fields grows upon base change, and in particular prove various necessary conditions for torsion growth. For a number field $F$, we show that for a large set of number fields $L$, whose Galois group of their normal closure over $F$ has certain properties, it will hold that $E(L)_{tors}=E(F)_{tors}$ for all elliptic curves $E$ defined over $F$. Our methods turn out to be particularly useful in studying the possible torsion groups $E(K)_{tors}$, where $K$ is a number field and $E$ is a base change of an elliptic curve defined over $\mathbb Q$. Suppose that $E$ is a base change of an elliptic curve over $\mathbb Q$ for the remainder of the abstract. We prove that $E(K)_{tors}=E(\mathbb Q)_{tors}$ for all elliptic curves $E$ defined over $\mathbb Q$ and all number fields $K$ of degree $d$, where $d$ is not divisible by a prime $\leq 7$. Using this fact, we determine all the possible torsion groups $E(K)_{tors}$ over number fields $K$ of prime degree $p\geq 7$. We determine all the possible degrees of $[\mathbb Q(P):\mathbb Q]$, where $P$ is a point of prime order $p$ for all $p$ such that $p\not\equiv 8 \pmod 9$ or $\left( \frac{-D}{p}\right)=1$ for any $D\in \{1,2,7,11,19,43,67,163\}$; this is true for a set of density $\frac{1535}{1536}$ of all primes and in particular for all $p<3167$. Using this result, we determine all the possible prime orders of a point $P\in E(K)_{tors}$, where $[K:\mathbb Q]=d$, for all $d\leq 3342296$. Finally, we determine all the possible groups $E(K)_{tors}$, where $K$ is a quartic number field and $E$ is an elliptic curve defined over $\mathbb Q$ and show that no quartic sporadic point on a modular curves $X_1(m,n)$ comes from an elliptic curve defined over $\mathbb Q$., Comment: 27 pages. The file contains text colored in blue; this text can be clicked on and is a link to the Magma code used to obtain that particular result

We explore the origin and Yukawa interactions of the scalars with peculiar CP-properties which were recently found in a multi-Higgs model based on an order-4 CP symmetry. We relate the existence of such scalars to the enhanced freedom of defining CP, even beyond the well-known generalized CP symmetries, which arises in models with several zero-charge scalar fields. We also show that despite possessing exotic CP quantum numbers, these scalars do not have to be inert: they can have CP-conserving Yukawa interactions provided the CP acts on fermions by also mixing generations. This paper focuses on formal aspects---exposed in a pedagogical manner---and includes a brief discussion of possible phenomenological consequences., Comment: 18 pages; v2: discussion expanded, references added; v3: more discussions and explanations provided, matches the published version

We classify the possible torsion structures of rational elliptic curves over quintic number fields. In addition, let E be an elliptic curve defined over Q and let G = E(Q)_tors be the associated torsion subgroup. We study, for a given G, which possible groups G \subseteq H could appear such that H=E(K)_tors, for [K:Q]=5. In particular, we prove that at most there is a quintic number field K such that E(Q)_tors\neq E(K)_tors., Comment: The file contains text colored in blue; this text can be clicked on and is a link to the Magma code used to obtain that particular result. To appear in Journal of Algebra

Let E be an elliptic curve defined over Q and let G = E(Q)_tors be the associated torsion subgroup. We study, for a given G, which possible groups G <= H could appear such that H=E(K)_tors, for [K:Q]=4 and H is one of the possible torsion structures that occur infinitely often as torsion structures of elliptic curves defined over quartic number fields., Comment: In this new version we fix some errors in Table 5

Let E be an elliptic curve over Q, and let n=>1. The central object of study of this article is the division field Q(E[n]) that results by adjoining to Q the coordinates of all n-torsion points on E(Q). In particular, we classify all curves E/Q such that Q(E[n]) is as small as possible, that is, when Q(E[n])=Q(zeta_n), and we prove that this is only possible for n=2,3,4, or 5. More generally, we classify all curves such that Q(E[n]) is contained in a cyclotomic extension of Q or, equivalently (by the Kronecker-Weber theorem), when Q(E[n])/Q is an abelian extension. In particular, we prove that this only happens for n=2,3,4,5,6, or 8, and we classify the possible Galois groups that occur for each value of n., Comment: In this version we fix an error in the proof of Proposition 3.7. We thank Tyler Genao for pointing out this error to us. In Table 4 the elliptic curve 46800cw4 has been replaced by the elliptic curve 486720dr3. The elliptic curve 46800cw4 does not have 2-adic image equal to X58f

In this article, we study the minimal degree [K(T):K] of a p-subgroup T <= E(\overline{K})_tors for an elliptic curve E/K defined over a number field K. Our results depend on the shape of the image of the p-adic Galois representation \rho_{E,p^infty}:Gal_K-->GL(2,Z_p). However, we are able to show that there are certain uniform bounds for the minimal degree of definition of T. When the results are applied to K=Q and p=2, we obtain a divisibility condition on the minimal degree of definition of any subgroup of E[2^n] that is best possible., Comment: Math. Res. Lett., to appear

A variant for the superspin one-half massive superparticle in $ 4D $, $ \mathcal{N}=1 $, based on Dirac superfields, is offered. As opposed to the current known models that use spinor chiral superfields, the propagating fields of the supermultiplet are those of the lowest mass dimensions possible: scalar, Dirac and vector fields. Besides the supersymmetric chiral condition, the Dirac superfields are not further constrained, allowing a very straightforward implementation of the path-integral method. The corresponding superpropagators are presented. In addition, an interaction super Yukawa potential, formed by Dirac and scalar chiral superfields, is given in terms of their component fields. The model is first presented for the case of two superspin one-half superparticles related by the charged conjugation operator, but in order to treat the case of neutral superparticles, the Majorana condition on the Dirac superfields is also studied. We compare our proposal with the known models of spinor superfields for the one-half superparticle and show that it is equivalent to them., Comment: 22 pages. Matches published version

Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a cubic number field. In particular, We study the number of cubic number fields K such that E(Q)_tors\neq E(K)_tors., Comment: Rocky Mountain Journal of Mathematica, to appear

Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a quadratic number field.

Let E be an elliptic curve defined over Q and let G=E(Q)_tors be the associated torsion group. In a previous paper, the authors studied, for a given G, which possible groups G\leq H could appear such that H=E(K)_tors, for [K:Q]=2. In the present paper, we go further in this study and compute, under this assumption and for every such G, all the possible situations where G\neq H. The result is optimal, as we also display examples for every situation we state as possible. As a consequence, the maximum number of quadratic number fields K such that E(Q)_tors\neq E(K)_tors is easily obtained., Comment: To appear in Revista de la Real Academia de Ciencias Exactas, F\'isicas y Naturales. Serie A. Matem\'atica RACSAM

In this work we study the electroweak phase transition in a model with gauged lepton number. Here, a family of vector-like leptons is required in order to cancel the gauge anomalies. Furthermore, these leptons can play an important role in the transition process. We find that this framework is able to provide a strong transition, but only for a very limited number of cases., Comment: 14 pages, 5 figures, matches published version

Super Feynman rules for any superspin are given for massive $ \mathcal{N}=1 $ supersymmetric theories, including momentum superspace on-shell legs. This is done by extending, from space to superspace, Weinberg's perturbative approach to quantum field theory. Superfields work just as a device that allow one to write super Poincare-covariant superamplitudes for interacting theories, relying neither in path integral nor canonical formulations. Explicit transformation laws for particle states under finite supersymmetric transformations are offered. $ \mathit{C}, \mathit{P}, \mathit{T}, $ and $ \mathcal{R} $ transformations are also worked out. A key feature of this formalism is that it does not require the introduction of auxiliary fields, and when introduced, their purpose is just to render supersymmetric invariant the time-ordered products in the Dyson series. The formalism is tested for the cubic scalar superpotential. It is found that when a superparticle is its own antisuperparticle the lowest-order correction of time-ordered products, together with its covariant part, corresponds to the Wess-Zumino model potential., Comment: 28 pages, 1 figure. Published version

We describe a method that allows, under some hypotheses, to compute all the rational points of some genus 5 curves defined over a number field. This method is used to solve some arithmetic problems that remained open., Comment: Contemporary Mathematics AMS, to appear

Let m be a positive integer and a,q two rational numbers. Denote by AP_m(a,q) the set of rational numbers d such that a,a+q,...,a+(m-1)q form an arithmetic progression in the Edwards curve E_d:x^2+y^2=1+d x^2 y^2. We study the set AP_m(a,q) and we parametrize it by the rational points of an algebraic curve.

Let Q(N;q,a) denotes the number of squares in the arithmetic progression qn+a, for n=0, 1,...,N-1, and let Q(N) be the maximum of Q(N;q,a) over all non-trivial arithmetic progressions qn + a. Rudin's conjecture asserts that Q(N)=O(Sqrt(N)), and in its stronger form that Q(N)=Q(N;24,1) if N=> 6. We prove the conjecture above for 6<=N<=52. We even prove that the arithmetic progression 24n+1 is the only one, up to equivalence, that contains Q(N) squares for the values of N such that Q(N) increases, for 7<=N<=52 (hence, for N=8,13,16,23,27,36,41 and 52). This allow us to assert, what we have called Super-Strong Rudin's Conjecture: let be N=GP_k+1=> 8 for some integer k, where GP_k is the k-th generalized pentagonal number, then Q(N)=Q(N;q,a) with gcd(q,a) squarefree and q> 0 if and only if (q,a)=(24,1).

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 the classic Markoff equation x^2+y^2+z^2 = 3xyz over an arbitrary number field., Comment: To appear in Journal of Symbolic Computation

Solutions of the Markoff-Rosenberger equation ax^2+by^2+cz^2 = dxyz such that their coordinates belong to the ring of integers of a number field and form a geometric progression are studied., Comment: To appear in Acta Mathematica Hungarica

The purpose of this paper is to give a "down--to--earth" proof of the well--known fact that a randomly chosen elliptic curve over the rationals is most likely to have trivial torsion.

Let f be a weight two newform for Gamma_1(N) without complex multiplication. In this article we study the conductor of the absolutely simple factors B of the variety A_f over certain number fields L. The strategy we follow is to compute the restriction of scalars Res_{L/\Q}(B), and then to apply Milne's formula for the conductor of the restriction of scalars. In this way we obtain an expression for the local exponents of the conductor N_L(B). Under some hypothesis it is possible to give global formulas relating this conductor with N. For instance, if N is squarefree we find that N_L(B) belongs to Z and N_L(B)*f_L^{dim B}=N^{dim B}, where f_L is the conductor of L.

We prove that there does not exist a non-square quadratic polynomial with integer coefficients and an axis of symmetry which takes square values for N consecutive integers for N=7 or N >= 9. At the opposite, if N <= 6 or N=8 there are infinitely many.

We give several criteria to show over which quadratic number fields Q(sqrt{D}) there should exists a non-constant arithmetic progressions of five squares. This is done by translating the problem to determining when some genus five curves C_D defined over Q have rational points, and then using a Mordell-Weil sieve argument among others. Using a elliptic Chabauty-like method, we prove that the only non-constant arithmetic progressions of five squares over Q(sqrt{409}), up to equivalence, is 7^2, 13^2, 17^2, 409, 23^2. Furthermore, we give an algorithm that allow to construct all the non-constant arithmetic progressions of five squares over all quadratic fields. Finally, we state several problems and conjectures related to this problem., Comment: To appear in Revista Matem\'atica Iberoamericana

We study the problem of the existence of arithmetic progressions of three cubes over quadratic number fields Q(sqrt(D)), where D is a squarefree integer. For this purpose, we give a characterization in terms of Q(sqrt(D))-rational points on the elliptic curve E:y^2=x^3-27. We compute the torsion subgroup of the Mordell-Weil group of this elliptic curve over Q(sqrt(D)) and we give partial answers to the finiteness of the free part of E(Q(sqrt(D))). This last task will be translated to compute if the rank of the quadratic D-twist of the modular curve X_0(36) is zero or not.

Given any positive integer n, we prove the existence of infinitely many right triangles with area n and side lengths in certain number fields. This generalizes the famous congruent number problem. The proof allows the explicit construction of these triangles; for this purpose we find for any positive integer n an explicit cubic number field Q(\lambda) (depending on n) and an explicit point P_\lambda of infinite order in the Mordell-Weil group of the elliptic curve Y^2=X^3-n^2*X over Q(\lambda)., Comment: To appear in Math. Slovaca

Let d be a squarefree integer. Does there exist four squares in arithmetic progression over Q(sqrt{d})? We shall give a partial answer to this question, depending on the value of d. In the affirmative case, we construct explicit arithmetic progressions consisting of four squares over Q(sqrt{d}).

We find a tight relationship between the torsion subgroup and the image of the mod 2 Galois representation associated to an elliptic curve defined over the rationals. This is shown using some characterizations for the squareness of the discriminant of the elliptic curve., Comment: New version, some typos fixed and the proof of the lemma in the Appendix has been expanded

A curve X over the field Q of rational numbers is modular if it is dominated by X_1(N) for some N; if in addition the image of its jacobian in J_1(N) is contained in the new subvariety of J_1(N), then X is called a new modular curve. We prove that for each integer g at least 2, the set of new modular curves over Q of genus g is finite and computable. For the computability result, we prove an algorithmic version of the de Franchis-Severi Theorem. Similar finiteness results are proved for new modular curves of bounded gonality, for new modular curves whose jacobian is a quotient of the new part of J_0(N) with N divisible by a prescribed prime, and for modular curves (new or not) with levels in a restricted set. We study new modular hyperelliptic curves in detail. In particular, we find all new modular curves of genus 2 explicitly, and construct what might be the complete list of all new modular hyperelliptic curves of all genera. Finally we prove that for each field k of characteristic zero and each integer g at least 2, the set of genus g curves over k dominated by a Fermat curve is finite and computable., Comment: 53 pages; minor revisions made

We prove that there is only a finite number of genus 2 curves C defined over Q such that there exists a nonconstant morphism pi:X_1(N) --->C defined over Q and the jacobian of C, J(C), is a Q-factor of the new part of the jacobian of X_1(N), J_1(N)^{new}. Moreover, we prove that there are only 149 genus two curves of this kind with the additional requeriment that their jacobians are Q-simple. We determine the corresponding newforms and present equations for all these curves.

Copyright of General Technical Report - Pacific Southwest Research Station, USDA Forest Service is the property of U.S. Department of Agriculture, Pacific Northwest Research Station and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)