Moduli spaces of quadratic differentials

The cotangent bundle ofJ (g, n) is a union of complex analytic subvarieties, V(π), the level sets of the function “singularity pattern” of quadratic differentials. Each V(π) is endowed with a natural affine complex structure and volume element. The latter contracts to a real analytic volume element, Μ_π, on the unit hypersurface, V₁(π), for the Teichmüller metric. Μ_π is invariant under the pure mapping class group, γ(g, n), and a certain class of functions is proved to be L^p(Μ_π), 0 <p < 1, over the moduli space V₁(π)/γ (g, n). In particular, Μ_π(V₁(π)/γ(g, n)) < ∞, a statement which generalizes a theorem by H. Masur. Research supported by NSF-MCS-8219148 and NSF-DMS-8521620.     

Some results related to interpolation on hardy spaces of regular martingales

Let (Ω,F, P) be a probability space and {F _n}_n≥0 a regular increasing sequence of sub-σ-fields ofF. LetH ₁(Ω) be the usual Hardy space ofF _n-martingales. We show that the couple (H ₁(Ω),L _∞(Ω)) is a partial retract of (L ₁(Ω),L _∞(Ω)). It is also proved that (L _p(Ω),BMO(Ω)) is a partial retract of (L _p(Ω),L _∞(Ω)) for all 1<p<∞.     

Universal PI-algebras and algebras of generic matrices

Let Ω[ξ] denote the polynomial algebra (with 1) in commutative indeterminates {ie65-1}, 1 ≦i, j ≦n, 1 ≦k < ∞, over a commutative ring Ω. Thealgebra of generic matrices Ω [Y] is defined to be the Ω-subalgebra ofM _n (Ω[ξ]) generated by the matricesY _k=({ie65-2}), 1 ≦i, j ≦n, 1 ≦k < ∞. This algebra has been studied extensively by Amitsur and by Procesi in particular Amitsur has used it to construct a finite dimensional, central division algebra Ω (Y) which is not a crossed product. In this paper we shall prove, for Ω a domain, that Ω(Y) has exponentn in the Brauer group (Amitsur may already know this fact); consequently, for Ω an infinite field andn a multiple of 4, iff(X ₁, …,X _m) is a polynomial linear in all theX _i but one (similar to Formanek’s central polynomials for matrix rings) andf ² is central forM _n (Ω), thenf is central forM _n (Ω). (The existence of a polynomial not central forM _n (Ω), but whose square is central forM _n(Ω) is equivalent to every central division algebra of degreen containing a quadratic extension of its center; well-known theory immediately shows this is the case of 4‖n and 8χn.) Also, information is obtained about Ω(Y) for arbitary Ω, most notably that the Jacobson radical is the set of nilpotent elements. Partial support for this work was provided by National Science Foundation grant NSF-GP 33591.     

The milnor-moore theorem in tame homotopy theory

LetX be a 1-connected space with Moore loop space ΩX. By a well-known theorem of J. W. Milnor and J. C. Moore [7] the Hurewicz homomorphism induces an isomorphism of Hopf algebrasU(π_*(ΩX) ⊗Q)→H _*(ΩX;Q). HereU(−) denotes the universal enveloping algebra and the Lie bracket on π_*(ΩX) ⊗Q is given by the Samelson product. Assume now thatX is the geometric realization of anr-reduced simplicial set,r≥3. LetL _X be a differential graded free Lie algebra over ℤ describing the tame homotopy type ofX according to the theory of [4]. Then the main result of the present paper is the construction of a sequence of morphisms of differential graded algebras betwenU(L _X ) and the algebraC U _*(ΩX)z of normalized cubical chains on ΩX such that the induced morphisms on homology with coefficientsR _k are isomorphismsH _r-1+l (U(L _x );R _k ) ≅H _r-1+l C U _*(ΩX);R _k ) forl≤k; hereR ₀⊆R ₁⊆… is a tame ring system, i. e.R _k )⊑Q and each primep with 2p−3≤k is invertible inR _k . However, it is no longer true that the Pontrjagin algebraH _≤r−1+k (ΩX; R _k ) of ΩX in degrees ≤r−1+k is determined by π_*(ΩX) or by a cofibrant (-fibrant) modelM of π_*(ΩX) as will be shown by an example. But there is a filtration onH _≤r−1+k (ΩX; R _k ) such that the associated graded algebra is isomorphic toH _≤r−1+k (U(M); R _k ).This will be proved by using a filtered Lie algebra model ofX constructed from a bigraded model of π_*(ΩX). Supported by a CNRS grant and PROCOPE Supported by PROCOPE     

On the abelianizations of congruence subgroups of Aut(<Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>)

Let F _n be the free group of rank n, and let Aut⁺(F _n ) be its special automorphism group. For an epimorphism π : F _n → G of the free group F _n onto a finite group G we call the standard congruence subgroup of Aut⁺(F _n ) associated to G and π. In the case n = 2 we fully describe the abelianization of Γ⁺(G, π) for finite abelian groups G. Moreover, we show that if G is a finite non-perfect group, then Γ⁺(G, π) ≤ Aut⁺(F ₂) has infinite abelianization.     

Equivalences between bloch type spaces and BOM spaces on the hyperbolic domains inC

For an analytic function f on the hyperbolic domain Ω inC, the following conclusions are obtained: (i) f∈B(Ω)=BMO A(Ω,m) if and only ifRef∈B_h(Ω)=BMOH(Ω,m). (ii) QB_h(Ω)=B_h(Ω)(BMOH _n(Ω,m)=BMOH(Ω,m)) if and only ifC(Ω)=inf{λ_Ω(z)·δ_Ω(z):z∈Ω}>0. Also, some applications to automorphic functions are considered. This research was supported by the Doctoral Program Foundation of Institute of Higher Education.     

Localization of small zeros of sine and cosine Fourier transforms of a finite positive nondecreasing function

Let a function f be integrable, positive, and nondecreasing in the interval (0, 1). Then by Polya’s theorem all zeros of the corresponding cosine and sine Fourier transforms are real and simple; in this case positive zeros lie in the intervals (π(n−1/2), π(n+1/2)), (πn, π(n+1)), n ∈ ℕ, respectively. In the case of sine transforms it is required that f cannot be a stepped function with rational discontinuity points. In this paper, zeros of the function with small numbers are included into intervals being proper subsets of the corresponding Polya intervals. A localization of small zeros of the Mittag-Leffler function E _1/2(−z ²; μ), μ ∈ (1, 2) ∪ (2, 3) is obtained as a corollary.     

Periodicity of the Spectrum of a Finite Union of Intervals

A set Ω, of Lebesgue measure 1, in the real line is called spectral if there is a set Λ of real numbers such that the exponential functions e _λ (x)=exp (2πiλx), λ∈Λ, form a complete orthonormal system on L ²(Ω). Such a set Λ is called a spectrum of Ω. In this note we present a simplified proof of the fact that any spectrum Λ of a set Ω which is finite union of intervals must be periodic. The original proof is due to Bose and Madan.     

A proof of Selberg's orthogonality for automorphic L-functions

Let π and π′ be automorphic irreducible cuspidal representations of GL_m(Q_A) and GL_m′(Q_A), respectively. Assume that π and π′ are unitary and at least one of them is self-contragredient. In this article we will give an unconditional proof of an orthogonality for π and π′, weighted by the von Mangoldt function Λ(n) and 1−n/x. We then remove the weighting factor 1−n/x and prove the Selberg orthogonality conjecture for automorphic L-functions L(s,π) and L(s,π′), unconditionally for m≤4 and m′≤4, and under the Hypothesis H of Rudnick and Sarnak [20] in other cases. This proof of Selberg's orthogonality removes such an assumption in the computation of superposition distribution of normalized nontrivial zeros of distinct automorphic L-functions by Liu and Ye [12].     

Erd?s-Ko-Rado theorem for irreducible imprimitive reflection groups

Let Ω be a finite set, and let G be a permutation group on Ω. A subset H of G is called intersecting if for any σ, π ∈ H, they agree on at least one point. We show that a maximal intersecting subset of an irreducible imprimitive reflection group G(m, p, n) is a coset of the stabilizer of a point in {1, …, n} provided n is sufficiently large.     

The smallest degree sum that yields potentially Kr,r-graphic sequences

We consider a variation of a classical Turán-type extremal problem as follows: Determine the smallest even integer σ(K_r,r,n) such that every n-term graphic sequence π = (d₁,d₂,...,d_n) with term sum σ(π) = d₁ + d₂ + ... + d_n ≥ σ(K_r,r,n) is potentially K_r,r-graphic, where K_r,r is an r × r complete bipartite graph, i.e. π has a realization G containing K_r,r as its subgraph. In this paper, the values σ(K_r,r,n) for even r and n ≥ 4r² - r - 6 and for odd r and n ≥ 4r² + 3r - 8 are determined.     

Indices of Toeplitz tuples on pseudoregular domains

This paper proves an index theorem of Toeplitz tuples on pseudoregular domains in Cn. Geometrically, the index of Toeplitz tuple TΦn is (-1)n time wrapping number of Φn around the origin. As one of the applications of the index theorem, we completely characterize the automorphism groups of Toeplitz algebras on Poincaré domain. As another application, it is shown that C*(Ω)C*(Bn) for every Poincare domain Ω in Cn(n≠2). It is also noticed that C*(Ω)C*(B2) if and only if the Poincaré conjecture is true for Ω.     

A characterization of some q-orthogonal polynomials

We show that the only orthogonal polynomials satisfying a q-difference equation of the form π(x)D _q P _n (x) = (α _n x + β _n )P _n (x) + γ _n P _n−1(x) where π(x) is a polynomial of degree 2, are the Al-Salam Carlitz 1, little and big q-Laguerre, the little and big q-Jacobi, and the q-Bessel polynomials. This is a q-analog of the work carried out in [1]. 2000 Mathematics Subject Classification Primary—33C45, 33D45     

Varieties defined by permutations

Let be a symmetric group on a set {1,2,...,n}. For an arbitrary permutation π of , we consider a variety _n G _π ofn-groupoids (A, f) satisfying the identityf(x ₁,x ₂,...,x _n )=f(x _π(1),x _π(2)...,x _π(n)). It is proved that if lengths of all independent cycles of π are positive degrees of one numberm ≥2 then _n G _π has a finite dimension equal to the number of prime divisors ofm. The dimension of a variety, in this event, is the least upper bound of lengths of independent bases for the collection of all strong Mal’tsev conditions satisfied in that variety. Translated fromAlgebra i Logika, Vol. 39, No. 1, pp. 104–118, January–February, 2000.     

Some divisibilities amongst the terms of linear recurrences

Let (u_n)n≥0 be a non-degenerate linear recurrence sequence of integers. We show that the set of positive integersn such that either ω)(n) orΩ(n) dividesu _n is of asymptotic density zero, where ω(n) and Ω(n) are the numbers of prime and prime power divisors ofn, respectively. The same also holds for the set of positive integersn such that τ(n)u _n , where τ(n) is the number of the positive integer divisors of n, provided thatu _n satisfies some mild technical conditions.     

Discrete characterization of the Paley-Wiener space with several variables

In this paper, we obtain a characterization of the Paley-Wiener space with several variables, which is denoted byB _{π, p} (R ⁿ ), 1≤p<∞, i.e., for 1<p<∞,B _{π, p} (R ⁿ ) is isomorphic tol _p (Z ⁿ ), and forp=1,B _{π, 1} (R ⁿ ) is isomorphic to the discrete Hardy space with several variables, which is denoted byH(Z ⁿ ). This project is supported by the National Natural Science Foundation of China (19671012) and Doctoral Programme Institution of Higher Education Foundation of Chinese Educational Committee and supported by Youth Foundation of Sichuan.     

Conductors and newforms for U(1,1)

Let F be a non-Archimedean local field whose residue characteristic is odd. In this paper we develop a theory of newforms forU (1, 1)(F), building on previous work onSL ₂(F). This theory is analogous to the results of Casselman forGL ₂(F) and Jacquet, Piatetski-Shapiro, and Shalika forGL _n(F). To a representation π ofU(1, 1)(F), we attach an integer c(π) called the conductor of π, which depends only on theL-packet π containing π. A newform is a vector in π which is essentially fixed by a congruence subgroup of level c(π). We show that our newforms are always test vectors for some standard Whittaker functionals, and, in doing so, we give various explicit formulae for newforms.     

The generalized Boardman homomorphisms

This paper provides universal upper bounds for the exponent of the kernel and of the cokernel of the classical Boardman homomorphism b ⁿ : π ⁿ (X)→H ⁿ (H;ℤ), from the cohomotopy groups to the ordinary integral cohomology groups of a spectrum X, and of its various generalizations π ⁿ (X)→E ⁿ (X), F ⁿ (X)→(E∧F) ⁿ (X), F ⁿ (X)→H ⁿ (X;π ₀ F) and F ⁿ (X)→H ^n+t (X;π _t F) for other cohomology theories E ^*(−) and F ^*(−). These upper bounds do not depend on X and are given in terms of the exponents of the stable homotopy groups of spheres and, for the last three homomorphisms, in terms of the order of the Postnikov invariants of the spectrum F.