We show the intersection of a compact almost complex subvariety of dimension 4 and a compact almost complex submanifold of codimension 2 is a J-holomorphic curve. This is a generalization of positivity of intersections for J-holomorphic curves in almost complex 4-manifolds to higher dimensions. As an application, we discuss pseudoholomorphic sections of a complex line bundle. We introduce a method to produce J-holomorphic curves using the differential geometry of almost Hermitian manifolds. When our main result is applied to pseudoholomorphic maps, we prove the singularity subset of a pseudoholomorphic map between almost complex 4-manifolds is J-holomorphic. Building on this, we show degree one pseudoholomorphic maps between almost complex 4-manifolds are actually birational morphisms in pseudoholomorphic category.

Let $(X,\alpha)$ be a K\"ahler manifold of dimension $n$, and let $[\omega] \in H^{1,1}(X,\mathbb{R})$. We study the problem of specifying the Lagrangian phase of $\omega$ with respect to $\alpha$, which is described by the nonlinear elliptic equation \[ \sum_{i=1}^{n} \arctan(\la_i)= h(x) \] where $\la_i$ are the eigenvalues of $\omega$ with respect to $\alpha$. When $h(x)$ is a topological constant, this equation corresponds to the deformed Hermitian-Yang-Mills (dHYM) equation, and is related by Mirror Symmetry to the existence of special Lagrangian submanifolds of the mirror. We introduce a notion of subsolution for this equation, and prove a priori $C^{2,\beta}$ estimates when $|h|>(n-2)\frac{\pi}{2}$ and a subsolution exists. Using the method of continuity we show that the dHYM equation admits a smooth solution in the supercritical phase case, whenever a subsolution exists. Finally, we discover some stability-type cohomological obstructions to the existence of solutions to the dHYM equation and we conjecture that when these obstructions vanish the dHYM equation admits a solution. We confirm this conjecture for complex surfaces.

We study the deformed Hermitian-Yang-Mills (dHYM) equation, which is mirror to the special Lagrangian equation, from the variational point of view via an infinite dimensional GIT problem mirror to Thomas' GIT picture for special Lagrangians. This gives rise to infinite dimensional manifold $\mathcal{H}$ mirror to Solomon's space of positive Lagrangians. In the hypercritical phase case we prove the existence of smooth approximate geodesics, and weak geodesics with $C^{1,\alpha}$ regularity. This is accomplished by proving sharp with respect to scale estimates for the Lagrangian phase operator on collapsing manifolds with boundary. We apply these results to the infinite dimensional GIT problem for deformed Hermitian-Yang-Mills. We associate algebraic invariants to certain birational models of $X\times \Delta$, where $\Delta \subset \mathbb{C}$ is a disk. Using the existence of regular weak geodesics we prove that these invariants give rise to obstructions to the existence of solutions to the dHYM equation. Furthermore, we show that these invariants fit into a stability framework closely related to Bridgeland stability. Finally, we use a Fourier-Mukai transform on toric K\"ahler manifolds to describe degenerations of Lagrangian sections of SYZ torus fibrations of Landau-Ginzburg models $(Y,W)$. We speculate on the resulting algebraic invariants, and discuss the implications for relating Bridgeland stability to the existence of special Lagrangian sections of $(Y,W)$.

In this survey, we discuss some recent results on free boundary minimal surfaces in the Euclidean unit-ball. The subject has been a very active field of research in the past few years due to the seminal work of Fraser and Schoen on the extremal Steklov eigenvalue problem. We review several different techniques of constructing examples of embedded free boundary minimal surfaces in the unit ball. Next, we discuss some uniqueness results for free boundary minimal disks and the conjecture about the uniqueness of critical catenoid. We also discuss several Morse index estimates for free boundary minimal surfaces. Moreover, we describe estimates for the first Steklov eigenvalue on such free boundary minimal surfaces and various smooth compactness results. Finally, we mention some sharp area bounds for free boundary minimal submanifolds and related questions.

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 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.

In this paper, we prove uniform curvature estimates for immersed stable free boundary minimal hypersurfaces satisfying a uniform area bound, which generalize the celebrated Schoen–Simon–Yau interior curvature estimates up to the free boundary. Our curvature estimates imply a smooth compactness theorem which is an essential ingredient in the min-max theory of free boundary minimal hypersurfaces developed by the last two authors. We also prove a monotonicity formula for free boundary minimal submanifolds in Riemannian manifolds for any dimension and codimension. For 3-manifolds with boundary, we prove a stronger curvature estimate for properly embedded stable free boundary minimal surfaces without a-priori area bound. This generalizes Schoen’s interior curvature estimates to the free boundary setting. Our proof uses the theory of minimal laminations developed by Colding and Minicozzi.

In this paper, we prove a general existence theorem for properly embedded minimal surfaces with free boundary in any compact Riemannian 3‐manifold M with boundary ∂M. These minimal surfaces are either disjoint from ∂M or meet ∂M orthogonally. The main feature of our result is that there is no assumptions on the curvature of M or convexity of ∂M. We prove the boundary regularity of the minimal surfaces at their free boundaries. Furthermore, we define a topological invariant, the filling genus, for compact 3‐manifolds with boundary and show that we can bound the genus of the minimal surface constructed above in terms of the filling genus of the ambient manifold M. Our proof employs a variant of the min‐max construction used by Colding and De Lellis on closed embedded minimal surfaces, which were first developed by Almgren and Pitts.

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.

Given a 3-holed sphere decomposition of an orientable closed surface, it is shown that each orientation preserving homeomorphism of the surface is isotopic to a composition AB where A is a product of positive Dehn twists and B is a product of negative Dehn twists on the decomposition curves.

We establish the second part of Milnor's conjecture on the volume of simplexes in hyperbolic and spherical spaces. A characterization of the closure of the space of the angle Gram matrices of simplexes is also obtained.

We define a new combinatorial class of triangulations of closed 3manifolds, and study them using twisted squares. As an application, we obtain strong restrictions on the topology of a 3manifold from the existence of non-smooth maxima of the volume function on the space of circle-valued angle structures.

Heegaard diagrams on the boundary of a handlebody are studied from the dynamics systems point of view. A relationship between the strongly irreducible condition of CassonGordan and the Masur's domain of discontinuity for the action of the handlebody group is established.

In this paper, we produce an elementary approach to Thurston's theory of measured laminations on compact surfaces with non-empty boundary. We show that the theory can be derived from a simple inequality for geometric intersection numbers between arcs inside an octagon.

It is a theorem of Casson and Rivin that the complete hyperbolic metric on a cusp end ideal triangulated 3-manifold maximizes volume in the space of all positive angle structures. We show that the conclusion still holds if some of the tetrahedra in the complete metric are flat.

We consider a volume maximization program to construct hyperbolic structures on triangulated 3-manifolds, for which previous progress has lead to consider angle assignments which do not correspond to a hyperbolic metric on each simplex. We show that critical points of the generalized volume are associated to geometric structures modeled on the extended hyperbolic space-the natural extension of hyperbolic space by the de Sitter space-except for the degenerate case where all simplices are Euclidean in a generalized sense.

We define a new combinatorial class of triangulations of closed 3-manifolds, satisfying a weak version of 0-efficiency combined with a weak version of minimality, and study them using twisted squares. As an application, we obtain strong restrictions on the topology of a 3-manifold from the existence of non-smooth maxima of the volume function on the space of circle-valued angle structures.

Given an open disc D 2 with a Lorentz metric g, we are interested in finding a conformal embedding of (D

We give a characterization of the action of the mapping class group on Thurston's space of measured laminations.

Fundamental group is one of the most important topological invariants for general manifolds, which can be directly used as manifolds classification. In this work, we provide a series of practical and efficient algorithms to compute fundamental groups for general 3-manifolds based on CW cell decomposition. The input is a tetrahedral mesh, while the output is symbolic representation of its first fundamental group. We further simplify the fundamental group representation using computational algebraic method. We present the theoretical arguments of our algorithms, elaborate the algorithms with a number of examples, and give the analysis of their computational complexity.

We give a brief summary of some of our work and our joint work with Stephan Tillmann on solving Thurstons equation and Haken equation on triangulated 3-manifolds in this paper. Several conjectures on the existence of solutions to Thurstons equation and Haken equation are made. Resolutions of these conjecture will lead to a new proof of the Poincar conjecture without using the Ricci flow. We approach these conjectures by a finite dimensional variational principle so that its critical points are related to solutions to Thurstons gluing equation and Hakens normal surface equation. The action functional is the volume. This is a generalization of an earlier program by Casson and Rivin for compact 3-manifolds with torus boundary.

A family of coordinates h for the Teichmller space of a compact surface with boundary was introduced by the second author. Mondello showed that the coordinate 0 can be used to produce a natural cell decomposition of the Teichmller space, invariant under the action of the mapping class group. In this paper, we show that, for any h 0, the coordinate h produces a natural cell decomposition of the Teichmller space.

Suppose that <i></i>₀ is an unknotted simple closed curve contained in the 3-sphere which happens to be invariant under a subgroup <i>G</i> of the Mbius group of <i>S³</i> = the group (generated by inversions in 2-spheres). It is shown that there is an equivariant isotopy <i></i>_<i>t</i>, 0 <i>t</i> 1, from <i></i>₀ to a round circle <i></i>₁.

We study the spherical cone metrics on surfaces from the point of view of inner angles. A rigidity result is obtained. The existence of spherical cone metric of Delaunay type is also established.

The goal of this chapter is an attempt to relate some ideas of Grothendieck in his Esquisse dun programme [10] and some of the recent results on 2-dimensional topology and geometry. Especially, we shall discuss Teichmller theory, the mapping class groups, the SL (2, C) representation variety of surface groups, and Thurstons theory of measured laminations.