Showing 1–50 of 71 results for author: Loeffler, D

P-adic Rankin-Selberg L-functions in universal deformation families and functional equations

Authors: Ze** Hao, David Loeffler

Abstract: We construct a $p$-adic Rankin-Selberg $L$-function associated to the product of two families of modular forms, where the first is an ordinary (Hida) family, and the second an arbitrary universal-deformation family (without any ordinarity condition at $p$). This gives a function on a 4-dimensional base space - strictly larger than the ordinary eigenvariety, which is 3-dimensional in this case. We… ▽ More We construct a $p$-adic Rankin-Selberg $L$-function associated to the product of two families of modular forms, where the first is an ordinary (Hida) family, and the second an arbitrary universal-deformation family (without any ordinarity condition at $p$). This gives a function on a 4-dimensional base space - strictly larger than the ordinary eigenvariety, which is 3-dimensional in this case. We prove our $p$-adic $L$-function interpolates all critical values of the Rankin-Selberg $L$-functions for the classical specialisations of our family, and derive a functional equation for our $p$-adic $L$-function. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Comments: Based on the first author's University of Warwick PhD thesis. 21 pages

MSC Class: 11F67; 11F80; 11R23

An Euler system for the adjoint of a modular form

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We construct an Euler system for the adjoint Galois representation of a modular form, using motivic cohomology classes arising from Hilbert modular surfaces. We use this Euler system to give an upper bound for the Selmer group of the adjoint representation over the cyclotomic Zp-extension, which agrees with the predictions of the Iwasawa main conjecture up to powers of p and the augmentation ideal… ▽ More We construct an Euler system for the adjoint Galois representation of a modular form, using motivic cohomology classes arising from Hilbert modular surfaces. We use this Euler system to give an upper bound for the Selmer group of the adjoint representation over the cyclotomic Zp-extension, which agrees with the predictions of the Iwasawa main conjecture up to powers of p and the augmentation ideal. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 11 pages

MSC Class: 11F67 11F80 11G18

Asai-Flach classes and p-adic L-functions

Authors: Giada Grossi, David Loeffler, Sarah Livia Zerbes

Abstract: We prove a formula for the Bloch-Kato logarithm of the bottom class in the Asai-Flach Euler system associated to a quadratic Hilbert modular form. We show that this can be expressed as a value, outside the interpolation range, of the p-adic Asai L-function constructed in the prequel paper arXiv:2307.07004. We prove a formula for the Bloch-Kato logarithm of the bottom class in the Asai-Flach Euler system associated to a quadratic Hilbert modular form. We show that this can be expressed as a value, outside the interpolation range, of the p-adic Asai L-function constructed in the prequel paper arXiv:2307.07004. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Comments: 19 pages

MSC Class: 11F41; 11F33; 11G18; 14G35

P-adic Asai L-functions for quadratic Hilbert eigenforms

Authors: Giada Grossi, David Loeffler, Sarah Livia Zerbes

Abstract: We construct p-adic Asai L-functions for cuspidal automorphic representations of GL2 / F, where F is a real quadratic field in which p splits. Our method relies on higher Hida theory for Hilbert modular surfaces with Iwahori level at one prime above p. We construct p-adic Asai L-functions for cuspidal automorphic representations of GL2 / F, where F is a real quadratic field in which p splits. Our method relies on higher Hida theory for Hilbert modular surfaces with Iwahori level at one prime above p. △ Less

Submitted 27 May, 2024; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 30 pages. Revised (v3) to add more details on higher Hida theory

MSC Class: 11F41; 11F33; 11G18; 14G35

On $p$-adic $L$-functions for $\text{GSp}_4 \times \text{GL}_2$

Authors: David Loeffler, Óscar Rivero

Abstract: We use higher Coleman theory to construct a new $p$-adic $L$-function for $\text{GSp}_4 \times \text{GL}_2$. While previous works by the first author, Pilloni, Skinner and Zerbes had considered the $p$-adic variation of classes in the $H^2$ of Shimura varieties for $\text{GSp}_4$, in this note we explore the interpolation of classes in the $H^1$, which allows us to access to a different range of w… ▽ More We use higher Coleman theory to construct a new $p$-adic $L$-function for $\text{GSp}_4 \times \text{GL}_2$. While previous works by the first author, Pilloni, Skinner and Zerbes had considered the $p$-adic variation of classes in the $H^2$ of Shimura varieties for $\text{GSp}_4$, in this note we explore the interpolation of classes in the $H^1$, which allows us to access to a different range of weights. Further, we show an interpolation property in terms of complex $L$-values using the algebraicity results established in previous work by the authors. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Comments: 16 pages, comments welcome!

Algebraicity of $L$-values for $\text{GSp}_4 \times \text{GL}_2$ and $\text{GSp}_4 \times \text{GL}_2 \times \text{GL}_2$

Authors: David Loeffler, Óscar Rivero

Abstract: We prove algebraicity results for critical $L$-values attached to the group $\text{GSp}_4 \times \text{GL}_2$, and for Gan--Gross--Prasad periods which are conjecturally related to central $L$-values for $\text{GSp}_4 \times \text{GL}_2 \times \text{GL}_2$. Our result for $\text{GSp}_4 \times \text{GL}_2$ gives a new proof (by a very different method) of a recent result of Morimoto, and will be us… ▽ More We prove algebraicity results for critical $L$-values attached to the group $\text{GSp}_4 \times \text{GL}_2$, and for Gan--Gross--Prasad periods which are conjecturally related to central $L$-values for $\text{GSp}_4 \times \text{GL}_2 \times \text{GL}_2$. Our result for $\text{GSp}_4 \times \text{GL}_2$ gives a new proof (by a very different method) of a recent result of Morimoto, and will be used in a sequel paper to construct a new $p$-adic $L$-function for $\text{GSp}_4 \times \text{GL}_2$. The results for Gross--Prasad periods appear to be new. A key aspect is the computation of certain archimedean zeta integrals, whose $p$-adic counterparts are also studied in this note. △ Less

Submitted 4 May, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: References to Morimoto's work have been added

Plectic structures in p-adic de Rham cohomology

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: Given a Hilbert modular form for a totally real field $F$, and a prime $p$ split completely in $F$, the $f$-eigenspace in $p$-adic de Rham cohomology of the Hilbert modular variety has a family of partial filtrations and partial Frobenius maps, indexed by the primes of $F$ above $p$. The general plectic conjectures of Nekovar and Scholl suggest a "plectic comparison isomorphism" comparing these st… ▽ More Given a Hilbert modular form for a totally real field $F$, and a prime $p$ split completely in $F$, the $f$-eigenspace in $p$-adic de Rham cohomology of the Hilbert modular variety has a family of partial filtrations and partial Frobenius maps, indexed by the primes of $F$ above $p$. The general plectic conjectures of Nekovar and Scholl suggest a "plectic comparison isomorphism" comparing these structures to etale cohomology. We prove this conjecture in the case $[F : \mathbf{Q}] = 2$ under some mild assumptions; and for general $F$ we prove a weaker statement which is strong evidence for the conjecture, showing that plectic Hodge filtration has a canonical splitting given by intersecting with simultaneous eigenspaces for the partial Frobenii. (In memory of Jan Nekovar) △ Less

Submitted 10 November, 2023; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: Revised version with minor corrections. To appear in Journal of Number Theory

MSC Class: 11F46; 14G35

Machine learning for classifying and interpreting coherent X-ray speckle patterns

Authors: Mingren Shen, Dina Sheyfer, Troy David Loeffler, Subramanian K. R. S. Sankaranarayanan, G. Brian Stephenson, Maria K. Y. Chan, Dane Morgan

Abstract: Speckle patterns produced by coherent X-ray have a close relationship with the internal structure of materials but quantitative inversion of the relationship to determine structure from speckle patterns is challenging. Here, we investigate the link between coherent X-ray speckle patterns and sample structures using a model 2D disk system and explore the ability of machine learning to learn aspects… ▽ More Speckle patterns produced by coherent X-ray have a close relationship with the internal structure of materials but quantitative inversion of the relationship to determine structure from speckle patterns is challenging. Here, we investigate the link between coherent X-ray speckle patterns and sample structures using a model 2D disk system and explore the ability of machine learning to learn aspects of the relationship. Specifically, we train a deep neural network to classify the coherent X-ray speckle patterns according to the disk number density in the corresponding structure. It is demonstrated that the classification system is accurate for both non-disperse and disperse size distributions. △ Less

Submitted 1 September, 2023; v1 submitted 15 November, 2022; originally announced November 2022.

Eisenstein degeneration of Euler systems

Authors: David Loeffler, Óscar Rivero

Abstract: We discuss the theory of Coleman families interpolating critical-slope Eisenstein series. We apply it to study degeneration phenomena at the level of Euler systems. In particular, this allows us to prove relations between Kato elements, Beilinson--Flach classes and diagonal cycles, and also between Heegner cycles and elliptic units. We expect that this method could be extended to construct new ins… ▽ More We discuss the theory of Coleman families interpolating critical-slope Eisenstein series. We apply it to study degeneration phenomena at the level of Euler systems. In particular, this allows us to prove relations between Kato elements, Beilinson--Flach classes and diagonal cycles, and also between Heegner cycles and elliptic units. We expect that this method could be extended to construct new instances of Euler systems. △ Less

Submitted 14 February, 2024; v1 submitted 6 January, 2022; originally announced January 2022.

Comments: In this version, we have expanded some explanations and corrected minor inaccuracies

MSC Class: 11F80; 11F67

P-adic L-functions for GL(3)

Authors: David Loeffler, Chris Williams

Abstract: Let $Π$ be a regular algebraic cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{A}_{\mathbb{Q}})$. When $Π$ is $p$-ordinary for the maximal standard parabolic with Levi $\mathrm{GL}_1 \times \mathrm{GL}_2$, we construct a $p$-adic $L$-function for $Π$. More precisely, we construct a (single) bounded measure $L_p(Π)$ on $\mathbb{Z}_p^\times$ attached to $Π$, and show it interpolates al… ▽ More Let $Π$ be a regular algebraic cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{A}_{\mathbb{Q}})$. When $Π$ is $p$-ordinary for the maximal standard parabolic with Levi $\mathrm{GL}_1 \times \mathrm{GL}_2$, we construct a $p$-adic $L$-function for $Π$. More precisely, we construct a (single) bounded measure $L_p(Π)$ on $\mathbb{Z}_p^\times$ attached to $Π$, and show it interpolates all the critical values $L(Π\timesη,-j)$ at $p$ in the left-half of the critical strip for $Π$ (for varying $η$ and $j$). This proves conjectures of Coates--Perrin-Riou and Panchishkin in this case. Our construction uses the theory of spherical varieties to build a "Betti Euler system'', a norm-compatible system of classes in the Betti cohomology of a locally symmetric space for $\mathrm{GL}_3$. We work in arbitrary cohomological weight, allow arbitrary ramification at $p$ along the other maximal standard parabolic, and make no self-duality assumption. △ Less

Submitted 8 November, 2021; originally announced November 2021.

Comments: 36 pages; comments welcome!

MSC Class: 11F67; 11R23

On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: Let $A$ be a modular abelian surface over $Q$ which either has trivial geometric endomorphism ring, or arises as the restriction of scalars of an elliptic curve over an imaginary quadratic field which is modular and is not a $Q$-curve. In the former case, assume that there exists an odd Dirichlet character $χ$ such that $L(A,χ,1)\neq 0$. We prove the following implication: if $L(A, 1) \ne 0$, and… ▽ More Let $A$ be a modular abelian surface over $Q$ which either has trivial geometric endomorphism ring, or arises as the restriction of scalars of an elliptic curve over an imaginary quadratic field which is modular and is not a $Q$-curve. In the former case, assume that there exists an odd Dirichlet character $χ$ such that $L(A,χ,1)\neq 0$. We prove the following implication: if $L(A, 1) \ne 0$, and the $p$-adic eigenvariety for $GSp_4$ is smooth at the point corresponding to $A$ (and some auxiliary technical hypotheses hold), then $A(Q)$ is finite, as predicted by the Birch--Swinnerton-Dyer conjecture, and the $p$-part of the Tate--Shafarevich group is also finite. We also prove one inclusion of the cyclotomic Iwasawa Main Conjecture for $A$. Moreover, we also prove analogous results for cohomological automorphic representations of $GSp_4$, removing many of the restrictive hypotheses in our earlier work [2003.05960]; for cohomological representations we do not need to assume smoothness of the eigenvariety, since it is automatic in this case. The main ingredient in the proof is the Euler system attached to the spin representations of genus $2$ Siegel modular forms constructed in our earlier work with Skinner. △ Less

Submitted 13 July, 2023; v1 submitted 25 October, 2021; originally announced October 2021.

Comments: 23 pages. Updated to correct funding acknowledgements (content unchanged from previous version)

MSC Class: 11F46; 11G10; 14K15

Spherical varieties and p-adic families of cohomology classes

Authors: David Loeffler, Rob Rockwood, Sarah Livia Zerbes

Abstract: We prove a "twist-compatibility" result for p-adic families of cohomology classes associated to symmetric spaces. This shows that a single family of classes (lying in a finitely-generated Iwasawa module) interpolates classical cohomology classes of many different weights, including twists by Grössencharacters of possibly non-trivial infinity-type. This subsumes and generalises a number of prior re… ▽ More We prove a "twist-compatibility" result for p-adic families of cohomology classes associated to symmetric spaces. This shows that a single family of classes (lying in a finitely-generated Iwasawa module) interpolates classical cohomology classes of many different weights, including twists by Grössencharacters of possibly non-trivial infinity-type. This subsumes and generalises a number of prior results relating to Euler systems and p-adic L-functions, and we conclude with some novel applications to Euler systems for GSp(4), GSp(4) x GL(2), and GSp(4) x GL(2) x GL(2). △ Less

Submitted 12 April, 2023; v1 submitted 30 June, 2021; originally announced June 2021.

Comments: 20 pages. This revised version also includes a condensed account of the results of the second author's preprint "Derived control theorems for reductive groups" (arXiv:2105.13735), which is no longer intended for separate publication

MSC Class: 11F67; 11R23; 14M17

On some zeta-integrals for unramified representations of GSp(4)

Authors: David Loeffler

Abstract: This article is a companion to several works of the author and others on the arithmetic of automorphic forms for GSp(4), and their associated L-functions and Galois representations. These works require, at various points, an input from smooth representation theory over p-adic local fields: the computation of values of the unique trilinear form on an unramified representation of GSp(4) x GL(2) x GL… ▽ More This article is a companion to several works of the author and others on the arithmetic of automorphic forms for GSp(4), and their associated L-functions and Galois representations. These works require, at various points, an input from smooth representation theory over p-adic local fields: the computation of values of the unique trilinear form on an unramified representation of GSp(4) x GL(2) x GL(2) invariant under the diagonal GL(2) x GL(2), for various different input data. In this note, we carry out these local computations, using a general formula for Shintani functions due to Gejima. △ Less

Submitted 30 June, 2021; originally announced June 2021.

Comments: 14 pages

MSC Class: 22E50; 11F70

On the Bloch--Kato conjecture for GSp(4) x GL(2)

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We prove the Bloch--Kato conjecture for certain critical values of degree 8 $L$-functions associated to cusp forms on $\mathrm{GSp}_4 \times \mathrm{GL}_2$. We also construct a $p$-adic Eichler--Shimura isomorphism in Hida families for $\mathrm{GSp}_4$, relating $H^2$ of automorphic vector bundles with $\mathbf{D}_{\mathrm{cris}}$ of a subquotient of étale cohomology. We prove the Bloch--Kato conjecture for certain critical values of degree 8 $L$-functions associated to cusp forms on $\mathrm{GSp}_4 \times \mathrm{GL}_2$. We also construct a $p$-adic Eichler--Shimura isomorphism in Hida families for $\mathrm{GSp}_4$, relating $H^2$ of automorphic vector bundles with $\mathbf{D}_{\mathrm{cris}}$ of a subquotient of étale cohomology. △ Less

Submitted 1 July, 2021; v1 submitted 28 June, 2021; originally announced June 2021.

Comments: 30 pages. v2: updated references and acknowledgements

MSC Class: 11F46; 11F67; 11F80; 11R23

Learning with Delayed Rewards -- A case study on inverse defect design in 2D materials

Authors: Suvo Banik, Troy D Loeffler, Rohit Batra, Harpal Singh, Mathew Cherukara, Subramanian KRS Sankaranarayanan

Abstract: Defect dynamics in materials are of central importance to a broad range of technologies from catalysis to energy storage systems to microelectronics. Material functionality depends strongly on the nature and organization of defects, their arrangements often involve intermediate or transient states that present a high barrier for transformation. The lack of knowledge of these intermediate states an… ▽ More Defect dynamics in materials are of central importance to a broad range of technologies from catalysis to energy storage systems to microelectronics. Material functionality depends strongly on the nature and organization of defects, their arrangements often involve intermediate or transient states that present a high barrier for transformation. The lack of knowledge of these intermediate states and the presence of this energy barrier presents a serious challenge for inverse defect design, especially for gradient-based approaches. Here, we present a reinforcement learning (Monte Carlo Tree Search) based on delayed rewards that allow for efficient search of the defect configurational space and allows us to identify optimal defect arrangements in low dimensional materials. Using a representative case of 2D MoS2, we demonstrate that the use of delayed rewards allows us to efficiently sample the defect configurational space and overcome the energy barrier for a wide range of defect concentrations (from 1.5% to 8% S vacancies), the system evolves from an initial randomly distributed S vacancies to one with extended S line defects consistent with previous experimental studies. Detailed analysis in the feature space allows us to identify the optimal pathways for this defect transformation and arrangement. Comparison with other global optimization schemes like genetic algorithms suggests that the MCTS with delayed rewards takes fewer evaluations and arrives at a better quality of the solution. The implications of the various sampled defect configurations on the 2H to 1T phase transitions in MoS2 are discussed. Overall, we introduce a Reinforcement Learning (RL) strategy employing delayed rewards that can accelerate the inverse design of defects in materials for achieving targeted functionality. △ Less

Submitted 19 June, 2021; originally announced June 2021.

Journal ref: ACS Applied Materials & Interfaces,2021

Experiencing Utopia. A Positive Approach to Design Fiction

Authors: Judith Dörrenbächer, Matthias Laschke, Diana Löffler, Ronda Ringfort, Sabrina Großkopp, Marc Hassenzahl

Abstract: Design Fiction is known for its provocative and often dystopian speculations about the future. In this paper, we present an alternative approach that focuses primarily on the positive. We propose to imagine, enact, and evaluate utopia with participants. By doing so, we react to four main critiques concerning Design Fiction: (1) its negativity, (2) its contextlessness, (3) its elitist authorship, a… ▽ More Design Fiction is known for its provocative and often dystopian speculations about the future. In this paper, we present an alternative approach that focuses primarily on the positive. We propose to imagine, enact, and evaluate utopia with participants. By doing so, we react to four main critiques concerning Design Fiction: (1) its negativity, (2) its contextlessness, (3) its elitist authorship, and (4) its missing evaluation methods. △ Less

Submitted 21 May, 2021; originally announced May 2021.

Comments: 6 pages

ACM Class: H.4.m

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Authors: Alessandro Arlandini, David Loeffler

Abstract: Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$, denoted $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square… ▽ More Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$, denoted $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. It is in fact uniquely determined by its interpolation properties. We also prove that the function $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$ satisfies a functional equation. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the self-convolution of $F$, as the product of $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case. Using Beilinson-Flach classes constructed by Kings, Zerbes and the second author we construct motivic cohomology classes $b_f$, and prove that, under some hypotheses, they differ by a scalar factor from the higher cyclotomic classes constructed by Beilinson. Using this relation, we prove the interpolation formulae for $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$ and the factorisation formula. △ Less

Submitted 30 March, 2021; originally announced March 2021.

Comments: 90 pages

MSC Class: 11F67 (Primary); 19F27 (Secondary)

Gross--Prasad periods for reducible representations

Authors: David Loeffler

Abstract: We study GL_2(F)-invariant periods on representations of GL_2(A), where F is a nonarchimedean local field and A/F a product of field extensions of total degree 3. For irreducible representations, a theorem of Prasad shows that the space of such periods has dimension at most 1, and is non-zero when a certain epsilon-factor condition holds. We give an extension of this result to a certain class of r… ▽ More We study GL_2(F)-invariant periods on representations of GL_2(A), where F is a nonarchimedean local field and A/F a product of field extensions of total degree 3. For irreducible representations, a theorem of Prasad shows that the space of such periods has dimension at most 1, and is non-zero when a certain epsilon-factor condition holds. We give an extension of this result to a certain class of reducible representations (of Whittaker type), extending results of Harris--Scholl when A is the split algebra F x F x F. △ Less

Submitted 23 July, 2021; v1 submitted 26 March, 2021; originally announced March 2021.

Comments: Revised version, to appear in Forum Mathematicum

MSC Class: 22E50

Journal ref: Forum Mathematicum 33 (2021), no. 5

On local zeta-integrals for GSp(4) and GSp(4) x GL(2)

Authors: David Loeffler

Abstract: We prove that Novodvorsky's definition of local L-factors for generic representations of GSp(4) x GL(2) is compatible with the local Langlands correspondence when the GL(2) representation is non-supercuspidal. We also give an interpretation in terms of Langlands parameters of the "exceptional" poles of the GSp(4) x GL(2) L-factor, and of the "subregular" poles of the GSp(4) L-factor studied in rec… ▽ More We prove that Novodvorsky's definition of local L-factors for generic representations of GSp(4) x GL(2) is compatible with the local Langlands correspondence when the GL(2) representation is non-supercuspidal. We also give an interpretation in terms of Langlands parameters of the "exceptional" poles of the GSp(4) x GL(2) L-factor, and of the "subregular" poles of the GSp(4) L-factor studied in recent work of Roesner and Weissauer. △ Less

Submitted 22 November, 2023; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: Revised version, to appear in New York J. Math

MSC Class: 22E50; 11F70

Journal ref: New York J Math 30 (2024), 1-23

On p-adic regulators for GSp(4) x GL(2) and GSp(4) x GL(2) x GL(2)

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We compute the images of motivic cohomology classes for GSp(4) x GL(2) and GSp(4) x GL(2) x GL(2) under the syntomic regulator, and relate them to non-critical values of p-adic L-functions. We compute the images of motivic cohomology classes for GSp(4) x GL(2) and GSp(4) x GL(2) x GL(2) under the syntomic regulator, and relate them to non-critical values of p-adic L-functions. △ Less

Submitted 1 July, 2021; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: v2: updates to references, acknowledgements

MSC Class: 11F46; 11F67; 11F80; 11R23

P-adic L-functions and diagonal cycles for GSp(4) x GL(2) x GL(2)

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We develop a (largely conjectural) theory of p-adic L-functions interpolating square roots of central L-values for automorphic forms on GSp(4) x GL(2) x GL(2), and a relation between these p-adic L-functions and families of Galois cohomology classes interpolating algebraic cycles. Our theory is a generalisation of the theory of "diagonal cycles" developed by Darmon and Rotger for the GL(2) triple… ▽ More We develop a (largely conjectural) theory of p-adic L-functions interpolating square roots of central L-values for automorphic forms on GSp(4) x GL(2) x GL(2), and a relation between these p-adic L-functions and families of Galois cohomology classes interpolating algebraic cycles. Our theory is a generalisation of the theory of "diagonal cycles" developed by Darmon and Rotger for the GL(2) triple product. △ Less

Submitted 1 July, 2021; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: 24 pages. v2: minor updates to references and acknowledgements

MSC Class: 11F46; 11F67; 11F80; 11R23

An Euler system for GU(2, 1)

Authors: David Loeffler, Christopher Skinner, Sarah Livia Zerbes

Abstract: We construct an Euler system associated to regular algebraic, essentially conjugate self-dual cuspidal automorphic representations of GL(3) over imaginary quadratic fields, using the cohomology of Shimura varieties for GU(2, 1). We construct an Euler system associated to regular algebraic, essentially conjugate self-dual cuspidal automorphic representations of GL(3) over imaginary quadratic fields, using the cohomology of Shimura varieties for GU(2, 1). △ Less

Submitted 15 June, 2021; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 33 pages. Accepted to appear in "Mathematische Annalen"

MSC Class: 11F67; 11F80; 11R23

Journal ref: Math. Annalen 382 (2022), 1091-1141

Iwasawa theory for quadratic Hilbert modular forms

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We study the Iwasawa main conjecture for quadratic Hilbert modular forms over the p-cyclotomic tower. Using an Euler system in the cohomology of Siegel modular varieties, we prove the "Kato divisibility" of the Iwasawa main conjecture under certain technical hypotheses. By comparing this result with the opposite divisibility due to Wan, we obtain the full Main Conjecture over the cyclotomic Zp-ext… ▽ More We study the Iwasawa main conjecture for quadratic Hilbert modular forms over the p-cyclotomic tower. Using an Euler system in the cohomology of Siegel modular varieties, we prove the "Kato divisibility" of the Iwasawa main conjecture under certain technical hypotheses. By comparing this result with the opposite divisibility due to Wan, we obtain the full Main Conjecture over the cyclotomic Zp-extension. As a consequence, we prove new cases of the Bloch--Kato conjecture for quadratic Hilbert modular forms, and of the equivariant Birch--Swinnerton-Dyer conjecture in analytic rank 0 for elliptic curves over real quadratic fields twisted by Dirichlet characters. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 37 pages

Combinatorial Black-Box Optimization with Expert Advice

Authors: Hamid Dadkhahi, Karthikeyan Shanmugam, Jesus Rios, Payel Das, Samuel Hoffman, Troy David Loeffler, Subramanian Sankaranarayanan

Abstract: We consider the problem of black-box function optimization over the boolean hypercube. Despite the vast literature on black-box function optimization over continuous domains, not much attention has been paid to learning models for optimization over combinatorial domains until recently. However, the computational complexity of the recently devised algorithms are prohibitive even for moderate number… ▽ More We consider the problem of black-box function optimization over the boolean hypercube. Despite the vast literature on black-box function optimization over continuous domains, not much attention has been paid to learning models for optimization over combinatorial domains until recently. However, the computational complexity of the recently devised algorithms are prohibitive even for moderate numbers of variables; drawing one sample using the existing algorithms is more expensive than a function evaluation for many black-box functions of interest. To address this problem, we propose a computationally efficient model learning algorithm based on multilinear polynomials and exponential weight updates. In the proposed algorithm, we alternate between simulated annealing with respect to the current polynomial representation and updating the weights using monomial experts' advice. Numerical experiments on various datasets in both unconstrained and sum-constrained boolean optimization indicate the competitive performance of the proposed algorithm, while improving the computational time up to several orders of magnitude compared to state-of-the-art algorithms in the literature. △ Less

Submitted 13 October, 2020; v1 submitted 6 June, 2020; originally announced June 2020.

Journal ref: KDD 2020

Active Learning A Neural Network Model For Gold Clusters \& Bulk From Sparse First Principles Training Data

Authors: Troy D Loeffler, Sukriti Manna, Tarak K Patra, Henry Chan, Badri Narayanan, Subramanian Sankaranarayanan

Abstract: Small metal clusters are of fundamental scientific interest and of tremendous significance in catalysis. These nanoscale clusters display diverse geometries and structural motifs depending on the cluster size; a knowledge of this size-dependent structural motifs and their dynamical evolution has been of longstanding interest. Classical MD typically employ predefined functional forms which limits t… ▽ More Small metal clusters are of fundamental scientific interest and of tremendous significance in catalysis. These nanoscale clusters display diverse geometries and structural motifs depending on the cluster size; a knowledge of this size-dependent structural motifs and their dynamical evolution has been of longstanding interest. Classical MD typically employ predefined functional forms which limits their ability to capture such complex size-dependent structural and dynamical transformation. Neural Network (NN) based potentials represent flexible alternatives and in principle, well-trained NN potentials can provide high level of flexibility, transferability and accuracy on-par with the reference model used for training. A major challenge, however, is that NN models are interpolative and requires large quantities of training data to ensure that the model adequately samples the energy landscape both near and far-from-equilibrium. Here, we introduce an active learning (AL) scheme that trains a NN model on-the-fly with minimal amount of first-principles based training data. Our AL workflow is initiated with a sparse training dataset (1 to 5 data points) and is updated on-the-fly via a Nested Ensemble Monte Carlo scheme that iteratively queries the energy landscape in regions of failure and updates the training pool to improve the network performance. Using a representative system of gold clusters, we demonstrate that our AL workflow can train a NN with ~500 total reference calculations. Our NN predictions are within 30 meV/atom and 40 meV/Åof the reference DFT calculations. Moreover, our AL-NN model also adequately captures the various size-dependent structural and dynamical properties of gold clusters in excellent agreement with DFT calculations and available experiments. △ Less

Submitted 5 June, 2020; originally announced June 2020.

Accelerating Copolymer Inverse Design using AI Gaming algorithm

Authors: Tarak K Patra, Troy D. Loeffler, Subramanian K R S Sankaranarayanan

Abstract: There exists a broad class of sequencing problems, for example, in proteins and polymers that can be formulated as a heuristic search algorithm that involve decision making akin to a computer game. AI gaming algorithms such as Monte Carlo tree search (MCTS) gained prominence after their exemplary performance in the computer Go game and are decision trees aimed at identifying the path (moves) that… ▽ More There exists a broad class of sequencing problems, for example, in proteins and polymers that can be formulated as a heuristic search algorithm that involve decision making akin to a computer game. AI gaming algorithms such as Monte Carlo tree search (MCTS) gained prominence after their exemplary performance in the computer Go game and are decision trees aimed at identifying the path (moves) that should be taken by the policy to reach the final winning or optimal solution. Major challenges in inverse sequencing problems are that the materials search space is extremely vast and property evaluation for each sequence is computationally demanding. Reaching an optimal solution by minimizing the total number of evaluations in a given design cycle is therefore highly desirable. We demonstrate that one can adopt this approach for solving the sequencing problem by develo** and growing a decision tree, where each node in the tree is a candidate sequence whose fitness is directly evaluated by molecular simulations. We interface MCTS with MD simulations and use a representative example of designing a copolymer compatibilizer, where the goal is to identify sequence specific copolymers that lead to zero interfacial energy between two immiscible homopolymers. We apply the MCTS algorithm to polymer chain lengths varying from 10-mer to 30-mer, wherein the overall search space varies from 210 (1024) to 230 (~1 billion). In each case, we identify a target sequence that leads to zero interfacial energy within a few hundred evaluations demonstrating the scalability and efficiency of MCTS in exploring practical materials design problems with exceedingly vast chemical/material search space. Our MCTS-MD framework can be easily extended to several other polymer and protein inverse design problems, in particular, for cases where sequence-property data is either unavailable and/or is resource intensive. △ Less

Submitted 1 June, 2020; originally announced June 2020.

On the Bloch--Kato conjecture for the symmetric cube

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We prove one inclusion of the Iwasawa Main Conjecture, and the Bloch-Kato conjecture in analytic rank 0, for the symmetric cube of a level 1 modular form. We prove one inclusion of the Iwasawa Main Conjecture, and the Bloch-Kato conjecture in analytic rank 0, for the symmetric cube of a level 1 modular form. △ Less

Submitted 19 February, 2021; v1 submitted 10 May, 2020; originally announced May 2020.

Comments: 3 pages. Revised version, to appear in J Eur Math Soc

MSC Class: 11F03; 11F46; 11F67; 11F80

Journal ref: J. Eur. Math. Soc. 25 (2023), no. 8, 3359-3363

Using Experimental Vignettes to Study Early-Stage Automation Adoption

Authors: Sarah Janboecke, Diana Loeffler, Marc Hassenzahl

Abstract: When discussing the future of work and in detail the concerns of workers within and beyond established workplace settings, technology-wise we act on rather new ground. Especially preserving a meaningful work environment gains new importance when introducing disruptive technologies. We sometimes do not even have the technology which effects we are willing to discuss. To measure implications for emp… ▽ More When discussing the future of work and in detail the concerns of workers within and beyond established workplace settings, technology-wise we act on rather new ground. Especially preserving a meaningful work environment gains new importance when introducing disruptive technologies. We sometimes do not even have the technology which effects we are willing to discuss. To measure implications for employees and thus create meaningful design variants we need to test systems and their effects before develo** them. Confronted with the same problem we used the experimental vignette method to study the effects of AI use in work contexts. During the workshop, we will report our experiences. △ Less

Submitted 14 April, 2020; originally announced April 2020.

Comments: 5 pages to be published in Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems

P-adic L-functions in universal deformation families

Authors: David Loeffler

Abstract: We construct examples of p-adic L-functions over universal deformation spaces for GL(2). We formulate a conjecture predicting that the natural parameter spaces for p-adic L-functions are not the usual eigenvarieties (parametrising nearly-ordinary families of automorphic representations), but other, larger spaces depending on a choice of a parabolic subgroup, which we call "big parabolic eigenvarie… ▽ More We construct examples of p-adic L-functions over universal deformation spaces for GL(2). We formulate a conjecture predicting that the natural parameter spaces for p-adic L-functions are not the usual eigenvarieties (parametrising nearly-ordinary families of automorphic representations), but other, larger spaces depending on a choice of a parabolic subgroup, which we call "big parabolic eigenvarieties". △ Less

Submitted 6 January, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 14 pages. Updated based on recent results of Y. Ding and K. Nakamura

MSC Class: 11F67; 11F33

Journal ref: Ann. Math. Quebec 47 (2023), no. 1, 117-137

Ultrafast formation of transient 2D diamond-like structure in twisted bilayer graphene

Authors: Duan Luo, Dandan Hui, Bin Wen, Renkai Li, Jie Yang, Xiaozhe Shen, Alex Hume Reid, Stephen Weathersby, Michael E. Kozina, Suji Park, Yang Ren, Troy D. Loeffler, S. K. R. S. Sankaranarayanan, Maria K. Y. Chan, Xing Wang, **shou Tian, Ilke Arslan, Xijie Wang, Tijana Rajh, Jianguo Wen

Abstract: Due to the absence of matching carbon atoms at honeycomb centers with carbon atoms in adjacent graphene sheets, theorists predicted that a sliding process is needed to form AA, AB, or ABC stacking when directly converting graphite into sp3 bonded diamond. Here, using twisted bilayer graphene, which naturally provides AA and AB stacking configurations, we report the ultrafast formation of a transie… ▽ More Due to the absence of matching carbon atoms at honeycomb centers with carbon atoms in adjacent graphene sheets, theorists predicted that a sliding process is needed to form AA, AB, or ABC stacking when directly converting graphite into sp3 bonded diamond. Here, using twisted bilayer graphene, which naturally provides AA and AB stacking configurations, we report the ultrafast formation of a transient 2D diamond-like structure (which is not observed in aligned graphene) under femtosecond laser irradiation. This photo-induced phase transition is evidenced by the appearance of new bond lengths of 1.94A and 3.14A in the time-dependent differential pair distribution function using MeV ultrafast electron diffraction. Molecular dynamics and first principles calculation indicate that sp3 bonds nucleate at AA and AB stacked areas in moire pattern. This work sheds light on the direct graphite-to-diamond transformation mechanism, which has not been fully understood for more than 60 years. △ Less

Submitted 1 December, 2021; v1 submitted 18 March, 2020; originally announced March 2020.

Journal ref: Phys. Rev. B 102, 155431 (2020)

On the Bloch-Kato conjecture for GSp(4)

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists. We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists. △ Less

Submitted 12 March, 2020; originally announced March 2020.

MSC Class: 11F46; 11F67; 11F80; 11R23

BLAST: Bridging Length/time scales via Atomistic Simulation Toolkit

Authors: Henry Chan, Badri Narayanan, Mathew Cherukara, Troy D. Loeffler, Michael G. Sternberg, Anthony Avarca, Subramanian K. R. S. Sankaranarayanan

Abstract: The ever-increasing power of supercomputers coupled with highly scalable simulation codes have made molecular dynamics an indispensable tool in applications ranging from predictive modeling of materials to computational design and discovery of new materials for a broad range of applications. Multi-fidelity scale bridging between the various flavors of molecular dynamics i.e. ab-initio, classical a… ▽ More The ever-increasing power of supercomputers coupled with highly scalable simulation codes have made molecular dynamics an indispensable tool in applications ranging from predictive modeling of materials to computational design and discovery of new materials for a broad range of applications. Multi-fidelity scale bridging between the various flavors of molecular dynamics i.e. ab-initio, classical and coarse-grained models has remained a long-standing challenge. Here, we introduce our framework BLAST (Bridging Length/time scales via Atomistic Simulation Toolkit) that leverages machine learning principles to address this challenge. BLAST is a multi-fidelity scale bridging framework that provide users with the capabilities to train and develop their own classical atomistic and coarse-grained interatomic potentials (force fields) for molecular simulations. BLAST is designed to address several long-standing problems in the molecular simulations community, such as unintended misuse of existing force fields due to knowledge gap between developers and users, bottlenecks in traditional force field development approaches, and other issues relating to the accuracy, efficiency, and transferability of force fields. Here, we discuss several important aspects in force field development and highlight features in BLAST that enable its functionalities and ease of use. △ Less

Submitted 21 February, 2020; originally announced February 2020.

A coarse-grained deep neural network model for liquid water

Authors: Tarak K Patra, Troy D. Loeffler, Henry Chan, Mathew J. Cherukara, Badri Narayanan, Subramanian K. R. S. Sankaranarayanan

Abstract: We introduce a coarse-grained deep neural network model (CG-DNN) for liquid water that utilizes 50 rotational and translational invariant coordinates, and is trained exclusively against energies of ~30,000 bulk water configurations. Our CG-DNN potential accurately predicts both the energies and molecular forces of water; within 0.9 meV/molecule and 54 meV/angstrom of a reference (coarse-grained bo… ▽ More We introduce a coarse-grained deep neural network model (CG-DNN) for liquid water that utilizes 50 rotational and translational invariant coordinates, and is trained exclusively against energies of ~30,000 bulk water configurations. Our CG-DNN potential accurately predicts both the energies and molecular forces of water; within 0.9 meV/molecule and 54 meV/angstrom of a reference (coarse-grained bond-order potential) model. The CG-DNN water model also provides good prediction of several structural, thermodynamic, and temperature dependent properties of liquid water, with values close to that obtained from the reference model. More importantly, CG-DNN captures the well-known density anomaly of liquid water observed in experiments. Our work lays the groundwork for a scheme where existing empirical water models can be utilized to develop fully flexible neural network framework that can subsequently be trained against sparse data from high-fidelity albeit expensive beyond-DFT calculations. △ Less

Submitted 14 October, 2019; v1 submitted 1 October, 2019; originally announced October 2019.

Active Learning the Coarse-Grained Energy Landscape For Water Clusters From Sparse Training Data

Authors: Troy D. Loeffler, Tarak K. Patra, Henry Chan, Mathew Cherukara, Subramanian K. R. S. Sankaranarayanan

Abstract: ANNs are currently trained by generating large quantities (On the order of $10^{4}$ or greater) of structural data in hopes that the ANN has adequately sampled the energy landscape both near and far-from-equilibrium. This can, however, be a bit prohibitive when it comes to more accurate levels of quantum theory. As such it is desirable to train a model using the absolute minimal data set possible,… ▽ More ANNs are currently trained by generating large quantities (On the order of $10^{4}$ or greater) of structural data in hopes that the ANN has adequately sampled the energy landscape both near and far-from-equilibrium. This can, however, be a bit prohibitive when it comes to more accurate levels of quantum theory. As such it is desirable to train a model using the absolute minimal data set possible, especially when costs of high-fidelity calculations such as CCSD and QMC are high. Here, we present an Active Learning approach that iteratively trains an ANN model to faithfully replicate the coarse-grained energy surface of water clusters using only 426 total structures in its training data. Our active learning workflow starts with a sparse training dataset which is continually updated via a Monte Carlo scheme that sparsely queries the energy landscape and tests the network performance. Next, the network is retrained with an updated training set that includes failed configurations/energies from previous iteration until convergence is attained. Once trained, we generate an extensive test set of ~100,000 configurations sampled across clusters ranging from 1 to 200 molecules and demonstrate that the trained network adequately reproduces the energies (within mean absolute error (MAE) of ~ 2 meV/molecule) and forces (MAE ~ 40 meV/{Å}) compared to the reference model. More importantly, the trained ANN model also accurately captures both the structure as well as the free energy as a function of the various cluster sizes. Overall, this study reports a new active learning scheme with promising strategy to develop accurate force-fields for molecular simulations using extremely sparse training data sets. △ Less

Submitted 2 November, 2019; v1 submitted 25 September, 2019; originally announced September 2019.

Spherical varieties and norm relations in Iwasawa theory

Authors: David Loeffler

Abstract: Norm-compatible families of cohomology classes for Shimura varieties, and other arithmetic symmetric spaces, play an important role in Iwasawa theory of automorphic forms. The aim of this note is to give a systematic approach to proving "vertical" norm-compatibility relations for such classes (where the level varies at a fixed prime p), treating the case of Betti and étale cohomology at once, and… ▽ More Norm-compatible families of cohomology classes for Shimura varieties, and other arithmetic symmetric spaces, play an important role in Iwasawa theory of automorphic forms. The aim of this note is to give a systematic approach to proving "vertical" norm-compatibility relations for such classes (where the level varies at a fixed prime p), treating the case of Betti and étale cohomology at once, and revealing an unexpected relation to the theory of spherical varieties. This machinery can be used to construct many new examples of norm-compatible families, potentially giving rise to new constructions of both Euler systems and p-adic L-functions: examples include families of algebraic cycles on Shimura varieties for U(n) x U(n+1) and U(2n) over the p-adic anticyclotomic tower. △ Less

Submitted 28 March, 2020; v1 submitted 22 September, 2019; originally announced September 2019.

Comments: 19 pages. Revised and corrected version, to appear in J Theor. Nombres Bordeaux (Iwasawa 2019 special issue)

MSC Class: 11F67; 11R23; 14M17

Journal ref: J. Th. Nombres de Bordeaux, vol 33 (2021), no. 3.2, pp. 1021-1043

Heegner points in Coleman families

Authors: Dimitar Jetchev, David Loeffler, Sarah Livia Zerbes

Abstract: We construct two-parameter analytic families of Galois cohomology classes interpolating the etale Abel--Jacobi images of generalised Heegner cycles, with both the modular form and Grossencharacter varying in p-adic families. We construct two-parameter analytic families of Galois cohomology classes interpolating the etale Abel--Jacobi images of generalised Heegner cycles, with both the modular form and Grossencharacter varying in p-adic families. △ Less

Submitted 18 May, 2020; v1 submitted 21 June, 2019; originally announced June 2019.

Comments: 23 pages. Revised version, to appear in Proc. London Math. Soc

MSC Class: 11F67; 11F80

Journal ref: Proc. London Math. Soc. 122 (2021), no. 1, 124--152

Higher Hida theory and p-adic L-functions for GSp(4)

Authors: David Loeffler, Vincent Pilloni, Christopher Skinner, Sarah Livia Zerbes

Abstract: We use the "higher Hida theory" recently introduced by the second author to p-adically interpolate periods of non-holomorphic automorphic forms for GSp(4), contributing to coherent cohomology of Siegel threefolds in positive degrees. We apply this new method to construct p-adic L-functions associated to the degree 4 (spin) L-function of automorphic representations of GSp(4), and the degree 8 L-fun… ▽ More We use the "higher Hida theory" recently introduced by the second author to p-adically interpolate periods of non-holomorphic automorphic forms for GSp(4), contributing to coherent cohomology of Siegel threefolds in positive degrees. We apply this new method to construct p-adic L-functions associated to the degree 4 (spin) L-function of automorphic representations of GSp(4), and the degree 8 L-function of GSp(4) x GL(2). △ Less

Submitted 28 January, 2022; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: Final version, now published in "Duke Math Journal"

MSC Class: 11F46; 11F67; 11R23

Journal ref: Duke Math. J. 170 (2021), no. 18, 4033-4121

P-adic Asai L-functions of Bianchi modular forms

Authors: David Loeffler, Chris Williams

Abstract: The Asai (or twisted tensor) $L$-function of a Bianchi modular form $Ψ$ is the $L$-function attached to the tensor induction to $\mathbb{Q}$ of its associated Galois representation. In this paper, when $Ψ$ is ordinary at $p$ we construct a $p$-adic analogue of this $L$-function: that is, a $p$-adic measure on $\mathbb{Z}_p^\times$ that interpolates the critical values of the Asai $L$-function twis… ▽ More The Asai (or twisted tensor) $L$-function of a Bianchi modular form $Ψ$ is the $L$-function attached to the tensor induction to $\mathbb{Q}$ of its associated Galois representation. In this paper, when $Ψ$ is ordinary at $p$ we construct a $p$-adic analogue of this $L$-function: that is, a $p$-adic measure on $\mathbb{Z}_p^\times$ that interpolates the critical values of the Asai $L$-function twisted by Dirichlet characters of $p$-power conductor. The construction uses techniques analogous to those used by Lei, Zerbes and the first author in order to construct an Euler system attached to the Asai representation of a quadratic Hilbert modular form. △ Less

Submitted 23 March, 2020; v1 submitted 22 February, 2018; originally announced February 2018.

Comments: Final version, to appear in Algebra & Number Theory

MSC Class: 11F41; 11F67

Journal ref: Alg. Number Th. 14 (2020) 1669-1710

Iwasawa theory for Rankin--Selberg products of $p$-non-ordinary eigenforms

Authors: Kazim Büyükboduk, Antonio Lei, David Loeffler, Guhan Venkat

Abstract: Let $f$ and $g$ be two modular forms which are non-ordinary at $p$. The theory of Beilinson-Flach elements gives rise to four rank-one non-integral Euler systems for the Rankin-Selberg convolution $f \otimes g$, one for each choice of $p$-stabilisations of $f$ and $g$. We prove (modulo a hypothesis on non-vanishing of $p$-adic $L$-fuctions) that the $p$-parts of these four objects arise as the ima… ▽ More Let $f$ and $g$ be two modular forms which are non-ordinary at $p$. The theory of Beilinson-Flach elements gives rise to four rank-one non-integral Euler systems for the Rankin-Selberg convolution $f \otimes g$, one for each choice of $p$-stabilisations of $f$ and $g$. We prove (modulo a hypothesis on non-vanishing of $p$-adic $L$-fuctions) that the $p$-parts of these four objects arise as the images under appropriate projection maps of a single class in the wedge square of Iwasawa cohomology, confirming a conjecture of Lei-Loeffler-Zerbes. Furthermore, we define an explicit logarithmic matrix using the theory of Wach modules, and show that this describes the growth of the Euler systems and $p$-adic $L$-functions associated to $f \otimes g$ in the cyclotomic tower. This allows us to formulate "signed" Iwasawa main conjectures for $f\otimes g$ in the spirit of Kobayashi's $\pm$-Iwasawa theory for supersingular elliptic curves; and we prove one inclusion in these conjectures under our running hypotheses. △ Less

Submitted 13 September, 2018; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: We have expanded the introduction and corrected a few minor imprecisions

MSC Class: 11R23 (primary); 11F11; 11R20 (secondary)

Journal ref: Alg. Number Th. 13 (2019) 901-941

Euler systems with local conditions

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: Euler systems are certain compatible families of cohomology classes, which play a key role in studying the arithmetic of Galois representations. We briefly survey the known Euler systems, and recall a standard conjecture of Perrin-Riou predicting what kind of Euler system one should expect for a general Galois representation. Surprisingly, several recent constructions of Euler systems do not seem… ▽ More Euler systems are certain compatible families of cohomology classes, which play a key role in studying the arithmetic of Galois representations. We briefly survey the known Euler systems, and recall a standard conjecture of Perrin-Riou predicting what kind of Euler system one should expect for a general Galois representation. Surprisingly, several recent constructions of Euler systems do not seem to fit the predictions of this conjecture, and we formulate a more general conjecture which explains these extra objects. The novel aspect of our conjecture is that it predicts that there should often be Euler systems of several different ranks associated to a given Galois representation, and we describe how we expect these objects to be related. △ Less

Submitted 7 January, 2019; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: Expository article, 13 pages. To appear in proceedings of the Iwasawa 2017 conference

MSC Class: 11R23; 11F80

Journal ref: In: "Development of Iwasawa Theory -- the Centennial of K. Iwasawa's Birth" (M. Kurihara et al, eds), vol. 86 of Adv. Stud. Pure Math., Math. Soc. Japan, 2020, 1--26

Euler systems for GSp(4)

Authors: David Loeffler, Chris Skinner, Sarah Livia Zerbes

Abstract: We construct an Euler system for Galois representations associated to cohomological cuspidal automorphic representations of the group GSp(4), using the pushforwards of Eisenstein classes for GL(2) x GL(2). We construct an Euler system for Galois representations associated to cohomological cuspidal automorphic representations of the group GSp(4), using the pushforwards of Eisenstein classes for GL(2) x GL(2). △ Less

Submitted 26 January, 2021; v1 submitted 1 June, 2017; originally announced June 2017.

Comments: 41 pages. To appear in "Journal of the European Mathematical Society" (see https://www.ems-ph.org/journals/forthcoming.php?jrn=jems )

MSC Class: 11F46; 11F67; 11F80; 11R23

Journal ref: J. Eur. Math. Soc. 24 (2022), no. 2, 669-733

A note on p-adic Rankin--Selberg L-functions

Authors: David Loeffler

Abstract: We prove an interpolation formula for the values of certain $p$-adic Rankin--Selberg $L$-functions associated to non-ordinary modular forms. We prove an interpolation formula for the values of certain $p$-adic Rankin--Selberg $L$-functions associated to non-ordinary modular forms. △ Less

Submitted 18 July, 2017; v1 submitted 13 April, 2017; originally announced April 2017.

Comments: Updated version, with minor corrections. To appear in Canad. Math. Bulletin

MSC Class: 11F85; 11F67; 11G40; 14G35

Journal ref: Canad. Math. Bull. 61 (2018), 608-621

Non-paritious Hilbert modular forms

Authors: Lassina Dembele, David Loeffler, Ariel Pacetti

Abstract: The arithmetic of Hilbert modular forms has been extensively studied under the assumption that the forms concerned are "paritious" -- all the components of the weight are congruent modulo 2. In contrast, non-paritious Hilbert modular forms have been relatively little studied, both from a theoretical and a computational standpoint. In this article, we aim to redress the balance somewhat by studyi… ▽ More The arithmetic of Hilbert modular forms has been extensively studied under the assumption that the forms concerned are "paritious" -- all the components of the weight are congruent modulo 2. In contrast, non-paritious Hilbert modular forms have been relatively little studied, both from a theoretical and a computational standpoint. In this article, we aim to redress the balance somewhat by studying the arithmetic of non-paritious Hilbert modular eigenforms. On the theoretical side, our starting point is a theorem of Patrikis, which associates projective l-adic Galois representations to these forms. We show that a general conjecture of Buzzard and Gee actually predicts that a strengthening of Patrikis' result should hold, giving Galois representations into certain groups intermediate between GL(2) and PGL(2), and we verify that the predicted Galois representations do indeed exist. On the computational side, we give an algorithm to compute non-paritious Hilbert modular forms using definite quaternion algebras. To our knowledge, this is the first time such a general method has been presented. We end the article with a selection of examples. △ Less

Submitted 10 December, 2018; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: Final version, to appear in Math Zeitschrift

MSC Class: 11F41; 11F80

Journal ref: Math. Zeit. 292 (2019), no. 1, 361--385

Syntomic regulators of Asai--Flach classes

Authors: David Loeffler, Christopher Skinner, Sarah Livia Zerbes

Abstract: In this paper, we derive a formula for the p-adic syntomic regulators of Asai--Flach classes. These are cohomology classes forming an Euler system associated to a Hilbert modular form over a quadratic field, introduced in an earlier paper (arXiv:1607.07813) by Antonio Lei and the first and third authors. The formula we develop here is expressed in terms of differential operators acting on overconv… ▽ More In this paper, we derive a formula for the p-adic syntomic regulators of Asai--Flach classes. These are cohomology classes forming an Euler system associated to a Hilbert modular form over a quadratic field, introduced in an earlier paper (arXiv:1607.07813) by Antonio Lei and the first and third authors. The formula we develop here is expressed in terms of differential operators acting on overconvergent Hilbert modular forms; it is analogous to existing formulae for the regulators of Beilinson--Flach classes, but a novel feature is the appearance of a projection operator associated to a critical-slope Eisenstein series. We conclude the paper with numerical calculations giving strong evidence for the non-vanishing of these regulators in an explicit example. △ Less

Submitted 16 October, 2017; v1 submitted 22 August, 2016; originally announced August 2016.

Comments: Revised version: strengthened main theorem to avoid unnecessary assumptions, and added a formula for normalisation of Eisenstein functional

MSC Class: 11F41; 11F67; 11F80; 19F27

Journal ref: In: Development of Iwasawa Theory -- the Centennial of K. Iwasawa's Birth, vol. 86 of Adv. Stud. Pure Math., Math. Soc. Japan, 2020, 595--638

Euler systems for Hilbert modular surfaces

Authors: Antonio Lei, David Loeffler, Sarah Livia Zerbes

Abstract: We construct an Euler system -- a compatible family of global cohomology classes -- for the Galois representations appearing in the geometry of Hilbert modular surfaces. If a conjecture of Bloch and Kato on injectivity of regulator maps holds, this Euler system is non-trivial, and we deduce bounds towards the Iwasawa main conjecture for these Galois representations. We construct an Euler system -- a compatible family of global cohomology classes -- for the Galois representations appearing in the geometry of Hilbert modular surfaces. If a conjecture of Bloch and Kato on injectivity of regulator maps holds, this Euler system is non-trivial, and we deduce bounds towards the Iwasawa main conjecture for these Galois representations. △ Less

Submitted 14 October, 2018; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: Final version, to appear in "Forum of Mathematics, Sigma"

MSC Class: 11F41; 11F67; 11F80; 11R23

Journal ref: Forum Math. Sigma 6 (2018), e23

Iwasawa theory for the symmetric square of a modular form

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We construct a compatible family of global cohomology classes (an Euler system) for the symmetric square of a modular form, and apply this to bounding Selmer groups of the symmetric square Galois representation and its twists. We construct a compatible family of global cohomology classes (an Euler system) for the symmetric square of a modular form, and apply this to bounding Selmer groups of the symmetric square Galois representation and its twists. △ Less

Submitted 20 December, 2016; v1 submitted 11 December, 2015; originally announced December 2015.

Comments: Updated version, to appear in J Reine Angew Math

MSC Class: 11F67; 11F80; 11G18

Journal ref: J. Reine angew. Math. 752 (2019), 179--210

On the asymptotic growth of Bloch-Kato-Shafarevich-Tate groups of modular forms over cyclotomic extensions

Authors: Antonio Lei, David Loeffler, Sarah Zerbes

Abstract: We study the asymptotic behaviour of the Bloch-Kato-Shafarevich-Tate group of a modular form f over the cyclotomic Zp-extension of Q under the assumption that f is non-ordinary at p. In particular, we give upper bounds of these groups in terms of Iwasawa invariants of Selmer groups defined using p-adic Hodge Theory. These bounds have the same form as the formulae of Kobayashi, Kurihara and Sprung… ▽ More We study the asymptotic behaviour of the Bloch-Kato-Shafarevich-Tate group of a modular form f over the cyclotomic Zp-extension of Q under the assumption that f is non-ordinary at p. In particular, we give upper bounds of these groups in terms of Iwasawa invariants of Selmer groups defined using p-adic Hodge Theory. These bounds have the same form as the formulae of Kobayashi, Kurihara and Sprung for supersingular elliptic curves. △ Less

Submitted 29 September, 2016; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: To appear in Canad. J. Math

MSC Class: 11R18; 11F11; 11R23 (primary); 11F85 (secondary)

Journal ref: Canad. J. Math. 69 (2017), 826-850

Rankin--Eisenstein classes in Coleman families

Authors: David Loeffler, Sarah Livia Zerbes

Abstract: We show that the Euler system associated to Rankin--Selberg convolutions of modular forms, introduced in our earlier works with Lei and Kings, varies analytically as the modular forms vary in $p$-adic Coleman families. We prove an explicit reciprocity law for these families, and use this to prove cases of the Bloch--Kato conjecture for Rankin--Selberg convolutions. We show that the Euler system associated to Rankin--Selberg convolutions of modular forms, introduced in our earlier works with Lei and Kings, varies analytically as the modular forms vary in $p$-adic Coleman families. We prove an explicit reciprocity law for these families, and use this to prove cases of the Bloch--Kato conjecture for Rankin--Selberg convolutions. △ Less

Submitted 2 June, 2016; v1 submitted 22 June, 2015; originally announced June 2015.

Comments: Updated version, to appear in "Research in the Mathematical Sciences" (Robert Coleman memorial volume)

MSC Class: 11F85; 11F67; 11G40; 14G35

Journal ref: Res. Math. Sci 3 (2016), no. 29

Rankin--Eisenstein classes and explicit reciprocity laws

Authors: Guido Kings, David Loeffler, Sarah Livia Zerbes

Abstract: We construct three-variable $p$-adic families of Galois cohomology classes attached to Rankin convolutions of modular forms, and prove an explicit reciprocity law relating these classes to critical values of L-functions. As a consequence, we prove finiteness results for the Selmer group of an elliptic curve twisted by a 2-dimensional odd irreducible Artin representation when the associated $L$-val… ▽ More We construct three-variable $p$-adic families of Galois cohomology classes attached to Rankin convolutions of modular forms, and prove an explicit reciprocity law relating these classes to critical values of L-functions. As a consequence, we prove finiteness results for the Selmer group of an elliptic curve twisted by a 2-dimensional odd irreducible Artin representation when the associated $L$-value does not vanish. △ Less

Submitted 21 November, 2023; v1 submitted 10 March, 2015; originally announced March 2015.

Comments: Updated Nov 2023 to add a correction (included separately at the end of the file)

MSC Class: 11F85; 11F67; 11G40; 14G35

Journal ref: Cambridge J Math 5 (2017), no. 1, 1-122

Rankin--Eisenstein classes for modular forms

Authors: Guido Kings, David Loeffler, Sarah Livia Zerbes

Abstract: In this paper we make a systematic study of certain motivic cohomology classes ("Rankin-Eisenstein classes") attached to the Rankin--Selberg convolution of two modular forms of weight $\ge 2$. The main result is the computation of the $p$-adic syntomic regulators of these classes. As a consequence we prove many cases of the Perrin-Riou conjecture for Rankin--Selberg convolutions of cusp forms. In this paper we make a systematic study of certain motivic cohomology classes ("Rankin-Eisenstein classes") attached to the Rankin--Selberg convolution of two modular forms of weight $\ge 2$. The main result is the computation of the $p$-adic syntomic regulators of these classes. As a consequence we prove many cases of the Perrin-Riou conjecture for Rankin--Selberg convolutions of cusp forms. △ Less

Submitted 17 November, 2017; v1 submitted 14 January, 2015; originally announced January 2015.

Comments: Updated version with minor corrections. To appear in Amer. J. Math

MSC Class: 11F85; 11F67; 11G40; 14G35

Journal ref: American J. Math. 142 (2020), no. 1, 79--138