skip to main content

Title: Moment maps, nonlinear PDE and stability in mirror symmetry, I: geodesics.
In this paper, the first in a series, we study the deformed Hermitian-Yang-Mills (dHYM) equation from the variational point of view as an infinite dimensional GIT problem. The dHYM equation is mirror to the special Lagrangian equation, and our infinite dimensional GIT problem is mirror to Thomas' GIT picture for special Lagrangians. This gives rise to infinite dimensional manifold H closely related to Solomon's space of positive Lagrangians. In the hypercritical phase case we prove the existence of smooth approximate geodesics, and weak geodesics with C1,α regularity. This is accomplished by proving sharp with respect to scale estimates for the Lagrangian phase operator on collapsing manifolds with boundary. As an application of our techniques we give a simplified proof of Chen's theorem on the existence of C1,α geodesics in the space of Kähler metrics. In two follow up papers, these results will be used to examine algebraic obstructions to the existence of solutions to dHYM and special Lagrangians in Landau-Ginzburg models.  more » « less
Award ID(s):
Author(s) / Creator(s):
Date Published:
Journal Name:
Annals of PDE
no. 1
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Let X X be a closed symplectic manifold equipped with a Lagrangian torus fibration over a base Q Q . A construction first considered by Kontsevich and Soibelman produces from this data a rigid analytic space Y Y , which can be considered as a variant of the T T -dual introduced by Strominger, Yau, and Zaslow. We prove that the Fukaya category of tautologically unobstructed graded Lagrangians in X X embeds fully faithfully in the derived category of (twisted) coherent sheaves on Y Y , under the technical assumption that π 2 ( Q ) \pi _2(Q) vanishes (all known examples satisfy this assumption). The main new tool is the construction and computation of Floer cohomology groups of Lagrangian fibres equipped with topological infinite rank local systems that correspond, under mirror symmetry, to the affinoid rings introduced by Tate, equipped with their natural topologies as Banach algebras. 
    more » « less
  2. In this paper, we investigate how the self-synchronization property of a swarm of Kuramoto oscillators can be controlled and exploited to achieve target densities and target phase coherence. In the limit of an infinite number of oscillators, the collective dynamics of the agents’ density is described by a mean-field model in the form of a nonlocal PDE, where the nonlocality arises from the synchronization mechanism. In this mean-field setting, we introduce two space-time dependent control inputs to affect the density of the oscillators: an angular velocity field that corresponds to a state feedback law for individual agents, and a control parameter that modulates the strength of agent interactions over space and time, i.e., a multiplicative control with respect to the integral nonlocal term. We frame the density tracking problem as a PDE-constrained optimization problem. The controlled synchronization and phase-locking are measured with classical polar order metrics. After establishing the mass conservation property of the mean-field model and bounds on its nonlocal term, a system of first-order necessary conditions for optimality is recovered using a Lagrangian method. The optimality system, comprising a nonlocal PDE for the state dynamics equation, the respective nonlocal adjoint dynamics, and the Euler equation, is solved iteratively following a standard Optimize-then-Discretize approach and an efficient numerical solver based on spectral methods. We demonstrate our approach for each of the two control inputs in simulation. 
    more » « less
  3. null (Ed.)
    We study the existence of special Lagrangian submanifolds of log Calabi–Yau manifolds equipped with the complete Ricci-flat Kähler metric constructed by Tian and Yau. We prove that if X is a Tian–Yau manifold and if the compact Calabi–Yau manifold at infinity admits a single special Lagrangian, then X admits infinitely many disjoint special Lagrangians. In complex dimension 2, we prove that if Y is a del Pezzo surface or a rational elliptic surface and D is a smooth divisor in the linear system of K_Y with D^2=d, then X=Y/D admits a special Lagrangian torus fibration, as conjectured by Strominger–Yau–Zaslow and Auroux. In fact, we show that X admits twin special Lagrangian fibrations, confirming a prediction of Leung and Yau. In the special case that Y is a rational elliptic surface or Y=P^2, we identify the singular fibers for generic data, thereby confirming two conjectures of Auroux. Finally, we prove that after a hyper-Kähler rotation, X can be compactified to the complement of a Kodaira type I_d fiber appearing as a singular fiber in a rational elliptic surface. 
    more » « less
  4. Shawe-Taylor, John (Ed.)
    Learning a function from a finite number of sampled data points (measurements) is a fundamental problem in science and engineering. This is often formulated as a minimum norm interpolation (MNI) problem, a regularized learning problem or, in general, a semi-discrete inverse problem (SDIP), in either Hilbert spaces or Banach spaces. The goal of this paper is to systematically study solutions of these problems in Banach spaces. We aim at obtaining explicit representer theorems for their solutions, on which convenient solution methods can then be developed. For the MNI problem, the explicit representer theorems enable us to express the infimum in terms of the norm of the linear combination of the interpolation functionals. For the purpose of developing efficient computational algorithms, we establish the fixed-point equation formulation of solutions of these problems. We reveal that unlike in a Hilbert space, in general, solutions of these problems in a Banach space may not be able to be reduced to truly finite dimensional problems (with certain infinite dimensional components hidden). We demonstrate how this obstacle can be removed, reducing the original problem to a truly finite dimensional one, in the special case when the Banach space is ℓ1(N). 
    more » « less
  5. null (Ed.)
    The application of the CPT (charge-conjugation, parity, and time reversal) theorem to an apple falling on Earth leads to the description of an anti-apple falling on anti–Earth (not on Earth). On the microscopic level, the Dirac equation in curved space-time simultaneously describes spin-1/2 particles and their antiparticles coupled to the same curved space-time metric (e.g., the metric describing the gravitational field of the Earth). On the macroscopic level, the electromagnetically and gravitationally coupled Dirac equation therefore describes apples and anti-apples, falling on Earth, simultaneously. A particle-to-antiparticle transformation of the gravitationally coupled Dirac equation therefore yields information on the behavior of “anti-apples on Earth”. However, the problem is exacerbated by the fact that the operation of charge conjugation is much more complicated in curved, as opposed to flat, space-time. Our treatment is based on second-quantized field operators and uses the Lagrangian formalism. As an additional helpful result, prerequisite to our calculations, we establish the general form of the Dirac adjoint in curved space-time. On the basis of a theorem, we refute the existence of tiny, but potentially important, particle-antiparticle symmetry breaking terms in which possible existence has been investigated in the literature. Consequences for antimatter gravity experiments are discussed. 
    more » « less