Families of Siegel modular forms, <Emphasis Type="Italic">L</Emphasis>-functions and modularity lifting conjectures

For a prime p and a positive integer g, by making use of certain lifting procedures, we study some constructions of p-adic families of Siegel modular forms of genus g and associated p-adic L-functions. Describing L-functions attached to Siegel modular forms and their analytic properties from the point of view of motivic L-functions studied by Deligne and Yoshida, we discuss critical values of the L-functions and p-adic interpolation problems. In particular, we formulate a general conjecture on the existence of the modularity lifting from GSp _r × GSp_2m to GSp _r+2m for some positive integers r and m.     

Two modularity lifting conjectures for families of Siegel modular forms

For a prime p and a positive integer n, using certain lifting procedures, we study some constructions of p-adic families of Siegel modular forms of genus n. Describing L-functions attached to Siegel modular forms and their analytic properties, we formulate two conjectures on the existence of the modularity liftings from GSp _r × GSp_2m to GSp _r+2m for some positive integers r and m.     

A Splitting of the Frobenius Morphism on the Whole Algebra of Distributions of SL 2

We define, over k = \BbbF_pk = {\Bbb{F}}_{p}, a splitting of the Frobenius morphism Fr : \textDist (G) ? \textDist (G)Fr : {\text{Dist}}\,(G) \rightarrow {\text{Dist}}\,(G) on the whole \textDist (G){\text{Dist}}\,(G), the algebra of distributions of the k-algebraic group G: = SL ₂. This splitting is compatible (and lifts) the theory of Frobenius descent for arithmetic D{\cal{D}}-modules over X:=\BbbP_k¹X:={\Bbb{P}}_{k}^{1}.     

Critical p-adic L-functions

We attach p-adic L-functions to critical modular forms and study them. We prove that those L-functions fit in a two-variables p-adic L-function defined locally everywhere on the eigencurve.     

Singular del Pezzo surfaces that are equivariant compactifications

We determine which singular del Pezzo surfaces are equivariant compactifications of \mathbbG_\texta² \mathbb{G}_{\text{a}}^2 , to assist with proofs of Manin’s conjecture for such surfaces. Additionally, we give an example of a singular quartic del Pezzo surface that is an equivariant compactification of \mathbbG_\texta {\mathbb{G}_{\text{a}}} ⋊ \mathbbG_\textm {\mathbb{G}_{\text{m}}} . Bibliography: 32 titles.     

The BC-system and L-functions

In these lectures we survey some relations between L-functions and the BC-system, including new results obtained in collaboration with C. Consani. For each prime p and embedding σ of the multiplicative group of an algebraic closure of \mathbb F_p{\mathbb {F}_p} as complex roots of unity, we construct a p-adic indecomposable representation π_σ of the integral BC-system. This construction is done using the identification of the big Witt ring of [`(\mathbb F)]_p{\bar{\mathbb F}_p} and by implementing the Artin–Hasse exponentials. The obtained representations are the p-adic analogues of the complex, extremal KMS_∞ states of the BC-system. We use the theory of p-adic L-functions to determine the partition function. Together with the analogue of the Witt construction in characteristic one, these results provide further evidence towards the construction of an analogue, for the global field of rational numbers, of the curve which provides the geometric support for the arithmetic of function fields.     

Triple products of Coleman’s families

We discuss modular forms as objects of computer algebra and as elements of certain p-adic Banach modules. We discuss a problem-solving approach in number theory, which is based on the use of generating functions and their connection with modular forms. In particular, the critical values of various L-functions of modular forms produce nontrivial but computable solutions of arithmetical problems. Namely, for a prime number we consider three classical cusp eigenforms

On the mean square of standard L-functions attached to Ikeda lifts

By using estimates on the frequency of large values of the Riemann zeta-function and modular L-functions attached to the full modular group SL(2, ℤ), we prove sharp upper and lower estimates of the mean square of standard L-functions attached to Siegel cusp forms which are Ikeda lifts, on boundaries and the central line of the critical strip. The mean square of spinor L-functions attached to Saito-Kurokawa lifts is also studied.     

A relation between <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis>-functions and the Tamagawa number conjecture for Hecke characters

We prove that the submodule in K-theory which gives the exact value of the L-function by the Beilinson regulator map at non-critical values for Hecke characters of imaginary quadratic fields K with cl (K) = 1(p-local Tamagawa number conjecture) satisfies that the length of its coimage under the local Soulé regulator map is the p-adic valuation of certain special values of p-adic L-functions associated to the Hecke characters. This result yields immediately, up to Jannsens conjecture, an upper bound for in terms of the valuation of these p-adic L-functions, where V_p denotes the p-adic realization of a Hecke motive.Received: 4 June 2003     

SL2-modules of small homological dimension

Let V _n be the SL₂-module of binary forms of degree n and let V = V_n1 ???V_np V = {V_{{n_1}}} \oplus \cdots \oplus {V_{{n_p}}} . We consider the algebra R = O(V)^{\textS\textL₂} R = \mathcal{O}{(V)^{{\text{S}}{{\text{L}}_2}}} of polynomial functions on V invariant under the action of SL₂. The measure of the intricacy of these algebras is the length of their chains of syzygies, called homological dimension hd R. Popov gave in 1983 a classification of the cases in which hd R ≤ 10 for a single binary form (p = 1) or hd R ≤ 3 for a system of two or more binary forms (p > 1). We extend Popov’s result and determine for p = 1 the cases with hd R ≤ 100, and for p > 1 those with hd R ≤ 15. In these cases we give a set of homogeneous parameters and a set of generators for the algebra R.     

Isometric Group Actions on Banach Spaces and Representations Vanishing at Infinity

Our main result is that the simple Lie group G = Sp(n, 1) acts metrically properly isometrically on L ^p (G) if p > 4n + 2. To prove this, we introduce Property , with V being a Banach space: a locally compact group G has Property if every affine isometric action of G on V, such that the linear part is a C ₀-representation of G, either has a fixed point or is metrically proper. We prove that solvable groups, connected Lie groups, and linear algebraic groups over a local field of characteristic zero, have Property . As a consequence, for unitary representations, we characterize those groups in the latter classes for which the first cohomology with respect to the left regular representation on L ²(G) is nonzero; and we characterize uniform lattices in those groups for which the first L2-Betti number is nonzero.      

Bernstein-type inequalities for splines defined on the real axis

We obtain exact Bernstein-type inequalities for splines s ? S_m,h?L₂( \mathbbR ) s \in {S_{m,h}}\bigcap {{L_2}\left( \mathbb{R} \right)} , as well as the exact inequalities estimating, for splines s ∈ S _{m, h} , h > 0; the L _p -norms of the Fourier transforms of their kth derivative in terms of the L _p -norms of the Fourier transforms of the splines themselves.     

Siegel modular forms and representations

This paper explicitly describes the procedure of associating an automorphic representation of PGSp(2n,?) with a Siegel modular form of degree n for the full modular group Γ _n =Sp(2n,ℤ), generalizing the well-known procedure for n=1. This will show that the so-called “standard” and ldquo;spinor”L-functions associated with such forms are obtained as Langlands L-functions. The theory of Euler products, developed by Langlands, applied to a Levi subgroup of the exceptional group of type F _<4, is then used to establish meromorphic continuation for the spinor L-function when n=3. Received: 28 March 2000 / Revised version: 25 October 2000     

Existence of solution of the pullback equation involving volume forms

Let Ω ⊂ ℝ ⁿ be a smooth, bounded domain. We study the existence and regularity of diffeomorphisms of Ω satisfying the volume form equation

Uniform rates of approximation by short asymptotic expansions in the CLT for quadratic forms

Let X, X ₁, X ₂,… be i.i.d. \mathbbR^d {\mathbb{R}^d} -valued real random vectors. Assume that E X = 0 and that X has a nondegenerate distribution. Let G be a mean zero Gaussian random vector with the same covariance operator as that of X. We study the distributions of nondegenerate quadratic forms \mathbbQ[ S_N ] \mathbb{Q}\left[ {{S_N}} \right] of the normalized sums S _N  = N ^−1/2 (X ₁ + ⋯ + X _N ) and show that, without any additional conditions,

On the Selberg orthogonality for automorphic L-functions

For automorphic L-functions L(s, π) and L( s,p^￠){L( s,\pi^{\prime })} attached to automorphic irreducible cuspidal representations π and π′ of GL_m( \mathbbQ_A){GL_{m}( \mathbb{Q}_{A})} and GL_m^￠(\mathbbQ_A) {GL_{m^{\prime }}(\mathbb{Q}_{A}) }, we prove the Selberg orthogonality unconditionally for m ≤ 4 and m′ ≤ 4, and under hypothesis H of Rudnik and Sarnak if m > 4 or m′ > 4, without the additional requirement that at least one of these representations be self-contragradient.     

Dual partially harmonic tensors and Brauer-Schur-Weyl duality

Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ^⊗n . In this paper we prove that dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

On the ring of local polynomial invariants for a pair of entangled qubits

The entanglement characteristics of two qubits are encoded in the invariants of the adjoint action of the group SU(2) ⊗ SU(2) on the space of density matrices \mathfrakP₊ {\mathfrak{P}_{+} } , defined as the space of 4 × 4 positive semidefinite Hermitian matrices. The corresponding ring \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} of polynomial invariants is studied. A special integrity basis for \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} is described, and the constraints on its elements imposed by the positive semidefiniteness of density matrices are given explicitly in the form of polynomial inequalities. The suggested basis is characterized by the property that the minimum number of invariants, namely, two primary invariants of degree 2, 3 and one secondary invariant of degree 4 appearing in the Hironaka decomposition of \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} , are subject to the polynomial inequalities. Bibliography: 32 titles.     

Enveloping algebras of Slodowy slices and Goldie rank

Let U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) be the finite W-algebra associated with a nilpotent element e in a complex simple Lie algebra \mathfrakg = \textLie(G) \mathfrak{g} = {\text{Lie}}(G) and let I be a primitive ideal of the enveloping algebra U( \mathfrakg ) U\left( \mathfrak{g} \right) whose associated variety equals the Zariski closure of the nilpotent orbit (Ad G) e. Then it is known that I = \textAn\textn_{U( \mathfrakg )}( Q_e ?_{U( \mathfrakg,e )}V ) I = {\text{An}}{{\text{n}}_{U\left( \mathfrak{g} \right)}}\left( {{Q_e}{ \otimes_{U\left( {\mathfrak{g},e} \right)}}V} \right) for some finite dimensional irreducible U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) -module V, where Q _e stands for the generalised Gelfand–Graev \mathfrakg \mathfrak{g} -module associated with e. The main goal of this paper is to prove that the Goldie rank of the primitive quotient U( \mathfrakg )

Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations

Let Ω ⊂ ℝ ^d be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on Ω. Here we study extremal properties of those positive definite formulae that can be generated by a centroidal Voronoi tessellation of Ω. In this connection we come across a class of operators of the form L_n[f](x): = ?_i=1ⁿ f_i(x)(f(y_i) + á?f(y_i), x-y_i?)L_n[f](\boldsymbol{x}):= \sum_{i=1}^n \phi_i(\boldsymbol{x})(f(\boldsymbol{y}_i) + \langle\nabla f(\boldsymbol{y}_i), \boldsymbol{x}-\boldsymbol{y}_i\rangle), where y₁,..., y_n\boldsymbol{y}_1,\dots, \boldsymbol{y}_n are distinct points in Ω and {ϕ ₁, ..., ϕ _n } is a partition of unity on Ω. We present best possible pointwise error estimates and describe operators L _n with a smallest constant in an L ^p error estimate for 1 ≤ p < ∞ . For a generalization, we introduce a new type of Voronoi tessellation in terms of a twice continuously differentiable and strictly convex function f. It allows us to describe a best operator L _n for approximating f by L _n [f] with respect to the L ^p norm.