Laminar currents in ℙ<Superscript>2</Superscript>

 In this paper we study laminar currents in ℙ². Given a sequence of irreducible algebraic curves (C _n ) converging in the sense of currents to T, we find geometric conditions on the curves ensuring that the limit current T is laminar. This criterion is then applied to meromorphic dynamical systems in ℙ², and laminarity of the dynamical ``Green' current is obtained for a wide class of meromorphic self maps of ℙ², as well as for all bimeromorphic maps of projective surfaces. Received: 24 September 2001 / Published online: 10 February 2003 Mathematics Subject Classification (2000): 32U40, 37Fxx, 32H50     

Space of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth skew products of maps of an interval

Using the notions of an Ω-function and of functions suitable for an Ω-function, we show that the space of C ¹ -smooth skew products of maps of an interval such that the quotient map of each is Ω-stable in the space of C ¹ -smooth maps of a closed interval into itself and has a type ≻ 2 ^∞ (i.e., contains a periodic orbit with the period not equal to a power of 2) can be represented as a union of four nonempty pairwise nonintersecting subspaces. We give examples of maps belonging to each of the identified subspaces.     

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 geometric complexity of special Lagrangian <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript>-cones

We prove a number of results on the geometric complexity of special Lagrangian (SLG) T²-cones in ³. Every SLG T²-cone has a fundamental integer invariant, its spectral curve genus. We prove that the spectral curve genus of an SLG T²-cone gives a lower bound for its geometric complexity, i.e. the area, the stability index and the Legendrian index of any SLG T²-cone are all bounded below by explicit linearly growing functions of the spectral curve genus. We prove that the cone on the Clifford torus (which has spectral curve genus zero) in S⁵ is the unique SLG T²-cone with the smallest possible Legendrian index and hence that it is the unique stable SLG T²-cone. This leads to a classification of all rigid index 1 SLG cone types in dimension three. For cones with spectral curve genus two we give refined lower bounds for the area, the Legendrian index and the stability index. One consequence of these bounds is that there exist S¹-invariant SLG torus cones of arbitrarily large area, Legendrian and stability indices. We explain some consequences of our results for the programme (due to Joyce) to understand the most common three-dimensional isolated singularities of generic families of SLG submanifolds in almost Calabi-Yau manifolds. Mathematics Subject Classification (1991) 53C38, 53C43     

The <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> generic diffeomorphism has trivial centralizer

Answering a question of Smale, we prove that the space of C ¹ diffeomorphisms of a compact manifold contains a residual subset of diffeomorphisms whose centralizers are trivial.     

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.     

Diffeomorphisms with <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-shadowing property

We give a characterization of structurally stable diffeomorphisms by making use of the notion of L ^p -shadowing property. More precisely, we prove that the set of structurally stable diffeomorphisms coincides with the C ¹-interior of the set of diffeomorphisms having L ^p -shadowing property.     

Bloch constant of holomorphic mappings on the unit polydisk of ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we give a definition of Bloch mappings defined in the unit polydisk D ⁿ , which generalizes the concept of Bloch functions defined in the unit disk D. It is known that Bloch theorem fails unless we have some restrictive assumption on holomorphic mappings in several complex variables. We shall establish the corresponding distortion theorems for subfamilies β(K) and β _loc(K) of Bloch mappings defined in the polydisk D ⁿ , which extend the distortion theorems of Liu and Minda to higher dimensions. As an application, we obtain lower and upper bounds of Bloch constants for various subfamilies of Bloch mappings defined in D ⁿ . In particular, our results reduce to the classical results of Ahlfors and Landau when n = 1. This work was supported by the National Natural Science Foundation of China (Grant No. 10571164) and Specialized Research Fund for the Doctoral Program of Higher Education (SRFDP) (Grant No. 20050358052)     

Free <Emphasis Type="Bold">C</Emphasis><Subscript>+</Subscript>-actions on <Emphasis Type="Bold">C</Emphasis><Superscript>3</Superscript> are translations

Let X be a smooth contractible three-dimensional affine algebraic variety with a free algebraic C₊-action on it such that S=X//C₊ is smooth. We prove that X is isomorphic to S×C and the action is induced by a translation on the second factor. As a consequence we show that any free algebraic C₊-action on C³ is a translation in a suitable coordinate system.     

The Fredholm Index for Elements of Toeplitz-Composition C<Superscript>*</Superscript>-Algebras

We analyze the essential sectrum and index theory of elements of Toeplitz-composition C^*-algebras (algebras generated by the Toeplitz algebra and a single linear-fractional composition operator, acting on the Hardy space of the unit disk). For automorphic composition operators we show that the quotient of the Toeplitz-composition algebra by the compacts is isomorphic to the crossed product C^*-algebra for the action of the symbol on the boundary circle. Using this result we obtain sufficient conditions for polynomial elements of the algebra to be Fredholm, by analyzing the spectrum of elements of the crossed product. We also obtain an integral formula for the Fredholm index in terms of a generalized Chern character. Finally we prove an index formula for the case of the non-parabolic, non-automorphic linear fractional maps studied by Kriete, MacCluer and Moorhouse.     

Some results on 4<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>2<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> designs with clear two-factor interaction components

Clear effects criterion is one of the important rules for selecting optimal fractional factorial designs, and it has become an active research issue in recent years. Tang et al. derived upper and lower bounds on the maximum number of clear two-factor interactions (2fi’s) in 2 ^n−(n−k) fractional factorial designs of resolutions III and IV by constructing a 2 ^n−(n−k) design for given k, which are only restricted for the symmetrical case. This paper proposes and studies the clear effects problem for the asymmetrical case. It improves the construction method of Tang et al. for 2 ^n−(n−k) designs with resolution III and derives the upper and lower bounds on the maximum number of clear two-factor interaction components (2fic’s) in 4 ^m 2 ⁿ designs with resolutions III and IV. The lower bounds are achieved by constructing specific designs. Comparisons show that the number of clear 2fic’s in the resulting design attains its maximum number in many cases, which reveals that the construction methods are satisfactory when they are used to construct 4 ^m 2 ⁿ designs under the clear effects criterion. This work was supported by the National Natural Science Foundation of China (Grant Nos. 10571093, 10671099 and 10771123), the Research Foundation for Doctor Programme (Grant No. 20050055038) and the Natural Science Foundation of Shandong Province of China (Grant No. Q2007A05). Zhang’s research was also supported by the Visiting Scholar Program at Chern Institute of Mathematics.     

<Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras of Bergman Type Operators with Piecewise Continuous Coefficients

The C ^*-algebra generated by the n poly-Bergman and m antipoly-Bergman projections and by the operators of multiplication by piecewise continuous functions on the Lebesgue space L ²(Π) over the upper half-plane is studied. Making use of a local principle, limit operators techniques, and the Plamenevsky results on two-dimensional convolution operators with symbols admitting homogeneous discontinuities we reduce the study to simpler C ^*-algebras associated with points and pairs . Applying a symbol calculus for the abstract unital C ^*-algebras generated by N orthogonal projections sum of which equals the unit and by M = n + m one-dimensional orthogonal projections and using relations for the Gauss hypergeometric function, we study local algebras at points being the discontinuity points of coefficients. A symbol calculus for the C ^*-algebra is constructed and a Fredholm criterion for the operators is obtained.     

Topological hypercovers and <Superscript>1</Superscript>-realizations

We show that if U_* is a hypercover of a topological space X then the natural map hocolim U_* X is a weak equivalence. This fact is used to construct topological realization functors for the ¹-homotopy theory of schemes over real and complex fields. In an appendix, we also prove a theorem about computing homotopy colimits of spaces that are not cofibrant.Mathematics Subject Classification (2000):55U35, 14F20, 14F42The second author was supported by an NSF Postdoctoral Research Fellowship     

Relatively weakly open sets in closed balls of Banach spaces,and real <Emphasis Type="Italic">JB</Emphasis><Superscript>*</Superscript>-triples of finite rank

We prove that, given a real JB^*-triple X, there exists a nonempty relatively weakly open subset of the closed unit ball of X with diameter less than 2 (if and) only if the Banach space of X is isomorphic to a Hilbert space. Moreover we give the structure of real JB^*-triples whose Banach spaces are isomorphic to Hilbert spaces. Such real JB^*-triples are also characterized in two different purely algebraic ways.Mathematics Subject Classification (2000): 46B04, 46B22, 46L05, 46L70Partially supported by Junta de Andalucía grant FQM 0199.Revised version: 30 September 2003     

The structure on invariant measures of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> generic diffeomorphisms

Let Λ be an isolated non-trivial transitive set of a C 1 generic diffeomorphism f ∈ Diff (M ). We show that the space of invariant measures supported on Λ coincides with the space of accumulation measures of time averages on one orbit. Moreover, the set of points having this property is residual in Λ (which implies that the set of irregular+ points is also residual in Λ). As an application, we show that the non-uniform hyperbolicity of irregular+ points in Λ with totally 0 measure (resp., the non-uniform hyperbolicity of a generic subset in Λ) determines the uniform hyperbolicity of Λ.     

The relative isoperimetric inequality outside convex domains in R<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We prove that the area of a hypersurface Σ which traps a given volume outside a convex domain C in Euclidean space R ⁿ is bigger than or equal to the area of a hemisphere which traps the same volume on one side of a hyperplane. Further, when C has smooth boundary ∂C, we show that equality holds if and only if Σ is a hemisphere which meets ∂C orthogonally.     

A characterization of domains in <Emphasis Type="Bold">C</Emphasis><Superscript>2</Superscript> with noncompact automorphism group

Let D be a bounded domain in C ² with a non-compact group of holomorphic automorphisms. Model domains for D are obtained under the hypotheses that at least one orbit accumulates at a boundary point near which the boundary is smooth, real analytic and of finite type. The author was supported by DST (India) Grant No.: SR/S4/MS-283/05 and in part by a grant from UGC under DSA-SAP, Phase IV.     

Principal forms <Emphasis Type="Italic">X</Emphasis><Superscript>2</Superscript>+<Emphasis Type="Italic">nY</Emphasis><Superscript>2</Superscript> representing many integers

In 1966, Shanks and Schmid investigated the asymptotic behavior of the number of positive integers less than or equal to x which are represented by the quadratic form X ²+nY ². Based on some numerical computations, they observed that the constant occurring in the main term appears to be the largest for n=2. In this paper, we prove that in fact this constant is unbounded as n runs through positive integers with a fixed number of prime divisors.     

Inversion of degree <Emphasis Type="Italic">n</Emphasis> + 2

By the method of synthetic geometry, we define a seemingly new transformation of a three-dimensional projective space where the corresponding points lie on the rays of the first order, nth class congruence C _n ¹ and are conjugate with respect to a proper quadric Ψ. We prove that this transformation maps a straight line onto an n + 2 order space curve and a plane onto an n + 2 order surface which contains an n-ple (i.e. n-multiple) straight line. It is shown that in the Euclidean space the pedal surfaces of the congruences C _n ¹ can be obtained by this transformation. The analytical approach enables new visualizations of the resulting curves and surfaces with the program Mathematica. They are shown in four examples.      

New examples of Cantor sets in <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> that are not <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-minimal

Although every Cantor subset of the circle (S¹) is the minimal set of some homeomorphism of S¹, not every such set is minimal for a C¹ diffeomorphism of S¹. In this work, we construct new examples of Cantor sets in S¹ that are not minimal for any C¹-diffeomorphim of S¹.