Accuracy of approximation in the Poisson theorem in terms of the χ<Superscript>2</Superscript>-distance

We study the limit behavior of the χ²-distance between the distributions of the nth partial sum of independent not necessarily identically distributed Bernoulli random variables and the accompanying Poisson law. As a consequence in the i.i.d. case we make the multiplicative constant preciser in the available upper bound for the rate of convergence in the Poisson limit theorem.     

Elementary transformations and the rationality of the Moduli Spaces of Vector Bundles on ℙ<Superscript>2</Superscript>

In this work, using elementary transformations and prioritary sheaves, we establish birational maps between certain moduli spaces of stable vector bundles over ² with the same rank and different Chern classes. As an application we give a simple proof of the rationality of the moduli spaces M(r; c ₁, c ₂) of rank r stable vector bundles over ² with given Chern classes for a huge families of the triples (r; c ₁, c ₂).Partially supported by BFM2001-3584 Mathematics Subject Classification (2000):Primary 14D20, 14D05; Secondary 14F05     

The hypertree poset and the ℓ<Superscript>2</Superscript>-Betti numbers of the motion group of the trivial link

We give explicit formulae for the Euler characteristic and ²-cohomology of the group of motions of the trivial link, or isomorphically the group of free group automorphisms that send each standard generator to a conjugate of itself. The method is primarily combinatorial and ultimately relies on a computation of the Möbius function for the poset of labelled hypertrees.Partially supported by NSF grant no. DMS-0101506Partially supported by an AMS Centennial Research Fellowship     

On the definition of the Monge-Ampère operator in ℂ<Superscript>2</Superscript>

We show that if u is a plurisubharmonic function defined on an open subset of ² then the Monge-Ampère measure (dd^cu)² can be well defined if and only if u belongs to the Sobolev space W^1,2_loc().Partially supported by KBN Grant #2 P03A 028 19     

Exact Calculation of Sums of the Lorentz Spaces Λ<Superscript>α</Superscript> and Applications

The norm on the sum of Lorentz spaces endowed with norms equal to the products of the classical norm by some numbers is exactly calculated. The obtained result makes it possible to prove an extrapolation theorem for collections of Lorentz, Lebesgue, and Marcinkiewicz spaces with a sharp constant.     

Density of the Medvedev lattice of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

The partial ordering of Medvedev reducibility restricted to the family of ⁰₁ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a ⁰₁ class, which we call a ``c.e. separating class'. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes. Mathematics Subject Classification (2000): 03D30, 03D25     

Analogues of Takens’ theorems for generalized actions of the group ℤ<Superscript>∞</Superscript>

The notion of a generalized action of the group ℤ^∞ on a topological space generated by an arbitrary countable family of pairwise commuting homeomorphisms is introduced, and a study of generalized orbits under such actions is given. Analogues of Takens’ theorems on the genericity of the maximal and minimal ɛ-equivalences for such actions are obtained.     

On the complexity of the family of convex sets in ℝ<Superscript> <Emphasis Type="Italic">d</Emphasis> </Superscript>

Estimates of quantities characterizing the complexity of the family of convex subsets of the d-dimensional cube [1, n]^d as n→∞ are given. The geometric properties of spaces with norm generated by the generalized majorant of partial sums are studied.     

On the uniqueness of generalized and quasi-regular solutions to equations of mixed type in ℝ<Superscript>3</Superscript>

Some three-dimensional (3D) problems for mixed type equations of first and second kind are studied. For equation of Tricomi type, they are 3D analogs of the Darboux (or Cauchy-Goursat) plane problem. Such type problems for a class of hyperbolic and weakly hyperbolic equations as well as for some hyperbolic-elliptic equations are formulated by M. Protter in 1952. In contrast to the well-posedness of the Darboux problem in the 2D case, the new 3D problems are strongly ill-posed. A similar statement of 3D problem for Keldysh-type equations is also given. For mixed type equations of Tricomi and Keldysh type, we introduce the notion of generalized or quasi-regular solutions and find sufficient conditions for the uniqueness of such solutions to the Protter’s problems. The dependence of lower order terms is also studied.     

Biflatness of ℓ<Superscript>1</Superscript>-Semilattice Algebras

We show that if L is a semilattice then the ℓ¹-convolution algebra of L is biflat precisely when L is "uniformly locally finite". Our proof technique shows in passing that if this convolution algebra is biflat then it is isomorphic as a Banach algebra to the Banach space ℓ¹(L) equipped with pointwise multiplication. At the end we sketch how these techniques may be extended to prove an analogous characterisation of biflatness for Clifford semigroup algebras.     

Isotropic Lagrangian submanifolds in the homogeneous nearly Kähler S<Superscript>3</Superscript> × S<Superscript>3</Superscript>

We show that isotropic Lagrangian submanifolds in a 6-dimensional strict nearly Kähler manifold are totally geodesic. Moreover, under some weaker conditions, a complete classification of the J-isotropic Lagrangian submanifolds in the homogeneous nearly Kähler S³ × S³ is also obtained. Here, a Lagrangian submanifold is called J-isotropic, if there exists a function λ, such that g((?h)(v, v, v), Jv) = λ holds for all unit tangent vector v.     

Fibers of the <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> algebra and disintegration of measures

It is shown that Gelfand transforms of elements \({f\in L^{\infty} (\mu)}\) are almost constant at almost every fiber \({\Pi^{-1}(\{x\})}\) of the spectrum of L ^∞(μ) in the following sense: for each \({f\in L^{\infty} (\mu)}\) there is an open dense subset U = U(f) of this spectrum having full measure and such that the Gelfand transform of f is constant on the intersection \({\Pi^{-1}(\{x\})\cap U}\). As an application a new approach to disintegration of measures is presented, allowing one to drop the usually taken separability assumption.     

Factoriality of complete intersections in ℙ<Superscript>5</Superscript>

Let X be a complete intersection of two hypersurfaces F _n and F _k in ℙ⁵ of degree n and k, respectively, with n ≥ k, such that the singularities of X are nodal and F _k is smooth. We prove that if the threefold X has at most (n + k − 2)(n − 1) − 1 singular points, then it is factorial.     

On the Nitsche conjecture for harmonic mappings in ℝ<Superscript>2</Superscript> and ℝ<Superscript>3</Superscript>

We give the new inequality related to the J. C. C. Nitsche conjecture (see [6]). Moreover, we consider the two- and three-dimensional case. LetA(r, 1)={z:r<|z|<1}. Nitsche's conjecture states that if there exists a univalent harmonic mapping from an annulusA(r, 1), to an annulusA(s, 1), thens is at most 2r/(r ²+1).Lyzzaik's result states thats<t wheret is the length of the Grötzsch's ring domain associated withA(r, 1) (see [5]). Weitsman's result states thats≤1/(1+1/2(r logr)²) (see [8]).Our result for two-dimensional space states thats≤1/(1+1/2 log² r) which improves Weitsman's bound for allr, and Lyzzaik's bound forr close to 1. For three-dimensional space the result states thats≤1/(r?logr).     

The Cayley graphs of ℤ<Superscript>d</Superscript> and the limits of vertex-primitive graphs of <Emphasis Type="Italic">HA</Emphasis>-type

We study the limits of the finite graphs that admit some vertex-primitive group of automorphisms with a regular abelian normal subgroup. It was shown in [1] that these limits are Cayley graphs of the groups ?^d. In this article we prove that for each d > 1 the set of Cayley graphs of ?^d presenting the limits of finite graphs with vertex-primitive and edge-transitive groups of automorphisms is countable (in fact, we explicitly give countable subsets of these limit graphs). In addition, for d < 4 we list all Cayley graphs of ?^d that are limits of minimal vertex-primitive graphs. The proofs rely on a connection of the automorphism groups of Cayley graphs of ?^d with crystallographic groups.     

Moving poles of meromorphic linear systems on ℙ<Superscript>1</Superscript>(ℂ) in the complex plane

Let E ⁰ be a holomorphic vector bundle over P¹(C) and †⁰ be a meromorphic connection of E ⁰. We introduce the notion of an integrable connection that describes the movement of the poles of †⁰ in the complex plane with integrability preserved. We show the that such a deformation exists under sufficiently weak conditions on the deformation space. We also show that if the vector bundle E0 is trivial, then the solutions of the corresponding nonlinear equations extend meromorphically to the deformation space.     

Complete surfaces of constant curvature in H<Superscript>2</Superscript> × R and S<Superscript>2</Superscript> × R

We study isometric immersions of surfaces of constant curvature into the homogeneous spaces and . In particular, we prove that there exists a unique isometric immersion from the standard 2-sphere of constant curvature c > 0 into and a unique one into when c > 1, up to isometries of the ambient space. Moreover, we show that the hyperbolic plane of constant curvature c < −1 cannot be isometrically immersed into or . J.A. Aledo was partially supported by Ministerio de Education y Ciencia Grant No. MTM2004-02746 and Junta de Comunidades de Castilla-La Mancha, grant no. PAI-05-034. J.M. Espinar and J.A. Gálvez were partially supported by Ministerio de Education y Ciencia grant no. MTM2004-02746 and Junta de Andalucía Grant No. FQM325.     

Embeddings into the Medvedev and Muchnik lattices of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

Let _w and _M be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty ₁⁰ subsets of 2, under Muchnik and Medvedev reducibility, respectively. We show that all countable distributive lattices are lattice-embeddable below any non-zero element of _w. We show that many countable distributive lattices are lattice-embeddable below any non-zero element of _M.Simpsons research was partially supported by NSF Grant DMS-0070718. We thank the anonymous referee for a careful reading of this paper and helpful comments.