Formality of Donaldson submanifolds

We introduce the concept of s–formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n−1), is formal if and only if M is (n−1)–formal. The formality and the hard Lefschetz property are studied for the Donaldson submanifolds of symplectic manifolds constructed in [13]. This study permits us to show an example of a Donaldson symplectic submanifold of dimension eight which is formal simply connected and does not satisfy the hard Lefschetz theorem. An erratum to this article is available at .     

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     

Isoperimetric inequalities on minimal submanifolds of space forms

For a domainU on a certaink-dimensional minimal submanifold ofS ⁿ orH ⁿ, we introduce a “modified volume”M(U) ofU and obtain an optimal isoperimetric inequality forU k ^k ω _k M (D) ^k-1 ≤Vol(∂D) ^k , where ω _k is the volume of the unit ball ofR ^k . Also, we prove that ifD is any domain on a minimal surface inS ₊ ⁿ (orH ⁿ, respectively), thenD satisfies an isoperimetric inequality2π A≤L ²+A² (2π A≤L²−A² respectively). Moreover, we show that ifU is ak-dimensional minimal submanifold ofH ⁿ, then(k−1) Vol(U)≤Vol(∂U). Supported in part by KME and GARC     

New symplectic 4–manifolds with <Emphasis Type="Italic">b</Emphasis><Subscript>+</Subscript>=1

In 1995 Dusa McDuff and Dietmar Salamon conjectured the existence of symplectic 4–manifolds (X,ω) which satisfy b₊=1, K²=0, K·ω>0, and which fail to be of Lefschetz type. This is equivalent to finding a symplectic, homology T²×S² manifold with nontorsion canonical class and a cohomology ring which is not isomorphic to the cohomology ring of T²×S². They needed such examples to complete a list of possible symplectic 4–manifolds with b₊=1. In that same year Tian-Jun Li and Ai-ko Liu, working from a different point of view, questioned whether there existed symplectic 4–manifolds with b₊=1 with Seiberg- Witten invariants that did not depend on the chamber structure of the moduli space. The purpose of this paper is to construct an infinite number of examples which satisfy both requirements. The author was partially supported by NSF grant DMS-0406021.     

Lefschetz Complex Conditions for Complex Manifolds

For any compact complex manifold M with a compatible symplectic form, we consider the homomorphisms L _1,0: H ^1,0(M) H ^{{n, n–1}(M) and L _{0, 1}: H ^{0, 1}(M) H ^{n – 1, n} (M) given by the cup product with [] ^{n – 1}, n being the complex dimension of M andH ^{*, *}(M) the Dolbeault cohomology of M. We say that Mhas Lefschetz complex type (1, 0) (resp. (0, 1)) if L _{1, 0} (resp.L _{0, 1}) is injective. Such conditions can be considered as complexversions of the (real) Lefschetz condition studied by Benson and Gordonin [Topology 27 (1988), 513–518]for symplectic manifolds. Within the class of compactcomplex nilmanifolds, we prove that the injectivity of L _{1, 0}characterizes those complex structures which are Abelian in the sense ofBarberis et al. [Ann. Global Anal. Geom. 13 (1995), 289–301]. In contrast, complex tori are the only nilmanifolds having Lefschetz complex type (0, 1).     

Geodesic loops and periodic geodesics on a Riemannian manifold diffeomorphic to <Emphasis Type="Italic">S</Emphasis><Superscript>3</Superscript>

Let M ⁿ be a closed 2-connected Riemannian manifold, such that π₃(M ⁿ ) ≠ { 0 }. In this paper we prove that either there exists a periodic geodesic on M ⁿ of length ≤ 6d, where d is the diameter of M ⁿ , or at each point p ∈ M ⁿ there exists a geodesic loop of length ≤ 2d.     

On the existence and nonexistence of global solutions for the porous medium equation with strongly nonlinear sources in a cone

In this paper, we study the initial-boundary value problem of the porous medium equation u _t  = Δu ^m  + V(x)u ^p in a cone D = (0, ∞) × Ω, where V(x) ~ (1 + |x|) ^σ . Let ω ₁ denote the smallest Dirichlet eigenvalue for the Laplace–Beltrami operator on Ω and let l denote the positive root of l ² + (n − 2)l = ω ₁. We prove that if m ≤ p ≤ m + (2 + σ)/(n + l), then the problem has no global nonnegative solutions for any nonnegative u ₀ unless u ₀ = 0; if p > m + (2 + σ)/n, then the problem has global solutions for some u ₀ ≥ 0.     

Symplectic embeddings of ellipsoids

We study the rigidity and flexibility of symplectic embeddings in the model case in which the domain is a symplectic ellipsoid. It is first proved that under the conditionr _n ² ≤2r ₁ ² the symplectic ellipsoidE(r ₁,…,r _n)with radiir ₁≤…≤r _ndoes not symplectically embed into a ball of radius strictly smaller thanr _n.We then use symplectic folding to see that this condition is sharp. We finally sketch a proof of the fact that any connected symplectic 4-manifold of finite volume can be asymptotically filled with skinny ellipoids.     

Generalized Symplectic Action and Symplectomorphism Groups of Coadjoint Orbits

Let M be a quantizable symplectic manifold. If ψ_t is a loop in the group {Ham}(M) of Hamiltonian symplectomorphisms of M and A is a 2k-cycle in M, we define a symplectic action κ_A(ψ)∊ U(1) around ψ_t(A), which is invariant under deformations of ψ, and such that κ_A(ψ) depends only on the homology class of A. Using properties of κ_A( ) we determine a lower bound for ♯π₁(Ham(O)), where O is a quantizable coadjoint orbit of a compact Lie group. In particular we prove that ♯π₁(Ham(CPⁿ)) ≥ n+1. Mathematics Subject Classifications (2000): 53D05, 57S05, 57R17, 57T20.     

On families of Lagrangian submanifolds

We study the stability of a compact Lagrangian submanifold of a symplectic manifold under perturbation of the symplectic structure. If X is a compact manifold and the ω _t are cohomologous symplectic forms on X, then by a well-known theorem of Moser there exists a family Φ _t of diffeomorphisms of X such that ω _t =Φ _t ^*(ω₀). If L⊂X is a Lagrangian submanifold for (X,ω₀), L _t =Φ _t ^-1(L) is thus a Lagrangian submanifold for (X,ω _t ). Here we show that if we simply assume that L is compact and ω _t | _L is exact for every t, a family L _t as above still exists, for sufficiently small t. Similar results are proved concerning the stability of special Lagrangian and Bohr–Sommerfeld special Lagrangian submanifolds, under perturbation of the ambient Calabi–Yau structure. Received: 29 May 2001/ Revised version: 17 October 2001     

An information geometry algorithm for distribution control

In this paper, we consider the problem of distribution control from the viewpoint of information geometry. Different from most existing models used in stochastic control, it is assumed that the control input directly affects the distribution of the system output in probability sense. Here, we set up a new manifold (S), meanwhile the B-spline manifold (B) and the system output manifold (M) can be referred to as its submanifolds. We give an information geometrical algorithm which can be called as geodesic-projection algorithm using the properties of manifold. In the geodesic step, we can obtain the geodesic equation from the initial point V₀ = (ω₁₀, ω₂₀, ··· , ω_(n−1)0) to the specified point V_g = (ω_1g, ω_2g, ··· , ω_(n−1)g) in B. This gives us an optimal trajectory for the points changing along in B. In the projection step, we project the sample points selected from the geodesic onto M. The coordinates of the projections in M give the trajectory of the control input u.     

Coconvex approximation of periodic functions

The Jackson inequality relates the value of the best uniform approximation E _n (f) of a continuous 2π-periodic function f: ℝ → ℝ by trigonometric polynomials of degree ≤ n − 1 to its third modulus of continuity ω ₃(f, t). In the present paper, we show that this inequality is true if continuous 2π-periodic functions that change their convexity on [−π, π) only at every point of a fixed finite set consisting of an even number of points are approximated by polynomials coconvex to them. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 1, pp. 29–43, January, 2007.     

Symplectic resolutions for nilpotent orbits

In this paper, firstly we calculate Picard groups of a nilpotent orbit 𝒪 in a classical complex simple Lie algebra and discuss the properties of being ℚ-factorial and factorial for the normalization 𝒪tilde; of the closure of 𝒪. Then we consider the problem of symplectic resolutions for 𝒪tilde;. Our main theorem says that for any nilpotent orbit 𝒪 in a semi-simple complex Lie algebra, equipped with the Kostant-Kirillov symplectic form ω, if for a resolution π:Z𝒪tilde;, the 2-form π^*(ω) defined on π⁻¹(𝒪) extends to a symplectic 2-form on Z, then Z is isomorphic to the cotangent bundle T ^*(G/P) of a projective homogeneous space, and π is the collapsing of the zero section. It proves a conjecture of Cho-Miyaoka-Shepherd-Barron in this special case. Using this theorem, we determine all varieties 𝒪tilde; which admit such a resolution. Oblatum 6-V-2002 & 7-VIII-2002?Published online: 10 October 2002     

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.     

The lagrange intersections for (ℂP n , ℝP n )

Summary If (M, ω) is a compact symplectic manifold andL ⊂M a compact Lagrangian submanifold and if φ is a Hamiltonian diffeomorphism ofM then the V. Arnold conjecture states (possibly under additional conditions) that the number of intersection section points ofL and φ (L) can be estimated by #{Lϒφ (L)}≥ cuplength +1. We shall prove this conjecture for the special case (L, M)=(ℝP ⁿ , ℂP ⁿ ) with the standard symplectic structure.     

Involutions whose top dimensional component of the fixed point set is indecomposable

Let (M ^m , T) be a smooth involution on a closed smooth m-dimensional manifold and F = è_j=0ⁿ F^j{F = \bigcup_{j=0}^{n} F^j} (n ≤ m) its fixed point set, where F ^j denotes the union of those components of F having dimension j. In this paper we show that, if the top dimensional component F ⁿ is indecomposable, then m ≤ 2n + 1. We also give examples to show that this bound is best possible. This gives an improvement for the famous Five Halves Theorem of J. Boardman when the top dimensional component of the fixed point set is indecomposable.     

On samples of independent random vectors in spaces of infinitely increasing dimension

We study the asymptotic behavior of a set of random vectors ξ_i, i = 1,..., m, whose coordinates are independent and identically distributed in a space of infinitely increasing dimension. We investigate the asymptotics of the distribution of the random vectors, the consistency of the sets M _m⁽ⁿ⁾ = ξ₁,..., ξ_m and X _n^λ = x ∈ X _n: ρ(x) ≤ λn, and the mutual location of pairs of vectors. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 12, pp. 1706–1711, December, 1998.     

On the chromatic polynomial of a graph

Let P(G,λ) be the chromatic polynomial of a graph G with n vertices, independence number α and clique number ω. We show that for every λ≥n, ()^α≤≤ () ^{n −ω}. We characterize the graphs that yield the lower bound or the upper bound.?These results give new bounds on the mean colour number μ(G) of G: n− (n−ω)() ^{n −ω}≤μ(G)≤n−α() ^α. Received: December 12, 2000 / Accepted: October 18, 2001?Published online February 14, 2002     

On graded quotient modules of mapping class groups of surfaces

Let Γ _{g, n} be the mapping class group of a compact Riemann surface of genusg withn points preserved (2−2g−n<0,g≥1,n≥0). The Torelli subgroup of Γ _{g, n} has a natural weight filtration {Γ_{g, n}(m)} _m≥1. Each graded quotient gr ^m Γ _{g, n} ⊗ ℚ (m≥1) is a finite dimensional vector space over ℚ on which the group Sp(2g, ℚ)×S _n naturally acts. In this paper, we have determined the Sp(2g, ℚ)×S _n module structure of gr ^m Γ _{g, n} ⊗ ℚ for 1≤m≤3. This includes a verification of an expectation by S. Morita. Also, for generalm, we have identified a certain Sp(2g, ℚ)-irreducible component of gr ^m Γ _{g, n} ⊗ ℚ by constructing explicitly elements in these modules.