Cyclic Group Actions on 4-Manifolds

Let X be a closed, oriented Riemannian 4-manifold. Suppose that a cyclic group Z( _p (p is prime) acts on X by an orientation preserving isometry with an embedded Riemann surface as fixed point set. We study the representation of Z _p on the Spin^c-bundles and the Z _p-invariant moduli space of the solutions of the Seiberg–Witten equations for a Spin^c-structure X. When the Z _p action on the determinant bundle det L acts non-trivially on the restriction L| over the fixed point set , we consider -twisted solutions of the Seiberg-Witten equations over a Spin^c-structure ' on the quotient manifold X/Z _p X', (0,1). We relate the Z _p -invariant moduli space for the Spin^c-structure on X and the -twisted moduli space for the Spin^c-structure on X'. From this we induce a one-to-one correspondence between these moduli spaces and calculate the dimension of the -twisted moduli space. When Z _p acts trivially on L|, we prove that there is a one-to-one correspondence between the Z _p -invariant moduli space M( ^Zp and the moduli space M (") where ' is a Spin^c-structure on X' associated to the quotient bundle L/Z _p X'. vskip0pt When p = 2, we apply the above constructions to a Kahler surface X with b ₂ ⁺ (X) > 3 and H ₂(X;Z) has no 2-torsion on which an anti-holomorphic involution acts with fixed point set , a Lagrangian surface with genus greater than 0 and []2H ₂(H ;Z). If _K ^X 2 > 0 or K _X ² = 0 and the genus g()> 1, we have a vanishing theorem for Seiberg–Witten invariant of the quotient manifold X'. When K _X ² = 0 and the genus g()= 1, if there is a Z ²-equivariant Spin^c-structure on X whose virtual dimension of the Seiberg–Witten moduli space is zero then there is a Spin^c-structure " on X' such that the Seiberg-Witten invariant is ±1.     

Empirical and Poisson processes on classes of sets or functions too large for central limit theorems

Summary Let P be the uniform probability law on the unit cube I ^d in d dimensions, and P _n the corresponding empirical measure. For various classes of sets AI ^d , upper and lower bounds are found for the probable size of sup {¦P _n –P) (A)¦ A }. If is the collection of lower layers in I ², or of convex sets in I ³, an asymptotic lower bound is ((log n)/n) ^1/2(log log n)^––1/2 for any >0. Thus the law of the iterated logarithm fails for these classes.If >0, is the greatest integer <, and 0 d f(x₁,...,x _d-1)} where f has all its partial derivatives of orders bounded by K and those of order satisfy a uniform Hölder condition ¦D ^p (f(x)–f(y))¦K¦x –y¦ ^–. For 0<–/(d–1+) for a constant = (d,)>0. When = d-1 the same lower bound is obtained as for the lower layers in I ² or convex sets in I ³. For 0 – 1 there is also an upper bound equal to a power of log n times the lower bound, so the powers of n are sharp.This research was partially supported by National Science Foundation Grant MCS-79-04474     

A Second Descent Problem for Quadratic Forms

Let F be a field of characteristic different from 2. We discuss a new descent problem for quadratic forms, complementing the one studied by Kahn and Laghribi. More precisely, we conjecture that for any quadratic form q over F and any Im(W(F) W(F(q))), there exists a quadratic form W(F) such that dim 2 dim and _F(q), where F(q) is the function field of the projective quadric defined by q = 0. We prove this conjecture for dim 3 and any q, and get partial results for dim {4, 5,6}. We also give other related results.     

Minimality of root vectors of operator functions analytic in an angle

We study the minimality of elementsx _h,j,k of canonical systems of root vectors. These systems correspond to the characteristic numbers _k of operator functionsL() analytic in an angle; we assume that operators act in a Hilbert space . In particular, we consider the case whereL()=I+T()c, >0,I is an identity operator,C is a completely continuous operator, (I- C)^–1c for ¦arg¦, 0<<, the operator functionT() is analytic, and T()c for ¦arg¦<. It is proved that, in this case, there exists >0 such that the system of vectorsC ^v x _h,j,k is minimal in for arbitrary positive <1+, provided that ¦_k¦>.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 5, pp. 545–566, May, 1994.This research was partially supported by the Ukrainian State Committee of Science and Technology.     

Mean Cesàro summability of Laguerre expansions and norm estimates with shifted parameter

L ^p (0, ). , , . , , (1965) . , , ^{1/6 1/2} . . =–1/2. , .     

Annihilating properties of convolution operators on complex spheres

Summary This paper studies annihilating properties of operators generated by spherical convolution over the unit sphere _2q of C^q. Its specific aim is to answer the following question: given a complex number , ||1, to determine what functions of L²(_2q) have zero average over every section _w^{,q :=}{ z _2q: <z,w> = } of _2q . Here, <.,.>stands for the usual inner product of C^q.     

Finite Representability of ℓp in Quotients of Banach Spaces

A typical result of the paper states that if X is a Banach space with a basis and for some 1pq, the spaces _p and _q are finitely block representable in every block subspace of X, then every block subspace of X admits a block quotient Z such that for every r[p,q], the space _r is finitely block representable in Z. Results of a similar nature are also established for ^N _p-block-sequences and asymptotic spaces.     

Evolution in a Gaussian Random Field

We consider an evolution process in a Gaussian random field V(q) with the mean ‹V(q)› = 0 and the correlation function W(|q – q|) ‹V(q)V(q)›, where q ^d and d is the dimension of the Euclidean space ^d . For the value ‹G(q,t;q ₀)›, t > 0, of the Green's function of the evolution equation averaged over all realizations of the random field, we use the Feynman–Kac formula to establish an integral equation that is invariant with respect to a continuous renormalization group. This invariance property allows using the renormalization group method to find an asymptotic expression for ‹G(q,t;q ₀)› as |q – q ₀| and t .     

Skew-symmetric association schemes with two classes and strongly regular graphs of type L 2n−1(4n−1)

A construction of a pair of strongly regular graphs ⁿ and ⁿ of type L _2n–1(4n–1) from a pair of skew-symmetric association schemes W, W of order 4n–1 is presented. Examples of graphs with the same parameters as ⁿ and ⁿ, i.e., of type L _2n–1(4n–1), were known only if 4n–1=p ³, where p is a prime. The first new graph appearing in the series has parameters (v, k, )=(225, 98, 45). A 4-vertex condition for relations of a skew-symmetric association scheme (very similar to one for the strongly regular graphs) is introduced and is proved to hold in any case. This has allowed us to check the 4-vertex condition for ⁿ and ⁿ, thus to prove that ⁿ and ⁿ are not rank three graphs if n>2.     

On the almost everywhere convergence of double Fourier series of integrable functions

, . . Q _k [0,2],k=1,2, — . F(x, y)L(T), T=[0, 2]², G(x, y)L(T) , G(x,y)=F(x,y) Q=Q ₁ ×Q ₂ - .     

Comparison results for the lower tail of Gaussian seminorms

Let =( _n ) be i.i.d.N(0, 1) random variables andq(x), q(x):R [0, ) be seminorms. We investigate necessary and sufficient conditions that the ratio ofP(q()<) andP(q()<) goes to a positive constant as 0⁺. We give satisfactory answers forl ₂-norms and also some results for sup-norms andl _p-norms. Some applications are given to the rate of escape of infinite dimensional Brownian motion, and we give the lower tail of the Ornstein-Uhlenbeck process and a weighted Brownian bridge under theL ₂-norms.     

The measure of a translated ball in uniformly convex spaces

Let (E, ¦·¦) be a uniformly convex Banach space with the modulus of uniform convexity of power type. Let be the convolution of the distribution of a random series inE with independent one-dimensional components and an arbitrary probability measure onE. Under some assumptions about the components and the smoothness of the norm we show that there exists a constant such that |{·<t}–{·+r<t}|r ^q , whereq depends on the properties of the norm. We specify it in the case ofL spaces, >1.     

On blocking sets in affine planes

Denote by _q an affine plane of order q. In the desarguesian case _q=AG(2,q), q 5(q= p^h, p prime), we prove that the smallest cardinality of a blocking set is 2q–1. In any arbitrary affine plane _q (desarguesian or not) with q5, for any integer k with 2q–1 k(q–1)², we construct a blocking set S with ¦S¦=k. For an irreducible blocking set S of _q we determine the upper bound S [qq]+1. We prove that if _q contains a blocking set S which is irreducible with its complementary blocking set, then necessarily _q=AG(2, 4) and S is uniquely determined. Finally we introduce techniques to obtain blocking sets in AG(2, q) and in PG(2, q).Research partially supported by G.N.S.A.G.A. (CNR)     

Tangential Limits of Potentials on Homogeneous Trees

Let T be a homogeneous tree of homogeneity q+1. Let denote the boundary of T, consisting of all infinite geodesics b=[b ₀,b ₁,b ₂,] beginning at the root, 0. For each b, 1, and a0 we define the approach region _,a (b) to be the set of all vertices t such that, for some j, t is a descendant of b _j and the geodesic distance of t to b _j is at most (–1)j+a. If >1, we view these as tangential approach regions to b with degree of tangency . We consider potentials Gf on T for which the Riesz mass f satisfies the growth condition _T f ^p (t)q ^–|t|<, where p>1 and 0<<1, or p=1 and 0<1. For 11/, we show that Gf(s) has limit zero as s approaches a boundary point b within _,a (b) except for a subset E of of -dimensional Hausdorff measure 0, where H (E)=sup_>0inf _i q ^{–|t i|}:E a subset of the boundary points passing through t _i for some i,|t _i |>log _q (1/).     

Perturbation of the poles of the scattering matrix under variation of the boundary condition

The behavior of the poles z_n(), n=1,2,... of the scattering matrix of the operatorl u=–u(x), x , (u/n)+(x)u|=0 as 0 is considered. It is proved that |z_n()–z_n|=0(^(1/2)qn), where q_n is the order of the pole of the scattering matrix for the operator ₀u=–u, u/=0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 117, pp. 183–191, 1981.     

The Dual of the martingale Hardy space ℋΦ with general Young function Φwith general Young function Φ

[10], ¹ . [4] K _q-, , 1p2 _pp K _q, q=p/p–1)(q=+, p=1 K = ). — p ⊃<<. , , , — , K . , ( ) , q .     

Holomorphe Funktionen auf Gebieten über Banach-Räumen zu vorgegebenen Konvergenzradien

Given a function: ₊ on a domain spread over an infinite dimensional complex Banach space E with a Schauder basis such that -log is plurisubharmonic and d (d denotes the boundary distance on ) one can find a holomorphic function f: with _f, where _f is the radius of convergence of f. If, in addition, is locally Lipschitz continuous with constant 1, f can be chosen so that (3M)^–1 _f, where M is the basis constant of E. In the particular case of E= ₁ there are holomorphic functions f on with= _f.     

(q, δ)-Numeration Systems with Missing Digits

We consider the (q, ) numeration system, with basis q2 and the set of digits {, +1,,q+–1} where –(q–1)0. We study properties of numbers where some digits do not occur. This is analogous to the Cantor set {0.a₁a₂a_i{0,2}}. We compute an asymptotic equivalent of the nth moment of the Cantor (q, D)-distribution which can be described as the numbers 0. w₁w₂ with w_iD{,,q+–1}, and each such letter can occur with the same probability 1/CardD. Furthermore, we consider n random strings according to the distribution and the expected minimum of them. We find a recursion which we solve asymptotically.This author was supported by the CNRS/NRF-project no 10959. Part of this work was done during the first authors visit to the John Knopfmacher Centre for Applicable Analysis and Number Theory at the University of the Witwatersrand, Johannesburg, South Africa.This author was supported by the CNRS/NRF-project no 10959.     

The Terwilliger Algebra of a Distance-Regular Graph that Supports a Spin Model

Let denote a distance-regular graph with vertex set X, diameter D 3, valency k 3, and assume supports a spin model W. Write W = _{i = 0}^D t_i A_i where A_i is the ith distance-matrix of . To avoid degenerate situations we assume is not a Hamming graph and t_i {t₀, –t₀ } for 1 i D. In an earlier paper Curtin and Nomura determined the intersection numbers of in terms of D and two complex parameters and q. We extend their results as follows. Fix any vertex x X and let T = T(x) denote the corresponding Terwilliger algebra. Let U denote an irreducible T-module with endpoint r and diameter d. We obtain the intersection numbers c_i(U), b_i(U), a_i(U) as rational expressions involving r, d, D, and q. We show that the isomorphism class of U as a T-module is determined by r and d. We present a recurrence that gives the multiplicities with which the irreducible T-modules appear in the standard module. We compute these multiplicites explicitly for the irreducible T-modules with endpoint at most 3. We prove that the parameter q is real and we show that if is not bipartite, then q > 0 and is real.AMS 2000 Subject Classification: Primary 05E30     

Volume of Hyperbolic 3-Manifolds with Iterated Pseudo-Anosov Amalgamations (Dedicated to Professor Mitsuyoshi Kato on his sixtieth birthday)

Let : be a pseudo-Anosov homeomorphism. We will study an asymptotic behaviour of the volume of closed hyperbolic 3-manifolds N _n obtained from certain 3-manifolds M, M by attaching their boundaries by the n-th iteration ⁿ of .