SearcharxivSearch

arXiv subjects

R. Sujatha

Publications and source records attributed to R. Sujatha.

At least 19 recordsLinked to original sources

Cyclotomic norm congruences for zeta values and modular $L$-values

We study congruences between special values of zeta functions and modular $L$-functions in cyclotomic towers. The underlying mechanism is an integral norm congruence for finite-level Iwasawa-theoretic elements, which becomes stronger as one ascends the tower. In the $\mathrm{GL}_1$ setting, this gives congruences for Dedekind zeta values over totally real fields, with applications to higher $K$-groups, generalized Bernoulli numbers, and Euler-Poincar\'e characteristics. In the $\mathrm{GL}_2$ setting, we use Mazur-Tate elements and their distribution relations to control the primitive twisted special values appearing at each cyclotomic level. Via Artin formalism, these give congruences for the corresponding base-change $L$-values over successive cyclotomic fields.

math.NT

Massey products and the Iwasawa theory of fine Selmer groups

A central conjecture of Coates and Sujatha predicts that the fine Selmer group of any $p$-adic Galois representation is cotorsion over the relevant Iwasawa algebra with vanishing $\mu$-invariant, generalizing Iwasawa's original conjecture for class groups. In this article, we recast this conjecture in terms of higher Galois cohomological operations called Massey products, stated purely in terms of the residual representation. This characterization implies that if the $\mu$-invariant vanishes for a given $\mathbb{Z}_p$-extension, then it also vanishes for all $\mathbb{Z}_p$-extensions the Greenberg neighbourhood of radius $1/p$. Furthermore, we establish that the unobstructedness of ordinary deformation rings over $\mathbb{Z}_p$-extensions is equivalent to the vanishing of the $\mu$-invariant of the fine Selmer group attached to the adjoint representation. For ordinary deformation rings attached to $2$-dimensional automorphic Galois representations, we establish a close connection between the Noetherian property and the vanishing of the $\mu$-invariant.

math.NT

Iwasawa Invariants for Symmetric Square Representations

Let $p\geq 5$ be a prime, and $\mathfrak{p}$ a prime of $\bar{\mathbb{Q}}$ above $p$. Let $g_1$ and $g_2$ be $\mathfrak{p}$-ordinary, $\mathfrak{p}$-distinguished and $p$-stabilized cuspidal newforms of nebentype characters $ε_1, ε_2$ respectively, and weight $k\geq 2$, whose associated newforms have level prime to $p$. Assume that the residual representations at $\mathfrak{p}$ associated to $g_1$ and $g_2$ are absolutely irreducible and isomorphic. Then, the imprimitive $p$-adic L-functions associated with the symmetric square representations are shown to exhibit a congruence modulo $\mathfrak{p}$. Furthermore, the analytic and algebraic Iwasawa invariants associated to these representations of the $g_i$ are shown to be related. Along the way, we give a complete proof of the integrality of the $\mathfrak{p}$-adic L-function, normalized with Hida's canonical period. This fills a gap in the literature, since, despite the result being widely accepted, no complete proof seems to ever have been written down. On the algebraic side, we establish the corresponding congruence for Greenberg's Selmer groups, and verify that the Iwasawa main conjectures for the twisted symmetric square representations for $g_1$ and $g_2$ are compatible with the congruences.

math.NT

On the $μ$ equals zero conjecture for the fine Selmer group in Iwasawa theory

We study the Iwasawa theory of the fine Selmer group associated to certain Galois representations. The vanishing of the $μ$-invariant is shown to follow in some cases from a natural property satisfied by Galois deformation rings. We outline conditions under which the $μ=0$ conjecture is shown to hold for various Galois representations of interest.

math.NT

On the $\mu$-invariants of residually reducible Galois representations

The Iwasawa $\mu$-invariant of the Selmer group of a residually reducible Galois representation arising from a Hecke eigencuspform is studied. Furthermore, certain Iwasawa-invariants refining the $\mu$-invariant are defined and analyzed. As an application, we show that given any reducible mod-$p$ Galois representation $\bar{\rho}$ and any choice of integer $N\geq 1$, there is a modular Galois representation lifting $\bar{\rho}$ whose associated Selmer group has $\mu$-invariant $\geq N$. This is a refinement of Serre's conjecture in the residually reducible case.

math.NT

On fine Selmer groups and the greatest common divisor of signed and chromatic $p$-adic $L$-functions

Let $E/\mathbb{Q}$ be an elliptic curve and $p$ an odd prime where $E$ has good supersingular reduction. Let $F_1$ denote the characteristic power series of the Pontryagin dual of the fine Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ and let $F_2$ denote the greatest common divisor of Pollack's plus and minus $p$-adic $L$-functions or Sprung's sharp and flat $p$-adic $L$-functions attached to $E$, depending on whether $a_p(E)=0$ or $a_p(E)\ne0$. We study a link between the divisors of $F_1$ and $F_2$ in the Iwasawa algebra. This gives new insights into problems posed by Greenberg and Pollack--Kurihara on these elements.

math.NT

On Selmer groups in the supersingular reduction case

Let $p$ be a fixed odd prime. Let $E$ be an elliptic curve defined over a number field $F$ with good supersingular reduction at all primes above $p$. We study both the classical and plus/minus Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension of $F$. In particular, we give sufficient conditions for these Selmer groups to not contain a non-trivial sub-module of finite index. Furthermore, when $p$ splits completely in $F$, we calculate the Euler characteristics of the plus/minus Selmer groups over the compositum of all $\mathbb{Z}_p$-extensions of $F$ when they are defined.

math.NT

Euler Characteristics and their Congruences for Multi-signed Selmer Groups

The notion of the truncated Euler characteristic for Iwasawa modules is a generalization of the the usual Euler characteristic to the case when the cohomology groups are not finite. Let $p$ be an odd prime, $E_1$ and $E_2$ be elliptic curves over a number field $F$ with semistable reduction at all primes $v|p$ such that the $\operatorname{Gal}(\bar{F}/F)$-modules $E_1[p]$ and $E_2[p]$ are irreducible and isomorphic. We compare the Iwasawa invariants of certain imprimitive multisigned Selmer groups of $E_1$ and $E_2$. Leveraging these results, congruence relations for the truncated Euler characteristics associated to these Selmer groups over certain $\mathbb{Z}_p^m$-extensions of $F$ are studied. Our results extend earlier congruence relations for elliptic curves over $\mathbb{Q}$ with good ordinary reduction at $p$.

math.NT

Selmer groups of elliptic curves over the $PGL(2)$ extension

Iwasawa theory of elliptic curves over noncommutative extensions has been a fruitful area of research. The central object of this paper is to use Iwasawa theory over the $GL(2)$ extension to study the dual Selmer group over the $PGL(2)$ extension.

math.NT

The derived functors of unramified cohomology

We study the first "derived functors of unramified cohomology" in the sense of arXiv:1506.08385 [math.AG], applied to the sheaves $\mathbf{G}_m$ and $\mathcal{K}_2$. We find interesting connections with classical cycle-theoretic invariants of smooth projective varieties, involving notably a version of the Griffiths group, and the indecomposable $(2,1)$-cycles.

math.AG

Fine Selmer Groups and Isogeny Invariance

We investigate fine Selmer groups for elliptic curves and for Galois representations over a number field. More specifically, we discuss Conjecture A, which states that the fine Selmer group of an elliptic curve over the cyclotomic extension is a finitely generated $\mathbb{Z}_p$-module. The relationship between this conjecture and Iwasawa's classical $μ=0$ conjecture is clarified. We also present some partial results towards the question whether Conjecture A is invariant under isogenies.

math.NT

Birational motives, II: Triangulated birational motives

We develop birational versions of Voevodsky's triangulated categories of motives over a field, and relate them with the pure birational motives studied in arXiv:0902.4902 [math.AG]. We also get an interpretation of unramified cohomology in this framework, leading to "higher derived functors of unramified cohomology".

math.AG

Birational motives, I: pure birational motives

This is a considerably expanded version of the "pure" part of our 2002 preprint. We define a category of pure birational motives over a field, depending on the choice of an adequate equivalence relation on algebraic cycles. It is obtained by "killing" the Lefschetz motive in the corresponding category of effective motives. For rational equivalence, it encompasses Bloch's decomposition of the diagonal. We study the induced Chow-Künneth decompositions in this category, and establish relationships with Rost's cycle modules and the Albanese functor for smooth projective varieties.

math.AG

Erasure Techniques in MRD codes

This book is organized into six chapters. The first chapter introduces the basic algebraic structures essential to make this book a self contained one. Algebraic linear codes and their basic properties are discussed in chapter two. In chapter three the authors study the basic properties of erasure decoding in maximum rank distance codes. Some decoding techniques about MRD codes are described and discussed in chapter four of this book. Rank distance codes with complementary duals and MRD codes with complementary duals are introduced and their applications are discussed. Chapter five introduces the notion of integer rank distance codes. The final chapter introduces some concatenation techniques.

math.GM

The Tate-Shafarevich group for elliptic curves with complex multiplication II

Let E be an elliptic curve over Q with complex multiplication. The aim of the present paper is to strengthen the theoretical and numerical results of \cite{CZS}. For each prime p, let t_{E/Q, p} denote the Z_p-corank of the p-primary subgroup of the Tate-Shafarevich group of E/Q. For each ε 0, we prove that t_{E/Q, p} is bounded above by (1/2+ε)p for all sufficiently large good ordinary primes p. We also do numerical calculations on one such E of rank 3, and 5 such E of rank 2, showing in all cases that t_{E/Q, p} = 0 for all good ordinary primes p < 30,000. In fact, we show that, with the possible exception of one good ordinary prime in this range for just one of the curves of rank 2, the p-primary subgroup of the Tate-Shafarevich group of the curve is zero (always supposing p is a good ordinary prime).

math.NT

Tate Safarevich groups of elliptic curves with complex multiplication

We show that the number of copies of ${\Bbb Q}_p/{\Bbb Z}_p$ in the Tate-Shafarevich group of an elliptic curve $E$ over ${\Bbb Q}$ with complex multipication, is at most $2p - g$, where $g$ is the rank of $E({\Bbb Q})$, and for all sufficiently large good ordinary primes $p$.

math.NT