arXiv subjects

Hwajong Yoo

Publications and source records attributed to Hwajong Yoo.

18 recordsLinked to original sources

arXiv2026

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.

math.NT↗

arXiv2025

The rational cuspidal subgroup of J_0(N)

For a positive integer $N$, let $J_0(N)$ be the Jacobian of the modular curve $X_0(N)$. In this paper we completely determine the structure of the rational cuspidal subgroup of $J_0(N)$ when the largest perfect square dividing $N$ is either an odd prime power or a product of two odd prime powers. Indeed, we prove that the rational cuspidal divisor class group of $X_0(N)$ is the whole rational cuspidal subgroup of $J_0(N)$ for such an $N$, and the structure of the former group is already determined by the first author in [14].

math.NT↗

arXiv2023

Entanglement entropies in the abelian arithmetic Chern-Simons theory

The notion of {\em entanglement entropy} in quantum mechanical systems is an important quantity, which measures how much a physical state is entangled in a composite system. Mathematically, it measures how much the state vector is not decomposable as elements in the tensor product of two Hilbert spaces. In this paper, we seek its arithmetic avatar: the theory of arithmetic Chern-Simons theory with finite gauge group $G$ naturally associates a state vector inside the product of two quantum Hilbert spaces and we provide a formula for the {\em von Neumann entanglement entropy} of such state vector when $G$ is a cyclic group of prime order.

math.NT↗

arXiv2023

The rational torsion subgroup of $J_0(N)$

Let $N$ be a positive integer and let $J_0(N)$ be the Jacobian variety of the modular curve $X_0(N)$. For any prime $p\ge 5$ whose square does not divide $N$, we prove that the $p$-primary subgroup of the rational torsion subgroup of $J_0(N)$ is equal to that of the rational cuspidal divisor class group of $X_0(N)$, which is explicitly computed in \cite{Yoo9}. Also, we prove the same assertion holds for $p=3$ under the extra assumption that either $N$ is not divisible by $3$ or there is a prime divisor of $N$ congruent to $-1$ modulo $3$.

math.NT↗

arXiv2022

Bounds for 2-Selmer ranks in terms of seminarrow class groups

Let $E$ be an elliptic curve over a number field $K$ defined by a monic irreducible cubic polynomial $F(x)$. When $E$ is \textit{nice} at all finite primes of $K$, we bound its $2$-Selmer rank in terms of the $2$-rank of a modified ideal class group of the field $L=K[x]/{(F(x))}$, which we call the \textit{semi-narrow class group} of $L$. We then provide several sufficient conditions for $E$ being nice at a finite prime. As an application, when $K$ is a real quadratic field, $E/K$ is semistable and the discriminant of $F$ is totally negative, then we frequently determine the $2$-Selmer rank of $E$ by computing the root number of $E$ and the $2$-rank of the narrow class group of $L$.

math.NT↗

arXiv2022

The rational cuspidal divisor class group of $X_0(N)$

For any positive integer $N$, we completely determine the structure of the rational cuspidal divisor class group of $X_0(N)$, which is conjecturally equal to the rational torsion subgroup of $J_0(N)$. More specifically, for a given prime $\ell$, we construct a rational cuspidal divisor $Z_\ell(d)$ for any non-trivial divisor $d$ of $N$. Also, we compute the order of the linear equivalence class of the divisor $Z_\ell(d)$ and show that the $\ell$-primary subgroup of the rational cuspidal divisor class group of $X_0(N)$ is isomorphic to the direct sum of the cyclic subgroups generated by the linear equivalence classes of the divisors $Z_\ell(d)$.

math.NT↗

arXiv2022

The rational cuspidal subgroup of $J_0(p^2M)$ with $M$ squarefree

For a positive integer $N$, let $\mathscr{C}_N(\mathbb{Q})$ be the rational cuspidal subgroup of $J_0(N)$ and $\mathscr{C}(N)$ be the rational cuspidal divisor class group of $X_0(N)$, which are both subgroups of the rational torsion subgroup of $J_0(N)$. We prove that two groups $\mathscr{C}_N(\mathbb{Q})$ and $\mathscr{C}(N)$ are equal when $N=p^2M$ for any prime $p$ and any squarefree integer $M$. To achieve this we show that all modular units on $X_0(N)$ can be written as products of certain functions $F_{m, h}$, which are constructed from generalized Dedekind eta functions. Also, we determine the necessary and sufficient conditions for such products to be modular units on $X_0(N)$ under a mild assumption.

math.NT↗

arXiv2022

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.

math.NT↗

arXiv2018

On rational Eisenstein primes and the rational cuspidal groups of modular Jacobian varieties

Let $N$ be a non-squarefree positive integer and let $\ell$ be an odd prime such that $\ell^2$ does not divide $N$. Consider the Hecke ring $\mathbb{T}(N)$ of weight $2$ for $Γ_0(N)$, and its rational Eisenstein primes of $\mathbb{T}(N)$ containing $\ell$, defined in Section 3. If $\mathfrak{m}$ is such a rational Eisenstein prime, then we prove that $\mathfrak{m}$ is of the form $(\ell, ~\mathcal{I}^D_{M, N})$, where the ideal $\mathcal{I}^D_{M, N}$ of $\mathbb{T}(N)$ is also defined in Section 3. Furthermore, we prove that $\mathcal{C}(N)[\mathfrak{m}] \neq 0$, where $\mathcal{C}(N)$ is the rational cuspidal group of $J_0(N)$. To do this, we compute the precise order of the cuspidal divisor $\mathcal{C}^D_{M, N}$, defined in Section 4, and the index of $\mathcal{I}^D_{M, N}$ in $\mathbb{T}(N)\otimes \mathbb{Z}_\ell$.

math.NT↗

arXiv2018

The action of the Hecke operators on the component groups of modular Jacobian varieties

For a prime number $q\geq 5$ and a positive integer $N$ prime to $q$, Ribet proved the action of the Hecke algebra on the component group of the Jacobian variety of the modular curve of level $Nq$ at $q$ is "Eisenstein", which means the Hecke operator $T_\ell$ acts by $\ell+1$ when $\ell$ is a prime number not dividing the level. In this paper, we completely compute the action of the Hecke algebra on this component group by a careful study of supersingular points with extra automorphisms.

math.NT↗

arXiv2017

The kernel of a rational Eisenstein prime at non-squarefree level

Let $\ell \geq 5$ be a prime and let $N$ be a non-squarefree integer not divisible by $\ell$. For a rational Eisenstein prime $\mathfrak{m}$ of the Hecke ring $\mathbb{T}(N)$ of level $N$ acting on $J_0(N)$, we precisely compute the dimension of the kernel $J_0(N)[\mathfrak{m}]$ under a mild assumption. In the case of level $qr^2$ which violates our mild assumption, we propose a conjecture based on Sage computations. Assuming this conjecture, we complete our computation in all the remaining cases.

math.NT↗

arXiv2017

Non-optimal levels of a reducible mod l modular representation

Let $\ell \geq 5$ be a prime and let $N$ be a square-free integer prime to $\ell$. For each prime $p$ dividing $N$, let $a_p$ be either $1$ or $-1$. We give sufficient criteria for the existence of a newform $f$ of weight 2 for $Γ_0(N)$ such that the mod $\ell$ Galois representation attached to $f$ is reducible and $U_p f = a_p f$ for primes $p$ dividing $N$. The main techniques used are level raising methods based on an exact sequence due to Ribet.

math.NT↗

arXiv2017

Arithmetic Chern-Simons Theory II

We apply ideas of Dijkgraaf and Witten on three-dimensional topological quantum field theory to arithmetic curves, that is, the spectra of rings of integers in algebraic number fields. In the first three sections, we define classical Chern-Simons actions on spaces of Galois representations. In the subsequent sections, we give formulas for computation in a small class of cases and point towards some arithmetic applications.

math.NT↗

arXiv2017

Abelian arithmetic Chern-Simons theory and arithmetic linking numbers

Following the method of Seifert surfaces in knot theory, we define arithmetic linking numbers and height pairings of ideals using arithmetic duality theorems, and compute them in terms of n-th power residue symbols. This formalism leads to a precise arithmetic analogue of a 'path-integral formula' for linking numbers.

math.NT↗

arXiv2015

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}$.

math.NT↗

arXiv2015

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$.

math.NT↗

arXiv2015

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}$.

math.NT↗

arXiv2015

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.

math.NT↗