An elementary approach to gap theorems

Using elementary comparison geometry, we prove: Let (M, g) be a simply-connected complete Riemannian manifold of dimension ≥ 3. Suppose that the sectional curvature K satisfies −1 − s(r) ≤ K ≤ −1, where r denotes distance to a fixed point in M. If lim _{r → ∞} e^2r s(r) = 0, then (M, g) has to be isometric to ℍ ⁿ . The same proof also yields that if K satisfies −s(r) ≤ K ≤ 0 where lim _{r → ∞} r ² s(r) = 0, then (M, g) is isometric to ℝ ⁿ , a result due to Greene and Wu. Our second result is a local one: Let (M, g) be any Riemannian manifold. For a ∈ ℝ, if K ≤ a on a geodesic ball B _p (R) in M and K = a on ∂B _p (R), then K = a on B _p (R).     

K-area, Hofer metric and geometry of conjugacy classes in Lie groups

Given a closed symplectic manifold (M,ω) we introduce a certain quantity associated to a tuple of conjugacy classes in the universal cover of the group Ham (M,ω) by means of the Hofer metric on Ham (M,ω). We use pseudo-holomorphic curves involved in the definition of the multiplicative structure on the Floer cohomology of a symplectic manifold (M,ω) to estimate this quantity in terms of actions of some periodic orbits of related Hamiltonian flows. As a corollary we get a new way to obtain Agnihotri-Belkale-Woodward inequalities for eigenvalues of products of unitary matrices. As another corollary we get a new proof of the geodesic property (with respect to the Hofer metric) of Hamiltonian flows generated by certain autonomous Hamiltonians. Our main technical tool is K-area defined for Hamiltonian fibrations over a surface with boundary in the spirit of L. Polterovich’s work on Hamiltonian fibrations over S ². Oblatum 23-II-2001 & 9-V-2001?Published online: 20 July 2001     

Discreteness of Flux Groups

Let （M, ω） be a closed symplectic 2n-dimensional manifold. Donaldson in his paper showed that there exist 2m-dimensional symplectie submanifolds （V^2m,ω） of （M,ω）, 1 ≤m ≤ n - 1, with （m - 1）-equivalent inclusions. On the basis of this fact we obtain isomorphic relations between kernel of Lefschetz map of M and kernels of Lefschetz maps of Donaldson submanifolds V^2m, 2 ≤ m ≤ n - 1. Then, using this relation, we show that the flux group of M is discrete if the action of π1 （M） on π2（M） is trivial and there exists a retraction r ： M→ V, where V is a 4-dimensional Donaldson submanifold. And, in the symplectically aspherical case, we investigate the flux groups of the manifolds.     

About the Blowup of Quasimodes on Riemannian Manifolds

On any compact Riemannian manifold (M,g) of dimension n, the L ²-normalized eigenfunctions φ _λ satisfy ||f_l||_￥ ￡ Cl^\fracn-12\|\phi_{\lambda}\|_{\infty}\leq C\lambda^{\frac{n-1}{2}} where −Δφ _λ =λ ² φ _λ . The bound is sharp in the class of all (M,g) since it is obtained by zonal spherical harmonics on the standard n-sphere S ⁿ . But of course, it is not sharp for many Riemannian manifolds, e.g., flat tori ℝ ⁿ /Γ. We say that S ⁿ , but not ℝ ⁿ /Γ, is a Riemannian manifold with maximal eigenfunction growth. The problem which motivates this paper is to determine the (M,g) with maximal eigenfunction growth. In an earlier work, two of us showed that such an (M,g) must have a point x where the set ℒ _x of geodesic loops at x has positive measure in S^*_xMS^{*}_{x}M. We strengthen this result here by showing that such a manifold must have a point where the set ℛ _x of recurrent directions for the geodesic flow through x satisfies |{ℛ} _x |>0. We also show that if there are no such points, L ²-normalized quasimodes have sup-norms that are o(λ ^(n−1)/2), and, in the other extreme, we show that if there is a point blow-down x at which the first return map for the flow is the identity, then there is a sequence of quasimodes with L ^∞-norms that are Ω(λ ^(n−1)/2).     

Eigenvalues Estimate for the Neumann Problem of a Bounded Domain

In this note, we investigate upper bounds of the Neumann eigenvalue problem for the Laplacian of a domain Ω in a given complete (not compact a priori) Riemannian manifold (M,g). For this, we use test functions for the Rayleigh quotient subordinated to a family of open sets constructed in a general metric way, interesting for itself. As applications, we prove that if the Ricci curvature of (M,g) is bounded below Ric  ^g ≥−(n−1)a ², a≥0, then there exist constants A _n >0,B _n >0 only depending on the dimension, such that

Laplacians on the holomorphic tangent bundle of a Kaehler manifold

Let M be a connected complex manifold endowed with a Hermitian metric g. In this paper, the complex horizontal and vertical Laplacians associated with the induced Hermitian metric 〈·, ·〉 on the holomorphic tangent bundle T ^1,0 M of M are defined, and their explicit expressions are obtained. Using the complex horizontal and vertical Laplacians associated with the Hermitian metric 〈·, ·〉 on T ^1,0 M, we obtain a vanishing theorem of holomorphic horizontal p forms which are compactly supported in T ^1,0 M under the condition that g is a Kaehler metric on M.     

Classi localmente filtrali

Riassunto Si dà la definizione di classe ?localmente filtrale?. Si diceche K è una classe localmente filtrale se per ogni n∈ω, per ogni A ₀,...,A _n−1, εK e per ogni famiglia di sotto-insiemi V_i di A_i (i∈n) con V_i finiti, la classe {B ₀,...,B _n−1 delle algebre generate da V₀, ..., V_n−1 è costituita da algebre finite ed è filtrale. Si dimostra che seK è localmente filtrale alloraV _L(K)=IR _L DS(K) e si dà un teorema di caratterizzazione per queste classi.

---

Summary We define a ?classe localmente filtrale? as follows: LetK be a class of similar algebras;K is a ?classe localmente filtrale? if for andn ∈ ω and for anyA ₀,...,A _n−1 ink and for any family of finite subsetsV _i ofA _i(i∈n), the class {B ₀,...,B _n−1 of algebras generated byV _o, ...,V _n−1 consists of finite algebras and is ?filtrale?. We show that ifK is ?localmente filtrale? thenV _L (K)=IR _L DS(K) and we give a characterization theorem for these classes.

---

---

Lavoro eseguito nell'ambito dei gruppi di ricerca matematici del C.N.R. per l'anno 1970–71.     

Maxwell equations and the direction of the electromagnetic field

Let M₀ be the Minkowski space, let Λ₂(M₀) be the space of bivectors in M₀, and let G¹ ⊂ Λ₂(M₀) be the manifold of directions of the physical space, consisting of simple bivectors with square −1. A mapping F: U → Λ₂(M₀), U ⊂ ℝ⁴, satisfying the Maxwell equations is regarded as the tensor of an electromagnetic field in vacuum. The field is described on the basis of a special decomposition F = eω + h(*ω), where the mapping ω: U → G¹ is called the direction of the field, and e: U → (0, +∞) and h: U → ℝ are the electric and magnetic coefficients of the field. The Maxwell equations are reformulated in terms of ω, e, and h. Electromagnetic fields whose set of directions is a point or a one-dimensional subset of G¹ are considered. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 118–146.     

Asymptotiques d’un systeme dynamique conservatif associe a une equation elliptique non lineaire

LetM be a compact riemannian manifold,h an odd function such thath(r)/r is non-decreasing with limit 0 at 0. Letf(r)=h(r)-γr and assume there exist non-negative constantsA andB and a realp>1 such thatf(r)>Ar ^P-B. We prove that any non-negative solutionu ofu _tt+Δ_gu=f(u) onM x ℝ⁺ satisfying Dirichlet or Neumann boundary conditions on ϖM converges to a (stationary) solution of Δ _g Φ=f(Φ) onM with exponential decay of ‖u-Φ‖C ²(M). For solutions with non-constant sign, we prove an homogenisation result for sufficiently small λ; further, we show that for every λ the map (u(0,·),u _t(0,·))→(u(t,·), u _t(t,·)) defines a dynamical system onW ^1/2(M)⊂C(M)×L ²(M) which possesses a compact maximal attractor.      

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 .     

Topological rigidity of Hamiltonian loops and quantum homology

This paper studies the question of when a loop φ={φ _t }_{0≤ t ≤1} in the group Symp(M,ω) of symplectomorphisms of a symplectic manifold (M,ω) is isotopic to a loop that is generated by a time-dependent Hamiltonian function. (Loops with this property are said to be Hamiltonian.) Our main result is that Hamiltonian loops are rigid in the following sense: if φ is Hamiltonian with respect to ω, and if φ′ is a small perturbation of φ that preserves another symplectic form ω′, then φ′ is Hamiltonian with respect to ω′. This allows us to get some new information on the structure of the flux group, i.e. the image of π₁(Symp(M,ω)) under the flux homomorphism. We give a complete proof of our result for some manifolds, and sketch the proof in general. The argument uses methods developed by Seidel for studying properties of Hamiltonian loops via the quantum homology of M. Oblatum 31-X-1997 & 20-III-1998 / Published online: 14 October 1998     

On m-Accretivity of Perturbed Bochner Laplacian in L p Spaces on Riemannian Manifolds

We consider a differential expression ${H=\nabla^*\nabla+V}We consider a differential expression H=?^*?+V{H=\nabla^*\nabla+V}, where ?{\nabla} is a Hermitian connection on a Hermitian vector bundle E over a manifold of bounded geometry (M, g) with metric g, and V is a locally integrable section of the bundle of endomorphisms of E. We give a sufficient condition for H to have an m-accretive realization in the space L ^p (E), where 1 < p <  +∞. We study the same problem for the operator Δ _M  + V in L ^p (M), where 1 < p < ∞, Δ _M is the scalar Laplacian on a complete Riemannian manifold M, and V is a locally integrable function on M.     

Modules of vector fields,differential forms and degenerations of differential systems

We deal with (n−1)-generated modules of smooth (analytic, holomorphic) vector fieldsV=(X ₁,..., X_n−1) (codimension 1 differential systems) defined locally on ℝ ⁿ or ℂ ⁿ , and extend the standard duality(X ₁,..., X_n−1)↦(ω), ω=Ω(X₁,...,X_n−1,.,) (Ω−a volume form) betweenV′s and 1-generated modules of differential 1-forms (Pfaffian equations)—when the generatorsX _i are linearly independent—onto substantially wider classes of codimension 1 differential systems. We prove that two codimension 1 differential systemsV and are equivalent if and only if so are the corresponding Pfaffian equations (ω) and provided that ω has1-division property: ωΛμ=0, μ—any 1-form ⇒ μ=fω for certain function germf. The 1-division property of ω turns out to be equivalent to the following properties ofV: (a)fX∈V, f—not a 0-divisor function germ ⇒X∈V (thedivision property); (b) (V ^⊥)^⊥=V; (c)V ^⊥=(ω); (d) (ω)^⊥=V, where ⊥ denotes the passing from a module (of vector fields or differential 1-forms) to its annihilator. Supported by Polish KBN grant N^o 2 1090 91 01. Partially supported by the fund for the promotion of research at the Technion, 100–942.     

Stiefel–Whitney surfaces and the tri-genus of non-orientable 3-manifolds

Every non-orientable 3-manifold M can be expressed as a union of three orientable handlebodies V ₁,V ₂,V ₃ whose interiors are pairwise disjoint. If g _i denotes the genus of ∂V _i and g ₃≤g ₂≤g ₃, then the tri-genus of M is the minimum triple (g ₁,g ₂,g ₃), ordered lexicographically. If the Bockstein of the first Stiefel–Whitney class βw ₁(M)=0, then M has tri-genus (0,2g,g ₃), where g is the minimal genus of a 2-sided Stiefel Whitney surface of M. In this paper it is shown that, if βw ₁(M)&\ne;0, then M has tri-genus (1,2g−1,g ₃), where g is the minimal genus of a (1-sided) Stiefel–Whitney surface. As an application the tri-genus of certain graph manifolds is computed. Received: 28 April 1999     

Multiscale stochastic homogenization of convection-diffusion equations

Multiscale stochastic homogenization is studied for convection-diffusion problems. More specifically, we consider the asymptotic behaviour of a sequence of realizations of the form ∂u _ɛ ^ω / ∂t+1 / ɛ ₃ C(T ₃(x/ɛ ₃)ω ₃) · ∇u _ɛ ^ω − div(α(T ₂(x/ɛ ₂)ω ₂, t) ∇u _ɛ ^ω ) = f. It is shown, under certain structure assumptions on the random vector field C(ω ₃) and the random map α(ω ₁, ω ₂, t), that the sequence {u _ɛ ^ω } of solutions converges in the sense of G-convergence of parabolic operators to the solution u of the homogenized problem ∂u/∂t − div (B(t)∇u= f).     

Harmonic Functions,Entropy, and a Characterization of the Hyperbolic Space

Let (M ⁿ ,g) be a compact Riemannian manifold with Ric ≥−(n−1). It is well known that the bottom of spectrum λ ₀ of its universal covering satisfies λ ₀≤(n−1)²/4. We prove that equality holds iff M is hyperbolic. This follows from a sharp estimate for the Kaimanovich entropy. The author was partially supported by NSF Grant 0505645.     

On the geometry of tangent hyperquadric bundles: CR and pseudoharmonic vector fields

We study the natural almost CR structure on the total space of a subbundle of hyperquadrics of the tangent bundle T(M) over a semi-Riemannian manifold (M, g) and show that if the Reeb vector ξ of an almost contact Riemannian manifold is a CR map then the natural almost CR structure on M is strictly pseudoconvex and a posteriori ξ is pseudohermitian. If in addition ξ is geodesic then it is a harmonic vector field. As an other application, we study pseudoharmonic vector fields on a compact strictly pseudoconvex CR manifold M, i.e. unit (with respect to the Webster metric associated with a fixed contact form on M) vector fields X ε H(M) whose horizontal lift X↑ to the canonical circle bundle S¹ → C(M) → M is a critical point of the Dirichlet energy functional associated to the Fefferman metric (a Lorentz metric on C(M)). We show that the Euler–Lagrange equations satisfied by X^↑ project on a nonlinear system of subelliptic PDEs on M. Mathematics Subject Classifications (2000): 53C50, 53C25, 32V20     

Rational points of bounded height on Del Pezzo surfaces of degree six

LetK be a number field. Denote byV ₃ a split Del Pezzo surface of degree six overK and by ω its canonical divisor. Denote byW ₃ the open complement of the exceptional lines inV ₃. LetN _{W s}(−ω, X) be the number ofK-rational points onW ₃ whose anticanonical heightH _−ω is bounded byX. Manin has conjectured that asymptoticallyN _{W 3}(−ω, X) tends tocX(logX)³, wherec is a constant depending only on the number field and on the normalization of the height. Our goal is to prove the following theorem: For each number fieldK there exists a constantc _K such thatN _{W 3}(−ω, X)≤c_KX(logX)^3+2r , wherer is the rank of the group of units ofO _K. The constantc _K is far from being optimal. However, ifK is a purely imaginary quadratic field, this proves an upper bound with a correct power of logX. The proof of Manin's conjecture for arbitrary number fields and a precise treatment of the constants would require a more sophisticated setting, like the one used by [Peyre] to prove Manin's conjecture and to compute the correct asymptotic constant (in some normalization) in the caseK=ℚ. Up to now the best result for arbitraryK goes back, as far as we know, to [Manin-Tschinkel], who gives an upper boundN _{W 3}(−ω,X)≤cX^l+ε. The author would like to express his gratitude to Daniel Coray and Per Salberger for their generous and indispensable support.     

Instability of a planar liquid layer in an alternating longitudinal magnetic field with non-zero mean

The conducting liquid interface is found to undulate in an alternating magnetic field. It was shown earlier that ifM =B ₀ ²/μηω, B₀, ω, μ andη being the amplitude (complex) of the alternating longitudinal magnetic field imposed at the interface, the angular frequency of the field, the magnetic permeability and the viscosity respectively, and ifM _c was the critical value ofM then the planar layer was stable or unstable according asM < M _c orM > M _c. In this paper we have determined the stability criterion when in addition to the alternating longitudinal field there acts a uniform field in the same direction. After comparing our results with those obtained earlier, in the absence of the uniform field, we find that the additional uniform field has a significant destabilizing effect.     

Stability of Standing Waves for Nonlinear Schrödinger Equations with Inhomogeneous Nonlinearities

The effect of inhomogeneity of nonlinear medium is discussed concerning the stability of standing waves e^{i ω t}ϕ_ω(x) for a nonlinear Schr?dinger equation with an inhomogeneous nonlinearity V (x)|u|^{p − 1}u, where V (x) is proportional to the electron density. Here, ω > 0 and ϕ_ω(x) is a ground state of the stationary problem. When V (x) behaves like |x|^−b at infinity, where 0 < b < 2, we show that e^{i ω t}ϕ_ω(x) is stable for p < 1 + (4 − 2b)/n and sufficiently small ω > 0. The main point of this paper is to analyze the linearized operator at standing wave solution for the case of V (x) = |x|^−b. Then, this analysis yields a stability result for the case of more general, inhomogeneous V (x) by a certain perturbation method. Communicated by Bernard Helffer submitted 14/07/04, accepted 28/02/05