No abstract uploaded!

This paper concerns the well-posedness theory of the motion of a physical vacuum for the compressible Euler equations with or without self-gravitation. First, a general uniqueness theorem of classical solutions is proved for the three dimensional general motion. Second, for the spherically symmetric motions, without imposing the compatibility condition of the first derivative being zero at the center of symmetry, a new local-in-time existence theory is established in a functional space involving less derivatives than those constructed for three-dimensional motions in (Coutand et al., Commun Math Phys 296:559–587, 2010; Coutand and Shkoller, Arch Ration Mech Anal 206:515–616, 2012; Jang andMasmoudi,Well-posedness of compressible Euler equations in a physical vacuum, 2008) by constructing suitable weights and cutoff functions featuring the behavior of solutions near both the center of the symmetry and the moving vacuum boundary.

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

We study Thurston’s Lipschitz and curve metrics, as well as the arc metric on the Teichmüller space of one-hold tori equipped with complete hyperbolic metrics with boundary holonomy of fixed length. We construct natural Lipschitz maps between two surfaces equipped with such hyperbolic metrics that generalize Thurston’s stretch maps and prove the following: (1) On the Teichmüller space of the torus with one boundary component, the Lipschitz and the curve metrics coincide and define a geodesic metric on this space. (2) On the same space, the arc and the curve metrics coincide when the length of the boundary component is ≤4arcsinh(1), but differ when the boundary length is large. We further apply our stretch map generalization to construct novel Thurston geodesics on the Teichmüller spaces of closed hyperbolic surfaces, and use these geodesics to show that the sum-symmetrization of the Thurston metric fails to exhibit Gromov hyperbolicity.

The computation of a rigid body transformation which optimally aligns a set of measurement points with a surface and related registration problems are studied from the viewpoint of geometry and optimization.We provide a convergence analysis for widely used registration algorithms such as ICP, using either closest points (Besl and McKay [2]) or tangent planes at closest points (Chen and Medioni [4]), and for a recently developed approach based on quadratic approximants of the squared distance function [24]. ICP based on closest points exhibits local linear convergence only. Its counterpart which minimizes squared distances to the tangent planes at closest points is a Gauss-Newton iteration; it achieves local quadratic convergence for a zero residual problem and - if enhanced by regularization and step size control - comes close to quadratic convergence in many realistic scenarios. Quadratically convergent algorithms are based on the approach in [24]. The theoretical results are supported by a number of experiments; there, we also compare the algorithms with respect to global convergence behavior, stability and running time.