Morse theory for minimal surfaces in manifolds

A Morse theory of a given function gives information of the numbers of critical points of some topological type. A minimal surface, bounded by a given curve in a manifold, is characterized as a harmonic extension of a critical point of the functional \({\mathcal E}\) which corresponds to the Dirichlet integral. We want to obtain Morse theories for minimal surfaces in Riemannian manifolds. We first investigate the higher differentiabilities of \({\mathcal E}\). We then develop a Morse inequality for minimal surfaces of annulus type in a Riemannian manifold. Furthermore, we also construct body handle theories for minimal surfaces of annulus type as well as of disc type. Here we give a setting where the functional \({\mathcal E}\) is non-degenerated.     

Remarks on minimal annuli in a slab

We show that the two closed boundary curves of a minimal annulus in a slab are both convex if one of them is convex and along the other curve the surface meets the plane at a constant angle. And therefore, under the same condition, the minimal annulus is foliated by convex planar curves all of which are parallel to the boundary. In particular, if the convex curve is a circle, then the annulus is part of a catenoid.     

The effect of points fattening on postulation

We classify sets Z of points in the projective plane, for which the difference between the minimal degrees of curves containing 2Z and Z respectively is small.     

A note on the volume flux group of four-manifolds

We show that closed orientable smooth four-manifolds with non-trivial volume flux group and fundamental group of subexponential growth type are finitely covered by a manifold homeomorphic to S³×S¹, S²×T² or a nil-manifold. We also show that if a compact complex surface has non-trivial volume flux group then it has zero minimal volume.     

Minimal annuli with constant contact angle along the planar boundaries

We show that an immersed minimal annulus, with two planar boundary curves along which the surface meets these planes with constant contact angle, is part of the catenoid.     

On the critical ideals of graphs

We introduce some determinantal ideals of the generalized Laplacian matrix associated to a digraph G, that we call critical ideals of G. Critical ideals generalize the critical group and the characteristic polynomials of the adjacency and Laplacian matrices of a digraph. The main results of this article are the determination of some minimal generator sets and the reduced Gröbner basis for the critical ideals of the complete graphs, the cycles and the paths. Also, we establish a bound between the number of trivial critical ideals and the stability and clique numbers of a graph.     

A characterization of the minimalbasis of the torus

D. König asks the interesting question in [7] whether there are facts corresponding to the theorem of Kuratowski which apply to closed orientable or non-orientable surfaces of any genus. Since then this problem has been solved only for the projective plane ([2], [3], [8]). In order to demonstrate that König’s question can be affirmed we shall first prove, that every minimal graph of the minimal basis of all graphs which cannot be embedded into the orientable surface f of genusp has orientable genusp+1 and non-orientable genusq with 1≦q≦2p+2. Then let f be the torus. We shall derive a characterization of all minimal graphs of the minimal basis with the nonorientable genusq=1 which are not embeddable into the torus. There will be two very important graphs signed withX ₈ andX ₇ later. Furthermore 19 graphsG ₁,G ₂, ...,G ₁₉ of the minimal basisM(torus, >₄) will be specified. We shall prove that five of them have non-orientable genusq=1, ten of them have non-orientable genusq=2 and four of them non-orientable genusq=3. Then we shall point out a method of determining graphs of the minimal basisM(torus, >₄) which are embeddable into the projective plane. Using the possibilities of embedding into the projective plane the results of [2] and [3] are necessary. This method will be called saturation method. Using the minimal basisM(projective plane, >₄) of [3] we shall at last develop a method of determining all graphs ofM(torus, >₄) which have non-orientable genusq≧2. Applying this method we shall succeed in characterizing all minimal graphs which are not embeddable into the torus. The importance of the saturation method will be shown by determining another graphG ₂₀≠G ₁,G ₂, ...,G ₁₉ ofM(torus, >₄).     

Pesenti-Szpiro inequality for optimal elliptic curves

We study Pesenti-Szpiro inequality in the case of elliptic curves over F_q(t) which occur as subvarieties of Jacobian varieties of Drinfeld modular curves. In general, we obtain an upper-bound on the degrees of minimal discriminants of such elliptic curves in terms of the degrees of their conductors and q. In the special case when the level is prime, we bound the degrees of discriminants only in terms of the degrees of conductors. As a preliminary step in the proof of this latter result we generalize a construction (due to Gekeler and Reversat) of 1-dimensional optimal quotients of Drinfeld Jacobians.     

Embedded minimal annuli solving an exterior problem

Given a compact, strictly convex body in ³ and a closed Jordan curve ³ satisfying several additional assumptions, the existence of a parametric, annulus type minimal surface is proved, which parametrizes along one boundary component, has a free boundary onX along the other boundary component, and which stays in ³. As a consequence of this and a reasoning developed by W. H. Meeks and S. -T. Yau we find an embedded minimal surface with these properties. Another application is the existence of an embedded minimal surface with a flat end, free boundary onX and controlled topology.This article was processed by the author using the LATEX style filepljourlm from Springer-Verlag.     

Separators of points on algebraic surfaces

For a finite set of points X⊆Pⁿ and for a given point P∈X, the notion of a separator of P in X (a hypersurface containing all the points in X except P) and of the degree of P in X, (the minimum degree of these separators) has been largely studied. In this paper we extend these notions to a set of points X on a projectively normal surface S⊆Pⁿ, considering as separators arithmetically Cohen-Macaulay curves and generalizing the case S=P² in a natural way. We denote the minimum degree of such curves as and we study its relation to . We prove that if S is a variety of minimal degree these two terms are explicitly related by a formula, whereas only an inequality holds for other kinds of surfaces.     

Random sorting networks

A sorting network is a shortest path from 12?n to n?21 in the Cayley graph of Sn generated by nearest-neighbour swaps. We prove that for a uniform random sorting network, as n→∞ the space-time process of swaps converges to the product of semicircle law and Lebesgue measure. We conjecture that the trajectories of individual particles converge to random sine curves, while the permutation matrix at half-time converges to the projected surface measure of the 2-sphere. We prove that, in the limit, the trajectories are Hölder-1/2 continuous, while the support of the permutation matrix lies within a certain octagon. A key tool is a connection with random Young tableaux.     

On Minimal Annuli with a Straight Line Boundary

Shiffman proved that if a minimal annulus A in a slab is bounded by two convex Jordan curves contained respectively in the two boundary planes P and Q of the slab, then A intersects all parallel planes between P and Q in strictly convex curves. We generalize Shiffman's result to the case that A is bounded by a strictly convex C² Jordan curve and a straight line. We show that in this case Shiffman's result is still true.     

A Note on Shiffman's Theorems

Shiffman proved his famous first theorem, that if A R³ is a compact minimal annulus bounded by two convex Jordan curves in parallel (say horizontal) planes, then A is foliated by strictly convex horizontal Jordan curves. In this article we use Perron's method to construct minimal annuli which have a planar end and are bounded by two convex Jordan curves in horizontal planes, but the horizontal level sets of the surfaces are not all convex Jordan curves or straight lines. These surfaces show that unlike his second and third theorems, Shiffman's first theorem is not generalizable without further qualification.     

Intrinsic third derivatives for Plateau's problem and the Morse inequalities for disc minimal surfaces in ℝ3

Summary A simply branched minimal surface in ³ cannot be a non-degenerate critical point of Dirichlet's energy since the Hessian always has a kernel. However such minimal surface can be non-degenerate in another sense introduced earlier by R. Böhme and the author. Such surfaces arise as the zeros of a vector field on the space of all disc surfaces spanning a fixed contour. In this paper we show that the winding number of this vector field about such a surface is ±2 ^p , wherep is the number of branch points. As a consequence we derive the Morse inequalities for disc minimal surfaces in ³, thereby completing the program initiated by Morse, Tompkins, and Courant. Finally, this result implies that certain contours in ⁴ arbitrarily close to the given contour must span at least 2 ^p disc minimal surfaces.     

On the least eigenvalue of cacti

Among the cacti with n vertices and k cycles we determine a unique cactus whose least eigenvalue is minimal. We also explore cacti with n vertices and among them, we find a unique cactus whose least eigenvalue is minimal.     

Inequalities for the capacity of non-contractible annuli on cylinders of constant and variable negative curvature

We give elementary estimates for the capacity of non-contractible annuli on cylinders and provide examples, where these inequalities are sharp. Here the lower bound depends only on the area of the annulus. To obtain this result we use projection of gradients on curves to obtain a lower bound on the capacity, which we call directional capacity. In the case of constant curvature we then apply a symmetrization process that results in an annulus of minimal directional capacity. For this annulus the lower bound on the capacity is sharp. In the case of variable negative curvature we obtain the lower bound by constructing a comparison annulus with the same area but lower directional capacity on a cylinder of constant curvature. The methods developed here have been applied to estimate the energy of harmonic forms on Riemann surfaces in Muetzel (Math Zeitschrift, 2012, arXiv:1202.0782).     

K3 surfaces, rational curves, and rational points

We prove that for any of a wide class of elliptic surfaces X defined over a number field k, if there is an algebraic point on X that lies on only finitely many rational curves, then there is an algebraic point on X that lies on no rational curves. In particular, our theorem applies to a large class of elliptic K3 surfaces, which relates to a question posed by Bogomolov in 1981.     

Coxeter complexes and graph-associahedra

Given a graph Γ, we construct a simple, convex polytope, dubbed graph-associahedra, whose face poset is based on the connected subgraphs of Γ. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.     

Schwarz operators of minimal surfaces spanning polygonal boundary curves

This paper examines the Schwarz operator A and its relatives Ȧ, Ā and Ǡ that are assigned to a minimal surface X which maps consequtive arcs of the boundary of its parameter domain onto the straight lines which are determined by pairs P _j , P _j+1 of two adjacent vertices of some simple closed polygon . In this case X possesses singularities in those boundary points which are mapped onto the vertices of the polygon Γ. Nevertheless it is shown that A and its closure Ā have essentially the same properties as the Schwarz operator assigned to a minimal surface which spans a smooth boundary contour. This result is used by the author to prove in [Jakob, Finiteness of the set of solutions of Plateau’s problem for polygonal boundary curves. I.H.P. Analyse Non-lineaire (in press)] the finiteness of the number of immersed stable minimal surfaces which span an extreme simple closed polygon Γ, and in [Jakob, Local boundedness of the set of solutions of Plateau’s problem for polygonal boundary curves (in press)] even the local boundedness of this number under sufficiently small perturbations of Γ.     

On the cyclicity of weight-homogeneous centers

Let W be a weight-homogeneous planar polynomial differential system with a center. We find an upper bound of the number of limit cycles which bifurcate from the period annulus of W under a generic polynomial perturbation. We apply this result to a particular family of planar polynomial systems having a nilpotent center without meromorphic first integral.