• Honam Mathematical Journal
• /
• v.45 no.3
• /
• pp.410-417
• /
• 2023

Suppose that there are 8 abelian varieties defined over a number field K which satisfy a commutative diagram. We show that if we know that three out of four short exact sequences satisfy the rate formula of Tate-Shafarevich groups, then the unknown short exact sequence satisfies the rate formula of Tate-Shafarevich groups, too.

• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.1-6
• /
• 2015

Let A be an abelian variety defined over a number field K. Let L be a biquadratic extension of K with Galois group G and let III (A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and over L. Assuming III(A/L) is finite, we compute [III(A/K)]/[III(A/L)] where [X] is the order of a finite abelian group X.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.1
• /
• pp.155-163
• /
• 2012

Let E be an elliptic curve over $\mathbb{Q}$. Using Iwasawa theory, we give what seems to be the first general upper bound for the order of vanishing of the p-adic L-function at s = 0, and the $\mathbb{Z}_p$-corank of the Tate-Shafarevich group for all sufficiently large good ordinary primes p.

• Honam Mathematical Journal
• /
• v.38 no.1
• /
• pp.85-93
• /
• 2016

Let A be an abelian variety defined over a number field K and let L be a degree 3 non-Galois extension of K. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and over L. Assuming that III(A/L) is finite, we compute [III(A/K)][III($A_{\varphi}/K$)]/[III(A/L)], where [X] is the order of a finite abelian group X.

• Honam Mathematical Journal
• /
• v.32 no.1
• /
• pp.45-51
• /
• 2010

Let A be an abelian variety defined over a number field K and let L be a cyclic extension of K with Galois group G = <${\sigma}$> of order n. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and of A over L. Assume III(A/L) is finite. Let M(x) be a companion matrix of 1+x+${\cdots}$+$x^{n-1}$ and let $A^x$ be the twist of $A^{n-1}$ defined by $f^{-1}{\circ}f^{\sigma}$ = M(x) where $f:A^{n-1}{\rightarrow}A^x$ is an isomorphism defined over L. In this paper we compute [III(A/K)][III($A^x$/K)]/[III(A/L)] in terms of cohomology, where [X] is the order of an finite abelian group X.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.407-416
• /
• 2013

Let E be an elliptic curve over $\mathbb{Q}$ and $p$ be a prime of good supersingular reduction for E. Although the Iwasawa theory of E over the cyclotomic ${\mathbb{Z}}_p$-extension of $\mathbb{Q}$ is well known to be fundamentally different from the case of good ordinary reduction at p, we are able to combine the method of our earlier paper with the theory of Kobayashi [5] and Pollack [8], to give an explicit upper bound for the number of copies of ${\mathbb{Q}}_p/{\mathbb{Z}}_p$ occurring in the $p$-primary part of the Tate-Shafarevich group of E over $\mathbb{Q}$.

• Honam Mathematical Journal
• /
• v.39 no.2
• /
• pp.137-141
• /
• 2017

Let A be an abelian variety defined over a number field K and let L be a finite Galois extension of K. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and over L. Let $Res_{L/K}(A)$ be the restriction of scalars of A from L to K and let B be an abelian subvariety of $Res_{L/K}(A)$ defined over K. Assuming that III(A/L) is finite, we compute [III(B/K)][III(C/K)]/[III(A/L)], where [X] is the order of a finite abelian group X and the abelian variety C is defined by the exact sequence defined over K $0{\longrightarrow}B{\longrightarrow}Res_{L/K}(A){\longrightarrow}C{\longrightarrow}0$.

• Honam Mathematical Journal
• /
• v.36 no.2
• /
• pp.417-424
• /
• 2014

Let A be an abelian variety defined over a number field K and p be a prime. Define ${\varphi}_i=(x^{p^i}-1)/(x^{p^{i-1}}-1)$. Let $A_{{\varphi}i}$ be the abelian variety defined over K associated to the polynomial ${\varphi}i$ and let Ш($A_{{\varphi}i}$) denote the Tate-Shafarevich groups of $A_{{\varphi}i}$ over K. In this paper assuming Ш(A/F) is finite, we compute [Ш($A_{{\varphi}1}$)][Ш($A_{{\varphi}2}$)]/[Ш($A_{{\varphi}1{\varphi}2}$)] in terms of K-rational points of $A_{{\varphi}i}$, $A_{{\varphi}1{\varphi}2}$ and their dual varieties, where [X] is the order of a finite abelian group X.

• Journal of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.1087-1107
• /
• 2023

Let E be an elliptic curve defined over ℚ of conductor N, c the Manin constant of E, and m the product of Tamagawa numbers of E at prime divisors of N. Let K be an imaginary quadratic field where all prime divisors of N split in K, P_K the Heegner point in E(K), and III(E/K) the Shafarevich-Tate group of E over K. Let 2u_K be the number of roots of unity contained in K. Gross and Zagier conjectured that if P_K has infinite order in E(K), then the integer c · m · u_K · |III(E/K)| $\frac{1}{2}$ is divisible by |E(ℚ)_tor|. In this paper, we prove that this conjecture is true if E(ℚ)_tor ≅ ℤ/2ℤ or ℤ/4ℤ except for two explicit families of curves. Further, we show these exceptions can be removed under Stein-Watkins conjecture.