We introduce a semi-algebraic structure on the set of all isotopy classes of non-separating simple closed curves in any compact oriented surface and show that the structure is finitely generated. As a consequence, we produce a natural finite dimensional linear representation of the mapping class group of the surface. Applications to the Teichmller space, Thurston's measured lamination space, the harmonic Beltrami differentials, and the first cohomology groups of the surface are discussed.

We prove a quantitative bi-Lipschitz non-embedding theorem for the Heisenberg group with its Carnot–Carathéodory metric and apply it to give a lower bound on the integrality gap of the Goemans–Linial semidefinite relaxation of the sparsest cut problem.

In 1960s, Almgren initiated a program to find minimal hypersurfaces in compact manifolds using min-max method. This program was largely advanced by Pitts and Schoen-Simon in 1980s when the manifold has no boundary. In this paper, we finish this program for general compact manifold with nonempty boundary. As a result, we prove the existence of a smooth embedded minimal hypersurface with free boundary in any compact smooth Euclidean domain. An application of our general existence result combined with the work of Marques and Neves shows that for any compact Riemannian manifolds with nonnegative Ricci curvature and convex boundary, there exist infinitely many embedded minimal hypersurfaces with free boundary which are properly embedded.

For any smooth Riemannian metric on an (n+1)-dimensional compact manifold with boundary (M,∂M) where 3≤(n+1)≤7, we establish general upper bounds for the Morse index of free boundary minimal hypersurfaces produced by min-max theory in the Almgren-Pitts setting. We apply our Morse index estimates to prove that for almost every (in the C-infinity Baire sense) Riemannan metric, the union of all compact, properly embedded free boundary minimal hypersurfaces is dense in M. If ∂M is further assumed to have a strictly mean convex point, we show the existence of infinitely many compact, properly embedded free boundary minimal hypersurfaces whose boundaries are non-empty. Our results prove a conjecture of Yau for generic metrics in the free boundary setting.

We study the uniqueness of minimal submanifolds and the stability of the mean curvature flow in several well-known model spaces of manifolds of special holonomy. These include the Stenzel metric on the cotangent bundle of spheres, the Calabi metric on the cotangent bundle of complex projective spaces, and the Bryant--Salamon metrics on vector bundles over certain Einstein manifolds. In particular, we show that the zero sections, as calibrated submanifolds with respect to their respective ambient metrics, are unique among compact minimal submanifolds and are dynamically stable under the mean curvature flow. The proof relies on intricate interconnections of the Ricci flatness of the ambient space and the extrinsic geometry of the calibrated submanifolds.

No abstract uploaded!

In this paper we study the prescribed centroaffine curvature problem in the Euclidean space R n+ 1. This problem is equivalent to solving a Monge鈥揂mp猫re equation on the unit sphere. It corresponds to the critical case of the Blaschke鈥揝antal贸 inequality. By approximation from the subcritical case, and using an obstruction condition and a blow-up analysis, we obtain sufficient conditions for the a priori estimates, and the existence of solutions up to a Lagrange multiplier.

What is the shape of a uniformly massive object that generates a gravitational potential equivalent to that of two equal point-masses? If the weight of each point-mass is sufficiently small compared to the distance between the points then the answer is a pair of balls of equal radius, one centered at each of the two points, but otherwise it is a certain domain of revolution about the axis passing through the two points. The existence and uniqueness of such a domain is known, but an explicit parameterization is known only in the plane where the region is referred to as a Neumann oval. We construct a four-dimensional “Neumann ovaloid”, solving explicitly this inverse potential problem.

Laser scanning is an effective tool for acquiring geometric attributes of trees and vegetation, which lays a solid foundation for 3-dimensional tree modelling. Existing studies on tree modelling from laser scanning data are vast. However, some works cannot guarantee sufficient modelling accuracy, while some other works are mainly rule-based and therefore highly depend on user inputs. In this paper, we propose a novel method to accurately and automatically reconstruct detailed 3D tree models from laser scans. We first extract an initial tree skeleton from the input point cloud by establishing a minimum spanning tree using the Dijkstra shortest-path algorithm. Then, the initial tree skeleton is pruned by iteratively removing redundant components. After that, an optimization-based approach is performed to fit a sequence of cylinders to approximate the geometry of the tree branches. Experiments on various types of trees from different data sources demonstrate the effectiveness and robustness of our method. The overall fitting error (i.e., the distance between the input points and the output model) is less than 10 cm. The reconstructed tree models can be further applied in the precise estimation of tree attributes, urban landscape visualization, etc. The source code of this work is freely available at https://github.com/tudelft3d/adtree

We prove a lower bound for the first Steklov eigenvalue of embedded minimal hypersurfaces with free boundary in a compact n-dimensional Riemannian manifold which has nonnegative Ricci curvature and strictly convex boundary. When n=3, this implies an apriori curvature estimate for these minimal surfaces in terms of the geometry of the ambient manifold and the topology of the minimal surface. An important consequence of the estimate is a smooth compactness theorem for embedded minimal surfaces with free boundary when the topological type of these minimal surfaces is fixed.

Recently Freed and Hopkins [11] proved that there is no parity anomaly in M-theory on pin+ manifolds in the low-energy field theory approximation, and they also developed an algebraic theory of cubic forms. Earlier Witten [33] proved the anomaly cancellation for spin manifolds by introducing the E8-bundle technique. Motivated by the cubic forms and the anomaly cancellation formulas of Witten-Freed-Hopkins, we give some new cubic forms on spin, spinc, spinω2 and orientable 12- manifolds respectively. We relate them to η-invariants when the manifolds are with boundary, and mod 2 indices on 10 dimensional characteristic submanifolds when the manifolds are spinc or spinω2 . Our method of producing these cubic forms is a combination of (generalized) Witten classes and the character of the basic representation of affine E8.

Given a family of nodal curves, a semistable modification of it is another family made up of curves obtained by inserting chains of rational curves of any given length at certain nodes of certain curves of the original family. We give comparison theorems between torsion-free, rank-1 sheaves in the former family and invertible sheaves in the latter. We apply them to show that there are functorial isomorphisms between the compactifications of relative Jacobians of families of nodal curves constructed through Caporaso’s approach and those constructed through Pandharipande’s approach.

We introduce a new geometric flow, called the chord shortening flow, which is the negative gradient flow for the length functional on the space of chords with end points lying on a fixed submanifold in Euclidean space. As an application, we give a simplified proof of a classical theorem of Lusternik and Schnirelmann (and a generalization by Riede and Hayashi) on the existence of multiple orthogonal geodesic chords. For a compact convex planar domain, we show that any convex chord not orthogonal to the boundary would shrink to a point in finite time under the flow.

In this paper we study the solvability of the rotationally symmetric centroaffine Minkowski problem. By delicate blow-up analyses, we remove a technical condition in the existence result obtained by Lu and Wang [30].

No abstract uploaded!

In this paper we investigate the one-dimensional hyperbolic mean curvature flow for closed plane curves. More precisely, we consider a family of closed curves S 1[0, T) 2 which satisfies the following evolution equation 2 F t 2 (u, t)= k (u, t) N(u, t)- (u, t),(u, t) S 1[0, T) with the initial data F (u, 0)= F 0 (u) a n d F t (u, 0)= f (u) N 0, where k is the mean curvature and is the unit inner normal vector of the plane curve F (u, t), f (u) and are the initial velocity and the unit inner normal vector of the initial convex closed curve Fo, respectively, and is given by ( 2 F s t, F t) T, in which stands for the unit tangent vector. The above problem is an initial value problem for a system of partial differential equations for F, it can be completely reduced to an initial value problem for a single partial differential equation for its support function. The latter equation is a hyperbolic Monge-Ampere

For smooth compact oriented Riemannian manifolds$M$of dimension 4$k$+2,$k$≥0, with or without boundary, and a vector bundle$F$on$M$with an inner product and a flat connection, we construct a modification of the Hodge star operator on the middle-dimensional (parabolic) cohomology of$M$twisted by$F$. This operator induces a canonical complex structure on the middle-dimensional cohomology space that is compatible with the natural symplectic form given by integrating the wedge product. In particular, when$k$=0 we get a canonical almost complex structure on the non-singular part of the moduli space of flat connections on a Riemann surface, with monodromies along boundary components belonging to fixed conjugacy classes when the surface has boundary, that is compatible with the standard symplectic form on the moduli space.

We consider the flow of closed convex hypersurfaces in Euclidean space R^{n+1} with speed given by a power of the k-th mean curvature E_k plus a global term chosen to impose a constraint involving the enclosed volume V_{n+1} and the mixed volume V_{n+1−k} of the evolving hypersurface. We prove that if the initial hypersurface is strictly convex, then the solution of the flow exists for all time and converges to a round sphere smoothly. No curvature pinching assumption is required on the initial hypersurface.

We construct a new family of high genus examples of free boundary minimal surfaces in the Euclidean unit 3-ball by desingularizing the intersection of a coaxial pair of a critical catenoid and an equatorial disk. The surfaces are constructed by singular perturbation methods and have three boundary components. They are the free boundary analogue of the Costa-Hoffman-Meeks surfaces and the surfaces constructed by Kapouleas by desingularizing coaxial catenoids and planes. It is plausible that the minimal surfaces we constructed here are the same as the ones obtained recently by Ketover using the min-max method.

NRODUCTION LET y be a rectifiable Jordan curve in three-dimensional euclidean space. Answering an old question, whether y can bound a surface with minimal area, Douglas [l I] and Rad6 [45](independently) found a minimal surface spanning y which is parametrized by the disk. This minimal surface has minimal area among all Lipschitz maps from the disk into R3 which span y. The question whether this solution has branch points or not was finally settled by Osserman [42], who proved that there are no interior true branch points, and by Gulliver [lS], who proved that there are no interior false branch points.

No abstract uploaded!

The purpose of this paper is to organize some results on the local geometry of CR singular real-analytic manifolds that are images of CR manifolds via a CR map that is a diffeomorphism onto its image. We find a necessary (sufficient in dimension 2) condition for the diffeomorphism to extend to a finite holomorphic map. The multiplicity of this map is a biholomorphic invariant that is precisely the Moser invariant of the image, when it is a Bishop surface with vanishing Bishop invariant. In higher dimensions, we study Levi-flat CR singular images and we prove that the set of CR singular points must be large, and in the case of codimension 2, necessarily Levi-flat or complex. We also show that there exist real-analytic CR functions on such images that satisfy the tangential CR conditions at the singular points, yet fail to extend to holomorphic functions in a neighborhood. We provide many examples to illustrate the phenomena that arise.

The Gauss-Bonnet theorem and the Cohn-Vossen inequality show that the only complete surface with positive curvature is either the sphere, RP2, or the plane. In higher dimension, the curvature tensor is far more complicated. There are several commonly used partial components of the curvature tensor that had been studied for the whole century. The simplest one is the scalar curvature which is the average of all curvatures at one point. It appeared in the Hilbert action for general relativity. This was studied extensively in connection with general relativity.

We establish a boundary maximum principle for free boundary minimal submanifolds in a Riemannian manifold with boundary, in any dimension and codimension. Our result holds more generally in the context of varifolds.

No abstract uploaded!