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).     

Weierstrass representation for discrete isotropic surfaces in ℝ<Superscript>2,1</Superscript>, ℝ<Superscript>3,1</Superscript>, and ℝ<Superscript>2,2</Superscript>

Using an integrable discrete Dirac operator, we construct a discrete version of the Weierstrass representation for hyperbolic surfaces parameterized along isotropic directions in ℝ^2,1, ℝ^3,1, and ℝ^2,2. The corresponding discrete surfaces have isotropic edges. We show that any discrete surface satisfying a general monotonicity condition and having isotropic edges admits such a representation.     

Projective Multi-Resolution Analyses for L<Superscript>2</Superscript>(ℝ<Superscript>2</Superscript>)

We define the notion of projective multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra C(Tⁿ) of continuous complex-valued functions on an n-torus. The case of ordinary multi-wavelets is that in which the projective module is actually free. We discuss the properties of projective multiresolution analyses, including the frames which they provide for L²(ⁿ). Then we show how to construct examples for the case of any diagonal 2 × 2 dilation matrix with integer entries, with initial module specified to be any fixed finitely generated projective C(T²)-module. We compute the isomorphism classes of the corresponding wavelet modules.     

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     

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.     

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.     

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.     

Hyperbolic Chevalley groups on ℂ<Superscript>2</Superscript>

Let Γ ? U (1, 1) be the subgroup generated by the complex reflections. Suppose that Γ acts discretely on the domain K = {(z ₁, z ₂) ∈ ?² ||z ₁|² ? |z ₂|² < 0} and that the projective group PΓ acts on the unit disk B = {|z ₁/z ₂| < 1} as a Fuchsian group of signature (n ₁, ..., n _s ), s ? 3, n _i ? 2. For such groups, we prove a Chevalley type theorem, i.e., find a necessary and sufficient condition for the quotient space K/Γ to be isomorphic to ?² ? {0}.     

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.     

Quincunx multiresolution analysis for <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(ℚ<Stack><Subscript>2</Subscript><Superscript>2</Superscript></Stack>)

With an eye on applications in quantum mechanics and other areas of science, much work has been done to generalize traditional analytic methods to p-adic systems. In 2002 the first paper on p-adic wavelets was published. Since then p-adic wavelet sets, multiresolution analyses, and wavelet frames have all been introduced. However, so far all constructions have involved dilations by p. This paper presents the first construction of a p-adic wavelet system with a more general matrix dilation, laying the foundation for further work in this direction.     

On the isoperimetric problem in the Heisenberg group ℍ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

It has been recently conjectured that, in the context of the Heisenberg group ℍⁿ endowed with its Carnot–Carathéodory metric and Haar measure, the isoperimetric sets (i.e., minimizers of the ℍ-perimeter among sets of constant Haar measure) could coincide with the solutions to a “restricted” isoperimetric problem within the class of sets having finite perimeter, smooth boundary, and cylindrical symmetry. In this paper, we derive new properties of these restricted isoperimetric sets, which we call Heisenberg bubbles. In particular, we show that their boundary has constant mean ℍ-curvature and, quite surprisingly, that it is foliated by the family of minimal geodesics connecting two special points. In view of a possible strategy for proving that Heisenberg bubbles are actually isoperimetric among the whole class of measurable subsets of ℍⁿ, we turn our attention to the relationship between volume, perimeter, and ε-enlargements. In particular, we prove a Brunn–Minkowski inequality with topological exponent as well as the fact that the ℍ-perimeter of a bounded, open set F⊂ℍⁿ of class C² can be computed via a generalized Minkowski content, defined by means of any bounded set whose horizontal projection is the 2n-dimensional unit disc. Some consequences of these properties are discussed. Mathematics Subject Classification (2000) 28A75, 22E25, 49Q20     

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.     

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     

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     

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 nice equivalence relations on <Superscript>λ</Superscript>2

Let E be an equivalence relation on the powerset of an uncountable set, which is reasonably definable. We assume that any two subsets with symmetric difference of size exactly 1 are not equivalent. We investigate whether for E there are many pairwise non equivalent sets. I would like to thank Alice Leonhardt for the beautiful typing.This research was supported by The Israel Science Foundation. Publication 724. Mathematics Subject Classification (2000): 03E47, 03E35; 20K20, 20K35     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> norm estimates of the cost of the controllability for heat equations

This paper is concerned with the bound of the cost of approximate controllability and null controllability of heat equations, i.e., the minimal Lp norm and L∞ norm of a control needed to control the system approximately or a control needed to steer the state of the system to zero. The methods we use combine observability inequalities, energy estimates for heat equations and the dual theory.