Holomorphic Vector Bundle on Hopf Manifolds with Abelian Fundamental Groups

Let X be a Hopf manifolds with an Abelian fundamental group. E is a holomorphic vector bundle of rank r with trivial pull-back to W = ℂ ⁿ –{0}. We prove the existence of a non-vanishing section of L⊗E for some line bundle on X and study the vector bundles filtration structure of E. These generalize the results of D. Mall about structure theorem of such a vector bundle E. The research was supported by 973 Project Foundation of China and the Outstanding Youth Science Grant of NSFC (grant no. 19825105)     

Bounds on the Segal-Bargmann transform ofL p functions

This article gives necessary conditions and slightly stronger sufficient conditions for a holomorphic function to be the Segal-Bargmann transform of a function inL ^p (ℝ ^d , ρ) where ρ is a Gaussian measure. The proof relies on a family of inversion formulas for the Segal-Bargmann transform, which can be “tuned” to give the best estimates for a given value of p. This article also gives a single necessary-and-sufficient condition for a holomorphic function to be the transform of a function f such that any derivative of f multiplied by any polynomial is in L^p ( ^d , ρ). Finally, I give some weaker but dimension-independent conditions.     

On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

Seshadri-exceptional foliations

 The maximal Seshadri number μ(L) of an ample line bundle L on a smooth projective variety X measures the local positivity of the line bundle L at a general point of X. By refining the method of Ein-Küchle-Lazarsfeld, lower bounds on μ(L) are obtained in terms of L ⁿ , n=dim(X), for a class of varieties. The main idea is to show that if a certain lower bound is violated, there exists a non-trivial foliation on the variety whose leaves are covered by special curves. In a number of examples, one can show that such foliations must be trivial and obtain lower bounds for μ(L). The examples include the hyperplane line bundle on a smooth surface in ℙ³ and ample line bundles on smooth threefolds of Picard number 1. Received: 29 June 2001 / Published online: 16 October 2002 RID="⋆" ID="⋆" Supported by Grant No. 98-0701-01-5-L from the KOSEF. RID="⋆⋆" ID="⋆⋆" Supported by Grant No. KRF-2001-041-D00025 from the KRF.     

Universality and scaling of correlations between zeros on complex manifolds

We study the limit as N→∞ of the correlations between simultaneous zeros of random sections of the powers L ^N of a positive holomorphic line bundle L over a compact complex manifold M, when distances are rescaled so that the average density of zeros is independent of N. We show that the limit correlation is independent of the line bundle and depends only on the dimension of M and the codimension of the zero sets. We also provide some explicit formulas for pair correlations. In particular, we prove that Hannay’s limit pair correlation function for SU(2) polynomials holds for all compact Riemann surfaces. Oblatum 17-VI-1999 & 31-III-2000?Published online: 5 June 2000     

Effective algebraic degeneracy

We show that for every smooth projective hypersurface X⊂ℙ ⁿ⁺¹ of degree d and of arbitrary dimension n ≥2, if X is generic, then there exists a proper algebraic subvariety Y ⊊ X such that every nonconstant entire holomorphic curve f :ℂ→X has image f(ℂ) which lies in Y, as soon as its degree satisfies the effective lower bound d\geqslant 2ⁿ⁵d\geqslant 2^{n^{5}} .     

Donagi–Morrison’s examples on 2-elementary K3 surfaces

Let X be an algebraic K3 surface, and let L be a base point free and big line bundle on X. If X admits a map of degree 2 to the projective plane branched over a smooth sextic and L is the pullback of the line bundle O_\mathbbP²(3),{\mathcal{O}_{\mathbb{P}^{2}}(3),} then the gonality of the smooth curves of the complete linear system |L| is not constant. The polarized K3 surface (X, L) consisting of the K3 surface X and the line bundle L is called Donagi–Morrison’s example. In this paper, we give a necessary and sufficient condition for the polarized K3 surface (X, L) consisting of a 2-elementary K3 surface X and an ample line bundle L to be Donagi–Morrison’s example.     

Legendrian tori and the semi-classical limit

Let X be CPn or a compact smooth quotient of the n-dimensional complex hyperbolic space, n>1. Let L be a hermitian holomorphic line bundle (with hermitian connection) on X chosen as follows: if X=CPn then L is the hyperplane bundle, and in the second case L is chosen so that L⊗(n+1)=KX⊗E, where KX is the canonical line bundle and E is a flat line bundle. The unit circle bundle P in L^∗ is a contact manifold. Let k^′ be a fixed positive integer. We construct certain Legendrian tori in P (the construction depends, in particular, on the choice of k^′) and sequences {uk}, k=k^′m, , of holomorphic sections of L⊗k associated to these tori. We study asymptotics of the norms ‖ukk_‖ as m→+∞ and, in particular, apply this result to construct explicitly certain non-trivial holomorphic automorphic forms on the n-dimensional complex hyperbolic space. We obtain an n>1 analogue of the classical period formula (this is a well-known statement for automorphic forms on the upper half plane, n=1).     

A simple proof of a theorem by Uhlenbeck and Yau

A subbundle of a Hermitian holomorphic vector bundle (E, h) can be metrically and differentially defined by the orthogonal projection onto itself. A weakly holomorphic subbundle of (E, h) is, by definition, an orthogonal projection π lying in the Sobolev space L²₁ of L² sections of End E with L² first order derivatives in the sense of distributions, which satisfies furthermore (Id−π)∘D′′π=0. A weakly holomorphic subbundle of (E, h) is shown to define a coherent subsheaf of (E), and implicitly a holomorphic subbundle of E in the complement of an analytic subset of codimension ≥2. This result provided the key technical argument to the proof given by Uhlenbeck and Yau for the Kobayashi-Hitchin correspondence on compact Kähler manifolds. We give here a much simpler proof based on current theory. The idea is to construct local meromorphic sections of Im π which locally span the fibers. We first make this construction on one-dimensional submanifolds of X and subsequently extend it by means of a Hartogs-type theorem of Shiffman’s.     

On Radial and Conical Fourier Multipliers

We investigate connections between radial Fourier multipliers on ℝ ^d and certain conical Fourier multipliers on ℝ ^d+1. As an application we obtain a new weak type endpoint bound for the Bochner–Riesz multipliers associated with the light cone in ℝ ^d+1, where d≥4, and results on characterizations of L ^p →L ^p,ν inequalities for convolutions with radial kernels.     

On the hot spots of a catalytic super-Brownian motion

Consider the catalytic super-Brownian motion X ^ϱ (reactant) in ℝ ^d , d≤3, which branching rates vary randomly in time and space and in fact are given by an ordinary super-Brownian motion ϱ (catalyst). Our main object of study is the collision local time L = L _[ϱ,Xϱ] (d(s,x) )of catalyst and reactant. It determines the covariance measure in themartingale problem for X ^ϱ and reflects the occurrence of “hot spots” of reactant which can be seen in simulations of X ^ϱ. In dimension 2, the collision local time is absolutely continuous in time, L(d(s,x) ) = ds K _s (dx). At fixed time s, the collision measures K _s (dx) of ϱ _s and X _s ^ϱ have carrying Hausdorff dimension 2. Spatial marginal densities of L exist, and, via self-similarity, enter in the long-term randomergodic limit of L (diffusiveness of the 2-dimensional model). We alsocompare some of our results with the case of super-Brownian motions withdeterministic time-independent catalysts. Received: 2 December 1998 / Revised version: 2 February 2001 / Published online: 9 October 2001     

Real Hypersurfaces Having Many Pseudo-hyperplanes

Abstract

Let nand dbe natural integers satisfying n ≥ 3 and d ≥ 10. Let Xbe an irreducible real hypersurface Xin ? ⁿ of degree dhaving many pseudo-hyperplanes. Suppose that Xis not a projective cone. We show that the arrangement ? of all d ? 2 pseudo-hyperplanes of Xis trivial, i.e., there is a real projective linear subspace Lof ? ⁿ (?) of dimension n ? 2 such that L ? Hfor all H ∈ ?. As a consequence, the normalization of Xis fibered over ?¹in quadrics. Both statements are in sharp contrast with the case n = 2; the first statement also shows that there is no Brusotti-type result for hypersurfaces in ? ⁿ , for n ≥ 3.     

Daniell integral represented by Radon measures

LetL be a sublattice of the space of real continuous functions defined on a Suslin spaceX, such that at no point all the functions inL vanish. Then it is shown that every Daniell integrall μ:L → IR is representable by a Radon measurem onX: μ(ϕ)=∫ϕdm ∀ϕ∈L. The measurem may be uniquely determined by constraining it to be concentrated on a certain type of subset ofX. The relation betweenL ¹(μ) andL ¹(m) is examined in detail.     

The Jacobian of a nonorientable Klein surface

Using divisors, an analog of the Jacobian for a compact connected nonorientable Klein surfaceY is constructed. The Jacobian is identified with the dual of the space of all harmonic real one-forms onY quotiented by the torsion-free part of the first integral homology ofY. Denote byX the double cover ofY given by orientation. The Jacobian ofY is identified with the space of all degree zero holomorphic line bundlesL overX with the property thatL is isomorphic to σ*/-L, where σ is the involution ofX.     

Representable Functions on the Unit Ball of a Banach Space

In this paper we treat the problem of integral representation of analytic functions over the unit ball of a complex Banach space X using the theory of abstract Wiener spaces. We define the class of representable functions on the unit ball of X and prove that this set of functions is related with the classes of integral k–homogeneous polynomials, integral holomorphic functions and also with the set of L ^p –representable functions on a Banach space.     

The Levi problem on strongly pseudoconvex G-bundles

Let G be a unimodular Lie group, X a compact manifold with boundary, and M the total space of a principal bundle G → M → X so that M is also a strongly pseudoconvex complex manifold. In this study, we show that if G acts by holomorphic transformations satisfying a local property, then the space of square-integrable holomorphic functions on M is infinite-dimensional.     

On set-valued cone absolutely summing maps

Spaces of cone absolutely summing maps are generalizations of Bochner spaces L ^p (μ, Y), where (Ω, Σ, μ) is some measure space, 1 ≤ p ≤ ∞ and Y is a Banach space. The Hiai-Umegaki space $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] of integrably bounded functions F: Ω → cbf(X), where the latter denotes the set of all convex bounded closed subsets of a separable Banach space X, is a set-valued analogue of L ¹(μ, X). The aim of this work is to introduce set-valued cone absolutely summing maps as a generalization of $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] , and to derive necessary and sufficient conditions for a set-valued map to be such a set-valued cone absolutely summing map. We also describe these set-valued cone absolutely summing maps as those that map order-Pettis integrable functions to integrably bounded set-valued functions.     

Rates of Convergence of Means of Euclidean Functionals

Let L be the Euclidean functional with p-th power-weighted edges. Examples include the sum of the p-th power-weighted lengths of the edges in minimal spanning trees, traveling salesman tours, and minimal matchings. Motivated by the works of Steele, Redmond and Yukich (Ann. Appl. Probab. 4, 1057–1073, 1994, Stoch. Process. Appl. 61, 289–304, 1996) have shown that for n i.i.d. sample points {X ₁,…,X _n } from [0,1] ^d , L({X ₁,…,X _n })/n ^(d−p)/d converges a.s. to a finite constant. Here we bound the rate of convergence of EL({X ₁,…,X _n })/n ^(d−p)/d . Y. Koo supported by the BK21 project of the Department of Mathematics, Sungkyunkwan University. S. Lee supported by the BK21 project of the Department of Mathematics, Yonsei University.