Self-concordant functions for optimization on smooth manifolds

This paper discusses self-concordant functions on smooth manifolds. In Euclidean space, such functions are utilized extensively as barrier functions in interior-point methods for polynomial time optimization algorithms. Here, the self-concordant function is carefully defined on a differential manifold in such a way that the properties of self-concordant functions in Euclidean space are preserved. A Newton decrement is defined and analyzed for this class of functions. Based on this, a damped Newton algorithm is proposed for the optimization of self-concordant functions. Under reasonable technical assumptions such as geodesic completeness of the manifold, this algorithm is guaranteed to fall in any given small neighborhood of the optimal solution in a finite number of steps. The existence and uniqueness of the optimal solution is also proved in this paper. Hence, the optimal solution is a global one. Furthermore, it ensures a quadratic convergence within a neighborhood of the minimal point. This neighborhood can be specified in terms of the Newton decrement. The computational complexity bound of the proposed approach is also given explicitly. This complexity bound is shown to be of the order where is the desired precision. Some interesting optimization problems are given to illustrate the proposed concept and algorithm. A part of the materials has been presented at 2004 Conference on Decision and Control     

Fourier series of half-range functions by smooth extension

This paper considers Fourier series approximations of one- and two-dimensional functions over the half-range, that is, over the sub-interval [0, L] of the interval [−L, L] in one-dimensional problems and over the sub-domain [0, L_x] × [0, L_y] of the domain [−L_x, L_x] × [−L_y, L_y] in two-dimensional problems. It is shown how to represent these functions using a Fourier series that employs a smooth extension. The purpose of the smooth extension is to improve the convergence characteristics otherwise obtained using the even and odd extensions. Significantly improved convergence characteristics are illustrated in one-dimensional and two-dimensional problems.     

Rays condition and extension of CR functions from manifolds of higher type

We prove that CR functions defined in a wedge inside a CR manifold extend to be CR (or holomorphic) in the directions given by the higher order generalization of the Levi form taken at complex tangent vectors satisfying the so-called rays condition. This generalizes extension results by Boggess-Polking [7], Baouendi-Treves [3], Fornaess-Rea [10] and the second and the third authors [18] and puts them into a unified frame.     

Exact functions on manifolds

It is proved that the property of a manifold Mⁿ possessing a smooth function with given numbers of critical points of each index is homotopic invariant if Wh( ₁ (Mⁿ)) = 0 and every Z( ₁ (Mⁿ))-stable free module is free.Translated from Matematicheskie Zametki, Vol. 8, No. 1, pp. 77–83, July, 1970.     

Local midpoints on smooth manifolds

In this paper we consider three methods for obtaining midpoints, primarily midpoints of geodesics of sprays, but also midpoints of symmetry (in symmetric spaces), and metric midpoints (in Riemannian manifolds). We derive general conditions under which these approaches yield the same result. We also derive a version of the Lie–Trotter formula based on the midpoint operation and use it to show that continuous maps preserving (local) midpoints are smooth.     

Product-preserving functors on smooth manifolds

Functors from the category of connected smooth manifolds to itself which preserve products and embeddings are classified, along with natural transformations between them. Such functors that are also natural bundles can be thought of as ways of defining infinitesimal neighborhoods for points in all smooth manifolds.     

An extension theorem for holomorphic functions of slow growth on covering spaces of projective manifolds

LetX be a projective manifold of dimension n ≥ 2 andY →X an infinite covering space. EmbedX into projective space by sections of a sufficiently ample line bundle. We prove that any holomorphic function of sufficiently slow growth on the preimage of a transverse intersection ofX by a linear subspace of codimension <n extends toY. The proof uses a Hausdorff duality theorem for L₂ cohomology. We also show that every projective manifold has a finite branched covering whose universal covering space is Stein.     

Algebraicity of cycles on smooth manifolds

According to the Nash–Tognoli theorem, each compact smooth manifold M is diffeomorphic to a nonsingular real algebraic set, called an algebraic model of M. It is interesting to investigate to what extent algebraic and differential topology of compact smooth manifolds can be transferred into the algebraic-geometric setting. Many results, examples and counterexamples depend on the detailed study of the homology classes represented by algebraic subsets of X, as X runs through the class of all algebraic models of M. The present paper contains several new results concerning such algebraic homology classes. In particular, a complete solution in codimension 2 and strong results in codimensions 3 and 4.     

Deficiencies of smooth manifolds

Being given a closed manifold Mⁿ, there are involutions (X²ⁿ, T) on closed manifolds of twice the dimension having fixed point set M. Kulkarni defined the deficiency of M for a class of involutions to be $\text{min}\text{(}\text{1}\text{2}\text{{}\text{dim}\text{H}{}^1\text{(X;Z}{}_{\mathrm{<mtext>2</mtext>}}\text{)?}\text{dim}\text{H}{}^1\text{(M;Z}{}_{\mathrm{<mtext>2</mtext>}}\text{)})}$ for all involutions (X, T) in the class. This paper exhibits manifolds for which the deficiency is positive for all involutions and studies the deficiencies for other classes.     

Exotic torus manifolds and equivariant smooth structures on quasitoric manifolds

In 2006 Masuda and Suh asked if two compact non-singular toric varieties having isomorphic cohomology rings are homeomorphic. In the first part of this paper we discuss this question for topological generalizations of toric varieties, so-called torus manifolds. For example we show that there are homotopy equivalent torus manifolds which are not homeomorphic. Moreover, we characterize those groups which appear as the fundamental groups of locally standard torus manifolds. In the second part we give a classification of quasitoric manifolds and certain six-dimensional torus manifolds up to equivariant diffeomorphism. In the third part we enumerate the number of conjugacy classes of tori in the diffeomorphism group of torus manifolds. For torus manifolds of dimension greater than six there are always infinitely many conjugacy classes. We give examples which show that this does not hold for six-dimensional torus manifolds.     

Generalized quasi-isometries on smooth Riemannian manifolds

Mathematical Notes - The boundary behavior of finitely bi-Lipschitz mappings on smooth Riemannian manifolds is studied.     

Embeddability of smooth Cauchy-Riemann manifolds

Summary The main purpose of this paper is to give a sufficient condition for global embeddability of smooth Cauchy-Riemann manifolds (CR-manifolds) into complex manifolds with boundary. Namely, let M be a smooth CR-manifold of real dimension 2n – 1 and CR-dimension n – 1, where n 2, which is locally CR-embeddable into a complex manifold. Assume further that the Levi form of M is non-vanishing at each point. The main result of this paper is that such a CR-manifold is globally CR-embeddable into an n-dimensional complex manifold with boundary. Moreover if the Levi form has at each point of M eigenvalues of opposite signs, then M embeds into a complex manifold without boundary.This research is supported by a grant from Consiglio Nazionale delle Ricerche in Italy.     

Algebraic models of smooth manifolds

Research supported by the NSF Grant DMS-8602672     

Non-symplectic smooth circle actions on symplectic manifolds

We construct smooth circle actions on symplectic manifolds with non-symplectic fixed point sets or cyclic isotropy sets. All such actions are not compatible with any symplectic form on the manifold in question. In order to cover the case of non-symplectic fixed point sets, we use two smooth 4-manifolds (one symplectic and one non-symplectic) which become diffeomorphic after taking the products with the 2-sphere. The second type of actions is obtained by constructing smooth circle actions on spheres with non-symplectic cyclic isotropy sets, which (by the equivariant connected sum construction) we carry over from the spheres on products of 2-spheres. Moreover, by using the mapping torus construction, we show that periodic diffeomorphisms (isotopic to symplectomorphisms) of symplectic manifolds can provide examples of smooth fixed point free circle actions on symplectic manifolds with non-symplectic cyclic isotropy sets.