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.


Search for: All records

Creators/Authors contains: "Mazur, Barry"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. Let E E be an elliptic curve over Q \mathbb {Q} with Mordell–Weil rank 2 2 and p p be an odd prime of good ordinary reduction. For every imaginary quadratic field K K satisfying the Heegner hypothesis, there is (subject to the Shafarevich–Tate conjecture) a line, i.e., a free Z p \mathbb {Z}_p -submodule of rank 1 1 , in E ( K ) ⊗<#comment/> Z p E(K)\otimes \mathbb {Z}_p given by universal norms coming from the Mordell–Weil groups of subfields of the anticyclotomic Z p \mathbb {Z}_p -extension of K K ; we call it theshadow line. When the twist of E E by K K has analytic rank 1 1 , the shadow line is conjectured to lie in E ( Q ) ⊗<#comment/> Z p E(\mathbb {Q})\otimes \mathbb {Z}_p ; we verify this computationally in all our examples. We study the distribution of shadow lines in E ( Q ) ⊗<#comment/> Z p E(\mathbb {Q})\otimes \mathbb {Z}_p as K K varies, framing conjectures based on the computations we have made. 
    more » « less
    Free, publicly-accessible full text available July 31, 2026
  2. Andrew Ogg’s mathematical viewpoint has inspired an increasingly broad array of results and conjectures. His results and conjectures have earmarked fruitful turning points in our subject, and his influence has been such a gift to all of us. Ogg’s celebrated torsion conjecture—as it relates to modular curves—can be paraphrased as saying that rational points (on the modular curves that parametrize torsion points on elliptic curves) exist if and only if there is a good geometric reason for them to exist. We give a survey of Ogg’s torsion conjecture and the subsequent developments in our understanding of rational points on modular curves over the last fifty years. 
    more » « less
    Free, publicly-accessible full text available April 1, 2026
  3. We consider first-order definability and decidability questions over rings of integers of algebraic extensions of $$\Q$$, paying attention to the uniformity of definitions. The uniformity follows from the simplicity of our first-order definition of $$\Z$$. Namely, we prove that for a large collection of algebraic extensions $$K/\Q$$, $$ \{x \in \oo_K : \text{$$\forall \e \in \oo_K^\times \;\exists \delta \in \oo_K^\times$ such that $$\delta-1 \equiv (\e-1)x \pmod{(\e-1)^2}$$}\} = \Z $$ where $$\oo_K$$ denotes the ring of integers of $$K$$. One of the corollaries of our results is undecidability of the field of constructible numbers, a question posed by Tarski in 1948. \end{abstract} 
    more » « less