Siegel modular forms of degree 2 over rings

Based on moduli theory of abelian varieties, extending Igusa's result on Siegel modular forms over C, we describe the ring of Siegel full modular forms of degree 2 over any Z-algebra in which 6 is invertible.     

A mean value theorem for orders of degree zero divisor class groups of quadratic extensions over a function field

Let k be a function field of one variable over a finite field with the characteristic not equal to two. In this paper, we consider the prehomogeneous representation of the space of binary quadratic forms over k. We have two main results. The first result is on the principal part of the global zeta function associated with the prehomogeneous vector space. The second result is on a mean value theorem for degree zero divisor class groups of quadratic extensions over k, which is a consequence of the first one.     

Rademacher averages on noncommutative symmetric spaces

Let E be a separable (or the dual of a separable) symmetric function space, let M be a semifinite von Neumann algebra and let E(M) be the associated noncommutative function space. Let (εk)_k?1 be a Rademacher sequence, on some probability space Ω. For finite sequences (xk)_k?1 of E(M), we consider the Rademacher averages k_∑εk⊗xk as elements of the noncommutative function space and study estimates for their norms ‖k_∑εk⊗xkE_‖ calculated in that space. We establish general Khintchine type inequalities in this context. Then we show that if E is 2-concave, ‖k_∑εk⊗xkE_‖ is equivalent to the infimum of over all yk, zk in E(M) such that xk=yk+zk for any k?1. Dual estimates are given when E is 2-convex and has a nontrivial upper Boyd index. In this case, ‖k_∑εk⊗xkE_‖ is equivalent to . We also study Rademacher averages _∑i,jεi⊗εj⊗xij for doubly indexed families (xij)_i,j of E(M).     

Rademacher series and isomorphisms of rearrangement invariant spaces on the finite interval and on the semi-axis

Let X be a rearrangement invariant function space on [0,1]. We consider the subspace Radi X of X which consists of all functions of the form , where xk are arbitrary independent functions from X and rk are usual Rademacher functions independent of {xk}. We prove that Radi X is complemented in X if and only if both X and its Köthe dual space X^′ possess the so-called Kruglov property. As a consequence we show that the last conditions guarantee that X is isomorphic to some rearrangement invariant function space on [0,∞). This strengthens earlier results derived in different approach in [W.B. Johnson, B. Maurey, G. Schechtman, L. Tzafriri, Symmetric structures in Banach spaces, Mem. Amer. Math. Soc. 1 (217) (1979)].     

Differential operators for harmonic weak Maass forms and the vanishing of Hecke eigenvalues

For integers k ≥ 2, we study two differential operators on harmonic weak Maass forms of weight 2 ? k. The operator ξ_2-k (resp. D ^k-1) defines a map to the space of weight k cusp forms (resp. weakly holomorphic modular forms). We leverage these operators to study coefficients of harmonic weak Maass forms. Although generic harmonic weak Maass forms are expected to have transcendental coefficients, we show that those forms which are “dual” under ξ_2-k to newforms with vanishing Hecke eigenvalues (such as CM forms) have algebraic coefficients. Using regularized inner products, we also characterize the image of D ^k-1.     

Decomposition theorems and conjugate pair in D K spaces

Let K be a right-continuous and nondecreasing function.A function f analytic in the unit disk D belongs to the space DK if D|f(z)|2K(1- |z|2)dA(z) ∞.Decomposition theorems for DK spaces are established in this paper.As an application,we obtain a characterization of interpolation by functions in DKspaces.Furthermore,we characterize functions in DKspaces by conjugate pairs.     

Reduction theory over quadratic imaginary fields

Hurwitz developed a reduction theory for real binary quadratic forms of positive discriminant based on least-remainder continued fractions. For each quadratic imaginary field k, we develop a similar theory for complex binary quadratic forms of nonzero discriminant. This uses a Markov partition for the geodesic flow over the quotient of hyperbolic 3-space by the Bianchi group B_k. When k has a Euclidean algorithm, our theory is based on least-remainder continued fractions.     

On the intersection theory of the moduli space of rank two bundles

We give an algebro-geometric derivation of the known intersection theory on the moduli space of stable rank 2 bundles of odd degree over a smooth curve of genus g. We lift the computation from the moduli space to a Quot scheme, where we obtain the intersections via equivariant localization with respect to a natural torus action.     

Jacobi Maaß forms

In this paper, we give a new definition for the space of non-holomorphic Jacobi Maaß forms (denoted by J _k,m ^nh ) of weight k∈? and index m∈? as eigenfunctions of a degree three differential operator \(\mathcal{C}^{k,m}\). We show that the three main examples of Jacobi forms known in the literature: holomorphic, skew-holomorphic and real-analytic Eisenstein series, are contained in J _k,m ^nh . We construct new examples of cuspidal Jacobi Maaß forms F _f of weight k∈2? and index 1 from weight k?1/2 Maaß forms f with respect to Γ₀(4) and show that the map f ? F _f is Hecke equivariant. We also show that the above map is compatible with the well-known representation theory of the Jacobi group. In addition, we show that all of J _k,m ^nh can be “essentially” obtained from scalar or vector valued half integer weight Maaß forms.     

Killing forms on symmetric spaces

Killing forms on Riemannian manifolds are differential forms whose covariant derivative is totally skew-symmetric. We show that a compact simply connected symmetric space carries a non-parallel Killing p-form (p?2) if and only if it isometric to a Riemannian product Sk×N, where Sk is a round sphere and k>p.     

The inf-convolution as a law of monoid. An analogue to the Banach–Stone theorem

In this article we study the operation of inf-convolution in a new direction. We prove that the inf-convolution gives a monoid structure to the space of convex k-Lipschitz and bounded from below real-valued functions on a Banach space X. Then we show that the structure of the space X is completely determined by the structure of this monoid by establishing an analogue to the Banach–Stone theorem. Some applications will be given.     

Some generalizations of locally and weakly locally uniformly convex space

In this paper, we prove that strongly convex space and almost locally uniformly rotund space, very convex space and weakly almost locally uniformly rotund space are respectively equivalent. We also investigate a few properties of k-strongly convex space and k-very convex space, and discuss the applications of strongly convex space and very convex space in approximation theory.     

Nonvanishing of Koecher–Maass series attached to Siegel cusp forms

We prove a nonvanishing result for Koecher–Maass series attached to Siegel cusp forms of weight k and degree n   in certain strips on the complex plane. When n=2$n=2$, we prove such a result for forms orthogonal to the space of the Saito–Kurokawa lifts ‘up to finitely many exceptions’, in bounded regions.     

On generic and maximal k-ranks of binary forms

In what follows, we pose two general conjectures about decompositions of homogeneous polynomials as sums of powers. The first one (suggested by G. Ottaviani) deals with the generic k-rank of complex-valued forms of any degree divisible by k in any number of variables. The second one (by the fourth author) deals with the maximal k-rank of binary forms. We settle the first conjecture in the cases of two variables and the second in the first non-trivial case of the 3-rd powers of quadratic binary forms.     

An algorithm for associative bilinear forms

We establish the equivalence between the problem of existence of associative bilinear forms and the problem of solvability in commutative power-associative finite-dimensional nil-algebras. We use the tensor product to find sufficient and necessary conditions to assure the existence of associative bilinear forms in an algebra A. The result gives us an algorithm to describe the space of associative bilinear forms for an algebra when its constants of structure γ_i,j,k for i,j,k=1,…,n are known.     

Decomposable forms and automorphisms

In the late 19th century Jordan initiated the study of forms of higher degree and derived (see Memoire sur l'equivalence des formes, Oeuvres III, Gauthier Villars, Paris, 1962) the finiteness of the automorphism group Aut(f) of complex forms of degree ?3 and non-zero discriminant. This result has been extended to forms over arbitrary fields by Schneider (J. Algebra 27 (1973) 112), see also Curtis and Reiner (Representation Theory of Finite Groups and Associative Algebras, Wiley, New York, 1962) for related topics. Orlik and Solomon gave some bounds for the cardinality of Aut(f) using cohomological arguments in Orlik and Solomon (Math. Ann. 231 (1978) 229); besides this, little seems to be known about this group in general.In connection with his study (Monatsh. Math., submitted for publication) of representations of forms by linear forms, the author was led to an investigation of the group of automorphisms of decomposable forms f through the permutations of the linear factors these automorphisms induce. The main result (Theorem 4.2 in Chapter 4) states that almost all forms in k?2 variables of degree d?max{5,k+2} have only the trivial automorphisms that consist in multiplying each variable by the same dth root of unity. The case k=2,d=4 has already been studied (see Survey in Algebraic Geometry, Part 2, Invariant theory, Encyclopaedia of Mathematical Sciences, Vol. 55, Springer, Berlin, 1994); however, it is treated in full detail to illustrate the elaborated techniques.The first chapters are devoted to the proof of some general results concerning the structure of the permutation group associated to a form f which also help to understand the case of forms with non-trivial automorphisms. In a few special cases, this allows to determine this group explicitly; in general we give a bound for the cardinality of Aut(f) depending only on the degree of f which is relevant for some diophantine problems (see e.g. Ann. Math. 155 (2002) 553).The author is indebted to G. Wuestholz for his substantial help and encouragement during the redaction of the paper, he also wishes to thank V. Popov for several helpful remarks.     

Cocharacters of Bilinear Mappings and Graded Matrices

Let M _k (F) be the algebra of k ×k matrices over a field F of characteristic 0. If G is any group, we endow M _k (F) with the elementary grading induced by the k-tuple (1,...,1,g) where g?∈?G, g ²?≠?1. Then the graded identities of M _k (F) depending only on variables of homogeneous degree g and g ^???1 are obtained by a natural translation of the identities of bilinear mappings (see Bahturin and Drensky, Linear Algebra Appl 369:95–112, 2003). Here we study such identities by means of the representation theory of the symmetric group. We act with two copies of the symmetric group on a space of multilinear graded polynomials of homogeneous degree g and g ^???1 and we find an explicit decomposition of the corresponding graded cocharacter into irreducibles.     

On the zeros of functions in Bergman spaces and in some other related classes of functions

A well-known theorem of H.S. Shapiro and A.L. Shields implies that if f?0 is a function which belongs to the Bergman space Ap (0<p<∞) and {zk} is a sequence of zeros of f which is contained in a Stolz angle, then {zk} satisfies the Blaschke condition. In this paper we improve this result. We consider a large class of regions contained in the unit disc D which touch ∂D at a point ξ tangentially and we prove that the mentioned result remains true if we substitute a Stolz angle by any of these regions of tangential approach.     

Multivariate generalized sampling in shift-invariant spaces and its approximation properties

Nowadays the topic of sampling in a shift-invariant space is having a significant impact: it avoids most of the problems associated with classical Shannon's theory. Under appropriate hypotheses, any multivariate function in a shift-invariant space can be recovered from its samples at Zd. However, in many common situations the available data are samples of some convolution operators acting on the function itself: this leads to the problem of multivariate generalized sampling in shift-invariant spaces. This extra information on the functions in the shift-invariant space will allow to sample in an appropriate sub-lattice of Zd. In this paper an L²(Rd) theory involving the frame theory is exhibited. Sampling formulas which are frame expansions for the shift-invariant space are obtained. In the case of overcomplete frame formulas, the search of reconstruction functions with prescribed good properties is allowed. Finally, approximation schemes using these generalized sampling formulas are included.