-
Global Galois Symbols on E x E
Authors:
Dinakar Ramakrishnan
Abstract:
Let E be an elliptic curve over a number field F, A the abelian surface E x E, and T_F(A) the F-rational albanese kernel of A, which is a subgroup of the degree zero part of Chow group of zero cycles on A modulo rational equivalence. The first result is that for all but a finite number of primes p where E has ordinary reduction, the image of T_F(A)/p in the Galois cohomology group H^2(F, sym^2(E[p…
▽ More
Let E be an elliptic curve over a number field F, A the abelian surface E x E, and T_F(A) the F-rational albanese kernel of A, which is a subgroup of the degree zero part of Chow group of zero cycles on A modulo rational equivalence. The first result is that for all but a finite number of primes p where E has ordinary reduction, the image of T_F(A)/p in the Galois cohomology group H^2(F, sym^2(E[p])) is zero; here E[p] denotes as usual the Galois module of p-division points on E. The second result is that for any prime p where E has good ordinary reduction, there is a finite extension K of F, depending on p and E, such that T_K(A)/p is non-zero.
Much of this work was joint with Jacob Murre, and the article is dedicated to his memory.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Application of Novel PACS-based Informatics Platform to Identify Imaging Based Predictors of CDKN2A Allelic Status in Glioblastomas
Authors:
Niklas Tillmanns,
Jan Lost,
Joanna Tabor,
Sagar Vasandani,
Shaurey Vetsa,
Neelan Marianayagam,
Kanat Yalcin,
E. Zeynep Erson-Omay,
Marc von Reppert,
Leon Jekel,
Sara Merkaj,
Divya Ramakrishnan,
Arman Avesta,
Irene Dixe de Oliveira Santo,
Lan Jin,
Anita Huttner,
Khaled Bousabarah,
Ichiro Ikuta,
MingDe Lin,
Sanjay Aneja,
Bernd Turowski,
Mariam Aboian,
Jennifer Moliterno
Abstract:
Gliomas with CDKN2A mutations are known to have worse prognosis but imaging features of these gliomas are unknown. Our goal is to identify CDKN2A specific qualitative imaging biomarkers in glioblastomas using a new informatics workflow that enables rapid analysis of qualitative imaging features with Visually AcceSAble Rembrandtr Images (VASARI) for large datasets in PACS. Sixty nine patients under…
▽ More
Gliomas with CDKN2A mutations are known to have worse prognosis but imaging features of these gliomas are unknown. Our goal is to identify CDKN2A specific qualitative imaging biomarkers in glioblastomas using a new informatics workflow that enables rapid analysis of qualitative imaging features with Visually AcceSAble Rembrandtr Images (VASARI) for large datasets in PACS. Sixty nine patients undergoing GBM resection with CDKN2A status determined by whole-exome sequencing were included. GBMs on magnetic resonance images were automatically 3D segmented using deep learning algorithms incorporated within PACS. VASARI features were assessed using FHIR forms integrated within PACS. GBMs without CDKN2A alterations were significantly larger (64% vs. 30%, p=0.007) compared to tumors with homozygous deletion (HOMDEL) and heterozygous loss (HETLOSS). Lesions larger than 8 cm were four times more likely to have no CDKN2A alteration (OR: 4.3; 95% CI:1.5-12.1; p<0.001). We developed a novel integrated PACS informatics platform for the assessment of GBM molecular subtypes and show that tumors with HOMDEL are more likely to have radiographic evidence of pial invasion and less likely to have deep white matter invasion or subependymal invasion. These imaging features may allow noninvasive identification of CDKN2A allele status.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Bessel Periods on $U(2,1) \times U(1,1)$, Relative Trace Formula and Non-Vanishing of Central $L$-values
Authors:
Philippe Michel,
Dinakar Ramakrishnan,
Liyang Yang
Abstract:
In this paper we calculate the asymptotics of the second moment of the Bessel periods associated to certain holomorphic cuspidal representations $(π, π')$ of $U(2,1) \times U(1,1)$ of regular infinity type (averaged over $π$). Using these, we obtain quantitative non-vanishing results for the Rankin-Selberg central $L$-values $L(1/2, π\times π')$, which are of degree twelve over $\mathbb{Q}$, with…
▽ More
In this paper we calculate the asymptotics of the second moment of the Bessel periods associated to certain holomorphic cuspidal representations $(π, π')$ of $U(2,1) \times U(1,1)$ of regular infinity type (averaged over $π$). Using these, we obtain quantitative non-vanishing results for the Rankin-Selberg central $L$-values $L(1/2, π\times π')$, which are of degree twelve over $\mathbb{Q}$, with concomitant difficulty in applying standard methods, especially since we are in a `conductor dropping' situation. We use the relative trace formula, and the orbital integrals are evaluated rather than compared with others. Besides their intrinsic interest, non-vanishing of these critical values also lead, by known results, to deducing certain associated Selmer groups have rank zero.
△ Less
Submitted 17 May, 2024; v1 submitted 15 September, 2023;
originally announced September 2023.
-
A Large Open Access Dataset of Brain Metastasis 3D Segmentations with Clinical and Imaging Feature Information
Authors:
Divya Ramakrishnan,
Leon Jekel,
Saahil Chadha,
Anastasia Janas,
Harrison Moy,
Nazanin Maleki,
Matthew Sala,
Manpreet Kaur,
Gabriel Cassinelli Petersen,
Sara Merkaj,
Marc von Reppert,
Ujjwal Baid,
Spyridon Bakas,
Claudia Kirsch,
Melissa Davis,
Khaled Bousabarah,
Wolfgang Holler,
MingDe Lin,
Malte Westerhoff,
Sanjay Aneja,
Fatima Memon,
Mariam S. Aboian
Abstract:
Resection and whole brain radiotherapy (WBRT) are the standards of care for the treatment of patients with brain metastases (BM) but are often associated with cognitive side effects. Stereotactic radiosurgery (SRS) involves a more targeted treatment approach and has been shown to avoid the side effects associated with WBRT. However, SRS requires precise identification and delineation of BM. While…
▽ More
Resection and whole brain radiotherapy (WBRT) are the standards of care for the treatment of patients with brain metastases (BM) but are often associated with cognitive side effects. Stereotactic radiosurgery (SRS) involves a more targeted treatment approach and has been shown to avoid the side effects associated with WBRT. However, SRS requires precise identification and delineation of BM. While many AI algorithms have been developed for this purpose, their clinical adoption has been limited due to poor model performance in the clinical setting. Major reasons for non-generalizable algorithms are the limitations in the datasets used for training the AI network. The purpose of this study was to create a large, heterogenous, annotated BM dataset for training and validation of AI models to improve generalizability. We present a BM dataset of 200 patients with pretreatment T1, T1 post-contrast, T2, and FLAIR MR images. The dataset includes contrast-enhancing and necrotic 3D segmentations on T1 post-contrast and whole tumor (including peritumoral edema) 3D segmentations on FLAIR. Our dataset contains 975 contrast-enhancing lesions, many of which are sub centimeter, along with clinical and imaging feature information. We used a streamlined approach to database-building leveraging a PACS-integrated segmentation workflow.
△ Less
Submitted 11 September, 2023; v1 submitted 10 September, 2023;
originally announced September 2023.
-
The Brain Tumor Segmentation (BraTS-METS) Challenge 2023: Brain Metastasis Segmentation on Pre-treatment MRI
Authors:
Ahmed W. Moawad,
Anastasia Janas,
Ujjwal Baid,
Divya Ramakrishnan,
Rachit Saluja,
Nader Ashraf,
Leon Jekel,
Raisa Amiruddin,
Maruf Adewole,
Jake Albrecht,
Udunna Anazodo,
Sanjay Aneja,
Syed Muhammad Anwar,
Timothy Bergquist,
Evan Calabrese,
Veronica Chiang,
Verena Chung,
Gian Marco Marco Conte,
Farouk Dako,
James Eddy,
Ivan Ezhov,
Ariana Familiar,
Keyvan Farahani,
Juan Eugenio Iglesias,
Zhifan Jiang
, et al. (206 additional authors not shown)
Abstract:
The translation of AI-generated brain metastases (BM) segmentation into clinical practice relies heavily on diverse, high-quality annotated medical imaging datasets. The BraTS-METS 2023 challenge has gained momentum for testing and benchmarking algorithms using rigorously annotated internationally compiled real-world datasets. This study presents the results of the segmentation challenge and chara…
▽ More
The translation of AI-generated brain metastases (BM) segmentation into clinical practice relies heavily on diverse, high-quality annotated medical imaging datasets. The BraTS-METS 2023 challenge has gained momentum for testing and benchmarking algorithms using rigorously annotated internationally compiled real-world datasets. This study presents the results of the segmentation challenge and characterizes the challenging cases that impacted the performance of the winning algorithms. Untreated brain metastases on standard anatomic MRI sequences (T1, T2, FLAIR, T1PG) from eight contributed international datasets were annotated in stepwise method: published UNET algorithms, student, neuroradiologist, final approver neuroradiologist. Segmentations were ranked based on lesion-wise Dice and Hausdorff distance (HD95) scores. False positives (FP) and false negatives (FN) were rigorously penalized, receiving a score of 0 for Dice and a fixed penalty of 374 for HD95. Eight datasets comprising 1303 studies were annotated, with 402 studies (3076 lesions) released on Synapse as publicly available datasets to challenge competitors. Additionally, 31 studies (139 lesions) were held out for validation, and 59 studies (218 lesions) were used for testing. Segmentation accuracy was measured as rank across subjects, with the winning team achieving a LesionWise mean score of 7.9. Common errors among the leading teams included false negatives for small lesions and misregistration of masks in space.The BraTS-METS 2023 challenge successfully curated well-annotated, diverse datasets and identified common errors, facilitating the translation of BM segmentation across varied clinical environments and providing personalized volumetric reports to patients undergoing BM treatment.
△ Less
Submitted 17 June, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
A constraint for twist equivalence of cusp forms on GL$(n)$
Authors:
Dinakar Ramakrishnan,
Liyang Yang
Abstract:
This Note answers, and generalizes, a question of Kaisa Matomäki. We show that give two cuspidal automorphic representations $π_1$ and $π_2$ of $GL_n$ over a number field $F$ of respective conductors $N_1,$ $N_2,$ every character $χ$ such that $π_1\otimesχ\simeqπ_2$ of conductor $Q,$ satisfies the bound: $Q^n\mid N_1N_2.$ If at every finite place $v,$ $π_{1,v}$ is a discrete series whenever it is…
▽ More
This Note answers, and generalizes, a question of Kaisa Matomäki. We show that give two cuspidal automorphic representations $π_1$ and $π_2$ of $GL_n$ over a number field $F$ of respective conductors $N_1,$ $N_2,$ every character $χ$ such that $π_1\otimesχ\simeqπ_2$ of conductor $Q,$ satisfies the bound: $Q^n\mid N_1N_2.$ If at every finite place $v,$ $π_{1,v}$ is a discrete series whenever it is ramified, then $Q^n$ divides the least common multiple $[N_1, N_2].$
△ Less
Submitted 4 January, 2020; v1 submitted 3 June, 2019;
originally announced June 2019.
-
A Theorem on GL(n) a la Tchebotarev
Authors:
Dinakar Ramakrishnan
Abstract:
Let $K/F$ be a finite Galois extension of number fields. It is well known that the Tchebotarev density theorem implies that an irreducible, finitely ramified $p$-adic representation $ρ$ of the absolute Galois group of $K$ is determined (up to equivalence) by the characteristic polynomials of Frobenius elements Fr$_v$ at any set of primes $v$ of $K$ of degree $1$ over $F$. Here we prove an analogue…
▽ More
Let $K/F$ be a finite Galois extension of number fields. It is well known that the Tchebotarev density theorem implies that an irreducible, finitely ramified $p$-adic representation $ρ$ of the absolute Galois group of $K$ is determined (up to equivalence) by the characteristic polynomials of Frobenius elements Fr$_v$ at any set of primes $v$ of $K$ of degree $1$ over $F$. Here we prove an analogue for GL$(n)$, namely that a cuspidal automorphic representation $π$ of GL$(n, {\mathbb A}_K)$ is determined up by the knowledge of its local components at the primes of degree one over $F$. We prove in fact a stronger theorem, stimulated by a question of Michael Rapoport and Wei Zhang, relaxing to an extent the Galois hypothesis. The method uses, besides the Rankin-Selberg theory of L-functions and the Luo-Rudnick-Sarnak bound for the Hecke roots of $π$, certain consequences of class field theory via Galois cohomology. In an earlier paper (\cite{Ra2}) we obtained such a result up to twist equivalence for $K/F$ cyclic of prime degree by using basic Kummer theory. We make use of suitable solvable base changes $π_M$, relative to certain auxiliary succession of abelian extensions $E/F$, with $M$ being an abelian extension of the compositum $EK$, and deduce that $π_M \simeq π'_M$, and then descend this isomorphism to one over $K$. A key ingredient for progress here is the use of global Tate duality and a local-global result arising from class field theory. In fact we prove the main result for {\it isobaric} automorphic representations, which are analogues of {\it semisimple} Galois representations. In the last section we introduce a notion of {\it semi-temperedness}, which is much weaker than temperedness, but allows for the deduction of the main result without any hypothesis whatsoever on $K/F$.
△ Less
Submitted 21 June, 2018;
originally announced June 2018.
-
Eisenstein series of weight one, $q$-averages of the $0$-logarithm and periods of elliptic curves
Authors:
Daniel R. Grayson,
Dinakar Ramakrishnan
Abstract:
For any elliptic curve $E$ over $k\subset \Bbb R$ with $E({\Bbb C})={\Bbb C}^\times/q^{\Bbb Z}$, $q=e^{2πiz}, \Im(z)>0$, we study the $q$-average $D_{0,q}$, defined on $E({\Bbb C})$, of the function $D_0(z) = \Im(z/(1-z))$. Let $Ω^+(E)$ denote the real period of $E$. We show that there is a rational function $R \in {\Bbb Q}(X_1(N))$ such that for any non-cuspidal real point $s\in X_1(N)$ (which de…
▽ More
For any elliptic curve $E$ over $k\subset \Bbb R$ with $E({\Bbb C})={\Bbb C}^\times/q^{\Bbb Z}$, $q=e^{2πiz}, \Im(z)>0$, we study the $q$-average $D_{0,q}$, defined on $E({\Bbb C})$, of the function $D_0(z) = \Im(z/(1-z))$. Let $Ω^+(E)$ denote the real period of $E$. We show that there is a rational function $R \in {\Bbb Q}(X_1(N))$ such that for any non-cuspidal real point $s\in X_1(N)$ (which defines an elliptic curve $E(s)$ over $\Bbb R$ together with a point $P(s)$ of order $N$), $πD_{0,q}(P(s))$ equals $Ω^+(E(s))R(s)$. In particular, if $s$ is $\Bbb Q$-rational point of $X_1(N)$, a rare occurrence according to Mazur, $R(s)$ is a rational number.
△ Less
Submitted 14 June, 2018; v1 submitted 13 June, 2018;
originally announced June 2018.
-
Recovering Cusp forms on GL(2) from Symmetric Cubes
Authors:
Dinakar Ramakrishnan
Abstract:
Suppose $π$, $π'$ are cusp forms on GL$(2)$, not of solvable polyhedral type, such that they have the same symmetric cubes. Then we show that either $π$, $π'$ are twist equivalent, or else a certain degree $36$ $L$-function associated to the pair has a pole at $s=1$. If we further assume that the symmetric fifth power of $π$ is automorphic, then in the latter case, $π$ is icosahedral in a suitable…
▽ More
Suppose $π$, $π'$ are cusp forms on GL$(2)$, not of solvable polyhedral type, such that they have the same symmetric cubes. Then we show that either $π$, $π'$ are twist equivalent, or else a certain degree $36$ $L$-function associated to the pair has a pole at $s=1$. If we further assume that the symmetric fifth power of $π$ is automorphic, then in the latter case, $π$ is icosahedral in a suitable sense, agreeing with the usual notion when there is an associated Galois representation.
△ Less
Submitted 27 March, 2015;
originally announced March 2015.
-
A comparison of automorphic and Artin L-series of GL(2)-type agreeing at degree one primes
Authors:
Kimball Martin,
Dinakar Ramakrishnan
Abstract:
Let $F/k$ be a cyclic extension of number fields of prime degree. Let $ρ$ be an irreducible $2$-dimensional representation of Artin type of the absolute Galois group of $F$, and $π$ a cuspidal automorphic representation of GL$_2(\mathbb A_F)$, such that the $L$-functions $L(s,ρ_v)$ and $L(s,π_v)$ agree at all (but finitely many of) the places $v$ of degree one over $k$. We prove in this case that…
▽ More
Let $F/k$ be a cyclic extension of number fields of prime degree. Let $ρ$ be an irreducible $2$-dimensional representation of Artin type of the absolute Galois group of $F$, and $π$ a cuspidal automorphic representation of GL$_2(\mathbb A_F)$, such that the $L$-functions $L(s,ρ_v)$ and $L(s,π_v)$ agree at all (but finitely many of) the places $v$ of degree one over $k$. We prove in this case that we have the global identity $L(s,ρ)=L(s,π)$, with $ρ_v \leftrightarrow π_v$ being given by the local Langlands correspondence at all $v$. In particular, $π$ is tempered and $L(s,ρ)$ is entire.
△ Less
Submitted 14 February, 2015;
originally announced February 2015.
-
Modular Forms and Calabi-Yau Varieties
Authors:
Kapil Paranjape,
Dinakar Ramakrishnan
Abstract:
Given a holomorphic newform $f$ of weight $k$ and with rational coefficients, a question of Mazur and van Straten asks if there is an associated Calabi-Yau variety $X$ over ${\mathbb Q}$ of dimension $k-1$ such that the $\ell$-adic Galois representation of $f$ occurs in the cohomology of $X$ in degree $k-1$. We provide some explicit examples giving a positive answer, and show moreover that such…
▽ More
Given a holomorphic newform $f$ of weight $k$ and with rational coefficients, a question of Mazur and van Straten asks if there is an associated Calabi-Yau variety $X$ over ${\mathbb Q}$ of dimension $k-1$ such that the $\ell$-adic Galois representation of $f$ occurs in the cohomology of $X$ in degree $k-1$. We provide some explicit examples giving a positive answer, and show moreover that such $X$ come equipped with an involution $τ$ acting by $-1$ on $H^0(X, Ω^{k-1})$. We also raise a general question regarding the regular algebraic, (essentially) selfdual cusp forms $π$ on GL$(n)$ with ${\mathbb Q}$-coefficients, asking for associated Calabi-Yau varieties $X=X_π$ (with an involution $τ$ on each such $X$ such that the quotient variety $X/τ$ is rational) carrying the (conjectural) motive of $π$. We then investigate the compatibility of this with Rankin-Selberg products of modular forms.
△ Less
Submitted 12 May, 2014; v1 submitted 4 April, 2014;
originally announced April 2014.
-
Arithmetic Quotients of the Complex Ball and a Conjecture of Lang
Authors:
Mladen Dimitrov,
Dinakar Ramakrishnan
Abstract:
We prove that various arithmetic quotients of the unit ball in $\mathbb{C}^n$ are Mordellic, in the sense that they have only finitely many rational points over any finitely generated field extension of $\mathbb{Q}$. In the previously known case of compact hyperbolic complex surfaces, we give a new proof using their Albanese in conjunction with some key results of Faltings, but without appealing t…
▽ More
We prove that various arithmetic quotients of the unit ball in $\mathbb{C}^n$ are Mordellic, in the sense that they have only finitely many rational points over any finitely generated field extension of $\mathbb{Q}$. In the previously known case of compact hyperbolic complex surfaces, we give a new proof using their Albanese in conjunction with some key results of Faltings, but without appealing to the Shafarevich conjecture. In higher dimension, our methods allow us to solve an alternative of Ullmo and Yafaev. Our strongest result uses in addition Rogawski's theory and establishes the Mordellicity of the Baily-Borel compactifications of Picard modular surfaces of some precise levels related to the discriminant of the imaginary quadratic fields.
△ Less
Submitted 3 December, 2015; v1 submitted 8 January, 2014;
originally announced January 2014.
-
Decomposition and parity of p-adic representations attached to algebraic automorphic forms on GL(4)
Authors:
Dinakar Ramakrishnan
Abstract:
Let F be a number field with adele ring A_F, and πan isobaric, algebraic automorphic representation of GL_4(A_F) of a fixed archimedean weight, which is quasi-regular, meaning that at every archimedean place v of F, the 4-dimensional representation σ_v of the Weil group W_{F_v} attached to π_v is multiplicity free. Suppose there is an associated 4-dimensional, Hodge-Tate p-adic representation ρof…
▽ More
Let F be a number field with adele ring A_F, and πan isobaric, algebraic automorphic representation of GL_4(A_F) of a fixed archimedean weight, which is quasi-regular, meaning that at every archimedean place v of F, the 4-dimensional representation σ_v of the Weil group W_{F_v} attached to π_v is multiplicity free. Suppose there is an associated 4-dimensional, Hodge-Tate p-adic representation ρof the absolute Galois group G_F, whose local L-factors agree with those of π(up to a shift) at almost all primes P of F. Then our first result is that the semisimplification of ρdoes not contain any irreducible 2-dimensional Galois representation which is even. The second result is that if πis regular and ρcrystalline, then for sufficiently large p (see the article for a precise statement), the decomposition type of ρis the same as the isobaric type of π. A consequence is that ρis irreducible when πis cuspidal (and regular algebraic), which has also been proved by F. Calegari and T. Gee, in fact with no hypothesis on p. The third and final result, using Taylor's potential modularity theorem, is that given a pair (σ, σ') of odd, 2-dimensional p-adic representations of the same weight and distinct Hodge-Tate types, such that their direct sum is automorphic, the dimension of the G_F-invariants of the tensor product ηof the dual of σwith σ' equals, for large p, the order of pole at s=1 of the L-function of η(with the bad factors removed). This is as predicted by the Tate conjecture when σ, σ' occur in p-adic etale cohmology of smooth projective varieties over F, and it also provides a useful link to a small piece of the work of C. Skinner and E. Urban.
△ Less
Submitted 10 December, 2013; v1 submitted 8 January, 2013;
originally announced January 2013.
-
A Mild Tchebotarev Theorem for GL$(n)$
Authors:
Dinakar Ramakrishnan
Abstract:
It is well known that the Tchebotarev density theorem implies that an irreducible $\ell$-adic representation $ρ$ of the absolute Galois group of a number field $K$ is determined (up to isomorphism) by the characteristic polynomials of Frobenius elements at any set of primes of density 1. In this Note we make some progress on the automorphic side for GL$(n)$ by showing that, given a cyclic extensio…
▽ More
It is well known that the Tchebotarev density theorem implies that an irreducible $\ell$-adic representation $ρ$ of the absolute Galois group of a number field $K$ is determined (up to isomorphism) by the characteristic polynomials of Frobenius elements at any set of primes of density 1. In this Note we make some progress on the automorphic side for GL$(n)$ by showing that, given a cyclic extension $K/k$ of number fields of prime degree $p$, a cuspidal automorphic representation $π$ of GL$(n,{\mathbb A}_K)$ is determined up to twist equivalence by the knowledge of its local components at the (density one) set $S_{K/k}$ of primes of $K$ of degree $1$ over $k$, and moreover that $π$ is determined even up to isomorphism if $p=2$. The proof uses the Luo-Rudnick-Sarnak bound for the Hecke roots of $π$, applied to certain Rankin-Selberg $L$-functions of positive type, in conjunction with some Kummer theory and descent along suitable $p$-power extensions arising as nested sequences of cyclic $p^2$-extensions.
△ Less
Submitted 27 August, 2014; v1 submitted 23 March, 2010;
originally announced March 2010.
-
Icosahedral Fibres of the Symmetric Cube and Algebraicity
Authors:
Dinakar Ramakrishnan
Abstract:
For any number field F, call a cusp form πon GL(2)/F {\it special icosahedral}, or just s-icosahedral for short, if πis not solvable polyhedral, and for a suitable "conjugate" cusp form π' on GL(2)/F, sym^3(π) is isomorphic to sym^3(π'), and the symmetric fifth power L-series of πequals the Rankin-Selberg L-function L(s, sym^2(π') x π) (up to a finite number of Euler factors). Then the point of…
▽ More
For any number field F, call a cusp form πon GL(2)/F {\it special icosahedral}, or just s-icosahedral for short, if πis not solvable polyhedral, and for a suitable "conjugate" cusp form π' on GL(2)/F, sym^3(π) is isomorphic to sym^3(π'), and the symmetric fifth power L-series of πequals the Rankin-Selberg L-function L(s, sym^2(π') x π) (up to a finite number of Euler factors). Then the point of this Note is to obtain the following result:
Let πbe s-icosahedral (of trivial central character). Then π_f is algebraic without local components of Steinberg type, π_\infty is of Galois type, and π_v is tempered everywhere. Moreover, if π' is also of trivial central character, it is s-icosahedral as well, and the field of rationality \Q(π_f) (of π_f) is K:=\Q[\sqrt{5}], with π'_f being the Galois conjugate of π_f under the non-trivial automorphism of K.
△ Less
Submitted 23 March, 2010; v1 submitted 27 December, 2008;
originally announced December 2008.
-
Local Galois Symbols on E x E
Authors:
Jacob Murre,
Dinakar Ramakrishnan
Abstract:
This article is the first part of a two-part work on the Albanese kernel T_F(E x E), for an elliptic curve E over F. The main result furnishes information, for any odd prime p, about the kernel and image of the Galois symbol map from T_F(E \times E)/p to the Galois cohomology group H^2(F, E[p] (x) E[p]), for F a p-adic field and E/F ordinary, without requiring that the p-torsion points are F-rat…
▽ More
This article is the first part of a two-part work on the Albanese kernel T_F(E x E), for an elliptic curve E over F. The main result furnishes information, for any odd prime p, about the kernel and image of the Galois symbol map from T_F(E \times E)/p to the Galois cohomology group H^2(F, E[p] (x) E[p]), for F a p-adic field and E/F ordinary, without requiring that the p-torsion points are F-rational. A key step is to show that the image is zero when the Galois module E[p] is non-semisimple. The forthcoming second part will deal with global questions.
△ Less
Submitted 2 July, 2009; v1 submitted 7 August, 2008;
originally announced August 2008.
-
Selfdual representations of division algebras and Weil groups: A contrast
Authors:
Dipendra Prasad,
Dinakar Ramakrishnan
Abstract:
Selfdual representations of any group fall into two classes when they are irreducible: those which carry a symmetric bilinear form, and the others which carry an alternating bilinear form. The Langlands correspondence, which matches the irreducible representations σof the Weil group of a local field k of dimension n with the irreducible representations πof the invertible elements of a division a…
▽ More
Selfdual representations of any group fall into two classes when they are irreducible: those which carry a symmetric bilinear form, and the others which carry an alternating bilinear form. The Langlands correspondence, which matches the irreducible representations σof the Weil group of a local field k of dimension n with the irreducible representations πof the invertible elements of a division algebra D over k of index n, takes selfdual representations to selfdual representations. In this paper we use global methods to study how the Langlands correspondence behaves relative to this distinction among selfdual representations. We prove in particular that for n even, σis symplectic if and only if πis orthogonal. Our results treat more generally the case of GL_m(B), for B a division algebra over k of index r, and n=mr.
△ Less
Submitted 1 July, 2008;
originally announced July 2008.
-
Increasing the number of fibered faces of arithmetic hyperbolic 3-manifolds
Authors:
Nathan M. Dunfield,
Dinakar Ramakrishnan
Abstract:
We exhibit a closed hyperbolic 3-manifold which satisfies a very strong form of Thurston's Virtual Fibration Conjecture. In particular, this manifold has finite covers which fiber over the circle in arbitrarily many ways. More precisely, it has a tower of finite covers where the number of fibered faces of the Thurston norm ball goes to infinity, in fact faster than any power of the logarithm of…
▽ More
We exhibit a closed hyperbolic 3-manifold which satisfies a very strong form of Thurston's Virtual Fibration Conjecture. In particular, this manifold has finite covers which fiber over the circle in arbitrarily many ways. More precisely, it has a tower of finite covers where the number of fibered faces of the Thurston norm ball goes to infinity, in fact faster than any power of the logarithm of the degree of the cover, and we give a more precise quantitative lower bound. The example manifold M is arithmetic, and the proof uses detailed number-theoretic information, at the level of the Hecke eigenvalues, to drive a geometric argument based on Fried's dynamical characterization of the fibered faces. The origin of the basic fibration of M over the circle is the modular elliptic curve E=X_0(49), which admits multiplication by the ring of integers of Q[sqrt(-7)]. We first base change the holomorphic differential on E to a cusp form on GL(2) over K=Q[sqrt(-3)], and then transfer over to a quaternion algebra D/K ramified only at the primes above 7; the fundamental group of M is a quotient of the principal congruence subgroup of level 7 of the multiplicative group of a maximal order of D. To analyze the topological properties of M, we use a new practical method for computing the Thurston norm, which is of independent interest. We also give a non-compact finite-volume hyperbolic 3-manifold with the same properties by using a direct topological argument.
△ Less
Submitted 16 December, 2008; v1 submitted 19 December, 2007;
originally announced December 2007.
-
Remarks on the symmetric powers of cusp forms on GL(2)
Authors:
Dinakar Ramakrishnan
Abstract:
In this paper we prove the following conditional result: Let F be a number field, and pi a cusp form on GL(2)/F which is not solvable polyhedral. Assume that all the symmetric powers sym^m(pi) are modular, i.e., define automorphic forms on GL(m+1)/F. If sym^6(pi) is cuspidal, then all the symmetric powers are cuspidal, for all m. Moreover, sym^6(pi) is Eisenteinian iff sym^5(pi) is an abelian tw…
▽ More
In this paper we prove the following conditional result: Let F be a number field, and pi a cusp form on GL(2)/F which is not solvable polyhedral. Assume that all the symmetric powers sym^m(pi) are modular, i.e., define automorphic forms on GL(m+1)/F. If sym^6(pi) is cuspidal, then all the symmetric powers are cuspidal, for all m. Moreover, sym^6(pi) is Eisenteinian iff sym^5(pi) is an abelian twist of the functorial product of pi with the symmetric square of a cusp form pi' on GL(2)/F.
△ Less
Submitted 2 July, 2009; v1 submitted 2 October, 2007;
originally announced October 2007.
-
Consequences of the Gross/Zagier formulae: Stability of average L-values, subconvexity, and non-vanishing mod p
Authors:
Philippe Michel,
Dinakar Ramakrishnan
Abstract:
In this paper we investigate some consequences of the Gross/Zagier types of formulae which were introduced by Gross and Zagier, and were then generalized in various directions by Hatcher, Zhang, Kudla and several other people. Working in the classical context of central values of L-series of holomorphic forms of prime level, we deduce an exact average formula for suitable twists of such L-values…
▽ More
In this paper we investigate some consequences of the Gross/Zagier types of formulae which were introduced by Gross and Zagier, and were then generalized in various directions by Hatcher, Zhang, Kudla and several other people. Working in the classical context of central values of L-series of holomorphic forms of prime level, we deduce an exact average formula for suitable twists of such L-values, with a relation to the class number of associated imaginary quadratic fieds, thereby strengthening a result of Duke. One also obtains a stability result, as well as subconvexity (in this setting), and certian non-vanishing assertions. This article is dedicated to the memory of Serge Lang.
△ Less
Submitted 28 September, 2007;
originally announced September 2007.
-
Siegel modular forms of genus 2 attached to elliptic curves
Authors:
Dinakar Ramakrishnan,
Freydoon Shahidi
Abstract:
The object of this article is to construct certain classes of arithmetically significant, holomorphic Siegel cusp forms F of genus 2, which are neither of Saito-Kurokawa type, in which case the degree 4 spinor L-function L(s, F) is divisible by an abelian L-function, nor of Yoshida type, in which case L(s,F) is a product of L-series of a pair of elliptic cusp forms. Two key examples are the form…
▽ More
The object of this article is to construct certain classes of arithmetically significant, holomorphic Siegel cusp forms F of genus 2, which are neither of Saito-Kurokawa type, in which case the degree 4 spinor L-function L(s, F) is divisible by an abelian L-function, nor of Yoshida type, in which case L(s,F) is a product of L-series of a pair of elliptic cusp forms. Two key examples are the forms F defined by the symmetric cube of a non-CM elliptic curve E over the rationals, and those defined by anticyclotomic twists (of even non-zero weight) of the base change of such an E to an imaginary quadratic field K. One of the main ingredients is the transfer, albeit indirect, of cusp forms πon GL(4) to GSp(4) with many of the expected properties, and this might be of independent interest. The transfer information is shown to be complete when πis regular and associated to an \ell-adic Galois representation. We also appeal to the (independent) results of Laumon and Weissauer on the zeta functions of Siegel modular threefolds.
△ Less
Submitted 16 September, 2006;
originally announced September 2006.
-
Irreducibility and cuspidality
Authors:
Dinakar Ramakrishnan
Abstract:
Irreducible representations are the building blocks of general, semisimple Galois representations ρ, and cuspidal representations are the building blocks of automorphic forms πof the general linear group. It is expected that when an object of the former type is associated to one of the latter type, usually in terms of an identity of L-functions, the irreducibility of the former should imply the…
▽ More
Irreducible representations are the building blocks of general, semisimple Galois representations ρ, and cuspidal representations are the building blocks of automorphic forms πof the general linear group. It is expected that when an object of the former type is associated to one of the latter type, usually in terms of an identity of L-functions, the irreducibility of the former should imply the cuspidality of the latter, and vice-versa. It is not a simple matter - at all - to prove this expectation in either direction, and nothing much is known in dimensions >2. The main result of this article shows for n < 6, in particular, that the cuspidality of a regular algebraic πis implied by the irreducibility of ρ.
△ Less
Submitted 23 September, 2006; v1 submitted 16 September, 2006;
originally announced September 2006.
-
Modular Curves, Modular Surfaces, and Modular Fourfolds
Authors:
Dinakar Ramakrishnan
Abstract:
This article surveys some recent work of the author on Hilbert modular fourfolds X. After some preliminaries on the cohomology and special, codimension 2 cycles Z on X of Hirzebruch-Zagier type, a proof of the Tate conjecture for X over abelian fields is exposed. It is followed by a description of a method to construct classes in the Bloch's Chow group CH^3(X,1) by using Hecke translates of the…
▽ More
This article surveys some recent work of the author on Hilbert modular fourfolds X. After some preliminaries on the cohomology and special, codimension 2 cycles Z on X of Hirzebruch-Zagier type, a proof of the Tate conjecture for X over abelian fields is exposed. It is followed by a description of a method to construct classes in the Bloch's Chow group CH^3(X,1) by using Hecke translates of the cycles Z as above with suitable intersections in translates of modular curves. The article ends with the introduction of a modular Gersten complex for a general Shimura variety X and the corresponding groups CH^p_{mod}(X) and CH^p_{mod}(X,1).
△ Less
Submitted 16 September, 2006;
originally announced September 2006.
-
Average values of modular L-series via the relative trace formula
Authors:
Dinakar Ramakrishnan,
Jonathan Rogawski
Abstract:
First we reprove, using representation theory and the relative trace formula of Jacquet, an average value result of Duke for modular L-series at the critical center. We also establish a refinement. To be precise, the L-value which appears is L(1/2, f)L(1/2,f,χ) (divided by the Petersson norm of f), and the average is over newforms f of prime level N and coefficients a_p(f), with χbeing an odd qu…
▽ More
First we reprove, using representation theory and the relative trace formula of Jacquet, an average value result of Duke for modular L-series at the critical center. We also establish a refinement. To be precise, the L-value which appears is L(1/2, f)L(1/2,f,χ) (divided by the Petersson norm of f), and the average is over newforms f of prime level N and coefficients a_p(f), with χbeing an odd quadratic Dirichlet character of conductor -D and associated quadratic field K. For any prime p not dividing ND, the asymptotic as N goes to infinity is governed by a measure μ_p, which is the Plancherel measure at p when χ(p)=-1, but is new if χ(p)=1; as p goes to infinity both measures approach the Sato-Tate measure. A particular consequence of our refinement is that for any non-empty interval J in [-2,2], there are infinitely many primes N, which are inert in K, such that for some f of level N, a_p(f) is in J and L(1/2, f)L(1/2,f,χ) is non-zero.
△ Less
Submitted 15 September, 2006; v1 submitted 6 October, 2005;
originally announced October 2005.
-
Quotients of E^n by A_{n+1} and Calabi-Yau manifolds
Authors:
Kapil Paranjape,
Dinakar Ramakrishnan
Abstract:
We give a simple construction, starting with any elliptic curve E, of an n-dimensional Calabi-Yau variety of Kummer type (for any n>1), by considering the quotient Y of the n-fold self-product of E by a natural action of the alternating group A_{n+1} (in n+1 variables). The vanishing of H^m(Y, O_Y) for 0<m<n follows from the non-existence of (non-zero) fixed points in certain representations of…
▽ More
We give a simple construction, starting with any elliptic curve E, of an n-dimensional Calabi-Yau variety of Kummer type (for any n>1), by considering the quotient Y of the n-fold self-product of E by a natural action of the alternating group A_{n+1} (in n+1 variables). The vanishing of H^m(Y, O_Y) for 0<m<n follows from the non-existence of (non-zero) fixed points in certain representations of A_{n+1}. For n<4 we provide an explicit crepant resolution X in characteristics different from 2,3. The key point is that Y can be realized as a double cover of P^n branched along a hypersurface of degree 2(n+1).
△ Less
Submitted 21 April, 2005; v1 submitted 13 November, 2004;
originally announced November 2004.
-
A cuspidality criterion for the functorial product on GL(2) x GL(3), with a cohomological application
Authors:
Dinakar Ramakrishnan,
Song Wang
Abstract:
This paper was motivated by a question of Avner Ash, asking if it is possible to construct non-selfdual, non-monomial, cuspidal cohomology classes for suitable congruence subgroups Γof SL(n,\Z). Such a construction, in special examples, has been known for some time for n=3; it is of course impossible for n=2. We show in this paper the existence of many such examples for n=6, which are primitive,…
▽ More
This paper was motivated by a question of Avner Ash, asking if it is possible to construct non-selfdual, non-monomial, cuspidal cohomology classes for suitable congruence subgroups Γof SL(n,\Z). Such a construction, in special examples, has been known for some time for n=3; it is of course impossible for n=2. We show in this paper the existence of many such examples for n=6, which are primitive, by making use of the functorial product on GL(2) x GL(3), which was recently shown to be automorphic by Kim and Shahidi. We establish a general cuspidality criterion for this product, which is essential to the construction. We also show that there exist non-selfdual, monomial (cuspidal) classes for any n=2m > 3, and non-selfdual, non-monomial (but imprimitive) classes for n=4.
△ Less
Submitted 10 October, 2003;
originally announced October 2003.
-
Algebraic cycles on Hilbert modular fourfolds and poles of L-functions
Authors:
Dinakar Ramakrishnan
Abstract:
In this paper we give some evidence for the Tate (and Hodge) conjecture(s) for a class of Hilbert modular fourfolds X, whose connected components arise as arithmetic quotients of the fourfold product of the upper half plane by congruence subgroups Γof SL(2, O_K), where O_K denotes the ring of integers of a quartic, Galois, totally real number field K. The expected relationship to the orders of p…
▽ More
In this paper we give some evidence for the Tate (and Hodge) conjecture(s) for a class of Hilbert modular fourfolds X, whose connected components arise as arithmetic quotients of the fourfold product of the upper half plane by congruence subgroups Γof SL(2, O_K), where O_K denotes the ring of integers of a quartic, Galois, totally real number field K. The expected relationship to the orders of poles of the associated L-functions is verified for abelian extensions of \Q. Also shown is the existence of homologically non-trivial cycles of codimension two which are not intersections of divisors.
△ Less
Submitted 10 October, 2003;
originally announced October 2003.
-
Existence of Ramanujan primes for GL(3)
Authors:
Dinakar Ramakrishnan
Abstract:
In this Note we show that given any cusp form πon GL(3) over the rationals, there exist an infinite number of primes p which are Ramanujan for π, i.e., that the local components π_p are tempered for an infinite number of p. It turns out that the key structural device which is needed is the degree 8 adjoint L-function of π.
In this Note we show that given any cusp form πon GL(3) over the rationals, there exist an infinite number of primes p which are Ramanujan for π, i.e., that the local components π_p are tempered for an infinite number of p. It turns out that the key structural device which is needed is the degree 8 adjoint L-function of π.
△ Less
Submitted 26 September, 2002; v1 submitted 12 September, 2002;
originally announced September 2002.
-
On the exceptional zeros of Rankin-Selberg L-functions
Authors:
Dinakar Ramakrishnan,
Song Wang
Abstract:
The main objects of study in this article are two classes of Rankin-Selberg L-unctions, namely L(s, f \times g) and L(s, sym^2(g) \times sym^2(g)), where f, g are newforms, holomorphic or of Maass type, on the upper half plane, and sym^2(g) denotes the symmetric square lift of g to GL(3). We prove that in general, i.e., when these L-functions are not divisible by L-functions of quadratic charact…
▽ More
The main objects of study in this article are two classes of Rankin-Selberg L-unctions, namely L(s, f \times g) and L(s, sym^2(g) \times sym^2(g)), where f, g are newforms, holomorphic or of Maass type, on the upper half plane, and sym^2(g) denotes the symmetric square lift of g to GL(3). We prove that in general, i.e., when these L-functions are not divisible by L-functions of quadratic characters (such divisibility happening rarely), they do not admit any Landau-Siegel zeros. These zeros, which are real and close to s=1, are highly mysterious and are not expected to occur. There are corollaries of our result, one of them being a strong lower bound for special value at s=1, which is of interest both geometrically and analytically. One also gets this way a good bound on the norm of sym^2(g).
△ Less
Submitted 7 August, 2001;
originally announced August 2001.
-
Modularity of solvable Artin representations of GO(4)-type
Authors:
Dinakar Ramakrishnan
Abstract:
This is an updated version of ANT-0253.
Let F be a number field with absolute Galois group G. We associate, to each continuous, solvable C-representation of G of GO(4)-type, an automorphic form P of GL(4)/F with the same L-function. As a consequence we exhibit an infinite class of primitive, 16-dimensional representations for which the Artin conjecture holds.
This is an updated version of ANT-0253.
Let F be a number field with absolute Galois group G. We associate, to each continuous, solvable C-representation of G of GO(4)-type, an automorphic form P of GL(4)/F with the same L-function. As a consequence we exhibit an infinite class of primitive, 16-dimensional representations for which the Artin conjecture holds.
△ Less
Submitted 5 February, 2001;
originally announced February 2001.
-
Modularity of the Rankin-Selberg L-series, and multiplicity one for SL(2)
Authors:
Dinakar Ramakrishnan
Abstract:
A fundamental question, first raised by Langlands, is to know whether the Rankin-Selberg product of two (not necessarily holomorphic) cusp forms f and g is modular, i.e., if there exists an automorphic form f box g on GL(4)/Q whose standard L-function equals L^*(s, f x g) after removing the ramified and archimedean factors. The first main result of this paper is to answer it in the affirmative,…
▽ More
A fundamental question, first raised by Langlands, is to know whether the Rankin-Selberg product of two (not necessarily holomorphic) cusp forms f and g is modular, i.e., if there exists an automorphic form f box g on GL(4)/Q whose standard L-function equals L^*(s, f x g) after removing the ramified and archimedean factors. The first main result of this paper is to answer it in the affirmative, in fact with the base field Q replaced by any number field F. Our proof uses a mixture of converse theorems, base change and descent, and it also appeals to the local regularity properties of Eisenstein series and the scalar products of their truncations.
One of the applications of this result is that the space of cusp forms on SL(2) has multiplicity one. Concretely this means the following: If f, g are newforms of holomorphic or Maass type with trivial character such that the squares of the p-th coeficients of f and g are the same at almost all primes p, then g must be a twist of f by a quadratic Dirichlet character.
△ Less
Submitted 30 June, 2000;
originally announced July 2000.