On the dynamics of composite entire functions

Letf andg be nonlinear entire functions. The relations between the dynamics off⊗g andg⊗f are discussed. Denote byℐ (·) andF(·) the Julia and Fatou sets. It is proved that ifz∈C, thenz∈ℐ8464 (f⊗g) if and only ifg(z)∈ℐ8464 (g⊗f); ifU is a component ofF(f○g) andV is the component ofF(g○g) that containsg(U), thenU is wandering if and only ifV is wandering; ifU is periodic, then so isV and moreover,V is of the same type according to the classification of periodic components asU. These results are used to show that certain new classes of entire functions do not have wandering domains. The second author was supported by Max-Planck-Gessellschaft ZFDW, and by Tian Yuan Foundation, NSFC.     

Generalizations of the odd degree theorem and applications

LetV ⊂ ℙℝ ⁿ be an algebraic variety, such that its complexificationV _ℂ ⊂ ℙ ⁿ is irreducible of codimensionm ≥ 1. We use a sufficient condition on a linear spaceL ⊂ ℙℝ ⁿ of dimensionm + 2r to have a nonempty intersection withV, to show that any six dimensional subspace of 5 × 5 real symmetric matrices contains a nonzero matrix of rank at most 3.     

Lax Operator for the Quantised Orthosymplectic Superalgebra Uq[osp(m|n)]

Representations of quantum superalgebras provide a natural framework in which to model supersymmetric quantum systems. Each quantum superalgebra, belonging to the class of quasi-triangular Hopf superalgebras, contains a universal R-matrix which automatically satisfies the Yang–Baxter equation. Applying the vector representation π, which acts on the vector module V, to the left-hand side of a universal R-matrix gives a Lax operator. In this article a Lax operator is constructed for the quantised orthosymplectic superalgebras U _q [osp(m|n)] for all m > 2, n ≥ 0 where n is even. This can then be used to find a solution to the Yang–Baxter equation acting on V ⊗ V ⊗ W, where W is an arbitrary U _q [osp(m|n)] module. The case W = V is studied as an example. Presented by A. Verschoren.     

Inequalities for convex bodies and polar reciprocal lattices inR n

LetL be a lattice and letU be ano-symmetric convex body inR ⁿ . The Minkowski functional ∥ ∥ _U ofU, the polar bodyU ⁰, the dual latticeL ^*, the covering radius μ(L, U), and the successive minima λ _i (L,U)i=1,...,n, are defined in the usual way. Let ℒ _n be the family of all lattices inR ⁿ . Given a pairU,V of convex bodies, we define and kh(U, V) is defined as the smallest positive numbers for which, given arbitraryL∈ℒ _n andu∈R ⁿ /(L+U), somev∈L ^* with ∥v∥ _V ≤sd(uv, ℤ) can be found. Upper bounds for jh(U, U ⁰), j=k, l, m, belong to the so-called transference theorems in the geometry of numbers. The technique of Gaussian-like measures on lattices, developed in an earlier paper [4] for euclidean balls, is applied to obtain upper bounds for jh(U, V) in the case whenU, V aren-dimensional ellipsoids, rectangular parallelepipeds, or unit balls inl _p ⁿ , 1≤p≤∞. The gaps between the upper bounds obtained and the known lower bounds are, roughly speaking, of order at most logn asn→∞. It is also proved that ifU is symmetric through each of the coordinate hyperplanes, then jh(U, U ⁰) are less thanCn logn for some numerical constantC.     

Direct images of bundles under Frobenius morphism

Let X be a smooth projective variety of dimension n over an algebraically closed field k with char(k)=p>0 and F:X→X ₁ be the relative Frobenius morphism. For any vector bundle W on X, we prove that instability of F _* W is bounded by instability of W⊗T^ℓ(Ω¹ _X ) (0≤ℓ≤n(p-1)) (Corollary 4.9). When X is a smooth projective curve of genus g≥2, it implies F _* W being stable whenever W is stable. Dedicated to Professor Zhexian Wan on the occasion of his 80th birthday.     

On the divisor class group of double solids

For a double solid V→ℙ_3> branched over a surface B⊂ℙ₃(ℂ) with only ordinary nodes as singularities, we give a set of generators of the divisor class group in terms of contact surfaces of B with only superisolated singularities in the nodes of B. As an application we give a condition when H ^* (˜V , ℤ) has no 2-torsion. All possible cases are listed if B is a quartic. Furthermore we give a new lower bound for the dimension of the code of B. Received: 16 November 1998     

Nonparametric analysis of doubly truncated data

One of the principal goals of the quasar investigations is to study luminosity evolution. A convenient one-parameter model for luminosity says that the expected log luminosity, T*, increases linearly as θ ₀· log(1  +  Z*), and T*(θ ₀) = T*  −  θ ₀· log(1  +  Z*) is independent of Z*, where Z* is the redshift of a quasar and θ ₀ is the true value of evolution parameter. Due to experimental constraints, the distribution of T* is doubly truncated to an interval (U*, V*) depending on Z*, i.e., a quadruple (T*, Z*, U*, V*) is observable only when U* ≤ T* ≤ V*. Under the one-parameter model, T*(θ ₀) is independent of (U*(θ ₀), V*(θ ₀)), where U*(θ ₀) = U*  −  θ ₀· log(1  +  Z*) and V*(θ ₀) = V*  −  θ ₀· log(1  +  Z*). Under this assumption, the nonparametric maximum likelihood estimate (NPMLE) of the hazard function of T*(θ ₀) (denoted by ĥ) was developed by Efron and Petrosian (J Am Stat Assoc 94:824–834, 1999). In this note, we present an alternative derivation of ĥ. Besides, the NPMLE of distribution function of T*(θ ₀), [^(F)]{\hat F} , will be derived through an inverse-probability-weighted (IPW) approach. Based on Theorem 3.1 of Van der Laan (1996), we prove the consistency and asymptotic normality of the NPMLE [^(F)]{\hat F} under certain condition. For testing the null hypothesis H_q0: T^*(q₀) = T^*-q₀·log(1 + Z^*){H_{\theta_0}: T^{\ast}(\theta_0) = T^{\ast}-\theta_0\cdot \log(1 + Z^{\ast})} is independent of Z*, (Efron and Petrosian in J Am Stat Assoc 94:824–834, 1999). proposed a truncated version of the Kendall’s tau statistic. However, when T* is exponential distributed, the testing procedure is futile. To circumvent this difficulty, a modified testing procedure is proposed. Simulations show that the proposed test works adequately for moderate sample size.     

The Hilbert Null-cone on Tuples of Matrices and Bilinear Forms

We describe the null-cone of the representation of G on M ^p , where either G = SL(W) × SL(V) and M = Hom(V,W) (linear maps), or G = SL(V) and M is one of the representations S ²(V ^*) (symmetric bilinear forms), Λ²(V ^*) (skew bilinear forms), or (arbitrary bilinear forms). Here V and W are vector spaces over an algebraically closed field K of characteristic zero and M ^p is the direct sum of p of copies of M. More specifically, we explicitly determine the irreducible components of the null-cone on M ^p . Results of Kraft and Wallach predict that their number stabilises at a certain value of p, and we determine this value. We also answer the question of when the null-cone in M ^p is defined by the polarisations of the invariants on M; typically, this is only the case if either dim V or p is small. A fundamental tool in our proofs is the Hilbert–Mumford criterion for nilpotency (also known as unstability).     

Ruled threefolds homeomorphic to ℙ2 × ℙ1 and their divisors

We study a class of ruled threefolds, namely, manifolds X with a projection p:X→ℙ², such that each fiber is isomorphic to ℙ¹, and which are homeomorphic to ℙ²×ℙ¹; and we characterize ample and very ample line bundles on such threefolds. This paper was written with the financial support of M.P.I. The author is a member of G.N.S.A.G.A. of the C.N.R.     

Complete positivity,tensor products and C*-nuclearity for inverse limits of C*-algebras

The paper aims at developing a theory of nuclear (in the topological algebraic sense) pro-C^*-algebras (which are inverse limits of C^*-algebras) by investigating completely positive maps and tensor products. By using the structure of matrix algebras over a pro-C^*-algebra, it is shown that a unital continuous linear map between pro-C^*-algebrasA andB is completely positive iff by restriction, it defines a completely positive map between the C^*-algebrasb(A) andb(B) consisting of all bounded elements ofA andB. In the metrizable case,A andB are homeomorphically isomorphic iff they are matricially order isomorphic. The injective pro-C^*-topology α and the projective pro-C^*-topology v on A⊗B are shown to be minimal and maximal pro-C^*-topologies; and α coincides with the topology of biequicontinous convergence iff eitherA orB is abelian. A nuclear pro-C^*-algebraA is one that satisfies, for any pro-C^*-algebra (or a C^*-algebra)B, any of the equivalent requirements; (i) α =v onA ⊗B (ii)A is inverse limit of nuclear C^*-algebras (iii) there is only one admissible pro-C^*-topologyon A⊗B (iv) the bounded partb(A) ofA is a nuclear C⊗-algebra (v) any continuous complete state map A→B^* can be approximated in simple weak^* convergence by certain finite rank complete state maps. This is used to investigate permanence properties of nuclear pro-C^*-algebras pertaining to subalgebras, quotients and projective and inductive limits. A nuclearity criterion for multiplier algebras (in particular, the multiplier algebra of Pedersen ideal of a C^*-algebra) is developed and the connection of this C^*-algebraic nuclearity with Grothendieck’s linear topological nuclearity is examined. A σ-C^*-algebraA is a nuclear space iff it is an inverse limit of finite dimensional C^*-algebras; and if abelian, thenA is isomorphic to the algebra (pointwise operations) of all scalar sequences.     

The non-commutative Weil algebra

For any compact Lie group G, together with an invariant inner product on its Lie algebra ?, we define the non-commutative Weil algebra ? _G as a tensor product of the universal enveloping algebra U(?) and the Clifford algebra Cl(?). Just like the usual Weil algebra W _G =S(?^*)⊗∧?^*, ? _G carries the structure of an acyclic, locally free G-differential algebra and can be used to define equivariant cohomology ℋ _G (B) for any G-differential algebra B. We construct an explicit isomorphism ?: W _G →? _G of the two Weil algebras as G-differential spaces, and prove that their multiplication maps are G-chain homotopic. This implies that the map in cohomology H _G (B)→ℋ _G (B) induced by ? is a ring isomorphism. For the trivial G-differential algebra B=ℝ, this reduces to the Duflo isomorphism S(?) ^G ≅U(?) ^G between the ring of invariant polynomials and the ring of Casimir elements. Oblatum 13-III-1999 & 27-V-1999 / Published online: 22 September 1999     

Complemented copies of ℓ<Subscript>p</Subscript> spaces in tensor products

We give sufficient conditions on Banach spaces X and Y so that their projective tensor product X ⊗_π Y, their injective tensor product X ⊗_ɛ Y, or the dual (X ⊗_π Y)^* contain complemented copies of ℓ_p.     

M-structure in dual Banach spaces

A result previously known only for certain ordered Banach spaces is generalized to arbitrary real Banach spaces. Let ℒ be the Banach algebra of operators generated by theL-projections of a real Banach spaceU, and let ℳ (U ^* be the bounded operators on the dual spaceU ^* with adjoint in ℒ(U ^**. Then the adjoint operation maps ℒ (U) onto ℳ (U ^*). In particular, anyM-projection ofU ^* is weak^* continuous. Supported in part by the National Science Foundation.     

Score Lists in Tripartite Hypertournaments

Given non-negative integers l, m, n, α, β and γ with l ≥ α ≥ 1, m ≥ β ≥ 1 and n ≥ γ ≥ 1, an [α,β,γ]-tripartite hypertournament on l + m + n vertices is a four tuple (U, V, W, E), where U, V and W are three sets of vertices with |U| = l , |V| = m and |W| = n, and E is a set of (α + β + γ)-tuples of vertices, called arcs, with exactly α vertices from U, exactly β vertices from V,and exactly γ vertices from W, such that any subset U₁∪ V₁∪ W₁ of U∪ V∪ W, E contains exactly one of the (α + β + γ)! (α + β + γ) − tuples whose entries belong to U₁∪ V₁∪ W₁. We obtain necessary and sufficient conditions for three lists of non-negative integers in non-decreasing order to be the losing score lists or score lists of some [α, β, γ]-tripartite hypertournament. Supported by National Science Foundation of China (No.10501021).     

Weighted integral formulas on manifolds

We present a method of finding weighted Koppelman formulas for (p,q)-forms on n-dimensional complex manifolds X which admit a vector bundle of rank n over X×X, such that the diagonal of X×X has a defining section. We apply the method to ℙ ⁿ and find weighted Koppelman formulas for (p,q)-forms with values in a line bundle over ℙ ⁿ . As an application, we look at the cohomology groups of (p,q)-forms over ℙ ⁿ with values in various line bundles, and find explicit solutions to the -equation in some of the trivial groups. We also look at cohomology groups of (0,q)-forms over ℙ ⁿ ×ℙ ^m with values in various line bundles. Finally, we apply our method to developing weighted Koppelman formulas on Stein manifolds.     

New cases of logarithmic equivalence of Welschinger and Gromov-Witten invariants

We consider ℙ¹ × ℙ¹ equipped with the complex conjugation (x, y) ↦ and blown up in at most two real or two complex conjugate points. For these four surfaces we prove the logarithmic equivalence of Welschinger and Gromov-Witten invariants. To Vladimir Igorevich Arnold on his 70th birthday     

Linear series onk-gonal curves

Here we prove the following result. Theorem 1.1.Let X be an integral projective curve of arithmetic genus g and k≧ ≧4 an integer. Assume the existence of L ∈ Pic^k (X) with h ⁰ (X, L)=2 and L spanned. Fix a rank 1 torsion free sheaf M on X with h ⁰(X,M)=r+1≧2, h¹ (X, M)≧2 and M spanned by its global sections. Set d≔deg(M) and s≔max {n≧0:h ⁰ (X, M ⊗(L^*)^⊗n)>0}. Then one of the following cases occur:

Optimal pinching constants of odd dimensional homogeneous spaces

In this article we compute the pinching constants of all invariant Riemannian metrics on the Berger space B ¹³=SU(5)/(Sp(2)×_ℤ2S¹) and of all invariant U(2)-biinvariant Riemannian metrics on the Aloff–Wallach space W ⁷ _1,1=SU(3)/S¹ _1,1. We prove that the optimal pinching constants are precisely in both cases. So far B ¹³ and W ⁷ _1,1 were only known to admit Riemannian metrics with pinching constants .?We also investigate the optimal pinching constants for the invariant metrics on the other Aloff–Wallach spaces W ⁷ _k,l =SU(3)/S¹ _k,l . Our computations cover the cone of invariant T²-biinvariant Riemannian metrics. This cone contains all invariant Riemannian metrics unless k/l=1. It turns out that the optimal pinching constants are given by a strictly increasing function in k/l∈[0,1]. Thus all the optimal pinching constants are ≤.?In order to determine the extremal values of the sectional curvature of an invariant Riemannian metric on W ⁷ _k,l we employ a systematic technique, which can be applied to other spaces as well. The computation of the pinching constants for B ¹³ is reduced to the curvature computation for two proper totally geodesic submanifolds. One of them is diffeomorphic to ℂℙ³/ℤ₂ and inherits an Sp(2)-invariant Riemannian metric, and the other is W ⁷ _1,1 embedded as recently found by Taimanov. This approach explains in particular the coincidence of the optimal pinching constants for W ⁷ _1,1 and the Berger space B ¹³. Oblatum 9-XI-1998 & 3-VI-1999 / Published online: 20 August 1999