Indecomposable cycles on special quartics in ℙ<Superscript>3</Superscript>

 In this note we give an example of an indecomposable higher Chow cycle on a special family of quartics in ℙ³. The example is obtained as an extension of a cycle in the higher Chow group CH ² (K,1) of a singular Kummer surface. Received: 19 June 2002 / Revised version: 17 October 2002 Published online: 24 April 2003 Mathematics Subject Classification (2000): 14C15, 14C25, 14H10, 14H28, 14F42     

Analogue of the Hyodo Inequality for the Ramification Depth in Degree <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript> Extensions

Ramification in complete discrete valuation fields is studied. For the case of a perfect residue field, there is a well-developed theory of ramification groups. Hyodo introduced the concept of ramification depth associated with the different of an extension and obtained an inequality that combines the concept of ramification depth in a degree p² cyclotomic extension with the concept of ramification depth in a degree p subextension. The paper gives a detailed consideration of the structure of degree p² extensions that can be obtained by a composite of two degree p extensions. In this case, it is not required that the residue field be perfect. Using the concepts of wild and ferocious extensions and the defect of the main unit, degree p² extensions are classified and more accurate estimates for the ramification depth are obtained. In a number of cases, exact formulas for ramification depth are presented.     

Optimal Domains for <Emphasis Type="Italic">L</Emphasis><Superscript>0</Superscript>-valued Operators Via Stochastic Measures

We study extension of operators T: E→ L⁰([0, 1]), where E is an F–function space and L⁰([0, 1]) the space of measurable functions with the topology of convergence in measure, to domains larger than E, and we study the properties of such domains. The main tool is the integration of scalar functions with respect to stochastic measures and the corresponding spaces of integrable functions. Partially supported by D.G.I. #MTM2006-13000-C03-01 (Spain).     

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

State spaces of <Emphasis Type="Italic">JB</Emphasis><Superscript><Emphasis Type="Italic">*</Emphasis></Superscript>-triples<Superscript>*</Superscript>

An atomic decomposition is proved for Banach spaces which satisfy some affine geometric axioms compatible with notions from the quantum mechanical measuring process. This is then applied to yield, under appropriate assumptions, geometric characterizations, up to isometry, of the unit ball of the dual space of a JB^*-triple, and up to complete isometry, of one-sided ideals in C^*-algebras.Mathematics Subject Classification (2000):17C65, 46L07Both authors are supported by NSF grant DMS-0101153     

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     

Compromise 4<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>2<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> plans with clear two-factor interactions

This paper gets some necessary conditions for the existence of some kinds of clear 4^m2^n compromise plans which allow estimation of all main effects and some specified two-factor interactions without assuming the remaining two-factor interactions being negligible. Some methods for constructing clear 4^m2^n compromise plans are introduced.     

Strong openness of multiplier ideal sheaves and optimal <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> extension

In this paper, we reveal that our solution of Demailly’s strong openness conjecture implies a matrix version of the conjecture; our solutions of two conjectures of Demailly-Kollár and Jonsson-Mustat? implies the truth of twisted versions of the strong openness conjecture; our optimal L ² extension implies Berndtsson’s positivity of vector bundles associated to holomorphic fibrations over a unit disc.     

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.     

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">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Bounds for the Commutator of Parabolic Singular Integral with Rough Kernels

In this paper, the authors give the L ^p (1 < p < ∞ ) boundedness of the k-th order commutator of parabolic singular integral with the kernel function Ω ∈ L(log⁺ L) ^k + 1(S ^n − 1). The result in this paper is an extension of some known results. The research was supported by NSF of China (Grant: 10571015) and SRFDP of China (Grant: 20050027025).     

Existence of three HMOLS of type 2<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript><Emphasis Type="Italic">u</Emphasis><Superscript>1</Superscript>

A Latin squares of order v with ni missing sub-Latin squares （holes） of order hi （1 〈= i 〈 k）, which are disjoint and spanning （i.e. ∑k i=l1 nihi = v）, is called a partitioned incomplete Latin squares and denoted by PILS. The type of PILS is defined by （h1n1 h2n2…hknk ）. If any two PILS inaset of t PILS of type T are orthogonal, then we denote the set by t-HMOLS（T）. It has been proved that 3-HMOLS（2n31） exist for n ≥6 with 11 possible exceptions. In this paper, we investigate the existence of 3-HMOLS（2nu1） with u ≥ 4, and prove that 3-HMOLS（2~u1） exist if n ≥ 54 and n ≥7/4u ＋ 7.     

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

On noncommutative weighted local ergodic theorems on <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces

In the present paper we consider a von Neumann algebra M with a faithful normal semi-finite trace τ, and {α _t }, a strongly continuous extension to L ^p (M, τ) of a semigroup of absolute contractions on L ¹(M, τ). By means of a non-commutative Banach Principle we prove for a Besicovitch function b and x ∊ L ^p (M, τ), that the averages 1/T ∫₀ ^T b(t)α _t (x)dt converge bilateral almost uniformly in L ^p (M, τ) as T → 0. Communicated by Dénes Petz     

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:

Theta functions on <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript>-bundles over <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript> with the zero Euler class

We construct an analog of the classical theta function on an abelian variety for the closed 4-dimensional symplectic manifolds that are T ²-bundles over T ² with the zero Euler class. We use our theta functions for a canonical symplectic embedding of these manifolds into complex projective spaces (an analog of the Lefschetz theorem).     

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

co-*<Superscript><Emphasis Type="Italic">s</Emphasis></Superscript>-modules

J. Wei recently proposed a concept of * ^s -modules which is another generalization of *-modules besides * ⁿ -modules [J. Algebra, 2005, 291: 312–324]. In this paper, we consider the co-* ^s -modules and give some characterizations and properties. It is found that the class of co-* ^s -modules contains co-selfsmall injective cogenerators. The relations between co-* ^s -modules and co-* ⁿ -modules are also considered.     

Atomic hardy-type spaces between <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript> on metric spaces with non-doubling measures

Let ( Y,d,dl )\left( {\mathcal{Y},d,d\lambda } \right) be (ℝ ⁿ , |·|, μ), where |·| is the Euclidean distance, μ is a nonnegative Radon measure on ℝ ⁿ satisfying the polynomial growth condition, or the Gauss measure metric space (ℝ ⁿ , |·|, d _λ ), or the space (S, d, ρ), where S ≡ ℝ ⁿ ⋉ ℝ⁺ is the (ax + b)-group, d is the left-invariant Riemannian metric and ρ is the right Haar measure on S with exponential growth. In this paper, the authors introduce and establish some properties of the atomic Hardy-type spaces { X_s ( Y ) }_{0 < s \leqslant ￥}\left\{ {X_s \left( \mathcal{Y} \right)} \right\}_{0 < s \leqslant \infty } and the BMO-type spaces { BMO( Y, s ) }_{0 < s \leqslant ￥}\left\{ {BMO\left( {\mathcal{Y}, s} \right)} \right\}_{0 < s \leqslant \infty }. Let H ¹ ( Y )\left( \mathcal{Y} \right) be the known atomic Hardy space and L ₀¹ ( Y )\left( \mathcal{Y} \right) the subspace of f ∈ L ¹ ( Y )\left( \mathcal{Y} \right) with integral 0. The authors prove that the dual space of X _s ( Y )\left( \mathcal{Y} \right) is BMO( Y,s )BMO\left( {\mathcal{Y},s} \right) when s ∈ (0,∞), X _s ( Y )\left( \mathcal{Y} \right) = H ¹ ( Y )\left( \mathcal{Y} \right) when s ∈ (0, 1], and X _∞ ( Y )\left( \mathcal{Y} \right) = L ₀¹ ( Y )\left( \mathcal{Y} \right) (or L ¹ ( Y )\left( \mathcal{Y} \right)). As applications, the authors show that if T is a linear operator bounded from H ¹ ( Y )\left( \mathcal{Y} \right) to L ¹ ( Y )\left( \mathcal{Y} \right) and from L ¹ ( Y )\left( \mathcal{Y} \right) to L ^1,∞ ( Y )\left( \mathcal{Y} \right), then for all r ∈ (1,∞) and s ∈ (r,∞], T is bounded from X _r ( Y )\left( \mathcal{Y} \right) to the Lorentz space L ^1,s ( Y )\left( \mathcal{Y} \right), which applies to the Calderón-Zygmund operator on (ℝ ⁿ , |·|, μ), the imaginary powers of the Ornstein-Uhlenbeck operator on (ℝ ⁿ , |·|, d _γ ) and the spectral operator associated with the spectral multiplier on (S, d, ρ). All these results generalize the corresponding results of Sweezy, Abu-Shammala and Torchinsky on Euclidean spaces.     

The existence of eigenvalues for operators acting in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(<Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We present conditions that allow us to prove the existence of eigenvalues and characteristic values for operator F(D) ? C(λ): L ²(R ^m ) → L ²(R ^m ), where F(D) is a pseudo-differential operator with a symbol F(iξ) and C(λ): L ²(R ^m ) → L ²(R ^m ) is a linear continuous operator.