Showing 1–50 of 53 results for author: Long, L

Efficiently Checking Separating Indeterminates

Authors: Bernhard Andraschko, Martin Kreuzer, Le Ngoc Long

Abstract: In this paper we continue the development of a new technique for computing elimination ideals by substitution which has been called $Z$-separating re-embeddings. Given an ideal $I$ in the polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, this method searches for tuples $Z=(z_1,\dots,z_s)$ of indeterminates with the property that $I$ contains polynomials of the form $f_i = z_i - h_i$ for… ▽ More In this paper we continue the development of a new technique for computing elimination ideals by substitution which has been called $Z$-separating re-embeddings. Given an ideal $I$ in the polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, this method searches for tuples $Z=(z_1,\dots,z_s)$ of indeterminates with the property that $I$ contains polynomials of the form $f_i = z_i - h_i$ for $i=1,\dots,s$ such that no term in $h_i$ is divisible by an indeterminate in $Z$. As there are frequently many candidate tuples $Z$, the task addressed by this paper is to efficiently check whether a given tuple $Z$ has this property. We construct fast algorithms which check whether the vector space spanned by the generators of $I$ or a somewhat enlarged vector space contain the desired polynomials $f_i$. We also extend these algorithms to Boolean polynomials and apply them to cryptoanalyse round reduced versions of the AES cryptosystem faster. △ Less

Submitted 24 December, 2024; originally announced December 2024.

Comments: 28 pages, 1 figure

MSC Class: 14Q20 (Primary) 14R10; 13E15; 13P10 (Secondary)

Dimensionality Reduction Techniques for Global Bayesian Optimisation

Authors: Luo Long, Coralia Cartis, Paz Fink Shustin

Abstract: Bayesian Optimisation (BO) is a state-of-the-art global optimisation technique for black-box problems where derivative information is unavailable, and sample efficiency is crucial. However, improving the general scalability of BO has proved challenging. Here, we explore Latent Space Bayesian Optimisation (LSBO), that applies dimensionality reduction to perform BO in a reduced-dimensional subspace.… ▽ More Bayesian Optimisation (BO) is a state-of-the-art global optimisation technique for black-box problems where derivative information is unavailable, and sample efficiency is crucial. However, improving the general scalability of BO has proved challenging. Here, we explore Latent Space Bayesian Optimisation (LSBO), that applies dimensionality reduction to perform BO in a reduced-dimensional subspace. While early LSBO methods used (linear) random projections (Wang et al., 2013), we employ Variational Autoencoders (VAEs) to manage more complex data structures and general DR tasks. Building on Grosnit et. al. (2021), we analyse the VAE-based LSBO framework, focusing on VAE retraining and deep metric loss. We suggest a few key corrections in their implementation, originally designed for tasks such as molecule generation, and reformulate the algorithm for broader optimisation purposes. Our numerical results show that structured latent manifolds improve BO performance. Additionally, we examine the use of the Matérn-$\frac{5}{2}$ kernel for Gaussian Processes in this LSBO context. We also integrate Sequential Domain Reduction (SDR), a standard global optimization efficiency strategy, into BO. SDR is included in a GPU-based environment using \textit{BoTorch}, both in the original and VAE-generated latent spaces, marking the first application of SDR within LSBO. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: Accepted at NeurIPS 2024 Workshop OPT for ML: Optimization for Machine Learning (Submission Number:67)

The Explicit Hypergeometric-Modularity Method II

Authors: Michael Allen, Brian Grove, Ling Long, Fang-Ting Tu

Abstract: In the first paper of this sequence, we provided an explicit hypergeometric modularity method by combining different techniques from the classical, $p$-adic, and finite field settings. In this article, we explore an application of this method from a motivic viewpoint through some known hypergeometric well-poised formulae of Whipple and McCarthy. We first use the method to derive a class of special… ▽ More In the first paper of this sequence, we provided an explicit hypergeometric modularity method by combining different techniques from the classical, $p$-adic, and finite field settings. In this article, we explore an application of this method from a motivic viewpoint through some known hypergeometric well-poised formulae of Whipple and McCarthy. We first use the method to derive a class of special weight three modular forms, labeled as $\mathbb{K}_2$-functions. Then using well-poised hypergeometric formulae we further construct a class of degree four Galois representations of the absolute Galois groups of the corresponding cyclotomic fields. These representations are then shown to be extendable to $G_{\mathbb{Q}}$ and the $L$-function of each extension coincides with the $L$-function of an automorphic form. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Some line and conic arrangements and their Waldschmidt constants

Authors: Dinh Tuan Huynh, Tran N. K. Linh, Le Ngoc Long

Abstract: We study the Waldschmidt constant of some configurations in the projective plane. In the first part, we show that the Waldschmidt constant of a set $\mathbb{X}$ of $n$ points where at least $n-3$ points among them lie on a line is either equal to $1, \frac{2n-3}{n-1}, 2, \frac{16}{7}, \frac{7}{3}, \frac{17}{7},$ or $\frac{5}{2}$. Together with the Hilbert polynomials, this gives a complete geometr… ▽ More We study the Waldschmidt constant of some configurations in the projective plane. In the first part, we show that the Waldschmidt constant of a set $\mathbb{X}$ of $n$ points where at least $n-3$ points among them lie on a line is either equal to $1, \frac{2n-3}{n-1}, 2, \frac{16}{7}, \frac{7}{3}, \frac{17}{7},$ or $\frac{5}{2}$. Together with the Hilbert polynomials, this gives a complete geometric characterization for $\mathbb{X}$. Next, we study some specific configurations whose Waldschmidt constants are bounded from above by $\frac{5}{2}$. Under this condition, we describe all configurations of $n$ points with $n-1$ points among them lying on an irreducible conic, and we also study some specific configurations of $9$ points. △ Less

Submitted 7 October, 2024; originally announced October 2024.

Comments: 23 pages, 22 figures

Traces of Hecke Operators via Hypergeometric Character Sums

Authors: Jerome W. Hoffman, Wen-Ching Winnie Li, Ling Long, Fang-Ting Tu

Abstract: In this paper we obtain explicit formulas for the traces of Hecke operators on spaces of cusp forms in certain instances related to arithmetic triangle groups. These expressions are in terms of hypergeometric character sums over finite fields, a theory developed largely by Greene, Katz, Beukers-Cohen-Mellit, and Fuselier-Long-Ramakrishna-Swisher-Tu. Our approach, in contrast to the previous works,… ▽ More In this paper we obtain explicit formulas for the traces of Hecke operators on spaces of cusp forms in certain instances related to arithmetic triangle groups. These expressions are in terms of hypergeometric character sums over finite fields, a theory developed largely by Greene, Katz, Beukers-Cohen-Mellit, and Fuselier-Long-Ramakrishna-Swisher-Tu. Our approach, in contrast to the previous works, is uniform and more geometric, and it works equally well for forms on elliptic modular curves and Shimura curves. The same method can be applied to obtain eigenvalues of Hecke operators as well. △ Less

Submitted 3 March, 2025; v1 submitted 5 August, 2024; originally announced August 2024.

MSC Class: 11F11; 11F80; 11L05; 33C20

Hodge numbers of hypergeometric data

Authors: Ling Long, Yifan Yang

Abstract: In this paper, based on the toric hypergeometric model given in a paper by Beukers--Cohen--Mellit, we provide two other ways to explain why the zig-zag diagram method can be used to compute Hodge numbers for hypergeometric data defined over $\mathbb Q$. In this paper, based on the toric hypergeometric model given in a paper by Beukers--Cohen--Mellit, we provide two other ways to explain why the zig-zag diagram method can be used to compute Hodge numbers for hypergeometric data defined over $\mathbb Q$. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 16 pages, 4 figures

The Explicit Hypergeometric-Modularity Method I

Authors: Michael Allen, Brian Grove, Ling Long, Fang-Ting Tu

Abstract: The theories of hypergeometric functions and modular forms are highly intertwined. For example, particular values of truncated hypergeometric functions and hypergeometric character sums are often congruent or equal to Fourier coefficients of modular forms. In this series of papers, we develop and explore an explicit "Hypergeometric-Modularity" method for associating a modular form to a given hyper… ▽ More The theories of hypergeometric functions and modular forms are highly intertwined. For example, particular values of truncated hypergeometric functions and hypergeometric character sums are often congruent or equal to Fourier coefficients of modular forms. In this series of papers, we develop and explore an explicit "Hypergeometric-Modularity" method for associating a modular form to a given hypergeometric datum. In particular, for certain length three and four hypergeometric data we give an explicit method for finding a modular form $f$ such that the corresponding hypergeometric Galois representation has a subrepresentation isomorphic to the Deligne representation of $f$. Our method utilizes Ramanujan's theory of elliptic functions to alternative bases, commutative formal group laws, and supercongruences. As a byproduct, we give a collection of eta quotients with multiplicative coefficients constructed from hypergeometric functions. In the second paper, we discuss a number of applications, including explicit connections between hypergeometric values and periods of these explicit eta quotients as well as evaluation formulae for certain special $L$-values. △ Less

Submitted 19 June, 2025; v1 submitted 31 March, 2024; originally announced April 2024.

Comments: 56 pages. A large number of typos were fixed. This paper will appear in Advances in Mathematics

Re-embeddings of Affine Algebras Via Gröbner Fans of Linear Ideals

Authors: Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano

Abstract: Given an affine algebra $R=K[x_1,\dots,x_n]/I$ over a field $K$, where $I$ is an ideal in the polynomial ring $P=K[x_1,\dots,x_n]$, we examine the task of effectively calculating re-embeddings of $I$, i.e., of presentations $R=P'/I'$ such that $P'=K[y_1,\dots,y_m]$ has fewer indeterminates. For cases when the number of indeterminates $n$ is large and Gröbner basis computations are infeasible, we h… ▽ More Given an affine algebra $R=K[x_1,\dots,x_n]/I$ over a field $K$, where $I$ is an ideal in the polynomial ring $P=K[x_1,\dots,x_n]$, we examine the task of effectively calculating re-embeddings of $I$, i.e., of presentations $R=P'/I'$ such that $P'=K[y_1,\dots,y_m]$ has fewer indeterminates. For cases when the number of indeterminates $n$ is large and Gröbner basis computations are infeasible, we have previously introduced the method of $Z$-separating re-embeddings. This method tries to detect polynomials of a special shape in $I$ which allow us to eliminate the indeterminates in the tuple $Z$ by a simple substitution process. Here we improve this approach by showing that suitable candidate tuples $Z$ can be found using the Gröbner fan of the linear part of $I$. Then we describe a method to compute the Gröbner fan of a linear ideal, and we improve this computation in the case of binomial linear ideals using a cotangent equivalence relation. Finally, we apply the improved technique in the case of the defining ideals of border basis schemes. △ Less

Submitted 18 January, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 21 pages. Minor corrections and improvements. To appear in "Beiträge zur Algebra und Geometrie". arXiv admin note: substantial text overlap with arXiv:2207.08115

MSC Class: 14Q20 (Primary) 14R10; 13E15; 13P10 (Secondary)

E-values for k-Sample Tests With Exponential Families

Authors: Yunda Hao, Peter Grünwald, Tyron Lardy, Long Long, Reuben Adams

Abstract: We develop and compare e-variables for testing whether $k$ samples of data are drawn from the same distribution, the alternative being that they come from different elements of an exponential family. We consider the GRO (growth-rate optimal) e-variables for (1) a `small' null inside the same exponential family, and (2) a `large' nonparametric null, as well as (3) an e-variable arrived at by condit… ▽ More We develop and compare e-variables for testing whether $k$ samples of data are drawn from the same distribution, the alternative being that they come from different elements of an exponential family. We consider the GRO (growth-rate optimal) e-variables for (1) a `small' null inside the same exponential family, and (2) a `large' nonparametric null, as well as (3) an e-variable arrived at by conditioning on the sum of the sufficient statistics. (2) and (3) are efficiently computable, and extend ideas from Turner et al. [2021] and Wald [1947] respectively from Bernoulli to general exponential families. We provide theoretical and simulation-based comparisons of these e-variables in terms of their logarithmic growth rate, and find that for small effects all four e-variables behave surprisingly similarly; for the Gaussian location and Poisson families, e-variables (1) and (3) coincide; for Bernoulli, (1) and (2) coincide; but in general, whether (2) or (3) grows faster under the alternative is family-dependent. We furthermore discuss algorithms for numerically approximating (1). △ Less

Submitted 8 January, 2024; v1 submitted 1 March, 2023; originally announced March 2023.

Differential theory of zero-dimensional schemes

Authors: Martin Kreuzer, Tran N. K. Linh, Le N. Long

Abstract: For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of Kähler differentials $Ω^1_{R/K}$ to $Ω^1_{\widetilde{R}/K}$ to find a formula for the Hilbert polynomial ${\rm HP}(Ω^1_{R/K})$ and a sharp bound for the regula… ▽ More For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of Kähler differentials $Ω^1_{R/K}$ to $Ω^1_{\widetilde{R}/K}$ to find a formula for the Hilbert polynomial ${\rm HP}(Ω^1_{R/K})$ and a sharp bound for the regularity index ${\rm ri}(Ω^1_{R/K})$. Additionally, we extend this to formulas for the Hilbert polynomials ${\rm HP}(Ω^m_{R/K})$ and bounds for the regularity indices of the higher modules of Kähler differentials. Next we derive a new characterization of a weakly curvilinear scheme $\mathbb{X}$ which can be checked without computing a primary decomposition of its homogeneous vanishing ideal. Moreover, we prove precise formulas for the Hilbert polynomial of $Ω^m_{R/K}$ of a fat point scheme $\mathbb{X}$, extending and settling previous partial results and conjectures. Finally, we characterize uniformity conditions on $\mathbb{X}$ using the Hilbert functions of the Kähler differential modules of $\mathbb{X}$ and its subschemes. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: 32 pages

MSC Class: 13N05 (Primary) 13D40; 14N05 (Secondary)

Optimal Re-Embeddings of Border Basis Schemes

Authors: Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano

Abstract: Border basis schemes are open subschemes of Hilbert schemes parametrizing 0-dimensional subschemes of $\mathbb{P}^n$ of given length. They yield open coverings and are easy to describe and to compute with. Our topic is to find re-embeddings of border basis schemes into affine spaces of minimal dimension. Given $P = K[X] = K[x_1,\dots,x_n]$, an ideal $I\subseteq \langle X \rangle$, and a tuple $Z$… ▽ More Border basis schemes are open subschemes of Hilbert schemes parametrizing 0-dimensional subschemes of $\mathbb{P}^n$ of given length. They yield open coverings and are easy to describe and to compute with. Our topic is to find re-embeddings of border basis schemes into affine spaces of minimal dimension. Given $P = K[X] = K[x_1,\dots,x_n]$, an ideal $I\subseteq \langle X \rangle$, and a tuple $Z$ of indeterminates, in previous papers the authors developed techniques for computing $Z$-separating re-embeddings of $I$, i.e., of isomorphisms $Φ: P/I \rightarrow K[X\setminus Z] / (I\cap K[X\setminus Z])$. Here these general techniques are developed further and improved by constructing a new algorithm for checking candidate tuples $Z$ and by using the Gröbner fan of the linear part of $I$ advantageously. Then we apply this to the ideals defining border basis schemes $\mathbb{B}_{\mathcal{O}}$, where $\mathcal{O}$ is an order ideal of terms, and to their natural generating polynomials. The fact that these ideals are homogeneous w.r.t. the arrow grading allows us to look for suitable tuples $Z$ more systematically. Using the equivalence of indeterminates modulo the square of the maximal ideal, we compute the Gröbner fan of the linear part of the ideal quickly and determine which indeterminates should be in $Z$ when we are looking for optimal re-embeddings. Specific applications include re-embeddings of border basis schemes where $\mathcal{O}\subseteq K[x,y]$ and where $\mathcal{O}$ consists of all terms up to some degree. △ Less

Submitted 27 November, 2023; v1 submitted 17 July, 2022; originally announced July 2022.

Comments: This preprint will not be published. It has been split into several parts which will be extended and published separately. When the last part is finished, this preprint will be withdrawn

MSC Class: 14Q20 (Primary) 14R10; 13E15; 13P10 (Secondary)

Order preserving and order reversing operators on the class of $L^0$-convex functions in complete random normed modules

Authors: Mingzhi Wu, Tiexin Guo, Long Long

Abstract: Based on both the fundamental theorem of affine geometry in regular $L^0$-modules and the recent progress in random convex analysis, this paper characterizes the stable fully order preserving and order reversing operators acting on the class of proper lower semicontinuous $L^0$-convex functions in complete random normed modules. Based on both the fundamental theorem of affine geometry in regular $L^0$-modules and the recent progress in random convex analysis, this paper characterizes the stable fully order preserving and order reversing operators acting on the class of proper lower semicontinuous $L^0$-convex functions in complete random normed modules. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: 24

The Kähler different of a 0-dimensional scheme

Authors: Le Ngoc Long

Abstract: Given a 0-dimensional scheme $\mathbb{X}$ in the projective $n$-space $\mathbb{P}^n_K$ over a field $K$, we are interested in studying the Kähler different of $\mathbb{X}$ and its applications. Using the Kähler different, we characterize the generic position and Cayley-Bacharach properties of $\mathbb{X}$ in several certain cases. When $\mathbb{X}$ is in generic position, we prove a generalized ve… ▽ More Given a 0-dimensional scheme $\mathbb{X}$ in the projective $n$-space $\mathbb{P}^n_K$ over a field $K$, we are interested in studying the Kähler different of $\mathbb{X}$ and its applications. Using the Kähler different, we characterize the generic position and Cayley-Bacharach properties of $\mathbb{X}$ in several certain cases. When $\mathbb{X}$ is in generic position, we prove a generalized version of the Apéry-Gorenstein-Samuel theorem about arithmetically Gorenstein schemes. We also characterize 0-dimensional complete intersections in terms of the Kähler different and the Cayley-Bacharach property. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 22 pages

MSC Class: Primary 13C13; 14M05; Secondary 13D40; 14M10

Restricted Gröbner fans and re-embeddings of affine algebras

Authors: Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano

Abstract: In this paper we continue the study of good re-embeddings of affine K-algebras started in [KLR]. The idea is to use special linear projections to find isomorphisms between a given affine K-algebra K[X]/I, where X=(x_1,...,x_n), and K-algebras having fewer generators. These projections are induced by particular tuples of indeterminates Z and by term orderings $σ$ which realize Z as leading terms of… ▽ More In this paper we continue the study of good re-embeddings of affine K-algebras started in [KLR]. The idea is to use special linear projections to find isomorphisms between a given affine K-algebra K[X]/I, where X=(x_1,...,x_n), and K-algebras having fewer generators. These projections are induced by particular tuples of indeterminates Z and by term orderings $σ$ which realize Z as leading terms of a tuple F of polynomials in I. In order to efficiently find such tuples, we provide two major new tools: an algorithm which reduces the check whether a given tuple F is Z-separating to an LP feasibility problem, and an isomorphism between the part of the Gröbner fan of I consisting of marked reduced Gröbner bases which contain a Z-separating tuple and the Gröbner fan of the intersection of I and K[X\Z]. We also indicate a possible generalization to tuples Z which consist of terms. All results are illustrated by explicit examples. △ Less

Submitted 15 July, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: change of title, improved intro and refs

MSC Class: 13P10 (Primary) 14Q20; 13E15; 14R10 (Secondary)

The fundamental theorem of affine geometry in regular $L^0$-modules

Authors: Mingzhi Wu, Tiexin Guo, Long Long

Abstract: Let $(Ω,{\mathcal F},P)$ be a probability space and $L^0({\mathcal F})$ the algebra of equivalence classes of real-valued random variables defined on $(Ω,{\mathcal F},P)$. A left module $M$ over the algebra $L^0({\mathcal F})$(briefly, an $L^0({\mathcal F})$-module) is said to be regular if $x=y$ for any given two elements $x$ and $y$ in $M$ such that there exists a countable partition… ▽ More Let $(Ω,{\mathcal F},P)$ be a probability space and $L^0({\mathcal F})$ the algebra of equivalence classes of real-valued random variables defined on $(Ω,{\mathcal F},P)$. A left module $M$ over the algebra $L^0({\mathcal F})$(briefly, an $L^0({\mathcal F})$-module) is said to be regular if $x=y$ for any given two elements $x$ and $y$ in $M$ such that there exists a countable partition $\{A_n,n\in \mathbb N\}$ of $Ω$ to $\mathcal F$ such that ${\tilde I}_{A_n}\cdot x={\tilde I}_{A_n}\cdot y$ for each $n\in \mathbb N$, where $I_{A_n}$ is the characteristic function of $A_n$ and ${\tilde I}_{A_n}$ its equivalence class. The purpose of this paper is to establish the fundamental theorem of affine geometry in regular $L^0({\mathcal F})$-modules: let $V$ and $V^\prime$ be two regular $L^0({\mathcal F})$-modules such that $V$ contains a free $L^0({\mathcal F})$-submodule of rank $2$, if $T:V\to V^\prime$ is stable and invertible and maps each $L^0$-line segment to an $L^0$-line segment, then $T$ must be $L^0$-affine. △ Less

Submitted 3 November, 2021; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 20 pages

The Kähler Different of a Set of Points in $\mathbb{P}^m\times\mathbb{P}^n$

Authors: Tran N. K. Linh, Le N. Long, Nguyen T. Hoa, Nguyen T. P. Nhi, Phan T. T. Nhan

Abstract: Given an ACM set $\mathbb{X}$ of points in a multiprojective space $\mathbb{P}^m\times\mathbb{P}^n$ over a field of characteristic zero, we are interested in studying the Kähler different and the Cayley-Bacharach property for $\mathbb{X}$. In $\mathbb{P}^1\times\mathbb{P}^1$, the Cayley-Bacharach property agrees with the complete intersection property and it is characterized by using the Kähler di… ▽ More Given an ACM set $\mathbb{X}$ of points in a multiprojective space $\mathbb{P}^m\times\mathbb{P}^n$ over a field of characteristic zero, we are interested in studying the Kähler different and the Cayley-Bacharach property for $\mathbb{X}$. In $\mathbb{P}^1\times\mathbb{P}^1$, the Cayley-Bacharach property agrees with the complete intersection property and it is characterized by using the Kähler different. However, this result fails to hold in $\mathbb{P}^m\times\mathbb{P}^n$ for $n>1$ or $m>1$. In this paper we start an investigation of the Kähler different and its Hilbert function and then prove that $\mathbb{X}$ is a complete intersection of type $(d_1,...,d_m,d'_1,...,d'_n)$ if and only if it has the Cayley-Bachrach property and the Kähler different is non-zero at a certain degree. When $\mathbb{X}$ has the $(\star)$-property, we characterize the Cayley-Bacharach property of $\mathbb{X}$ in terms of its components under the canonical projections. △ Less

Submitted 5 July, 2021; originally announced July 2021.

Comments: 18 pages, 1 figure

MSC Class: 13C40; 14M05; 13C13; 14M10

A Whipple $_7F_6$ formula revisited

Authors: Wen-Ching Winnie Li, Ling Long, Fang-Ting Tu

Abstract: A well-known formula of Whipple relates certain hypergeometric values $_7F_6(1)$ and $_4F_3(1)$. In this paper we revisit this relation from the viewpoint of the underlying hypergeometric data $HD$, to which there are also associated hypergeometric character sums and Galois representations. We explain a special structure behind Whipple's formula when the hypergeometric data $HD$ are primitive and… ▽ More A well-known formula of Whipple relates certain hypergeometric values $_7F_6(1)$ and $_4F_3(1)$. In this paper we revisit this relation from the viewpoint of the underlying hypergeometric data $HD$, to which there are also associated hypergeometric character sums and Galois representations. We explain a special structure behind Whipple's formula when the hypergeometric data $HD$ are primitive and self-dual. If the data are also defined over $\mathbb Q$, by the work of Katz, Beukers, Cohen, and Mellit, there are compatible families of $\ell$-adic representations of the absolute Galois group of $\mathbb Q$ attached to $HD$. For specialized choices of $HD$, these Galois representations are shown to be decomposable and automorphic. As a consequence, the values of the corresponding hypergeometric character sums can be explicitly expressed in terms of Fourier coefficients of certain modular forms. We further relate the hypergeometric values $_7F_6(1)$ in Whipple's formula to the periods of these modular forms. △ Less

Submitted 15 November, 2021; v1 submitted 16 March, 2021; originally announced March 2021.

Cotangent spaces and separating re-embeddings

Authors: Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano

Abstract: Given an affine algebra $R=P/I$, where $P=K[x_1,\dots,x_n]$ is a polynomial ring over a field $K$ and $I$ is an ideal in $P$, we study re-embeddings of the affine scheme ${\rm Spec}(R)$, i.e., presentations $R \cong P'/I'$ such that $P'$ is a polynomial ring in fewer indeterminates. To find such re-embeddings, we use polynomials $f_i$ in the ideal $I$ which are coherently separating in the sense t… ▽ More Given an affine algebra $R=P/I$, where $P=K[x_1,\dots,x_n]$ is a polynomial ring over a field $K$ and $I$ is an ideal in $P$, we study re-embeddings of the affine scheme ${\rm Spec}(R)$, i.e., presentations $R \cong P'/I'$ such that $P'$ is a polynomial ring in fewer indeterminates. To find such re-embeddings, we use polynomials $f_i$ in the ideal $I$ which are coherently separating in the sense that they are of the form $f_i= z_i - g_i$ with an indeterminate $z_i$ which divides neither a term in the support of $g_i$ nor in the support of $f_j$ for $j\ne i$. The possible numbers of such sets of polynomials are shown to be governed by the Gröbner fan of $I$. The dimension of the cotangent space of $R$ at a $K$-linear maximal ideal is a lower bound for the embedding dimension, and if we find coherently separating polynomials corresponding to this bound, we know that we have determined the embedding dimension of $R$ and found an optimal re-embedding. △ Less

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

Comments: 16 pages; paper streamlined and references added; to appear in JAA (2022)

MSC Class: Primary 13P10; Secondary 14Q20; 13E15; 14R10

Hilbert Polynomials of Kähler Differential Modules for Fat Point Schemes

Authors: Martin Kreuzer, Tran N. K. Linh, Le Ngoc Long

Abstract: Given a fat point scheme $\mathbb{W}=m_1P_1+\cdots+m_sP_s$ in the projective $n$-space $\mathbb{P}^n$ over a field $K$ of characteristic zero, the modules of Kähler differential $k$-forms of its homogeneous coordinate ring contain useful information about algebraic and geometric properties of $\mathbb{W}$ when $k\in\{1,\dots, n+1\}$. In this paper we determine the value of its Hilbert polynomial e… ▽ More Given a fat point scheme $\mathbb{W}=m_1P_1+\cdots+m_sP_s$ in the projective $n$-space $\mathbb{P}^n$ over a field $K$ of characteristic zero, the modules of Kähler differential $k$-forms of its homogeneous coordinate ring contain useful information about algebraic and geometric properties of $\mathbb{W}$ when $k\in\{1,\dots, n+1\}$. In this paper we determine the value of its Hilbert polynomial explicitly for the case $k=n+1$, confirming an earlier conjecture. More precisely this value is given by the multiplicity of the fat point scheme $\mathbb{Y} = (m_1-1)P_1 + \cdots + (m_s-1)P_s$. For $n=2$, this allows us to determine the Hilbert polynomials of the modules of Kähler differential $k$-forms for $k=1,2,3$, and to produce a sharp bound for the regularity index for $k=2$. △ Less

Submitted 11 August, 2020; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 15 pages, accepted for publication in Acta Mathematica Vietnamica (AMV)

MSC Class: 13D40; 13N05; 14C99

Computing subschemes of the border basis scheme

Authors: Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano

Abstract: A good way of parametrizing 0-dimensional schemes in an affine space $\mathbb{A}_K^n$ has been developed in the last 20 years using border basis schemes. Given a multiplicity $μ$, they provide an open covering of the Hilbert scheme ${\rm Hilb}^μ(\mathbb{A}^n_K)$ and can be described by easily computable quadratic equations. A natural question arises on how to determine loci which are contained in… ▽ More A good way of parametrizing 0-dimensional schemes in an affine space $\mathbb{A}_K^n$ has been developed in the last 20 years using border basis schemes. Given a multiplicity $μ$, they provide an open covering of the Hilbert scheme ${\rm Hilb}^μ(\mathbb{A}^n_K)$ and can be described by easily computable quadratic equations. A natural question arises on how to determine loci which are contained in border basis schemes and whose rational points represent 0-dimensional $K$-algebras sharing a given property. The main focus of this paper is on giving effective answers to this general problem. The properties considered here are the locally Gorenstein, strict Gorenstein, strict complete intersection, Cayley-Bacharach, and strict Cayley-Bacharach properties. The key characteristic of our approach is that we describe these loci by exhibiting explicit algorithms to compute their defining ideals. All results are illustrated by non-trivial, concrete examples. △ Less

Submitted 26 August, 2020; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: 44 pages; to appear in Int. J. Algebra Comput.; minor corrections and additions

MSC Class: 13C40; 14M10; 13H10; 13P99; 14Q99

An application of Liaison theory to zero-dimensional schemes

Authors: Martin Kreuzer, Tran N. K. Linh, Le Ngoc Long, Nguyen Chanh Tu

Abstract: Given a 0-dimensional scheme X in a n-dimensional projective space P^n_K over an arbitrary field K, we use Liaison theory to characterize the Cayley-Bacharach property of X. Our result extends the result for sets of K-rational points given in [7]. In addition, we examine and bound the Hilbert function and regularity index of the Dedekind different of X when X has the Cayley-Bacharach property. Given a 0-dimensional scheme X in a n-dimensional projective space P^n_K over an arbitrary field K, we use Liaison theory to characterize the Cayley-Bacharach property of X. Our result extends the result for sets of K-rational points given in [7]. In addition, we examine and bound the Hilbert function and regularity index of the Dedekind different of X when X has the Cayley-Bacharach property. △ Less

Submitted 1 April, 2019; originally announced April 2019.

MSC Class: 13C40; 14M06; 13D40; 14N05

Algorithms for Checking Zero-Dimensional Complete Intersections

Authors: Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano

Abstract: Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether R is a complete intersection at a maximal ideal, whether R is locally a complete intersection, and whether R is a strict complete intersection. These algorithm… ▽ More Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether R is a complete intersection at a maximal ideal, whether R is locally a complete intersection, and whether R is a strict complete intersection. These algorithms are based on Wiebe's characterisation of 0-dimensional local complete intersections via the 0-th Fitting ideal of the maximal ideal. They allow us to detect which generators of I form a regular sequence resp. a strict regular sequence, and they work over an arbitrary base field K. Using degree filtered border bases, we can detect strict complete intersections in certain families of 0-dimensional ideals. △ Less

Submitted 6 August, 2019; v1 submitted 22 March, 2019; originally announced March 2019.

Comments: Small changes. To be published in Journal of Commutative Algebra

MSC Class: 13C40; 14M10; 13H10; 13P99; 14Q99

The fundamental theorem of affine geometry in $(L^0)^n$

Authors: Mingzhi Wu, Long Long

Abstract: Let $L^0$ be the algebra of equivalence classes of real valued random variables on a given probability space, and $(L^0)^n$ the $n$-ary Cartesian power of $L^0$ for each integer $n\geq 2$. We consider $(L^0)^n$ as a free module over $L^0$ and study affine geometry in $(L^0)^n$. One of our main results states that: an injective mapping $T: (L^0)^n\to (L^0)^n$ which is local and maps each $L^0$-line… ▽ More Let $L^0$ be the algebra of equivalence classes of real valued random variables on a given probability space, and $(L^0)^n$ the $n$-ary Cartesian power of $L^0$ for each integer $n\geq 2$. We consider $(L^0)^n$ as a free module over $L^0$ and study affine geometry in $(L^0)^n$. One of our main results states that: an injective mapping $T: (L^0)^n\to (L^0)^n$ which is local and maps each $L^0$-line onto an $L^0$-line must be an $L^0$-affine linear mapping. The other main result states that: a bijective mapping $T: (L^0)^n\to (L^0)^n$ which is local and maps each $L^0$-line segment onto an $L^0$-line segment must be an $L^0$-affine linear mapping. These results extend the fundamental theorem of affine geometry from $\mathbb R^n$ to $(L^0)^n$. △ Less

Submitted 13 June, 2021; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 10 pages

Some Numeric Hypergeometric Supercongruences

Authors: Ling Long

Abstract: In this article, we list a few hypergeometric supercongruence conjectures based on two evaluation formulas of Whipple and numeric data computed using Magma and Sagemath. In this article, we list a few hypergeometric supercongruence conjectures based on two evaluation formulas of Whipple and numeric data computed using Magma and Sagemath. △ Less

Submitted 18 April, 2019; v1 submitted 18 December, 2018; originally announced December 2018.

On the Cayley-Bacharach Property

Authors: Martin Kreuzer, Le Ngoc Long, Lorenzo Robbiano

Abstract: The Cayley-Bacharach property, which has been classically stated as a property of a finite set of points in an affine or projective space, is extended to arbitrary 0-dimensional affine algebras over arbitrary base fields. We present characterizations and explicit algorithms for checking the Cayley-Bacharach property directly, via the canonical module, and in combination with the property of being… ▽ More The Cayley-Bacharach property, which has been classically stated as a property of a finite set of points in an affine or projective space, is extended to arbitrary 0-dimensional affine algebras over arbitrary base fields. We present characterizations and explicit algorithms for checking the Cayley-Bacharach property directly, via the canonical module, and in combination with the property of being a locally Gorenstein ring. Moreover, we characterize strict Gorenstein rings by the Cayley-Bacharach property and the symmetry of their affine Hilbert function, as well as by the strict Cayley-Bacharach property and the last difference of their affine Hilbert function. △ Less

Submitted 7 October, 2018; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: 27 pages; multiple minor corrections; to appear in Comm. Alg

MSC Class: 13H10; 13P99; 14M05; 14Q99

Computing Special $L$-Values of Certain Modular Forms with Complex Multiplication

Authors: Wen-Ching Winnie Li, Ling Long, Fang-Ting Tu

Abstract: In this expository paper, we illustrate two explicit methods which lead to special $L$-values of certain modular forms admitting complex multiplication (CM), motivated in part by properties of $L$-functions obtained from Calabi-Yau manifolds defined over $\mathbb Q$. In this expository paper, we illustrate two explicit methods which lead to special $L$-values of certain modular forms admitting complex multiplication (CM), motivated in part by properties of $L$-functions obtained from Calabi-Yau manifolds defined over $\mathbb Q$. △ Less

Submitted 29 August, 2018; v1 submitted 16 March, 2018; originally announced March 2018.

Journal ref: SIGMA 14 (2018), 090, 32 pages

Supercongruences for rigid hypergeometric Calabi--Yau threefolds

Authors: Ling Long, Fang-Ting Tu, Noriko Yui, Wadim Zudilin

Abstract: We establish the supercongruences for the fourteen rigid hypergeometric Calabi--Yau threefolds over $\mathbb Q$ conjectured by Rodriguez-Villegas in 2003. Our first method is based on Dwork's theory of $p$-adic unit roots and it allows us to establish the supercongruences between the truncated hypergeometric series and the corresponding unit roots for ordinary primes. The other method makes use of… ▽ More We establish the supercongruences for the fourteen rigid hypergeometric Calabi--Yau threefolds over $\mathbb Q$ conjectured by Rodriguez-Villegas in 2003. Our first method is based on Dwork's theory of $p$-adic unit roots and it allows us to establish the supercongruences between the truncated hypergeometric series and the corresponding unit roots for ordinary primes. The other method makes use of the theory of hypergeometric motives, in particular, adapts the techniques from the recent work of Beukers, Cohen and Mellit on finite hypergeometric sums over $\mathbb Q$. Essential ingredients in executing the both approaches are the modularity of the underlying Calabi--Yau threefolds and a $p$-adic perturbation method applied to hypergeometric functions. △ Less

Submitted 3 October, 2021; v1 submitted 3 May, 2017; originally announced May 2017.

Comments: 42 pages

MSC Class: 11F33; 11T24; 14G10; 14J32; 14J33; 33C20

Journal ref: Adv. Math. 393 (2021) Article 108058

On the Dedekind different of a Cayley-Bacharach scheme

Authors: Martin Kreuzer, Tran N. K. Linh, Le Ngoc Long

Abstract: Given a 0-dimensional scheme $\mathbb{X}$ in a projective space $\mathbb{P}^n_K$ over a field $K$, we characterize the Cayley-Bacharach property of $\mathbb{X}$ in terms of the algebraic structure of the Dedekind different of its homogeneous coordinate ring. Moreover, we characterize Cayley-Bacharach schemes by Dedekind's formula for the conductor and the complementary module, we study schemes wit… ▽ More Given a 0-dimensional scheme $\mathbb{X}$ in a projective space $\mathbb{P}^n_K$ over a field $K$, we characterize the Cayley-Bacharach property of $\mathbb{X}$ in terms of the algebraic structure of the Dedekind different of its homogeneous coordinate ring. Moreover, we characterize Cayley-Bacharach schemes by Dedekind's formula for the conductor and the complementary module, we study schemes with minimal Dedekind different using the trace of the complementary module, and we prove various results about almost Gorenstein and nearly Gorenstein schemes. △ Less

Submitted 12 April, 2017; originally announced April 2017.

MSC Class: 14M05; 13C13; 13D40; 14N05

Kähler differential algebras for 0-dimensional schemes

Authors: Martin Kreuzer, Tran N. K. Linh, Le Ngoc Long

Abstract: Given a 0-dimensional scheme in a projective space $\mathbb{P}^n$ over a field $K$, we study the Kähler differential algebra $Ω_{R/K}$ of its homogeneous coordinate ring $R$. Using explicit presentations of the modules $Ω^m_{R/K}$ of Kähler differential $m$-forms, we determine many values of their Hilbert functions explicitly and bound their Hilbert polynomials and regularity indices. Detailed res… ▽ More Given a 0-dimensional scheme in a projective space $\mathbb{P}^n$ over a field $K$, we study the Kähler differential algebra $Ω_{R/K}$ of its homogeneous coordinate ring $R$. Using explicit presentations of the modules $Ω^m_{R/K}$ of Kähler differential $m$-forms, we determine many values of their Hilbert functions explicitly and bound their Hilbert polynomials and regularity indices. Detailed results are obtained for subschemes of $\mathbb{P}^1$, fat point schemes, and subschemes of $\mathbb{P}^2$ supported on a conic. △ Less

Submitted 7 April, 2017; originally announced April 2017.

MSC Class: 13N05; 13D40; 14N05

Kaehler differentials for fat point schemes in P^1xP^1

Authors: Elena Guardo, Martin Kreuzer, Tran N. K. Linh, Le Ngoc Long

Abstract: Let $X$ be a set of $K$-rational points in $P^1 \times P^1$ over a field $K$ of characteristic zero, let $Y$ be a fat point scheme supported at $ X$, and let $R_Y$ be the bihomogeneus coordinate ring of $Y$. In this paper we investigate the module of Kaehler differentials $Ω^1_{R_Y/K}$. We describe this bigraded $R_Y$-module explicitly via a homogeneous short exact sequence and compute its Hilbert… ▽ More Let $X$ be a set of $K$-rational points in $P^1 \times P^1$ over a field $K$ of characteristic zero, let $Y$ be a fat point scheme supported at $ X$, and let $R_Y$ be the bihomogeneus coordinate ring of $Y$. In this paper we investigate the module of Kaehler differentials $Ω^1_{R_Y/K}$. We describe this bigraded $R_Y$-module explicitly via a homogeneous short exact sequence and compute its Hilbert function in a number of special cases, in particular when the support $X$ is a complete intersection or an almost complete intersection in $P^1 \times P^1$. Moreover, we introduce a Kaehler different for $Y$ and use it to characterize reduced fat point schemes in $P^1 \times P^1$ having the Cayley-Bacharach property. △ Less

Submitted 6 February, 2018; v1 submitted 29 November, 2016; originally announced November 2016.

Comments: introduction expanded, Example 3.8 added, paper streamlined and improved

Potentially $\text{GL}_2$-type Galois representations associated to noncongruence modular forms

Authors: Wen-Ching Winnie Li, Tong Liu, Ling Long

Abstract: In this paper, we consider Galois representations of the absolute Galois group $\text{Gal}(\overline {\mathbb Q}/\mathbb Q)$ attached to modular forms for noncongruence subgroups of $\text{SL}_2(\mathbb Z)$. When the underlying modular curves have a model over $\mathbb Q$, these representations are constructed by Scholl and are referred to as Scholl representations, which form a large class of mot… ▽ More In this paper, we consider Galois representations of the absolute Galois group $\text{Gal}(\overline {\mathbb Q}/\mathbb Q)$ attached to modular forms for noncongruence subgroups of $\text{SL}_2(\mathbb Z)$. When the underlying modular curves have a model over $\mathbb Q$, these representations are constructed by Scholl and are referred to as Scholl representations, which form a large class of motivic Galois representations. In particular, by a result of Belyi, Scholl representations include the Galois actions on the Jacobian varieties of algebraic curves defined over $\mathbb Q$. As Scholl representations are motivic, they are expected to correspond to automorphic representations according to the Langlands philosophy. Using recent developments in the automorphy lifting theorem, we obtain various automphy and potential automorphy results for potentially $\text{GL}_2$-type Galois representations associated to noncongruence modular forms. Our results are applied to various kinds of examples. Especially, we obtain potential automorphy results for Galois representations attached to an infinite family of spaces of weight 3 noncongruence cusp forms of arbitrarily large dimensions. △ Less

Submitted 9 August, 2017; v1 submitted 20 September, 2016; originally announced September 2016.

Comments: 1 figure. Accepted for publication by Trans. of AMS in August 2017

MSC Class: 11F11; 11F80

Characterization of intersecting families of maximum size in $PSL(2,q)$

Authors: Ling Long, Rafael Plaza, Peter Sin, Qing Xiang

Abstract: We consider the action of the $2$-dimensional projective special linear group $PSL(2,q)$ on the projective line $PG(1,q)$ over the finite field $\F_q$, where $q$ is an odd prime power. A subset $S$ of $PSL(2,q)$ is said to be an intersecting family if for any $g_1,g_2 \in S$, there exists an element $x\in PG(1,q)$ such that $x^{g_1}= x^{g_2}$. It is known that the maximum size of an intersecting f… ▽ More We consider the action of the $2$-dimensional projective special linear group $PSL(2,q)$ on the projective line $PG(1,q)$ over the finite field $\F_q$, where $q$ is an odd prime power. A subset $S$ of $PSL(2,q)$ is said to be an intersecting family if for any $g_1,g_2 \in S$, there exists an element $x\in PG(1,q)$ such that $x^{g_1}= x^{g_2}$. It is known that the maximum size of an intersecting family in $PSL(2,q)$ is $q(q-1)/2$. We prove that all intersecting families of maximum size are cosets of point stabilizers for all odd prime powers $q>3$. △ Less

Submitted 28 February, 2018; v1 submitted 25 August, 2016; originally announced August 2016.

Comments: 32 pages, corrected some minor errors; in particular, stated the new Theorem 1 and 3 with the extra condition that $q>3$

Journal ref: J. Comb. Theory A. 157 (2018), 461-499

Some results on the Orlicz space generated from a random normed module

Authors: Mingzhi Wu, Long Long, Xiaolin Zeng

Abstract: Noting the important role the abstract $L^p$ space has played in the development of random normed modules, in this paper we introduce and study the Orlicz space generated from a random normed module. First, we give a basic dual space representation theorem which identify the dual of the Orlicz heart of a random normed module with the Orlicz space generated from the random conjugate space. Then, we… ▽ More Noting the important role the abstract $L^p$ space has played in the development of random normed modules, in this paper we introduce and study the Orlicz space generated from a random normed module. First, we give a basic dual space representation theorem which identify the dual of the Orlicz heart of a random normed module with the Orlicz space generated from the random conjugate space. Then, we establish the respective equivalence relations of the strict convexity and uniform convexity of this abstract Orlicz space to the random strict convexity and random uniform convexity of the underlying random normed module. These results demonstrate that it is possible to use the Orlicz space theory in the further development of random nomed modules. △ Less

Submitted 2 January, 2019; v1 submitted 3 November, 2015; originally announced November 2015.

Comments: 19 pages

Hypergeometric Functions over Finite Fields

Authors: Jenny Fuselier, Ling Long, Ravi Ramakrishna, Holly Swisher, Fang-Ting Tu

Abstract: Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study hypergeometric functions over finite fields in a manner that is parallel to that of the classical hypergeometric functions. Using a comparison between the classic… ▽ More Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study hypergeometric functions over finite fields in a manner that is parallel to that of the classical hypergeometric functions. Using a comparison between the classical gamma function and its finite field analogue the Gauss sum, we give a systematic way to obtain certain types of hypergeometric transformation and evaluation formulas over finite fields and interpret them geometrically using a Galois representation perspective. As an application, we obtain a few finite field analogues of algebraic hypergeometric identities, quadratic and higher transformation formulas, and evaluation formulas. We further apply these finite field formulas to compute the number of rational points of certain hypergeometric varieties. △ Less

Submitted 5 October, 2022; v1 submitted 9 October, 2015; originally announced October 2015.

Comments: 113 pages

Hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions

Authors: Alyson Deines, Jenny G. Fuselier, Ling Long, Holly Swisher, Fang-Ting Tu

Abstract: In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves. In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves. △ Less

Submitted 23 September, 2015; v1 submitted 14 January, 2015; originally announced January 2015.

Comments: 25 pages

MSC Class: 33C20; 11T24; 11G25; 14J30

Generalized Legendre curves and Quaternionic Multiplication

Authors: Alyson Deines, Jenny G. Fuselier, Ling Long, Holly Swisher, Fang-Ting Tu

Abstract: This paper is devoted to abelian varieties arising from generalized Legendre curves. In particular, we consider their corresponding Galois representations, periods, and endomorphism algebras. For certain one parameter families of 2-dimensional abelian varieties of this kind, we determine when the endomorphism algebra of each fiber defined over the algebraic closure of $\Bbb Q$ contains a quaternio… ▽ More This paper is devoted to abelian varieties arising from generalized Legendre curves. In particular, we consider their corresponding Galois representations, periods, and endomorphism algebras. For certain one parameter families of 2-dimensional abelian varieties of this kind, we determine when the endomorphism algebra of each fiber defined over the algebraic closure of $\Bbb Q$ contains a quaternion algebra. △ Less

Submitted 19 November, 2015; v1 submitted 22 December, 2014; originally announced December 2014.

MSC Class: 33C05; 11G10; 11F80

On a conjecture of Kimoto and Wakayama

Authors: Ling Long, Robert Osburn, Holly Swisher

Abstract: We prove a conjecture due to Kimoto and Wakayama from 2006 concerning Apery-like numbers associated to a special value of a spectral zeta function. Our proof uses hypergeometric series and p-adic analysis. We prove a conjecture due to Kimoto and Wakayama from 2006 concerning Apery-like numbers associated to a special value of a spectral zeta function. Our proof uses hypergeometric series and p-adic analysis. △ Less

Submitted 16 March, 2016; v1 submitted 18 April, 2014; originally announced April 2014.

Comments: 8 pages, to appear in Proceedings of the AMS

MSC Class: Primary: 33C20; 11B65; Secondary: 11M41

Journal ref: Proceedings of the American Mathematical Society 144, no. 10, (2016), 4319-4327

Some supercongruences occurring in truncated hypergeometric series

Authors: Ling Long, Ravi Ramakrishna

Abstract: For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We prove a number of such supercongruences by using classical hypergeometric transformation formulae. These formulae (see the appendix), most of which are decades… ▽ More For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We prove a number of such supercongruences by using classical hypergeometric transformation formulae. These formulae (see the appendix), most of which are decades or centuries old, allow us to write the terminating series as the ratio of products of of $Γ$-values. At this point sums have become quotients. Writing these $Γ$-quotients as $Γ_p$-quotients, we are in a situation that is well-suited for proving $p$-adic congruences. These $Γ_p$-functions can be $p$-adically approximated by their Taylor series expansions. Sometimes there is cancelation of the lower order terms, leading to stronger congruences. Using this technique we prove, among other things, a conjecture of Kibelbek and a strengthened version of a conjecture of van Hamme. △ Less

Submitted 3 September, 2014; v1 submitted 20 March, 2014; originally announced March 2014.

Atkin and Swinnerton-Dyer congruences and noncongruence modular forms

Authors: Wen-Ching Winnie Li, Ling Long

Abstract: Atkin and Swinnerton-Dyer congruences are special congruence recursions satisfied by coefficients of noncongruence modular forms. These are in some sense $p$-adic analogues of Hecke recursion satisfied by classic Hecke eigenforms. They actually appeared in different context and sometimes can be obtained using the theory of formal groups. In this survey paper, we introduce the Atkin and Swinnerton-… ▽ More Atkin and Swinnerton-Dyer congruences are special congruence recursions satisfied by coefficients of noncongruence modular forms. These are in some sense $p$-adic analogues of Hecke recursion satisfied by classic Hecke eigenforms. They actually appeared in different context and sometimes can be obtained using the theory of formal groups. In this survey paper, we introduce the Atkin and Swinnerton-Dyer congruences, and discuss some recent progress on this topic. △ Less

Submitted 26 September, 2014; v1 submitted 25 March, 2013; originally announced March 2013.

MSC Class: 11F11; 11F33; 33C20

Journal ref: RIMS Kokyuroku Bessatsu, B51 (2014), 269-299

Supercongruences and Complex Multiplication

Authors: Jonas Kibelbek, Ling Long, Kevin Moss, Benjamin Sheller, Hao Yuan

Abstract: We study congruences involving truncated hypergeometric series of the form_rF_{r-1}(1/2,...,1/2;1,...,1;λ)_{(mp^s-1)/2} = \sum_{k=0}^{(mp^s-1)/2} ((1/2)_k/k!)^r λ^k where p is a prime and m, s, r are positive integers. These truncated hypergeometric series are related to the arithmetic of a family of algebraic varieties and exhibit Atkin and Swinnerton-Dyer type congruences. In particular, when r=… ▽ More We study congruences involving truncated hypergeometric series of the form_rF_{r-1}(1/2,...,1/2;1,...,1;λ)_{(mp^s-1)/2} = \sum_{k=0}^{(mp^s-1)/2} ((1/2)_k/k!)^r λ^k where p is a prime and m, s, r are positive integers. These truncated hypergeometric series are related to the arithmetic of a family of algebraic varieties and exhibit Atkin and Swinnerton-Dyer type congruences. In particular, when r=3, they are related to K3 surfaces. For special values of λ, with s=1 and r=3, our congruences are stronger than what can be predicted by the theory of formal groups because of the presence of elliptic curves with complex multiplications. They generalize a conjecture made by Rodriguez-Villegas for the λ=1 case and confirm some other supercongruence conjectures at special values of λ. △ Less

Submitted 20 November, 2012; v1 submitted 16 October, 2012; originally announced October 2012.

Comments: 19 pages

MSC Class: 33C20; 11G07; 11G15; 44A20

Jacobsthal identity for Q(sqrt(-2))

Authors: Ki-Ichiro Hashimoto, Ling Long, Yifan Yang

Abstract: Let $p$ be a prime congruent to 1 or 3 modulo 8 so that the equation $p=a^2+2b^2$ is solvable in integers. In this paper, we obtain closed-form expressions for $a$ and $b$ in terms of Jacobsthal sums. This is analogous to a classical identity of Jacobsthal. Let $p$ be a prime congruent to 1 or 3 modulo 8 so that the equation $p=a^2+2b^2$ is solvable in integers. In this paper, we obtain closed-form expressions for $a$ and $b$ in terms of Jacobsthal sums. This is analogous to a classical identity of Jacobsthal. △ Less

Submitted 26 October, 2011; originally announced October 2011.

Comments: to appear in Forum Mathematicum

MSC Class: Primary 11L10; secondary 11G05; 11G15; 11G40

Fourier coefficients of noncongruence cuspforms

Authors: Wen-Ching Winnie Li, Ling Long

Abstract: Given a finite index subgroup of $SL_2(\mathbb Z)$ with modular curve defined over $\mathbb Q$, under the assumption that the space of weight $k$ ($ \ge 2$) cusp forms is $1$-dimensional, we show that a form in this space with Fourier coefficients in $\mathbb Q$ has bounded denominators if and only if it is a congruence modular form. Given a finite index subgroup of $SL_2(\mathbb Z)$ with modular curve defined over $\mathbb Q$, under the assumption that the space of weight $k$ ($ \ge 2$) cusp forms is $1$-dimensional, we show that a form in this space with Fourier coefficients in $\mathbb Q$ has bounded denominators if and only if it is a congruence modular form. △ Less

Submitted 14 December, 2010; originally announced December 2010.

MSC Class: 11F11

Galois Representations with Quaternion Multiplications Associated to Noncongruence Modular Forms

Authors: A. O. L. Atkin, Wen-Ching Winnie Li, Tong Liu, Ling Long

Abstract: In this paper we study the compatible family of degree-4 Scholl representations $ρ_{\ell}$ associated with a space $S$ of weight $κ> 2$ noncongruence cusp forms satisfying Quaternion Multiplications over a biquadratic field $K$. It is shown that when either $K$ is totally real or $κ$ is odd, $ρ_\ell$ is automorphic, that is, its associated L-function has the same Euler factors as the L-function of… ▽ More In this paper we study the compatible family of degree-4 Scholl representations $ρ_{\ell}$ associated with a space $S$ of weight $κ> 2$ noncongruence cusp forms satisfying Quaternion Multiplications over a biquadratic field $K$. It is shown that when either $K$ is totally real or $κ$ is odd, $ρ_\ell$ is automorphic, that is, its associated L-function has the same Euler factors as the L-function of an automorphic form for $GL_4(\mathbb Q)$. Further, it yields a relation between the Fourier coefficients of noncongruence cusp forms in $S$ and those of certain automorphic forms via the three-term Atkin and Swinnerton-Dyer congruences. △ Less

Submitted 29 August, 2011; v1 submitted 22 May, 2010; originally announced May 2010.

MSC Class: 11F11; 11F80

On l-adic representations for a space of noncongruence cuspforms

Authors: Jerome W. Hoffman, Ling Long, Helena Verrill

Abstract: This paper is concerned with a compatible family of 4-dimensional \ell-adic representations ρ_{\ell} of G_\Q:=\Gal(\bar \Q/\Q) attached to the space of weight 3 cuspforms S_3 (Γ) on a noncongruence subgroup Γ\subset \SL. For this representation we prove that: 1.)It is automorphic: the L-function L(s, ρ_{\ell}^{\vee}) agrees with the L-function for an automorphic form for \text{GL}_4(\mathbb A_{\Q}… ▽ More This paper is concerned with a compatible family of 4-dimensional \ell-adic representations ρ_{\ell} of G_\Q:=\Gal(\bar \Q/\Q) attached to the space of weight 3 cuspforms S_3 (Γ) on a noncongruence subgroup Γ\subset \SL. For this representation we prove that: 1.)It is automorphic: the L-function L(s, ρ_{\ell}^{\vee}) agrees with the L-function for an automorphic form for \text{GL}_4(\mathbb A_{\Q}), where ρ_{\ell}^{\vee} is the dual of ρ_{\ell}. 2.) For each prime p \ge 5 there is a basis h_p = \{h_p ^+, h_p ^- \} of S_3 (Γ) whose expansion coefficients satisfy 3-term Atkin and Swinnerton-Dyer (ASD) relations, relative to the q-expansion coefficients of a newform f of level 432. The structure of this basis depends on the class of p modulo 12. The key point is that the representation $ρ_{\ell}$ admits a quaternion multiplication structure in the sense of a recent work of Atkin, Li, Liu and Long. △ Less

Submitted 3 February, 2011; v1 submitted 19 March, 2010; originally announced March 2010.

Comments: Second revised version. To appear: Proceedings of the American Mathematical Society

MSC Class: 11F11; 11F33; 11F80

Hypergeometric evaluation identities and supercongruences

Authors: Ling Long

Abstract: In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular, we prove a conjecture of van Hamme. In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular, we prove a conjecture of van Hamme. △ Less

Submitted 16 December, 2010; v1 submitted 1 December, 2009; originally announced December 2009.

MSC Class: 33C20

Zeros of some level 2 Eisenstein series

Authors: Sharon Garthwaite, Ling Long, Holly Swisher, Stephanie Treneer

Abstract: The zeros of classical Eisenstein series satisfy many intriguing properties. Work of F. Rankin and Swinnerton-Dyer pinpoints their location to a certain arc of the fundamental domain, and recent work by Nozaki explores their interlacing property. In this paper we extend these distribution properties to a particular family of Eisenstein series on Gamma(2) because of its elegant connection to a cl… ▽ More The zeros of classical Eisenstein series satisfy many intriguing properties. Work of F. Rankin and Swinnerton-Dyer pinpoints their location to a certain arc of the fundamental domain, and recent work by Nozaki explores their interlacing property. In this paper we extend these distribution properties to a particular family of Eisenstein series on Gamma(2) because of its elegant connection to a classical Jacobi elliptic function cn(u) which satisfies a differential equation. As part of this study we recursively define a sequence of polynomials from the differential equation mentioned above that allow us to calculate zeros of these Eisenstein series. We end with a result linking the zeros of these Eisenstein series to an L-series. △ Less

Submitted 24 August, 2009; originally announced August 2009.

Comments: 14 pages, 1 figure

MSC Class: 11F11

On modular forms for some noncongruence subgroups of SL_2(Z) II

Authors: Ling Long, Chris Kurth

Abstract: In this paper we show two classes of noncongruence subgroups satisfy the so-called unbounded denominator property. In particular, we establish our conjecture in [KL08] which says that every type II noncongruence character group of Gamma^0(11) satisfies the unbounded denominator property. In this paper we show two classes of noncongruence subgroups satisfy the so-called unbounded denominator property. In particular, we establish our conjecture in [KL08] which says that every type II noncongruence character group of Gamma^0(11) satisfies the unbounded denominator property. △ Less

Submitted 29 August, 2008; originally announced September 2008.

MSC Class: 11F11; 11F30

Computations with finite index subgroups of $PSL_2(\mathbb Z)$ using Farey Symbols

Authors: Chris A. Kurth, Ling Long

Abstract: Finite index subgroups of the modular group are of great arithmetic importance. Farey symbols, introduced by Ravi Kulkarni in 1991, are a tool for working with these groups. Given such a group $Γ$, a Farey symbol for $Γ$ is a certain finite sequence of rational numbers (representing vertices of a fundamental domain of $Γ$) together with pairing information for the edges between the vertices. The… ▽ More Finite index subgroups of the modular group are of great arithmetic importance. Farey symbols, introduced by Ravi Kulkarni in 1991, are a tool for working with these groups. Given such a group $Γ$, a Farey symbol for $Γ$ is a certain finite sequence of rational numbers (representing vertices of a fundamental domain of $Γ$) together with pairing information for the edges between the vertices. They are a compact way of encoding the information about the group and they provide a simple way to do calculations with the group. For example: calculating an independent set of generators and decomposing group elements into a word in these generators, finding coset representatives, elliptic points, and genus of the group, testing if the group is congruence, etc. In this expository article, we will discuss Farey Symbols and explicit algorithms for working with them. △ Less

Submitted 9 October, 2007; originally announced October 2007.

Comments: Expository article on basic algorithms used in KFarey, a SAGE packge developed by the first author on computations with finite index subgroups of the modular group, 5 figures

Finite index subgroups of the modular group and their modular forms

Authors: Ling Long

Abstract: Classically, congruence subgroups of the modular group, which can be described by congruence relations, play important roles in group theory and modular forms. In reality, the majority of finite index subgroups of the modular group are noncongruence. These groups as well as their modular forms are central players of this survey article. Differences between congruence and noncongruence subgroups… ▽ More Classically, congruence subgroups of the modular group, which can be described by congruence relations, play important roles in group theory and modular forms. In reality, the majority of finite index subgroups of the modular group are noncongruence. These groups as well as their modular forms are central players of this survey article. Differences between congruence and noncongruence subgroups and modular forms will be discussed. We will mainly focus on three interesting aspects of modular forms for noncongruence subgroups: the unbounded denominator property, modularity of the Galois representation arising from noncongruence cuspforms, and Atkin and Swinnerton-Dyer congruences. △ Less

Submitted 23 July, 2007; originally announced July 2007.

Comments: A survey article

MSC Class: 11F11

On Atkin and Swinnerton-Dyer congruence relations (3)

Authors: Ling Long

Abstract: In the previous two papers with the same title ([LLY05] by W.C. Li, L. Long, Z. Yang and [ALL05] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied special families of cuspforms for noncongruence arithmetic subgroups. It was found that the Fourier coefficients of these modular forms at infinity satisfy three-term Atkin and Swinnerton-Dyer congruence relations which are the $p$-adic ana… ▽ More In the previous two papers with the same title ([LLY05] by W.C. Li, L. Long, Z. Yang and [ALL05] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied special families of cuspforms for noncongruence arithmetic subgroups. It was found that the Fourier coefficients of these modular forms at infinity satisfy three-term Atkin and Swinnerton-Dyer congruence relations which are the $p$-adic analogue of the three-term recursions satisfied by the coefficients of classical Hecke eigenforms. In this paper, we first consider Atkin and Swinnerton-Dyer type congruences which generalize the three-term congruences above. These weaker congruences are satisfied by cuspforms for special noncongruence arithmetic subgroups. Then we will exhibit an infinite family of noncongruence cuspforms, each of which satisfies three-term Atkin and Swinnerton-Dyer type congruences for almost every prime $p$. Finally, we will study a particular space of noncongruence cuspforms. We will show that the attached $l$-adic Scholl representation is isomorphic to the $l$-adic representation attached to a classical automorphic form. Moreover, for each of the four residue classes of odd primes modulo 12 there is a basis so that the Fourier coefficients of each basis element satisfy three-term Atkin and Swinnerton-Dyer congruences in the stronger original sense. △ Less

Submitted 10 January, 2007; originally announced January 2007.

MSC Class: 11F30; 11F11