On the existence of closed timelike geodesics in compact spacetimes. II

 The purpose of this paper is on the one hand to extend and generalize, in terms of Clifford translations, some results in a previous paper (Math. Z. 239 (2002), 277–291) concerning the existence of closed timelike geodesics in compact spacetimes, and on the other hand to prove that a compact flat spacetime (M, g) contains a closed timelike geodesic if and only if the fundamental group π₁(M) contains a non-trivial timelike translation. Received: 22 January 2002; in final form: 12 August 2002 / Published online: 16 May 2003 Mathematics Subject Classification (2000): 53C50, 53C22.     

Topological restrictions for circle actions and harmonic morphisms

 Let M ^m be a compact oriented smooth manifold admitting a smooth circle action with isolated fixed points which are isolated as singularities as well. Then all the Pontryagin numbers of M ^m are zero and its Euler number is nonnegative and even. In particular, M ^m has signature zero. We apply this to obtain non-existence of harmonic morphisms with one-dimensional fibres from various domains, and a classification of harmonic morphisms from certain 4-manifolds. Received: 16 May 2002 Published online: 14 February 2003 Mathematics Subject Classification (2000): 58E20, 53C43, 57R20.     

A Note on the Global Generation of Primitive Line Bundles on Abelian Varieties

Let (X,L) be a generic polarized abelian variety of dimension g and type (d ₁,...,d _g ). We show that L is globally generated when d ₁+...+d _g ≥ 2g. Mathematics Subject Classification: Primary 14K05; secondary 14C20     

TT-eigentensors for the Lichnerowicz Laplacian on some asymptotically hyperbolic manifolds with warped products metrics

Let (M =]0, ∞[×N, g) be an asymptotically hyperbolic manifold of dimension n + 1 ≥ 3, equipped with a warped product metric. We show that there exist no TT L ²-eigentensors with eigenvalue in the essential spectrum of the Lichnerowicz Laplacian Δ _L . If (M, g) is the real hyperbolic space, there is no symmetric L ²-eigentensors of Δ _L .     

Vanishing theorem for irreducible symmetric spaces of noncompact type

We prove the following vanishing theorem. Let M be an irreducible symmetric space of noncompact type whose dimension exceeds 2 and M ≠SO0（2, 2）/SO（2） × SO（2）. Let π ： E →＊ M be any vector bundle. Then any E-valued L2 harmonic 1-form over M vanishes. In particular we get the vanishing theorem for harmonic maps from irreducible symmetric spaces of noncompact type.     

Topological invariants of real Milnor fibres

 Let and be analytic germs, let be a closed ball of small radius centred at the origin, and let . Let , where λ(p) is the Morse index at a critical point p of a Morse function which approximates g|W _z . For F and g satisfying some natural assumptions, we shall show that there is a finite family of analytic germs θ _i (z) such that for a generic regular value z. Received: 8 May 2001 / Revised version: 16 May 2002 Published online: 24 January 2003 Supported by grant BW 5100-5-0256-9 Mathematics Subject Classification (2000): 14P15, 32B10     

Local flat duality of abelian varieties

 Let K be a field complete for a discrete valuation and with algebraically closed residue field of positive characteristic p. We prove the existence of a non-degenerate pairing between the first (flat) cohomology group of an abelian variety A _K over K and the fundamental group of the Néron model of the dual abelian variety. This pairing extends to the p-primary components a pairing introduced by Shafarevich in [16]. We relate this pairing with Grothendieck's pairing. Received: 7 January 2002 / Revised version: 6 December 2002 Published online: 24 April 2003 Mathematics Subject Classification (2000): 14k05, 14F20, 14G22     

Triangulated functors,homological functors,tilts, and lifts

 Let T be a triangulated category and let X be an object of T. This paper studies the questions: Does there exist a triangulated functor G : D(ℤ)  T with G(ℤ)≌X? Does there exist a triangulated functor H : T  D(ℤ) with h⁰ ⊚ H ⋍ Hom_T (X, −)? To what extent are G and H unique? One spin off is a proof that the homotopy category of spectra is not the stable category of any Frobenius category with set indexed coproducts. Received: 8 March 2002 / Revised version: 18 October 2002 Published online: 14 February 2003 Mathematics Subject Classification (2000): 18E30, 55U35     

Galois representations of three-dimensional orthogonal motives

 Let M be a motive defined over a number field K and the associated system of -adic representations. Assuming some (mild) conditions on M we determine the image in the case that M is three-dimensional and equipped with a symmetric bilinear form. We can show further that several conjectures on -adic representations hold for M. Received: 4 October 2000 / Revised version: 21 April 2002     

On endomorphisms of projective bundles

 Let X be a projective bundle. We prove that X admits an endomorphism of degree >1 and commuting with the projection to the base, if and only if X trivializes after a finite covering. When X is the projectivization of a vector bundle E of rank 2, we prove that it has an endomorphism of degree >1 on a general fiber only if E splits after a finite base change. Received: 16 September 2002 / Revised version: 15 November 2002 Published online: 3 March 2003     

A new Lichnerowicz–Obata estimate in the presence of a parallel p-form

 Let (M ⁿ ,g) be a compact Riemannian manifold with a smooth boundary. In this paper, we give a Lichnerowicz-Obata type lower bound for the first eigenvalue of the Laplacian of (M ⁿ ,g) when M has a parallel p-form (2 ≤p≤n/2). This result follows from a new Bochner-Reilly's formula. Moreover, we give a characterization of the equality case when (M ⁿ ,g) is simply connected. Received: 1 June 2001     

On projective curves of maximal regularity

 Let 𝒞⊆ℙ ^r _K be a non-degenerate projective curve of degree d>r+1 of maximal regularity so that 𝒞 has an extremal secant line . We show that 𝒞∪ is arithmetically Cohen Macaulay if d<2r−1 and we study the Betti numbers and the Hartshorne-Rao module of the curve 𝒞. Received: 27 March 2002; in final form: 24 May 2002 / Published online: 1 April 2003 Mathematics Subject Classification (1991): 14H45, 13D02. The second author was partially supported by Swiss National Science Foundation (Projects No. 20-52762.97 and 20-59237.99).     

Kähler hyperbolicity and the Euler number of a compact manifold with geodesic flow of Anosov type

 Let M be a 2m-dimensional compact Riemannian manifold with Anosov geodesic flow. We prove that every closed bounded k form, k≥2, on the universal covering of M is d(bounded). Further, if M is homotopy equivalent to a compact K?hler manifold, then its Euler number χ(M) satisfies (−1) ^m χ(M)>0. Received: 25 September 2001 / Published Online: 16 October 2002     

Geometry of the Normal Bundle of a Submanifold*

 We study the geometric behavior of the normal bundle T ^⊥ M of a submanifold M of a Riemannian manifold . We compute explicitely the second fundamental form of T ^⊥ M and look at the relation between the minimality of T ^⊥ M and M. Finally we show that the Maslov forms with respect to a suitable connection of the pair (T ^⊥ M, are null. Received March 14, 2001; in revised form February 11, 2002     

On Exponential Sums Involving the Ideal Counting Function in Quadratic Number Fields

 Let χ be a Dirichlet character modulo k > 1, and F _χ(n) the arithmetical function which is generated by the product of the Riemann zeta-function and the Dirichlet L-function corresponding to χ in . In this paper we study the asymptotic behaviour of the exponential sums involving the arithmetical function F _χ(n). In particular, we study summation formulas for these exponential sums and mean square formulas for the error term. Received April 17, 2001; in revised form April 2, 2002     

Marginally Trapped Surfaces in L<Superscript>4</Superscript> and an Extended Weierstrass–Bryant Representation

Let E be the total space of a locally trivial torus bundle over a surface Σ_g of genus g > 1. Using Seiberg–Witten theory and spectral sequences, we prove that E carries a symplectic structure if and only if the homology class of the fiber [T²] is nonzero in H₂(E, R). Mathematics Subject Classifications (2000): 53C42, 53A10.     

The Linear 2-Arboricity of Planar Graphs

 Let G be a planar graph with maximum degree Δ and girth g. The linear 2-arboricity la ₂(G) of G is the least integer k such that G can be partitioned into k edge-disjoint forests, whose component trees are paths of length at most 2. We prove that (1) la ₂(G)≤⌈(Δ+1)/2⌉+12; (2) la ₂(G)≤⌈(Δ+1)/2⌉+6 if g≥4; (3) la ₂(G)≤⌈(Δ+1)/2⌉+2 if g≥5; (4) la ₂(G)≤⌈(Δ+1)/2⌉+1 if g≥7. Received: June 28, 2001 Final version received: May 17, 2002 Acknowledgments. This work was done while the second and third authors were visiting the Institute of Mathematics, Academia Sinica, Taipei. The financial support provided by the Institute is greatly appreciated.     

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.     

Congruence properties of the coefficients of the Drinfeld modular invariant

 Let be the expansion at infinity of the Drinfeld modular invariant. We know that the coefficients c _n 's are in the polynomial ring 𝔽_q[T]. In this text, we prove for these coefficients congruence properties modulo powers of p, where p  𝔽 _q [T] is a polynomial of degree 1. Received: 19 April 2002 Mathematics Subject Classification (2000): 11F52, 11F33, 11G09