S<Superscript>1</Superscript>-Valued Sobolev maps

We describe the structure of the space W^s,p( \mathbbSⁿ;\mathbbS¹ ) {W^{s,p}}\left( {{\mathbb{S}^n};{\mathbb{S}^1}} \right) , where 0 < s < ∞ and 1 ≤ p < ∞. According to the values of s, p, and n, maps in W^s,p( \mathbbSⁿ;\mathbbS¹ ) {W^{s,p}}\left( {{\mathbb{S}^n};{\mathbb{S}^1}} \right) can either be characterised by their phases or by a couple (singular set, phase).     

Image Projection and Representation on S<Superscript>n</Superscript>

In signal processing, communications, and other branches of information technologies, it is often desirable to map the higher-dimensional signals on Sⁿ. In this article we introduce a novel method of representing signals on Sⁿ. This approach is based on geometric function theory, in particular on the theory of quasiregular mappings. The importance of sampling is underlined, and new geometric sampling theorems for general manifolds are presented.     

Ideals which generalize (<Emphasis Type=Italic>v</Emphasis><Superscript>0</Superscript>)

Countable products of finite discrete spaces with more than one point and ideals generated by Marczewski-Burstin bases (assigned to trimmed trees) are examined, using machinery of base tree in the sense of B. Balcar and P. Simon. Applying Kulpa-Szymanski Theorem, we prove that the covering number equals to the additivity or the additivity plus for each of the ideals considered.     

On the ideal (<Emphasis Type=Italic>v</Emphasis><Superscript>0</Superscript>)

The σ-ideal (v ⁰) is associated with the Silver forcing, see [5]. Also, it constitutes the family of all completely doughnut null sets, see [9]. We introduce segment topologies to state some resemblances of (v ⁰) to the family of Ramsey null sets. To describe add(v ⁰) we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen’s conjecture cov(v ⁰) = add(v ⁰) is confirmed under the hypothesis t = min{cf(c), r}. The hypothesis cov(v ⁰) = ω ₁ implies that (v ⁰) has the ideal type (c, ω ₁, c).      

Bordism of semi-free <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript>-actions

We calculate geometric and homotopical bordism rings associated to semi-free S¹ actions on complex manifolds, giving explicit generators for the geometric theory. The classification of semi-free actions with isolated fixed points up to cobordism complements similar results from symplectic geometry.     

Fourier Restriction of H<Superscript>1</Superscript> Functions on Polynomial Surfaces

We prove a Fourier restriction theorem for H¹ functions, which is a generalization of a classical inequality of Hardy. As a consequence of our result, we explicitly obtain a class of BMO functions.     

Fundamental groups of manifolds with <Emphasis Type=Italic>S</Emphasis><Superscript>1</Superscript>-category 2

A closed topological n-manifold M ⁿ is of S ¹-category 2 if it can be covered by two open subsets W ₁,W ₂ such that the inclusions W _i → M ⁿ factor homotopically through maps W _i → S ¹ → M ⁿ . We show that the fundamental group of such an n-manifold is a cyclic group or a free product of two cyclic groups with nontrivial amalgamation. In particular, if n = 3, the fundamental group is cyclic.      

Extrinsic diameter of immersed flat tori in <Emphasis Type="Italic">S</Emphasis><Superscript>3</Superscript>

Enomoto, Weiner and the first author showed the rigidity of the Clifford torus amongst the class of embedded flat tori in S ³. In the proof of that result, an estimate of extrinsic diameter of flat tori plays a crucial role. It is reasonable to expect that the same rigidity holds in the class of immersed flat tori in S ³. In this paper, we give a new method for characterizing immersed flat tori in S ³ with extrinsic diameter π, which is a somewhat similar technique to the proof of the 6-vertex theorem for certain closed plane curves given by the second author. As an application, we show that the Clifford torus is rigid in the class of immersed flat tori whose mean curvature functions do not change sign. Recently, the global behaviour of flat surfaces in H ³ and R ³ regarded as wave fronts has been studied. We also give here a formulation of flat tori in S ³ as wave fronts. As an application, we shall exhibit a flat torus as a wave front whose extrinsic diameter is less than π.     

On positive scalar curvature on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

We consider the problem of prescribing scalar curvature on the standard 2-sphere S ². It is proved that any positive smooth function on S ² is the scalar curvature of some pointwise conformal metric, if an associated map has non-zero degree. As a result we improve some previous important results and give some completely new ones.Received: 21 January 2003, Accepted: 12 March 2003, Published online: 6 June 2003Mathematics Subject Classification (2000): 35J60, 58G03Min Ji: Supported in part by the NSF grant 19725102 and the 973 grant G1999075107 of China     

Double bubbles in<Emphasis Type="Bold">S</Emphasis><Superscript>3</Superscript> and<Emphasis Type="Bold">H</Emphasis><Superscript>3</Superscript>

We prove the double bubble conjecture in the three-sphereS ³ and hyperbolic three-spaceH ³ in the cases where we can apply Hutchings theory:

On self-mapping degrees of <Emphasis Type="Italic">S</Emphasis><Superscript>3</Superscript>-geometry manifolds

In this paper we determined all of the possible self-mapping degrees of the manifolds with S3-geometry, which are supposed to be all 3-manifolds with finite fundamental groups. This is a part of a project to determine all possible self-mapping degrees of all closed orientable 3-manifold in Thurston＇s picture.     

Polynomials with all their roots on <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript>

We give a characterization of monic polynomials with coefficients in the ring of integers of a Galois number field having all of their roots on the unit circle. Such a characterization is given in terms of finitely many sums of powers of the roots of the considered polynomials.     

On Einstein four-manifolds with <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript>-actions

We study closed Einstein 4-manifolds which admit S¹ actions of a certain type, i.e., warped products. In particular, we classify them up to isometry when the fixed point of the S¹ action satisfies certain natural geometric conditions. The proof uses the Bochner-Weitzenböck formula for 1-forms and the theory of minimal surfaces in 3-manifolds.in final form: 22 January 2003     

The Coulomb energy of spherical designs on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

In this work we give upper bounds for the Coulomb energy of a sequence of well separated spherical n-designs, where a spherical n-design is a set of m points on the unit sphere S ² ⊂ ℝ³ that gives an equal weight cubature rule (or equal weight numerical integration rule) on S ² which is exact for spherical polynomials of degree ⩽ n. (A sequence Ξ of m-point spherical n-designs X on S ² is said to be well separated if there exists a constant λ > 0 such that for each m-point spherical n-design X ∈ Ξ the minimum spherical distance between points is bounded from below by .) In particular, if the sequence of well separated spherical designs is such that m and n are related by m = O(n ²), then the Coulomb energy of each m-point spherical n-design has an upper bound with the same first term and a second term of the same order as the bounds for the minimum energy of point sets on S ². Dedicated to Edward B. Saff on the occasion of his 60th birthday.     

Regular interval Cantor sets of <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> and minimality

It is known that not every Cantor set of S ¹ is C ¹-minimal. In this work we prove that every member of a subfamily of what we here call regular interval Cantor set is not C ¹-minimal. We also prove that no member of a class of Cantor sets that includes this subfamily is C ^1+∈-minimal, for any ∈ > 0. Partially supported by CNPq-Brasil and PEDECIBA-Uruguay.     

The Equation x<Superscript>i</Superscript> = y<Superscript>j</Superscript>z<Superscript>k</Superscript> in a Free Semigroup

The equation xⁱ = y^jz^k has only periodic solutions in a free semigroup. This result was first proven by Lyndon and Schützenberger. We present a very short proof of this classical result. Moreover, we establish that the power of two or more of a primitive word cannot be factorized into conjugates of a different word.     

Deforming the Lie superalgebra of contact vector fields on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript> inside the Lie superalgebra of pseudodifferential operators on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript>

We classify deformations of the standard embedding of the Lie superalgebra $ \mathcal{K} $ \mathcal{K} (2) of contact vector fields on the (1, 2)-dimensional supercircle into the Lie superalgebra SΨD(S ^1|2 ) of pseudodifferential operators on the supercircle S ^1|2 . The proposed approach leads to the deformations of the central charge induced on $ \mathcal{K} $ \mathcal{K} (2) by the canonical central extension of SΨD(S ^1|2 ).