Source author record

Hwajong Yoo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT hep-th math.AG

Catalog footprint

Research overview

6works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The intrinsic subgroup of an elliptic curve and Mazur's torsion theorem

We define and study a biadditive symmetric (not necessarily perfect) pairing on the torsion part $\mathrm{Pic}(X)_{\mathrm{tors}}$ of the Picard group of a smooth projective curve $X$ over a field $k$ with values in $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ . We call its kernel the intrinsic subgroup of $X$ . It turns out that some information on the reduction type of $X$ can be read off from the intrinsic subgroup. Mazur's torsion theorem says that there are exactly 15 isomorphism classes of abelian groups that appear as the rational torsion points of an elliptic curve $X$ over $\mathbb{Q}$ (identified with $\mathrm{Pic}(X)_{\mathrm{tors}}$ ). We refine this result by determining which subgroups of those 15 groups appear as the intrinsic subgroups.

preprint2022arXiv

Path Integrals and p-adic L-functions

We prove an arithmetic path integral formula for the inverse p-adic absolute values of the Kubota-Leopoldt p-adic L-functions at roots of unity.

preprint2015arXiv

On Eisenstein ideals and the cuspidal group of $J_0(N)$

Let $\mathcal{C}_N$ be the cuspidal subgroup of the Jacobian $J_0(N)$ for a square-free integer $N>6$ . For any Eisenstein maximal ideal $\mathfrak{m}$ of the Hecke ring of level $N$ , we show that $\mathcal{C}_N[\mathfrak{m}]\neq 0$ . To prove this, we calculate the index of an Eisenstein ideal $\mathcal{I}$ contained in $\mathfrak{m}$ by computing the order of a cuspidal divisor annihilated by $\mathcal{I}$ .

preprint2015arXiv

Rational torsion points on Jacobians of modular curves

Let $p$ be a prime greater than 3. Consider the modular curve $X_0(3p)$ over $\mathbb{Q}$ and its Jacobian variety $J_0(3p)$ over $\mathbb{Q}$ . Let $\mathcal{T}(3p)$ and $\mathcal{C}(3p)$ be the group of rational torsion points on $J_0(3p)$ and the cuspidal group of $J_0(3p)$ , respectively. We prove that the $3$ -primary subgroups of $\mathcal{T}(3p)$ and $\mathcal{C}(3p)$ coincide unless $p\equiv 1 \pmod 9$ and $3^{\frac{p-1}{3}} \equiv 1 \!\pmod {p}$ .

preprint2015arXiv

Rational torsion points on Jacobians of Shimura curves

Let $p$ and $q$ be distinct primes. Consider the Shimura curve $\mathcal{X}$ associated to the indefinite quaternion algebra of discriminant $pq$ over $\mathbb{Q}$ . Let $J$ be the Jacobian variety of $\mathcal{X}$ , which is an abelian variety over $\mathbb{Q}$ . For an odd prime $\ell$ , we provide sufficient conditions for the non-existence of rational points of order $\ell$ on $J$ . As an application, we find some non-trivial subgroups of the kernel of an isogeny from the new quotient of $J_0(pq)$ to $J$ .

preprint2015arXiv

The index of an Eisenstein ideal and multiplicity one

Mazur's fundamental work on Eisenstein ideals of prime level has a variety of arithmetic applications. In this article, we generalize some of his work to square-free level. More specifically, we attempt to compute the index of an Eisenstein ideal and the dimension of the m-torsion of the modular Jacobian variety, where m is an Eisenstein maximal ideal. In many cases, the dimension of the m-torsion is 2, in other words, a multiplicity one theorem holds.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Hwajong Yoo

Research overview

Is this your work?

6 publications

The intrinsic subgroup of an elliptic curve and Mazur's torsion theorem

Path Integrals and p-adic L-functions

On Eisenstein ideals and the cuspidal group of $J_0(N)$

Rational torsion points on Jacobians of modular curves

Rational torsion points on Jacobians of Shimura curves

The index of an Eisenstein ideal and multiplicity one

See the researcher in context

Building this map preview

Hwajong Yoo

Research overview

Is this your work?

6 publications

The intrinsic subgroup of an elliptic curve and Mazur's torsion theorem

Path Integrals and p-adic L-functions

On Eisenstein ideals and the cuspidal group of J0(N)J_0(N)J0​(N)

Rational torsion points on Jacobians of modular curves

Rational torsion points on Jacobians of Shimura curves

The index of an Eisenstein ideal and multiplicity one

See the researcher in context

Building this map preview

On Eisenstein ideals and the cuspidal group of $J_0(N)$