arXiv subjects

Meng Fai Lim

Publications and source records attributed to Meng Fai Lim.

At least 37 records · Page 2Linked to original sources

arXiv2022

On order of vanishing of characteristic elements

Let $p$ be a fixed odd prime. Let $E$ be an elliptic curve defined over a number field with either good ordinary reduction or multiplicative reduction at each prime of $F$ above $p$. We shall study the characteristic element of the Selmer group of $E$ over a $p$-adic Lie extension. In particular, we relate the order of vanishing of these characteristic element evaluated at Artin representations to the Selmer coranks and their twists in the intermediate subextensions of the $p$-adic Lie extension.

math.NT↗

arXiv2021

On fine Selmer groups and signed Selmer groups of elliptic modular forms

Let $f$ be an elliptic modular form and $p$ an odd prime that is coprime to the level of $f$. We study the link between divisors of the characteristic ideal of the $p$-primary fine Selmer group of $f$ over the cyclotomic $\mathbb{Z}_p$ extension of $\mathbb{Q}$ and the greatest common divisor of signed Selmer groups attached to $f$ defined using the theory of Wach modules. One of the key ingredients of our proof is a generalization of a result of Wingberg on the structure of fine Selmer groups of abelian varieties with supersingular reduction at $p$ to the context of modular forms.

math.NT↗

arXiv2021

On the divisibility of class numbers and discriminants of imaginary quadratic fields

Let $n$ be a squarefree positive odd integer. We will show that there exist infinitely many imaginary quadratic number fields with discriminant divisible by $n$ and-at the same time-having an element of order $n$ in the class group. We then apply our result to prove that for a given squarefree positive odd integer $n$ there exist infinitely many $N$ such that $n$ divides both $N$ and $r(N)$, where $r(N)$ is the representation number of $N$ as sums of three squares.

math.NT↗

arXiv2021

Mordell-Weil ranks and Tate-Shafarevich groups of elliptic curves with mixed-reduction type over cyclotomic extensions

Let $E$ be an elliptic curve defined over a number field $K$ where $p$ splits completely. Suppose that $E$ has good reduction at all primes above $p$. Generalizing previous works of Kobayashi and Sprung, we define multiply signed Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension of a finite extension $F$ of $K$ where $p$ is unramified. Under the hypothesis that the Pontryagin duals of these Selmer groups are torsion over the corresponding Iwasawa algebra, we show that the Mordell-Weil ranks of $E$ over a subextension of the cyclotomic $\mathbb{Z}_p$-extension are bounded. Furthermore, we derive an aysmptotic formula of the growth of the $p$-parts of the Tate-Shafarevich groups of $E$ over these extensions.

math.NT↗

arXiv2021

On the cohomology of Kobayashi's plus/minus norm groups and applications

The plus and minus norm groups are constructed by Kobayashi as subgroups of the formal group of an elliptic curve with supersingular reduction, and they play an important role in Kobayashi's definition of the signed Selmer groups. In this paper, we study the cohomology of these plus and minus norm groups. In particular, we show that these norm groups are cohomologically trivial. As an application of our analysis, we establish certain (quasi-)projectivity properties of the non-primitive mixed signed Selmer groups of an elliptic curve with good reduction at all primes above $p$. We then build on these latter projectivity results to derive a Kida formula for the signed Selmer groups, and study the integrality property of the characteristic element attached to the signed Selmer groups.

math.NT↗

arXiv2020

Some remarks on Kida's formula when $μ\neq 0$

The Kida's formula in classical Iwasawa theory relates the Iwasawa $λ$-invariants of $p$-extensions of number fields. Analogue of this formula was subsequently established for the Iwasawa $λ$-invariants of Selmer groups under an appropriate $μ=0$ assumption. In this paper, we give a conceptual (but conjectural) explanation that such a formula should also hold when $μ\neq 0$. The conjectural component comes from the so-called $\mathfrak{M}_H(G)$-conjecture in noncommutative Iwasawa theory.

math.NT↗

arXiv2020

On the control theorem for fine Selmer groups and the growth of fine Tate-Shafarevich groups in $\mathbb{Z}_p$-extensions

Let $A$ be an abelian variety defined over a number field $F$. We prove a control theorem for the fine Selmer group of the abelian variety $A$ which essentially says that the kernel and cokernel of the natural restriction maps in a given $\mathbb{Z}_p$-extension $F_\infty/F$ are finite and bounded. We emphasise that our result does not have any constraints on the reduction of $A$ and the ramification of $F_\infty/F$. As a first consequence of the control theorem, we show that the fine Tate-Shafarevich group over an arbitrary $\mathbb{Z}_p$-extension has trivial $Λ$-corank. We then derive an asymptotic growth formula for the $p$-torsion subgroup of the dual fine Selmer group in a $\mathbb{Z}_p$-extension. However, as the fine Mordell-Weil group needs not be $p$-divisible in general, the fine Tate-Shafarevich group needs not agree with the $p$-torsion of the dual fine Selmer group, and so the asymptotic growth formula for the dual fine Selmer groups do not carry over to the fine Tate-Shafarevich groups. Nevertheless, we do provide certain sufficient conditions, where one can obtain a precise asymptotic formula.

math.NT↗

arXiv2020

On the growth of even $K$-groups of rings of integers in $p$-adic Lie extensions

Let $p$ be an odd prime number. In this paper, we study the growth of the Sylow $p$-subgroups of the even $K$-groups of rings of integers in a $p$-adic Lie extension. Our results generalize previous results of Coates and Ji-Qin, where they considered the situation of a cyclotomic $\mathbb{Z}_p$-extension. Our method of proof differs from these previous work. Their proof relies on an explicit description of certain Galois group via Kummer theory afforded by the context of a cyclotomic $\mathbb{Z}_p$-extension, whereas our approach is via considering the Iwasawa cohomology groups with coefficients in $\mathbb{Z}_p(i)$ for $i\geq 2$. We should mention that this latter approach is possible thanks to the Quillen-Lichtenbaum Conjecture which is now known to be valid by the works of Rost-Voevodsky. We also note that the approach allows us to work with more general $p$-adic Lie extensions that do not necessarily contain the cyclotomic $\mathbb{Z}_p$-extension, where the Kummer theoretical approach does not apply. Along the way, we study the torsionness of the second Iwasawa cohomology groups with coefficients in $\mathbb{Z}_p(i)$ for $i\geq 2$. Finally, we give examples of $p$-adic Lie extensions, where the second Iwasawa cohomology groups can have nontrivial $μ$-invariants.

math.NT↗

arXiv2020

Akashi series and Euler characteristics of signed Selmer groups of elliptic curves with semistable reduction at primes above p

Let $p$ be an odd prime number, and let $E$ be an elliptic curve defined over a number field $F'$ such that $E$ has semistable reduction at every prime of $F'$ above $p$ and is supersingular at at least one prime above $p$. Under appropriate hypotheses, we compute the Akashi series of the signed Selmer groups of $E$ over a $\mathbb{Z}_p^d$-extension over a finite extension $F$ of $F'$. As a by-product, we also compute the Euler characteristics of these Selmer groups.

math.NT↗

arXiv2020

On the signed Selmer groups of congruent elliptic curves with semistable reduction at all primes above $p$

Let $p$ be an odd prime. We attach appropriate signed Selmer groups to an elliptic curve $E$, where $E$ is assumed to have semistable reduction at all primes above $p$. We then compare the Iwasawa $λ$-invariants of these signed Selmer groups for two congruent elliptic curves over the cyclotomic $\mathbb{Z}_p$-extension in the spirit of Greenberg-Vatsal and B. D. Kim. As an application of our comparsion formula, we show that if the $p$-parity conjecture is true for one of the congruent elliptic curves, then it is also true for the other elliptic curve. In the midst of proving this latter result, we also generalize an observation of Hatley on the parity of the signed Selmer groups.

math.NT↗

arXiv2020

On the algebraic functional equation for the mixed signed Selmer group over multiple $\mathbb{Z}_p$-extensions

Let $E$ be an elliptic curve defined over a number field with good reduction at all primes above a fixed odd prime $p$, where at least one of which is a supersingular prime of $E$. In this paper, we will establish the algebraic functional equation for the mixed signed Selmer groups of an elliptic curve with good reduction at every prime above $p$ over a multiple $\mathbb{Z}_p$-extension.

math.NT↗

arXiv2020

On the weak Leopoldt conjecture and coranks of Selmer groups of supersingular abelian varieties in $p$-adic Lie extensions

Let $A$ be an abelian variety defined over a number field $F$ with supersingular reduction at all primes of $F$ above $p$. We establish an equivalence between the weak Leopoldt conjecture and the expected value of the corank of the classical Selmer group of $A$ over a $p$-adic Lie extension (not neccesasily containing the cyclotomic $\Zp$-extension). As an application, we obtain the exactness of the defining sequence of the Selmer group. In the event that the $p$-adic Lie extension is one-dimensional, we show that the dual Selmer group has no nontrivial finite submodules. Finally, we show that the aforementioned conclusions carry over to the Selmer group of a non-ordinary cuspidal modular form.

math.NT↗

arXiv2019

On the algebraic functional equation of the eigenspaces of mixed signed Selmer groups of elliptic curves with good reduction at primes above $p$

Let $p$ be an odd prime number, and let $E$ be an elliptic curve defined over a number field which has good reduction at every prime above $p$. Under suitable assumptions, we prove that the $η$-eigenspace and the $\barη$-eigenspace of mixed signed Selmer group of the elliptic curve are pseudo-isomorphic. As a corollary, we show that the $η$-eigenspace is trivial if and only if the $\barη$-eigenspace is trivial. Our results can be thought as a reflection principle which relate an Iwasawa module in a given eigenspace with another Iwasawa module in a "reflected" eigenspace.

math.NT↗

arXiv2019

On the growth of Mordell-Weil ranks in $p$-adic Lie extensions

Let $p$ be an odd prime and $F_{\infty}$ a $p$-adic Lie extension of a number field $F$. Let $A$ be an abelian variety over $F$ which has ordinary reduction at every primes above $p$. Under various assumptions, we establish asymptotic upper bounds for the growth of Mordell-Weil rank of the abelian variety of $A$ in the said $p$-adic Lie extension. Our upper bound can be expressed in terms of invariants coming from the cyclotomic level. Motivated by this formula, we make a conjecture on an asymptotic upper bound of the growth of Mordell-Weil ranks over a $p$-adic Lie extension which is in terms of the Mordell-Weil rank of the abelian variety over the cyclotomic $\mathbb{Z}_p$-extension. Finally, it is then natural to ask whether there is such a conjectural upper bound when the abelian variety has non-ordinary reduction. For this, we can at least modestly formulate an analogue conjectural upper bound for the growth of Mordell-Weil ranks of an elliptic curve with good supersingular reduction at the prime $p$ over a $\mathbb{Z}_p^2$-extension of an imaginary quadratic field.

math.NT↗

arXiv2019

On the Euler characteristics of signed Selmer groups

Let $p$ be an odd prime number, and $E$ an elliptic curve defined over a number field with good reduction at every prime of $F$ above $p$. In this short note, we compute the Euler characteristics of the signed Selmer groups of $E$ over the cyclotomic $\Zp$-extension. The novelty of our result is that we allow the elliptic curve to have mixed reduction types for primes above $p$ and that we allow mixed signs in the definition of the signed Selmer groups.

math.NT↗

arXiv2018

On the Iwasawa asymptotic class number formula for $\mathbb{Z}_p^r\rtimes\mathbb{Z}_p$-extensions

Let $p$ be an odd prime and $F_{\infty,\infty}$ a $p$-adic Lie extension of a number field $F$ with Galois group isomorphic to $\mathbb{Z}_p^r\rtimes\mathbb{Z}_p$, $r\geq 1$. Under certain assumptions, we prove an asymptotic formula for the growth of $p$-exponents of the class groups in the said $p$-adic Lie extension. This generalizes a previous result of Lei, where he establishes such a formula in the case $r=1$. An important and new ingredient towards extending Lei's result rests on an asymptotic formula for a finitely generated (not necessarily torsion) $\mathbb{Z}_p[[\mathbb{Z}_p^r]]$-module which we will also establish in this paper. We then continue studying the growth of $p$-exponents of the class groups under more restrictive assumptions and show that there is an asymptotic formula in our noncommutative $p$-adic Lie extension analogous to a refined formula of Monsky (which is for the commutative extension) in a special case.

math.NT↗

arXiv2018

A note on asymptotic class number upper bounds in $p$-adic Lie extensions

Let $p$ be an odd prime and $F_{\infty}$ a $p$-adic Lie extension of a number field $F$ with Galois group $G$. Suppose that $G$ is a compact pro-$p$ $p$-adic Lie group with no torsion and that it contains a closed normal subgroup $H$ such that $G/H\cong \mathbb{Z}_p$. Under various assumptions, we establish asymptotic upper bounds for the growth of $p$-exponents of the class groups in the said $p$-adic Lie extension. Our results generalize a previous result of Lei, where he established such an estimate under the assumption that $H\cong \mathbb{Z}_p$.

math.NT↗

arXiv2017

Fine Selmer groups of congruent Galois representations

In this paper, we study the fine Selmer groups of two congruent Galois representations over an admissible $p$-adic Lie extension. We show that under appropriate congruence conditions, if the dual fine Selmer group of one is pseudo-null, so is the other. Our results also compare the $π$-primary submodules of the two dual fine Selmer groups. We then apply our results to compare the structure of Galois group of the maximal abelian unramified pro-$p$ extension of an admissible $p$-adic Lie extension and the structure of the dual fine Selmer group over the said admissible $p$-adic Lie extension.

math.NT↗