Coherent state transforms and vector bundles on elliptic curves

We extend the coherent state transform (CST) of Hall to the context of the moduli spaces of semistable holomorphic vector bundles with fixed determinant over elliptic curves. We show that by applying the CST to appropriate distributions, we obtain the space of level k, rank n and genus one non-abelian theta functions with the unitarity of the CST transform being preserved. Furthermore, the shift in the level k→k+n appears in a natural way in this finite-dimensional framework.     

Theta functions on <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript>-bundles over <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript> with the zero Euler class

We construct an analog of the classical theta function on an abelian variety for the closed 4-dimensional symplectic manifolds that are T ²-bundles over T ² with the zero Euler class. We use our theta functions for a canonical symplectic embedding of these manifolds into complex projective spaces (an analog of the Lefschetz theorem).     

Theta Functions with Harmonic Coefficients over Number Fields

We investigate theta functions attached to quadratic forms over a number field K. We establish a functional equation by regarding the theta functions as specializations of symplectic theta functions. By applying a differential operator to the functional equation, we show how theta functions with harmonic coefficients over K behave under modular transformations.     

The reduced C1-algebra of the p-adic group GL(n)

The reduced C¹-algebra of the p-adic group GL(n) is Morita equivalent to an abelian C¹-algebra. The structure of this abelian C¹-algebra is described in terms of unramified unitary characters of Levi subgroups. The K-groups K₀ and K₁ are both free abelian of infinite rank. Generators are essentially parametrized by two items of Langlands data.     

On the Schwartz-Bruhat space and the Paley-Wiener theorem for locally compact abelian groups

Let G be a locally compact abelian group. The Schwartz-Bruhat space of functions on G is then defined in terms of Lie subquotient groups. We give an alternative characterization which involves asymptotic behavior of the function and its Fourier transform, and which makes no reference to Lie theory. We then prove the Paley-Wiener theorem for the Fourier transform of C_C^∞(G). The asymptotic estimates which arise are closely related to those used to characterize the Schwartz-Bruhat space.     

Flat orbits and kernels of irreducible representations of the group algebra of a completely solvable Lie group

We show that the kernel of an irreducible unitary representation π of the group algebra L¹(G) of a completely solvable Lie group G is given by the functions, whose abelian Fourier transform vanish on the Kirillov orbit Oπ of π if and only if this orbit Oπ is flat. This is a generalization of a result obtained before for nilpotent Lie groups.     

Determinantal characterization of canonical curves and combinatorial theta identities

We characterize genus g canonical curves by the vanishing of combinatorial products of g + 1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g?2)(g?3)/2 theta identities. A remarkable mechanism, based on a basis of H ⁰(K _C ) expressed in terms of Szegö kernels, reduces such identities to a simple rank condition for matrices whose entries are logarithmic derivatives of theta functions. Such a basis, together with the Fay trisecant identity, also leads to the solution of the question of expressing the determinant of Brill-Noether matrices in terms of theta functions, without using the problematic Klein-Fay section σ.     

Analysis of restrictions of unitary representations of a nilpotent Lie group

Let G be a connected simply connected nilpotent Lie group, K an analytic subgroup of G and π an irreducible unitary representation of G. Let DπK(G) be the algebra of differential operators keeping invariant the space of C^∞ vectors of π and commuting with the action of K on that space. In this paper, we assume that the restriction of π to K has finite multiplicities and we show that DπK(G) is isomorphic to a subalgebra of the field of rational K-invariant functions on the co-adjoint orbit Ω(π) associated to π, and for some particular cases, that DπK(G) is even isomorphic to the algebra of polynomial K-invariant functions on Ω(π). We prove also the Frobenius reciprocity for some restricted classes of nilpotent Lie groups, especially in the cases where K is normal or abelian.     

On some algebraic properties of CM-types of CM-fields and their reflexes

Text

The purpose of this paper is to show that the reflex fields of a given CM-field K are equipped with a certain combinatorial structure that has not been exploited yet.The first theorem is on the abelian extension generated by the moduli and the b-torsion points of abelian varieties of CM-type, for any natural number b. It is a generalization of the result by Wei on the abelian extension obtained by the moduli and all the torsion points. The second theorem gives a character identity of the Artin L-function of a CM-field K and the reflex fields of K. The character identity pointed out by Shimura (1977) in [10] follows from this.The third theorem states that some Pfister form is isomorphic to the orthogonal sum of defined on the reflex fields _⊕Φ∈ΛK^∗(Φ). This result suggests that the theory of complex multiplication on abelian varieties has a relationship with the multiplicative forms in higher dimension.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=IIwksVYV5YE.     

Steinitz classes of tamely ramified Galois extensions of algebraic number fields

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers Ok of k, which, together with the degree [K:k] of the extension determines the Ok-module structure of OK. We call Rt(k,G) the set of classes which are Steinitz classes of a tamely ramified G-extension of k. We will say that those classes are realizable for the group G; it is conjectured that the set of realizable classes is always a group. We define A^′-groups inductively, starting with abelian groups and then considering semidirect products of A^′-groups with abelian groups of relatively prime order and direct products of two A^′-groups. Our main result is that the conjecture about realizable Steinitz classes for tame extensions is true for A^′-groups of odd order; this covers many cases not previously known. Further we use the same techniques to determine Rt(k,Dn) for any odd integer n. In contrast with many other papers on the subject, we systematically use class field theory (instead of Kummer theory and cyclotomic descent).     

Reduction of homomorphisms mod p and algebraicity

Let A be an abelian variety over a number field K. Let φ be an endomorphism of A(K) into itself which reduces modulo v for almost all finite places v of K. The question we discuss in this paper is whether φ arises from an endomorphism of the abelian variety A. We answer this question in the affirmative for many cases. The question is inspired by a work of C. Corrales and R. Schoof, and uses a recent work of Larsen. We also look at the analogue of this question for linear algebraic groups.     

Hilbertianity of division fields of commutative algebraic groups

Let G be a commutative algebraic group over a finitely generated infinite field K of characteristic p. We prove that every extension of K contained in the field obtained by adjoining to K all prime-to-p torsion points of G is Hilbertian. We also determine when the field obtained by adjoining to K all torsion points of G has this property. This extends results of Moshe Jarden on abelian varieties.     

Berezin-Toeplitz quantization on Lie groups

Let K be a connected compact semisimple Lie group and KC its complexification. The generalized Segal-Bargmann space for KC is a space of square-integrable holomorphic functions on KC, with respect to a K-invariant heat kernel measure. This space is connected to the “Schrödinger” Hilbert space L²(K) by a unitary map, the generalized Segal-Bargmann transform. This paper considers certain natural operators on L²(K), namely multiplication operators and differential operators, conjugated by the generalized Segal-Bargmann transform. The main results show that the resulting operators on the generalized Segal-Bargmann space can be represented as Toeplitz operators. The symbols of these Toeplitz operators are expressed in terms of a certain subelliptic heat kernel on KC. I also examine some of the results from an infinite-dimensional point of view based on the work of L. Gross and P. Malliavin.     

The Algebra of Flows in Graphs

We define a contravariant functorKfrom the category of finite graphs and graph morphisms to the category of finitely generated graded abelian groups and homomorphisms. For a graphX, an abelian groupB, and a nonnegative integerj, an element of Hom(K^j(X), B) is a coherent family ofB-valued flows on the set of all graphs obtained by contracting some (j − 1)-set of edges ofX; in particular, Hom(K¹(X), ) is the familiar (real) “cycle-space” ofX. We show thatK ^· (X) is torsion-free and that its Poincaré polynomial is the specializationt^{n − k}T_X(1/t, 1 + t) of the Tutte polynomial ofX(hereXhasnvertices andkcomponents). Functoriality ofK ^· induces a functorial coalgebra structure onK ^· (X); dualizing, for any ringBwe obtain a functorialB-algebra structure on Hom(K ^· (X), B). WhenBis commutative we present this algebra as a quotient of a divided power algebra, leading to some interesting inequalities on the coefficients of the above Poincaré polynomial. We also provide a formula for the theta function of the lattice of integer-valued flows inX, and conclude with 10 open problems.     

Some remarks on a discrepancy in compact groups

In this paper we investigate a discrepancy and a L ² discrepancy on compact groups which were introduced by E. Hlawka and W. Fleischer. First we show that this L ² discrepancy is a generalization of the classical diaphony and can be expressed as a finite double sum. We also give estimations of quadrature errors for smooth functions. Then we prove an inequality of Erdos-Turán type for the discrepancy on compact abelian groups and study this inequality in the case of the torus and the dyadic group.     

Embeddings in finitely presented groups which preserve the center

V.N. Remeslennikov proposed in 1976 the following problem: is any countable abelian group a subgroup of the center of some finitely presented group? We prove that every finitely generated recursively presented group G is embeddable in a finitely presented group K such that the center of G coincide with that of K. We prove also that there exists a finitely presented group H with soluble word problem such that every countable abelian group is embeddable in the center of H. This gives a strong positive answer to the question raised by V.N. Remeslennikov.     

The hyperring of adèle classes

Text

We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adèle class space HK=AK/K^× of a global field K. After promoting F₁ to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G⊂R^× is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G∪{0} is a subfield of R. This result applies to the adèle class space which thus inherits the structure of a hyperring extension HK of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semi-linear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous non-Desarguesian planes. Finally, we show that for a global field K of positive characteristic, the groupoid of the prime elements of the hyperring HK is canonically and equivariantly isomorphic to the groupoid of the loops of the maximal abelian cover of the curve associated to the global field K.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=3LSKD_PfJyc.     

Superspecial abelian varieties and the Eichler Basis Problem for Hilbert modular forms

Let p be an unramified prime in a totally real field L such that h⁺(L)=1. Our main result shows that Hilbert modular newforms of parallel weight two for Γ₀(p) can be constructed naturally, via classical theta series, from modules of isogenies of superspecial abelian varieties with real multiplication on a Hilbert moduli space. This may be viewed as a geometric reinterpretation of the Eichler Basis Problem for Hilbert modular forms.     

The Rubin-Stark conjecture for a special class of function field extensions

We prove a strong form of the Brumer-Stark Conjecture and, as a consequence, a strong form of Rubin's integral refinement of the abelian Stark Conjecture, for a large class of abelian extensions of an arbitrary characteristic p global field k. This class includes all the abelian extensions K/k contained in the compositum k_p∞?k_p·k_∞ of the maximal pro-p abelian extension k_p/k and the maximal constant field extension k_∞/k of k, which happens to sit inside the maximal abelian extension k^ab of k with a quasi-finite index. This way, we extend the results obtained by the present author in (Comp. Math. 116 (1999) 321-367).