The stable mapping class group and Q(ℂP∞+)

In [T2] it was shown that the classifying space of the stable mapping class groups after plus construction ℤ×BΓ⁺ _∞ has an infinite loop space structure. This result and the tools developed in [BM] to analyse transfer maps, are used here to show the following splitting theorem. Let Σ^∞(ℂP ^∞ ₊)^∧ _p ≃E ₀∨...∨E _p-2 be the “Adams-splitting” of the p-completed suspension spectrum of ℂP ^∞ ₊. Then for some infinite loop space W _p ,?(ℤ×BΓ⁺ _∞)^∧ _p ≃Ω^∞(E ₀)×...×Ω^∞(E _p-3 )×W _p ?where Ω^∞ E _i denotes the infinite loop space associated to the spectrum E _i . The homology of Ω^∞ E _i is known, and as a corollary one obtains large families of torsion classes in the homology of the stable mapping class group. This splitting also detects all the Miller-Morita-Mumford classes. Our results suggest a homotopy theoretic refinement of the Mumford conjecture. The above p-adic splitting uses a certain infinite loop map?α_∞:ℤ×BΓ⁺ _∞?Ω^∞ℂP ^∞ _-1?that induces an isomorphims in rational cohomology precisely if the Mumford conjecture is true. We suggest that α_∞ might be a homotopy equivalence. Oblatum 2-VIII-1999 & 28-III-2001?Published online: 18 June 2001     

Spaces of analytic functions of Hardy-Bloch type

For 0<p≤∞ and 0<q≤∞, the space of Hardy-Bloch type ℬ(p,q) consists of those functionsf which are analytic in the unit diskD such that (1−r)M _p (r,f′)⊂L ^q (dr/(1−r)). We note that ℬ(∞,∞) coincides with the Bloch space ℬ and that ℬ⊂ℬ(p,∞) for allp. Also, the space ℬ(p,p) is the Dirichlet spaceD _p−1 ^p . We prove a number of results on decomposition of spaces with logarithmic weights which allow us to obtain sharp results about the mean growth of the ℬ(p,q). In particular, we prove that iff is an analytic function inD and 2≤p<∞, then the conditionM _p (r,f′)=O((1−r)⁻¹), asr→1, implies that

Sur le 2-groupe de classes d'idéaux de ℚ(√d,i)

Let ℕ,i=√−1,k=ℚ(√d,i) andC ₂ the 2-part of the class group ofk. Our goal is to determine alld such thatC ₂⋍ℤ/2ℤ×ℤ/2ℤ. Soientd∈ℕ,i=√−1,k=ℚ(√d,i), etC ₂ la 2-partie du groupe de classes dek. On s'intéresse à déterminer tous lesd tel queC ₂⋍ℤ/2ℤ×ℤ/2ℤ.      

Elasticity in certain block monoids via the Euclidean table

This paper continues the study begun in [GEROLDINGER, A.: On non-unique factorizations into irreducible elements II, Colloq. Math. Soc. János Bolyai 51 (1987), 723–757] concerning factorization properties of block monoids of the form ℬ(ℤ _n , S) where S = (hereafter denoted ℬ _a (n)). We introduce in Section 2 the notion of a Euclidean table and show in Theorem 2.8 how it can be used to identify the irreducible elements of ℬ _a (n). In Section 3 we use the Euclidean table to compute the elasticity of ℬ _a (n) (Theorem 3.4). Section 4 considers the problem, for a fixed value of n, of computing the complete set of elasticities of the ℬ _a (n) monoids. When n = p is a prime integer, Proposition 4.12 computes the three smallest possible elasticities of the ℬ _a (p). Part of this work was completed while the second author was on an Academic Leave granted by the Trinity University Faculty Development Committee.     

The old subvariety ofJ 0(pq) and the Eisenstein kernel in Jacobians

Whenp, q are distinct odd primes, and γ:J ₀(p)²×J ₀(q)²→J ₀(pq) is the natural map defined by the degeneracy maps, Ribet [10] determined the odd part of the kernel of γ. We study the 2-primary part of this kernel through its intersection with the Eisenstein kernelJ ₀(p)[I _p )²×J ₀(q)[I _q ]². We determine this intersection forp≢1 mod 16,q≢1 mod 16, and also produce new elements of ker γ wheneverp≡9 mod 16 orq≡9 mod 16. These sharpen Ribet's results in [10].     

Threefolds of order one in the six-quadric

Consider the smooth quadric Q ₆ in ℙ⁷. The middle homology group H ₆(Q ₆, ℤ) is isomorphic to ℤ ⊕ ℤ, with a basis given by two classes of linear subspaces. We classify all threefolds of bidegree (1, p) inside Q ₆.     

Affine linear sieve, expanders, and sum-product

Let O\mathcal{O} be an orbit in ℤ ⁿ of a finitely generated subgroup Λ of GL _n (ℤ) whose Zariski closure Zcl(Λ) is suitably large (e.g. isomorphic to SL₂). We develop a Brun combinatorial sieve for estimating the number of points on O\mathcal{O} at which a fixed integral polynomial is prime or has few prime factors, and discuss applications to classical problems, including Pythagorean triangles and integral Apollonian packings. A fundamental role is played by the expansion property of the “congruence graphs” that we associate with O\mathcal{O} . This expansion property is established when Zcl(Λ)=SL₂, using crucially sum-product theorem in ℤ/qℤ for q square-free.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

Minimum and Surjectivity Moduli Preserving in Banach Space

Let m(T) and q(T) be respectively the minimum and the surjectivity moduli of T∈ℬ(X), where ℬ(X) denotes the algebra of all bounded linear operators on a complex Banach space X. If there exists a semi-invertible but non-invertible operator in ℬ(X) then, given a surjective unital linear map φ: ℬ(X)⟶ℬ(X), we prove that m(T)=m(φ(T)) for all T∈ℬ(X), if and only if, q(T)=q(φ(T)) for all T∈ℬ(X), if and only if, there exists a bijective isometry U∈ℬ(X) such that φ(T)=UTU ⁻¹ for all T∈ℬ(X).     

Generating functions of the (<Emphasis Type="Italic">h,q</Emphasis>) extension of twisted Euler polynomials and numbers

By using p-adic q-deformed fermionic integral on ℤ _p , we construct new generating functions of the twisted (h, q)-Euler numbers and polynomials attached to a Dirichlet character χ. By applying Mellin transformation and derivative operator to these functions, we define twisted (h, q)-extension of zeta functions and l-functions, which interpolate the twisted (h, q)-extension of Euler numbers at negative integers. Moreover, we construct the partially twisted (h, q)-zeta function. We give some relations between the partially twisted (h, q)-zeta function and twisted (h, q)-extension of Euler numbers.      

On weak mixing in lattice models

Summary. For lattice models on ℤ ^d , weak mixing is the property that the influence of the boundary condition on a finite decays exponentially with distance from that region. For a wide class of models on ℤ², including all finite range models, we show that weak mixing is a consequence of Gibbs uniqueness, exponential decay of an appropriate form of connectivity, and a natural coupling property. In particular, on ℤ², the Fortuin-Kasteleyn random cluster model is weak mixing whenever uniqueness holds and the connectivity decays exponentially, and the q-state Potts model above the critical temperature is weak mixing whenever correlations decay exponentially, a hypothesis satisfied if q is sufficiently large. Ratio weak mixing is the property that uniformly over events A and B occurring on subsets Λ and Γ, respectively, of the lattice, |P(A∩B)/P(A)P(B)−1| decreases exponentially in the distance between Λ and Γ. We show that under mild hypotheses, for example finite range, weak mixing implies ratio weak mixing. Received: 27 August 1996 / In revised form: 15 August 1997     

On the index of approximating sets of periodic points

Summary LetK be a compact space andf:K→K a continuous map without fixed points, i.e. Fixf=⊘. For prime numbersp, the sets Fixf ^p are freeℤ/p-spaces with theℤ/p-action induced byf. Our aim is to estimate the topological indicesi(F _p,f) of invariant subsetsF _p⊂Fixf ^p approximating a givenS⊂K. We construct an example (K,f,S) withS⊂Fixf ^q (q being some prime number) such that, for each neighborhoodU ofS, i (Fix (f|u) ^p, f) increases linearly withp. This article was processed by the author using the L^AT_EX style filecljour1 from Springer-Verlag.     

Representation,interpolation, and reiteration theorems for generalized approximation spaces

We show that the representation theorem for classical approximation spaces can be generalized to spaces A(X,l ^q (ℬ))={f∈X:{E _n (f)}∈l ^q (ℬ)} in which the weighted l ^q -space l ^q (ℬ) can be (more or less) arbitrary. We use this theorem to show that generalized approximation spaces can be viewed as real interpolation spaces (defined with K-functionals or main-part K-functionals) between couples of quasi-normed spaces which satisfy certain Jackson and Bernstein-type inequalities. Especially, interpolation between an approximation space and the underlying quasi-normed space leads again to an approximation space. Together with a general reiteration theorem, which we also prove in the present paper, we obtain formulas for interpolation of two generalized approximation spaces. Received: December 6, 2001; in final form: April 2, 2002?Published online: March 14, 2003     

Orthonormal q-bases associated to some continuous linear operators on (ℤ p ,K)

Let K be a complete valued field, extension of the p-adic field ℚ _p . Let q be a unit of ℤ _p , q not a root of unity and V _q be the closure of the set {q ⁿ /n ∈ ℤ} and let      

Models with a Kronecker product covariance structure: Estimation and testing

In this article we consider a pq-dimensional random vector x distributed normally with mean vector θ and covariance matrix Λ assumed to be positive definite. On the basis of N independent observations on the random vector x, we want to estimate parameters and test the hypothesis H: Λ = Ψ ⊗ Σ, where Ψ = (ψ _ij ): q × q, ψ _qq = 1, and Σ = (σ _ij ): p × p, and Λ = (ψ _ij Σ), the Kronecker product of Ψ and Σ. That is instead of 1/2pq(pq + 1) parameters, it has only 1/2p(p + 1) + 1/2q(q + 1) − 1 parameters. A test based on the likelihood ratio is given to check if this model holds. And, when this model holds, we test the hypothesis that Ψ is a matrix with intraclass correlation structure. The maximum likelihood estimators (MLE) are obtained under the hypothesis as well as under the alternatives. Using these estimators the likelihood ratio tests (LRT) are obtained. One of the main objects of the paper is to show that the likelihood equations provide unique estimators.      

Gauss Sum of Index 4： （2） Non-cyclic Case

Assume that m ≥ 2, p is a prime number, （m,p（p - 1）） = 1,-1 not belong to 〈p〉 belong to （Z/mZ）^＊ and [（Z/mZ）^＊：〈p〉]=4.In this paper, we calculate the value of Gauss sum G（X）=∑x∈F^＊x（x）ζp^T（x） over Fq,where q=p^f,f=φ（m）/4,x is a multiplicative character of Fq and T is the trace map from Fq to Fp.Under our assumptions,G（x） belongs to the decomposition field K of p in Q（ζm） and K is an imaginary quartic abelian unmber field.When the Galois group Gal（K/Q） is cyclic,we have studied this cyclic case in anotyer paper：＂Gauss sums of index four：（1）cyclic case＂（accepted by Acta Mathematica Sinica,2003）.In this paper we deal with the non-cyclic case.     

Sumsets in difference sets

We study some properties of sets of differences of dense sets in ℤ² and ℤ³ and their interplay with Bohr neighbourhoods in ℤ. We obtain, inter alia, the following results.

Zero-sum problems for abelian <Emphasis Type="Italic">p</Emphasis>-groups and covers of the integers by residue classes

Zero-sum problems for abelian groups and covers of the integers by residue classes, are two different active topics initiated by P. Erdős more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement [S03b], the author claimed some surprising connections among these seemingly unrelated fascinating areas. In this paper we establish further connections between zero-sum problems for abelian p-groups and covers of the integers. For example, we extend the famous Erdős-Ginzburg-Ziv theorem in the following way: If { a _s (mod n_s)}_s=1^k covers each integer either exactly 2q − 1 times or exactly 2q times where q is a prime power, then for any c ₁,...,c _k ∈ ℤ/qℤ there exists an I ⊆ {1,...,k} such that ∑ _s∈I 1/n _s = q and ∑ _s∈I c _s = 0. The main theorem of this paper unifies many results in the two realms and also implies an extension of the Alon-Friedland-Kalai result on regular subgraphs. The author is supported by the National Science Foundation (grant 10871087) of China.     

On the essential dimension of cyclic <Emphasis Type="Italic">p</Emphasis>-groups

Let p be a prime number, let K be a field of characteristic not p, containing the p-th roots of unity, and let r≥1 be an integer. We compute the essential dimension of ℤ/p ^r ℤ over K (Theorem 4.1). In particular, i) We have ed_ℚ(ℤ/8ℤ)=4, a result which was conjectured by Buhler and Reichstein in 1995 (unpublished). ii) We have ed_ℚ(ℤ/p ^r ℤ)≥p ^r-1.