On the structure of a Morse form foliation

The foliation of a Morse form ω on a closed manifold M is considered. Its maximal components (cylinders formed by compact leaves) form the foliation graph; the cycle rank of this graph is calculated. The number of minimal and maximal components is estimated in terms of characteristics of M and ω. Conditions for the presence of minimal components and homologically non-trivial compact leaves are given in terms of rk ω and Sing ω. The set of the ranks of all forms defining a given foliation without minimal components is described. It is shown that if ω has more centers than conic singularities then b ₁(M) = 0 and thus the foliation has no minimal components and homologically non-trivial compact leaves, its folitation graph being a tree.      

Presence of minimal components in a Morse form foliation

Conditions and a criterion for the presence of minimal components in the foliation of a Morse form ω on a smooth closed oriented manifold M are given in terms of (1) the maximum rank of a subgroup in H¹(M,Z) with trivial cup-product, (2) ker[ω], and (3) , where [ω] is the integration map.     

The number of split points of a Morse form and the structure of its foliation

Sharp bounds are given that connect split points — conic singularities of a special type — of a Morse form with the global structure of its foliation.     

Structure of level surfaces of a Morse form

Translated from Matematicheskie Zametki, Vol. 44, No. 1, pp. 124–133, July, 1988.     

Modifying a branched surface to carry a foliation

We consider C¹ nonsingular flows on a closed 3-manifold under which there is no transverse disk that flows continuously back into its own interior. We provide an algorithm for modifying any branched surface transverse to such a flow ? that terminates in a branched surface carrying a foliation F precisely when F is transverse to ?. As a corollary, we find branched surfaces that do not carry foliations but that lift to ones that do.     

Metrics on a closed surface of genus two which maximize the first eigenvalue of the Laplacian

In this paper, we settle in the affirmative the Jakobson–Levitin–Nadirashvili–Nigam–Polterovich conjecture, stating that a certain singular metric on the Bolza surface, with area normalized, should maximize the first eigenvalue of the Laplacian.     

Morse index and the stability of closed geodesics

Let ind(c) be the Morse index of a closed geodesic c in an(n+1)-dimensional Riemannian manifold M.We prove that an oriented closed geodesic c is unstable if n + ind(c) is odd and a non-oriented closed geodesic c is unstable if n + ind(c) is even.Our result is a generalization of the famous theorem due to Poincar'e which states that the closed minimizing geodesic on a Riemann surface is unstable.     

Morse指标和闭测地线的稳定性

令ind(c)为n+1维Riemann流形M上闭测地线c的Morse指标.我们证明:对于闭测地线c,如果它是定向的且n+ind(c)是奇数,或它是非定向的且n+ind(c)为偶数,则c不稳定.Poincaré的一个著名定理说Riemann面上的极小闭测地线是不稳定的,我们的结果是该结论的一个推广.     

A note on the interpretation of closed H-surfaces in physical terms

A variational problem for closed H-surfaces contains conditions which firstly are not evident if compared with related geometrical problems. The formulation turns out to be quite natural, however, if the problem is derived from a mechanical one and hence can be interpreted in physical terms.     

The graph of a foliation

Let M be a riemannian manifold with a riemannian foliation F. Among other things we construct a special metric on the graph of the foliation, , (which is complete, when M is complete), and use the relations of Gray [1] and O'Neill [7] and the elementary structural properties of , to find a necessary and sufficient condition that also have non-positive sectional curvature, when M does. This condition depends only on the second fundamental form and the holonomy of the leaves. As a corollary we obtain a generalization of the Cartan-Hadamard Theorem. Partially supported by NSF Grant MCS77-02721.     

与直径和围长有关的图的最大亏格

利用图的直径和围长来研究图的最大亏格的下界,得到了如下结果：设G是直径为d的简单图,若G的围长不小于d（其中d为不小于3的整数）,则ξ（G）≤2,即γM（G）≥1/2β（G）-1．而且,在这种意义下,所得到的界是最好的．     

On the form of witness terms

We investigate the development of terms during cut-elimination in first-order logic and Peano arithmetic for proofs of existential formulas. The form of witness terms in cut-free proofs is characterized in terms of structured combinations of basic substitutions. Based on this result, a regular tree grammar computing witness terms is given and a class of proofs is shown to have only elementary cut-elimination.     

A presentation for the mapping class group of the closed non-orientable surface of genus 4

In [B. Szepietowski, A presentation for the mapping class group of a non-orientable surface from the action on the complex of curves, Osaka J. Math. 45 (2008) 283-326] we proposed a method of finding a finite presentation for the mapping class group of a non-orientable surface by using its action on the so called ordered complex of curves. In this paper we use this method to obtain an explicit finite presentation for the mapping class group of the closed non-orientable surface of genus 4. The set of generators in this presentation consists of 5 Dehn twists, 3 crosscap transpositions and one involution, and it can be immediately reduced to the generating set found by Chillingworth [D.R.J. Chillingworth, A finite set of generators for the homeotopy group of a non-orientable surface, Proc. Camb. Phil. Soc. 65 (1969) 409-430].     

A proof of the normal form theorem for the closed terms of Girard's system F by means of computability

In this paper a proof of the normal form theorem for the closed terms of Girard's system F is given by using a computability method à la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as well. From the proof-theoretical point of view the interest of the proof is that the definition of computable derivation here used does not seem to be well founded. MSC: 03F05, 03B15.     

Graph maps whose periodic points form a closed set

A continuous map f from a graph G to itself is called a graph map. Denote by P(f), R(f), ω(f), Ω(f) and CR(f) the sets of periodic points, recurrent points, ω-limit points, non-wandering points and chain recurrent points of f respectively. It is well known that P(f)⊂R(f)⊂ω(f)⊂Ω(f)⊂CR(f). Block and Franke (1983) [5] proved that if f:I→I is an interval map and P(f) is a closed set, then CR(f)=P(f). In this paper we show that if f:G→G is a graph map and P(f) is a closed set, then ω(f)=R(f). We also give an example to show that, for general graph maps f with P(f) being a closed set, the conclusion ω(f)=R(f) cannot be strengthened to Ω(f)=R(f) or ω(f)=P(f).