Source author record

Shing-Tung Yau

Shing-Tung Yau appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

140works
29topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

140 published item(s)

preprint2024arXiv

Some Remarks on Wang-Yau Quasi-Local Mass

We review Wang-Yau quasi-local definitions along the line of gravitational Hamiltonian. This makes clear the connection and difference between Wang-Yau definition and Brown-York or even global ADM definition. We make a brief comment on admissibility condition in Wang-Yau quasi-lcoal mass. We extend the positivity proof for Wang-Yau quasi-local energy to allow possible presence of strictly stable apparent horizons through establishing solvability of Dirac equation in certain 3-manifolds that possess cylindrical ends, as in the case of Jang's graph blowing up at marginally outer trapped surfaces.

preprint2024arXiv

Strong field behavior of Wang-Yau Quasi-local energy

We look at the strong field behavior of the Wang-Yau quasi-local energy. In particular, we examine the limit of the Wang-Yau quasi-local energy as the defining spacelike $2$-surface $Σ$ approaches an apparent horizon from outside. Assuming that coordinate functions of the isometric embedding are bounded in $W^{2,1}$ and mean curvature vector of the image surface remains spacelike, we find that the limit falls in two exclusive cases: 1) If the horizon cannot be isometrically embedded into $R^3$, the Wang-Yau quasi-local energy blows up as $Σ$ approaches the horizon while the optimal embedding equation is not solvable for $Σ$ near the horizon; 2) If the horizon can be isometrically embedded into $R^3$, the optimal embedding equation is solvable up to the horizon with the unique solution at the horizon corresponding to isometric embedding into $R^3$ and the Wang-Yau quasi-local mass admits a finite limit at the horizon. We discuss the implications of our results in the conclusion section.

preprint2023arXiv

Properties of Quasi-local mass in binary black hole mergers

Identifying a general quasi-local notion of energy-momentum and angular momentum would be an important advance in general relativity with potentially important consequences for mathematical and astrophysical studies in general relativity. In this paper we study a promising approach to this problem first proposed by Wang and Yau in 2009 based on isometric embeddings of closed surfaces in Minkowski space. We study the properties of the Wang-Yau quasi-local mass in high accuracy numerical simulations of the head-on collisions of two non-spinning black holes within full general relativity. We discuss the behavior of the Wang-Yau quasi-local mass on constant expansion surfaces and we compare its behavior with the irreducible mass. We investigate the time evolution of the Wang-Yau Quasi-local mass in numerical examples. In addition we discuss mathematical subtleties in defining the Wang-Yau mass for marginally trapped surfaces.

preprint2022arXiv

Aspects of Quasi-local energy for gravity coupled to gauge fields

We study the aspects of quasi-local energy associated with a $2-$surface $Σ$ bounding a space-like domain $Ω$ of a physical $3+1$ dimensional spacetime in the regime of gravity coupled to a gauge field. The Wang-Yau quasi-local energy together with an additional term arising due to the coupling of gravity to a gauge field constitutes the total energy ($\mathcal{QLE}$) contained within the membrane $Σ=\partialΩ$. We specialize in the Kerr-Newman family of spacetimes which contains a U(1) gauge field coupled to gravity and an outer horizon. Through explicit calculations, we show that the total energy satisfies a weaker version of a Bekenstein type inequality $\mathcal{QLE}> \frac{Q^{2}}{2R}$ for large spherical membranes, $Q$ is the charge and $R$ is the radius of the membrane. Turning off the angular momentum (Reissner Nordström) yields $\mathcal{QLE}> \frac{Q^{2}}{2R}$ for all constant radii membranes containing the horizon and in such case the charge factor appearing in the right-hand side exactly equals to that of Bekenstein's inequality. Moreover, we show that the total quasi-local energy monotonically decays from $2M_{irr}+V_{Q}$ ($M_{irr}$ is the irreducible mass, $V_{Q}$ is the electric potential energy) at the outer horizon to $M$ ($M$ is the ADM mass) at the space-like infinity under the assumption of a small angular momentum of the black hole.

preprint2022arXiv

Conserved quantities in general relativity -- the view from null infinity

In general relativity, an idealized distant observer is situated at future null infinity where light rays emitted from the source approach. This article concerns conserved quantities such as mass, energy-momentum, angular momentum, and center of mass at future null infinity. The classical definitions of Bondi mass at future null infinity ascertains the mass radiated away in gravitational waves distinctively. However, the same question for other conserved quantities such as angular momentum has been a subtle issue since the discovery of "supertranslation ambiguity" in the 1960's. Recently, new definitions of angular momentum and center of mass were proposed and proved to be free of such ambiguity [12,14]. These new definitions arise as limits of the Chen-Wang-Yau quasilocal conserved quantities, which are based on the theory of optimal isometric embedding and quasilocal mass of Wang-Yau. It is the purpose of this note to discuss these recent developments

preprint2022arXiv

Evaluating Quasi-local Angular Momentum and Center-of-Mass at Null Infinity

We calculate the limits of the quasi-local angular momentum and center-of-mass defined by Chen-Wang-Yau \cite{CWY} for a family of spacelike two-spheres approaching future null infinity in an asymptotically flat spacetime admitting a Bondi-Sachs expansion. Our result complements earlier work of Chen-Wang-Yau \cite{CWY2}, where the authors calculate the limits of the quasi-local energy and linear momentum at null infinity. Finiteness of the center-of-mass limit requires that the spacetime be in the so-called center-of-mass frame, a mild assumption on the mass aspect function amounting to vanishing of linear momentum at null infinity. With this condition and the assumption that the Bondi mass is non-trivial, we obtain explicit expressions for the angular momentum and center-of-mass at future null infinity in terms of the observables appearing in the Bondi-Sachs expansion of the spacetime metric.

preprint2022arXiv

Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds

It is shown that there are globally defined Lagrangian distributions on the stable loci of derived Quot-stacks of coherent sheaves on Calabi--Yau four-folds. Dividing by these distributions produces perfectly obstructed smooth stacks with globally defined $-1$-shifted potentials, whose derived critical loci give back the stable loci of smooth stacks of sheaves in global Darboux form.

preprint2022arXiv

On Calabi--Yau fractional complete intersections

In this article, we study mirror symmetry for pairs of singular Calabi--Yau manifolds which are double covers of toric manifolds. Their period integrals can be seen as certain `fractional' analogues of those of ordinary complete intersections. This new structure can then be used to solve their Riemann--Hilbert problems. The latter can then be used to answer definitively questions about mirror symmetry for this class of Calabi--Yau manifolds.

preprint2022arXiv

On Upper Bounds in Dimension Gaps of CFT's

We consider CFT's arising from branes probing singularities of internal manifolds. We focus on holographic models with internal space including arbtirary Sasaki-Einstein manifolds coming from CY as well as arbitrary sphere quotients. In all these cases we show that there is a universal upper bound (depending only on the spacetime dimension) for the conformal dimension of the first non-trivial spin 2 operator in the dual CFT and a minimal diameter (in AdS units) for the internal space of the holographic dual and conjecture it holds for all CFT's.

preprint2022arXiv

Supertranslation invariance of angular momentum at null infinity in double null gauge

The supertranslation invariance of the Chen-Wang-Yau (CWY) angular momentum in the Bondi-Sachs formalism/gauge was ascertained by the authors in \cite{CKWWY_evol, CWWY_atmp}. In this article, we study the corresponding problem in the double null gauge. In particular, supertranslation ambiguity of this gauge is identified and the CWY angular momentum is proven to be free of this ambiguity. A similar result is obtained for the CWY center of mass integral.

preprint2022arXiv

Surface Eigenvalues with Lattice-Based Approximation In comparison with analytical solution

In this paper, we propose a meshless method of computing eigenvalues and eigenfunctions of a given surface embedded in $\mathbb R^3$. We use point cloud data as input and generate the lattice approximation for some neighborhood of the surface. We compute the eigenvalues and eigenvectors of the cubic lattice graph as an approximation of the eigenvalues and eigenfunctions of the Laplace-Beltrami operator on the surface. We perform extensive numerical experiments on surfaces with various topology and compare our computed eigenvalues from point cloud surface with exact solutions and standard finite element methods using triangle mesh.

preprint2021arXiv

Higher-Rank Tensor Non-Abelian Field Theory: Higher-Moment or Subdimensional Polynomial Global Symmetry, Algebraic Variety, Noether's Theorem, and Gauging

With a view toward a fracton theory in condensed matter, we introduce a higher-moment polynomial degree-p global symmetry, acting on complex scalar/vector/tensor fields (e.g., ordinary or vector global symmetry for p$=0$ and p$=1$ respectively). We relate this higher-moment global symmetry of $n$-dimensional space, to a lower degree (either ordinary or higher-moment, e.g., degree-(p-$\ell$)) subdimensional or subsystem global symmetry on layers of $(n-\ell)$-submanifolds. These submanifolds are algebraic affine varieties (i.e., solutions of polynomials). The structure of layers of submanifolds as subvarieties can be studied via mathematical tools of embedding, foliation, and algebraic geometry. We also generalize Noether's theorem for this higher-moment polynomial global symmetry. We can promote the higher-moment global symmetry to a local symmetry, and derive a new family of higher-rank-m symmetric tensor gauge theory by gauging, with m = p$+1$. By further gauging a discrete $\mathbb{Z}_2^C$ charge conjugation (particle-hole) symmetry, we derive a new general class of rank-m tensor non-abelian gauge field theory (the gauge structure is non-commutative thus non-abelian but not an ordinary group): a hybrid class of (symmetric or non-symmetric) higher-rank-m tensor gauge theory and anti-symmetric tensor topological field theory, generalizing [arXiv:1909.13879], interplaying between gapless and gapped sectors.

preprint2021arXiv

Supertranslation invariance of angular momentum

LIGO's successful detection of gravitational waves has revitalized the theoretical understanding of the angular momentum carried away by gravitational radiation. An infinite dimensional supertranslation ambiguity has presented an essential difficulty for decades of study. Recent advances were made to address and quantify the supertranslation ambiguity in the context of compact binary coalescence. Here we present the first definition of angular momentum in general relativity that is completely free from supertranslation ambiguity. The new definition was derived from the limit of the quasilocal angular momentum defined previously by the authors. A new definition of center of mass at null infinity is also proposed and shown to be supertranslation invariant. Together with the classical Bondi-Sachs energy-momentum, they form a complete set of conserved quantities at null infinity that transform according to basic physical laws.

preprint2021arXiv

The Positive Mass Theorem with Arbitrary Ends

We prove a Riemannian positive mass theorem for manifolds with a single asymptotically flat end, but otherwise arbitrary other ends, which can be incomplete and contain negative scalar curvature. The incompleteness and negativity is compensated for by large positive scalar curvature on an annulus, in a quantitative fashion. In the complete noncompact case with nonnegative scalar curvature, we have no extra assumption and hence prove a long-standing conjecture of Schoen and Yau.

preprint2020arXiv

AE-OT-GAN: Training GANs from data specific latent distribution

Though generative adversarial networks (GANs) areprominent models to generate realistic and crisp images,they often encounter the mode collapse problems and arehard to train, which comes from approximating the intrinsicdiscontinuous distribution transform map with continuousDNNs. The recently proposed AE-OT model addresses thisproblem by explicitly computing the discontinuous distribu-tion transform map through solving a semi-discrete optimaltransport (OT) map in the latent space of the autoencoder.However the generated images are blurry. In this paper, wepropose the AE-OT-GAN model to utilize the advantages ofthe both models: generate high quality images and at thesame time overcome the mode collapse/mixture problems.Specifically, we first faithfully embed the low dimensionalimage manifold into the latent space by training an autoen-coder (AE). Then we compute the optimal transport (OT)map that pushes forward the uniform distribution to the la-tent distribution supported on the latent manifold. Finally,our GAN model is trained to generate high quality imagesfrom the latent distribution, the distribution transform mapfrom which to the empirical data distribution will be con-tinuous. The paired data between the latent code and thereal images gives us further constriction about the generator.Experiments on simple MNIST dataset and complex datasetslike Cifar-10 and CelebA show the efficacy and efficiency ofour proposed method.

preprint2020arXiv

Comparison Theorems of Phylogenetic Spaces and the Moduli Spaces of Curves

Rapid developments in genetics and biology have led to phylogenetic methods becoming an important direction in the study of cancer and viral evolution. Although our understanding of gene biology and biochemistry has increased and is increasing at a remarkable rate, the theoretical models of genetic evolution still use the phylogenetic tree model that was introduced by Darwin in 1859 and the generalization to phylogenetic networks introduced by Grant in 1971. Darwin's model uses phylogenetic trees to capture the evolutionary relationships of reproducing individuals [6]; Grant's generalization to phylogenetic networks is meant to account for the phenomena of horizontal gene transfer [14]. Therefore, it is important to provide an accurate mathematical description of these models and to understand their connection with other fields of mathematics. In this article, we focus on the graph theoretical aspects of phylogenetic trees and networks and their connection to stable curves. We introduce the building blocks of evolutionary moduli spaces, the dual intersection complex of the moduli spaces of stable curves, and the categorical relationship between the phylogenetic spaces and stable curves in $\overline{\mathfrak{M}}_{0,n}(\mathbb{C})$ and $\overline{\mathfrak{M}}_{0,n}(\mathbb{R})$. We also show that the space of network topologies maps injectively into the boundary of $\overline{\mathfrak{M}}_{g,n}(\mathbb{C})$.

preprint2020arXiv

Computing Harmonic Maps and Conformal Maps on Point Clouds

We propose a novel meshless method to compute harmonic maps and conformal maps for surfaces embedded in the Euclidean 3-space, using point cloud data only. Given a surface, or a point cloud approximation, we simply use the standard cubic lattice to approximate its $ε$-neighborhood. Then the harmonic map of the surface can be approximated by discrete harmonic maps on lattices. The conformal map, or the surface uniformization, is achieved by minimizing the Dirichlet energy of the harmonic map while deforming the target surface of constant curvature. We propose algorithms and numerical examples for closed surfaces and topological disks.

preprint2020arXiv

Graph Laplacians, Riemannian Manifolds and their Machine-Learning

Graph Laplacians as well as related spectral inequalities and (co-)homology provide a foray into discrete analogues of Riemannian manifolds, providing a rich interplay between combinatorics, geometry and theoretical physics. We apply some of the latest techniques in data science such as supervised and unsupervised machine-learning and topological data analysis to the Wolfram database of some 8000 finite graphs in light of studying these correspondences. Encouragingly, we find that neural classifiers, regressors and networks can perform, with high efficiently and accuracy, a multitude of tasks ranging from recognizing graph Ricci-flatness, to predicting the spectral gap, to detecting the presence of Hamiltonian cycles, etc.

preprint2020arXiv

Grothendieck meeting [Wess & Bagger]: [Supersymmetry and supergravity: IV, V, VI, VII, XXII] (2nd ed.) reconstructed in complexified ${\Bbb Z}/2$-graded $C^\infty$-Algebraic Geometry, I. Construction under trivialization of spinor bundle

Forty-six years after the birth of supersymmetry in 1973 from works of Julius Wess and Bruno Zumino, the standard quantum-field-theorists and particle physicists' language of `superspaces', `supersymmetry', and `supersymmetric action functionals in superspace formulation' as given in Chapters IV, V, VI, VII, XXII of the classic on supersymmetry and supergravity: Julius Wess & Jonathan Bagger: Supersymmetry and Supergravity (2nd ed.), is finally polished, with only minimal mathematical patches added for consistency and accuracy in dealing with nilpotent objects from the Grassmann algebra involved, to a precise setting in the language of complexified ${\Bbb Z}/2$-graded $C^\infty$-Algebraic Geometry. This is completed after the lesson learned from D(14.1) (arXiv:1808.05011 [math.DG]) and the notion of `$d=3+1$, $N=1$ towered superspaces' as complexified ${\Bbb Z}/2$-graded $C^\infty$-schemes, their distinguished sectors, and purge-evaluation maps first developed in SUSY(1) (= D(14.1.Supp.1)) (arXiv:1902.06246 [hep-th]) and further polished in the current work. While the construction depends on a choice of a trivialization of the spinor bundle by covariantly constant sections, as long as the transformation law and the induced isomorphism under a change of trivialization of the spinor bundle by covariantly constant sections are understood, any object or structure thus defined or constructed is mathematically well-defined. The construction can be generalized to all other space-time dimensions with simple or extended supersymmetries. This is part of the mathematical foundation required to study fermionic D-branes in the Ramond-Neveu-Schwarz formulation.

preprint2020arXiv

Positive mass theorem for initial data sets with corners along a hypersurface

We prove positive mass theorem with angular momentum and charges for axially symmetric, simply connected, maximal, complete initial data sets with two ends, one designated asymptotically flat and the other either (Kaluza-Klein) asymptotically flat or asymptotically cylindrical, for 4-dimensional Einstein-Maxwell theory and $5$-dimensional minimal supergravity theory which metrics fail to be $C^1$ and second fundamental forms and electromagnetic fields fail to be $C^0$ across an axially symmetric hypersurface $Σ$. Furthermore, we remove the completeness and simple connectivity assumptions in this result and prove it for manifold with boundary such that the mean curvature of the boundary is non-positive.

preprint2020arXiv

Stable Surfaces and Free Boundary Marginally Outer Trapped Surfaces

We explore various notions of stability for surfaces embedded and immersed in spacetimes and initial data sets. The interest in such surfaces lies in their potential to go beyond the variational techniques which often underlie the study of minimal and CMC surfaces. We prove two versions of Christodoulou-Yau estimate for $\mathbf{H}$-stable surfaces, a Cohn-Vossen type inequality for non-compact stable marginally outer trapped surface (MOTS), and a global theorem on the topology of $\mathbf{H}$-stable surfaces. Moreover, we give a definition of capillary stability for MOTS with boundary. This notion of stability leads to an area inequality and a local splitting theorem for free boundary stable MOTS. Finally, we establish an index estimate and a diameter estimate for free boundary MOTS. These are straightforward generalizations of Chen-Fraser-Pang and Carlotto-Franz results for free boundary minimal surfaces, respectively.

preprint2020arXiv

Super $J$-holomorphic Curves: Construction of the Moduli Space

Let $M$ be a super Riemann surface with holomorphic distribution $\mathcal{D}$ and $N$ a symplectic manifold with compatible almost complex structure $J$. We call a map $Φ\colon M\to N$ a super $J$-holomorphic curve if its differential maps the almost complex structure on $\mathcal{D}$ to $J$. Such a super $J$-holomorphic curve is a critical point for the superconformal action and satisfies a super differential equation of first order. Using component fields of this super differential equation and a transversality argument we construct the moduli space of super $J$-holomorphic curves as a smooth subsupermanifold of the space of maps $M\to N$.

preprint2019arXiv

Geometric Inequalities for Quasi-Local Masses

In this paper lower bounds are obtained for quasi-local masses in terms of charge, angular momentum, and horizon area. In particular we treat three quasi-local masses based on a Hamiltonian approach, namely the Brown-York, Liu-Yau, and Wang-Yau masses. The geometric inequalities are motivated by analogous results for the ADM mass. They may be interpreted as localized versions of these inequalities, and are also closely tied to the conjectured Bekenstein bounds for entropy of macroscopic bodies. In addition, we give a new proof of the positivity property for the Wang-Yau mass which is used to remove the spin condition in higher dimensions. Furthermore, we generalize a recent result of Lu and Miao to obtain a localized version of the Penrose inequality for the static Wang-Yau mass.

preprint2019arXiv

Nested Hilbert schemes on surfaces: Virtual fundamental class

We construct virtual fundamental classes on nested Hilbert schemes of points and curves in complex nonsingular projective surfaces. These classes recover the virtual classes of Seiberg-Witten theory as well as the (reduced) stable theory, and play a crucial role in the reduced Donaldson-Thomas theory of local-surface-threefolds that we study in [GSY17b] (arXiv:1807.05697). We show that certain integrals against the virtual fundamental classes of punctual nested Hilbert schemes are expressed as integrals over the products of the Hilbert scheme of points. We are able to find explicit formulas for some of these integrals by relating them to Carlsson-Okounkov's vertex operator formulas.

preprint2018arXiv

Atiyah class and sheaf counting on local Calabi Yau fourfolds

We discuss Donaldson-Thomas (DT) invariants of torsion sheaves with 2 dimensional support on a smooth projective surface in an ambient non-compact Calabi Yau fourfold given by the total space of a rank 2 bundle on the surface. We prove that in certain cases, when the rank 2 bundle is chosen appropriately, the universal truncated Atiyah class of these codimension 2 sheaves reduces to one, defined over the moduli space of such sheaves realized as torsion codimension 1 sheaves in a noncompact divisor (threefold) embedded in the ambient fourfold. Such reduction property of universal Atiyah class enables us to relate our fourfold DT theory to a reduced DT theory of a threefold and subsequently then to the moduli spaces of sheaves on the base surface using results in arXiv:1701.08899 and arXiv:1701.08902 and . We finally make predictions about modularity of such fourfold invariants when the base surface is an elliptic K3.

preprint2018arXiv

Localized Donaldson-Thomas theory of surfaces

Let $S$ be a projective simply connected complex surface and $\mathcal{L}$ be a line bundle on $S$. We study the moduli space of stable compactly supported 2-dimensional sheaves on the total spaces of $\mathcal{L}$. The moduli space admits a $\mathbb{C}^*$-action induced by scaling the fibers of $\mathcal{L}$. We identify certain components of the fixed locus of the moduli space with the moduli space of torsion free sheaves and the nested Hilbert schemes on $S$. We define the localized Donaldson-Thomas invariants of $\mathcal{L}$ by virtual localization in the case that $\mathcal{L}$ twisted by the anti-canonical bundle of $S$ admits a nonzero global section. When $p_g(S)>0$, in combination with Mochizuki's formulas, we are able to express the localized DT invariants in terms of the invariants of the nested Hilbert schemes defined by the authors in [GSY17a], the Seiberg-Witten invariants of $S$, and the integrals over the products of Hilbert schemes of points on $S$. When $\mathcal{L}$ is the canonical bundle of $S$, the Vafa-Witten invariants defined recently by Tanaka-Thomas, can be extracted from these localized DT invariants. VW invariants are expected to have modular properties as predicted by S-duality.

preprint2018arXiv

Seiberg-Witten differential via primitive forms

Three-fold quasi-homogeneous isolated rational singularity is argued to define a four dimensional $\mathcal{N}=2$ SCFT. The Seiberg-Witten geometry is built on the mini-versal deformation of the singularity. We argue in this paper that the corresponding Seiberg-Witten differential is given by the Gelfand-Leray form of K. Saito's primitive form. Our result also extends the Seiberg-Witten solution to include irrelevant deformations.

preprint2016arXiv

4d N=2 SCFT from Complete Intersection Singularity

Detailed studies of four dimensional N=2 superconformal field theories (SCFT) defined by isolated complete intersection singularities are performed: we compute the Coulomb branch spectrum, Seiberg-Witten solutions and central charges. Most of our theories have exactly marginal deformations and we identify the weakly coupled gauge theory descriptions for many of them, which involve (affine) D and E shaped quiver gauge theories and theories formed from Argyres-Douglas matters. These investigations provide strong evidence for the singularity approach in classifying 4d N=2 SCFTs.

preprint2016arXiv

A remark on our paper "Negative Holomorphic curvature and positive canonical bundle"

This is a continuation of our first paper in [WY16]. There are two purposes of this paper: One is to give a proof of the main result in [WY16] without going through the argument depending on numerical effectiveness. The other one is to provide a proof of our conjecture, mentioned in [TY], where the assumption of negative holomorphic sectional curvature is dropped to quasi-negative. We should note that a solution to our conjecture is also provided by Diverio-Trapani [DT]. Both proofs depend on our argument in [WY16]. But our argument here makes use of the argument given by the second author and Cheng in [CY75].

preprint2016arXiv

Curvatures of moduli space of curves and applications

In this paper, we investigate the geometry of the moduli space of curves by using the curvature properties of direct image sheaves of vector bundles. We show that the moduli space $(M_g, ω_{WP})$ of curves with genus $g>1$ has dual-Nakano negative and semi-Nakano-negative curvature, and in particular, it has non-positive Riemannain curvature operator and also non-positive complex sectional curvature. As applications, we prove that any submanifold in $M_g$ which is totally geodesic in $A_g$ with finite volume must be a ball quotient.

preprint2016arXiv

Dynamics of D-branes I. The non-Abelian Dirac-Born-Infeld action, its first variation, and the equations of motion for D-branes --- with remarks on the non-Abelian Chern-Simons/Wess-Zumino term

In earlier works, D(1) (arXiv:0709.1515 [math.AG]), D(11.1) (arXiv:1406.0929 [math.DG]), D(11.2) (arXiv:1412.0771 [hep-th]), and D(11.3.1) (arXiv:1508.02347 [math.DG]), we have explained why a D-brane in string theory, when treated as a fundamental dynamical object, can be described by a map $φ$ from an Azumaya/matrix manifold $X^{Az}$ (cf. D-brane world-volume) with a fundamental module with a connection $(E,\nabla)$ (cf. Chan-Paton bundle) to the target space-time $Y$. In this sequel, we construct a non-Abelian Dirac-Born-Infeld action functional $S_{DBI}^{(Φ, g, B)}(φ,\nabla)$ for such pairs $(φ,\nabla)$. We next develop a technical tool needed to study variations of this action and apply it to derive the first variation $δS_{DBI}^{(Φ,g,B)}/δ(φ,\nabla)$ of $S_{DBI}^{(Φ,g,B)}$ with respect to $(φ,\nabla)$. The equations of motion that govern the dynamics of D-branes then follow. A complete action for a D-brane world-volume must include also the Chern-Simons/Wess-Zumino term $S_{CS/WZ}^{(C)}(φ,\nabla)$ that governs how the D-brane world-volume couples with the Ramond-Ramond fields $C$ on $Y$. In the current notes, a version $S^{(C,B)}_{CS/WZ}(φ,\nabla)$ of non-Abelian Chern-Simons/Wess-Zumino action functional for $(φ,\nabla)$ that follows the same guide with which we construct $S^{(Φ,g,B)}_{DBI}(φ,\nabla)$ is constructed for lower-dimensional D-branes (i.e. D(-1)-, D0-, D1-, D2-branes). Its first variation $δS^{(C,B)}_{CS/WZ}(φ,\nabla)/δ(φ,\nabla)$ is derived and its contribution to the equations of motion for $(φ, \nabla)$ follows. The current notes lay down a foundation toward the dynamics of D-branes along the line of this D-project.

preprint2016arXiv

Elliptic Virasoro Conformal Blocks

We study certain six dimensional theories arising on $(p,q)$ brane webs living on $\mathbb{R}\times S^1$. These brane webs are dual to toric elliptically fibered Calabi-Yau threefolds. The compactification of the space on which the brane web lives leads to a deformation of the partition functions equivalent to the elliptic deformation of the Ding-Iohara algebra. We compute the elliptic version Dotsenko-Fateev integrals and show that they reproduce the instanton counting of the six dimensional theory.

preprint2016arXiv

K stability and stability of chiral ring

We define a notion of stability for chiral ring of four dimensional N=1 theory by introducing test chiral rings and generalized a maximization. We conjecture that a chiral ring is the chiral ring of a superconformal field theory if and only if it is stable. We then study N=1 field theory derived from D3 branes probing a three-fold singularity X, and show that the K stability which implies the existence of Ricci-flat conic metric on X is equivalent to the stability of chiral ring of the corresponding field theory.

preprint2016arXiv

More on the admissible condition on differentiable maps $φ: (X^{\!A\!z},E;\nabla)\rightarrow Y$ in the construction of the non-Abelian Dirac-Born-Infeld action $S_{DBI}(φ,\nabla)$

In D(13.1) (arXiv:1606.08529 [hep-th]), we introduced an admissible condition on differentiable maps $φ: (X^{\!A\!z}, E;\nabla)\rightarrow Y$ from an Azumaya/matrix manifold $X^{\!A\!z}$ (with the fundamental module $E$) with a connection $\nabla$ on $E$ to a manifold $Y$ in order to resolve a pull-push issue in the construction of a non-Abelian-Dirac-Infeld action $S_{DBI}$ for $(φ,\nabla)$ and to render $\nabla$ massless from the aspect of open strings. The admissible condition ibidem consists of two parts: Condition (1) and Condition (2). In this brief note, we examine these two conditions in more detail and bring their geometric implications on $(φ,\nabla)$ and the full action $S_{DBI}(φ,\nabla)+S_{CS/WZ}(φ,\nabla)$ more transparent. In particular, we show that Condition (1) alone already implies masslessness of $\nabla$ from open-string aspect; and that the additional Condition (2) implies a decoupling of the nilpotent fuzzy cloud of $φ(X^{\!A\!z})$ to the dynamics of $(φ, \nabla)$. We conclude with a refined definition of admissible $(φ,\nabla)$ and a remark on the anomaly factor in the integrand of the Chern-Simons/Wess-Zumino term $S_{CS/WZ}(φ,\nabla)$ for D-branes based on the current study.

preprint2016arXiv

New N = 2 dualities

We consider N = 2 superconformal field theory with following properties: a) Coulomb branch operators have fractional scaling dimensions, b) there are exact marginal deformations . The weakly coupled gauge theory descriptions are found by decomposing 3d mirror into different components, and different decompositions correspond to different duality frames. The gauge theory is formed by gauging Argyres-Douglas matter, and we write down all duality frames for several classes with infinite sequence of theories.

preprint2016arXiv

Non-Kaehler SYZ mirror symmetry

We study SYZ mirror symmetry in the context of non-Kaehler Calabi-Yau manifolds. In particular, we study the six-dimensional Type II supersymmetric $SU(3)$ systems with Ramond-Ramond fluxes, and generalize them to higher dimensions. We show that Fourier-Mukai transform provides the mirror map between these Type IIA and Type IIB supersymmetric systems in the semi-flat setting. This is concretely exhibited by nilmanifolds.

preprint2016arXiv

Nonexistence for complete Kähler Einstein metrics on some noncompact manifolds

Let $M$ be a compact Kähler manifold and $N$ be a subvariety with codimension greater than or equal to 2. We show that there are no complete Kähler--Einstein metrics on $M-N$. As an application, let $E$ be an exceptional divisor of $M$. Then $M-E$ cannot admit any complete Kähler--Einstein metric if blow-down of $E$ is a complex variety with only canonical or terminal singularities. A similar result is shown for pairs.

preprint2016arXiv

On complete constant scalar curvature Kähler metrics with Poincaré-Mok-Yau asymptotic property

Let $X$ be a compact Kähler manifold and $S$ a subvariety of $X$ with higher co-dimension. The aim is to study complete constant scalar curvature Kähler metrics on non-compact Kähler manifold $X-S$ with Poincaré--Mok--Yau asymptotic property (see Definition \ref{def}). In this paper, the methods of Calabi's ansatz and the moment construction are used to provide some special examples of such metrics.

preprint2016arXiv

Perfect state transfer on graphs with a potential

In this paper we study quantum state transfer (also called quantum tunneling) on graphs when there is a potential function on the vertex set. We present two main results. First, we show that for paths of length greater than three, there is no potential on the vertices of the path for which perfect state transfer between the endpoints can occur. In particular, this answers a question raised by Godsil in Section 20 of [8]. Second, we show that if a graph has two vertices that share a common neighborhood, then there is a potential on the vertex set for which perfect state transfer will occur between those two vertices. This gives numerous examples where perfect state transfer does not occur without the potential, but adding a potential makes perfect state transfer possible. In addition, we investigate perfect state transfer on graph products, which gives further examples where perfect state transfer can occur.

preprint2016arXiv

Quantum Statistics and Spacetime Surgery

We apply the geometric-topology surgery theory on spacetime manifolds to study the constraints of quantum statistics data in 2+1 and 3+1 spacetime dimensions. First, we introduce the fusion data for worldline and worldsheet operators capable creating anyon excitations of particles and strings, well-defined in gapped states of matter with intrinsic topological orders. Second, we introduce the braiding statistics data of particles and strings, such as the geometric Berry matrices for particle-string Aharonov-Bohm and multi-loop adiabatic braiding process, encoded by submanifold linkings, in the closed spacetime 3-manifolds and 4-manifolds. Third, we derive new quantum surgery constraints analogous to Verlinde formula associating fusion and braiding statistics data via spacetime surgery, essential for defining the theory of topological orders, and potentially correlated to bootstrap boundary physics such as gapless modes, conformal field theories or quantum anomalies.

preprint2016arXiv

Quasi-local energy with respect to a static spacetime

This article considers the quasi-local energy in reference to a general static spacetime. We follow the approach developed by the authors in [19, 20, 7, 9] and define the quasi-local energy as a difference of surface Hamiltonians, which are derived from the Einstein-Hilbert action. The new quasi-local energy provides an effective gauge independent measurement of how far a spacetime deviates away from the reference static spacetime on a finitely extended region.

preprint2016arXiv

Quasi-local energy with respect to de Sitter/anti-de Sitter reference

This article considers the quasi-local conserved quantities with respect to a reference spacetime with a cosmological constant. We follow the approach developed by the authors in [25,26,7] and define the quasi-local energy as differences of surface Hamiltonians. The ground state for the gravitational energy is taken to be a reference configuration in the de Sitter (dS) or Anti-de Sitter (AdS) spacetime. This defines the quasi-local energy with respect to the reference spacetime and generalizes our previous definition with respect to the Minkowski spacetime. Through an optimal isometric embedding into the reference spacetime, the Killing fields of the reference spacetime are transplanted back to the surface in the physical spacetime to complete the definitions of quasi-local conserved quantities. We also compute how the corresponding total conserved quantities evolve under the Einstein equation with a cosmological constant.

preprint2016arXiv

Quasi-local mass at the null infinity of the Vaidya spacetime

There are two important statements regarding the Trautman-Bondi mass [1,8,5] at null infinity: one is the positivity [7,6], and the other is the Bondi mass loss formula [1], which are both global in nature. The positivity of the quasi-local mass can potentially lead to a local description at null infinity. This is confirmed for the Vaidya spacetime in this note. We study the Wang-Yau quasi-local mass on surfaces of fixed size at the null infinity of the Vaidya spacetime. The optimal embedding equation is solved explicitly and the quasi-local mass is evaluated in terms of the mass aspect function of the Vaidya spacetime.

preprint2016arXiv

The rest mass of an asymptotically Anti-de Sitter spacetime

We study the space of Killing fields on the four dimensional AdS spacetime $AdS^{3,1}$. Two subsets $\mathcal{S}$ and $\mathcal{O}$ are identified: $\mathcal{S}$ (the spinor Killing fields) is constructed from imaginary Killing spinors, and $\mathcal{O}$ (the observer Killing fields) consists of all hypersurface orthogonal, future timelike unit Killing fields. When the cosmology constant vanishes, or in the Minkowski spacetime case, these two subsets have the same convex hull in the space of Killing fields. In presence of the cosmology constant, the convex hull of $ \mathcal{O}$ is properly contained in that of $\mathcal{S}$. This leads to two different notions of energy for an asymptotically AdS spacetime, the spinor energy and the observer energy. In [10], Chruściel, Maerten and Tod proved the positivity of the spinor energy and derived important consequences among the related conserved quantities. We show that the positivity of the observer energy follows from the positivity of the spinor energy. A new notion called the "rest mass" of an asymptotically AdS spacetime is then defined by minimizing the observer energy, and is shown to be evaluated in terms of the adjoint representation of the Lie algebra of Killing fields. It is proved that the rest mass has the desirable rigidity property that characterizes the AdS spacetime.

preprint2015arXiv

(1,1) forms with specified Lagrangian phase: A priori estimates and algebraic obstructions

Let $(X,α)$ be a Kähler manifold of dimension n, and let $[ω] \in H^{1,1}(X,\mathbb{R})$. We study the problem of specifying the Lagrangian phase of $ω$ with respect to $α$, which is described by the nonlinear elliptic equation \[ \sum_{i=1}^{n} \arctan(λ_i)= h(x) \] where $λ_i$ are the eigenvalues of $ω$ with respect to $α$. 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,β}$ estimates when $|h|>(n-2)\fracπ{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.

preprint2015arXiv

4d N=2 SCFT and singularity theory Part I: Classification

This is the first of a series of papers in which we systematically use singularity theory to study four dimensional N=2 superconformal field theories. Our main focus in this paper is to identify what kind of singularity is needed to define a SCFT. The constraint for a hypersurface singularity has been found by Sharpere and Vafa, and here the complete set of solutions are listed using a related mathematical result of Stephen S. T. Yau and Yu. We also study other type of singularities such as the complete intersection, quotient of hypersurface singularity by a finite group and non-isolated singularity. We finally conjecture that any three dimensional rational Gorenstein graded isolated singularity should define a N=2 SCFT. We explain how to extract various interesting physical quantities such as Seiberg-Witten geometry, central charges, exact marginal deformations, BPS quiver, RG flow trajectory, etc from the properties of singularity.

preprint2015arXiv

Calabi-Yau modular forms in limit: Elliptic Fibrations

We study the limit of Calabi-Yau modular forms, and in particular, those resulting in classical modular forms. We then study two parameter families of elliptically fibred Calabi-Yau fourfolds and describe the modular forms arising from the degeneracy loci. In the case of elliptically fibred Calabi-Yau threefolds our approach gives a mathematical proof of many observations about modularity properties of topological string amplitudes starting with the work of Candelas, Font, Katz and Morrison. In the case of Calabi-Yau fourfolds we derive new identities not computed before.

preprint2015arXiv

Chain Integral Solutions to Tautological Systems

We give a new geometrical interpretation of the local analytic solutions to a differential system, which we call a tautological system $τ$, arising from the universal family of Calabi-Yau hypersurfaces $Y_a$ in a $G$-variety $X$ of dimension $n$. First, we construct a natural topological correspondence between relative cycles in $H_n(X-Y_a,\cup D-Y_a)$ bounded by the union of $G$-invariant divisors $\cup D$ in $X$ to the solution sheaf of $τ$, in the form of chain integrals. Applying this to a toric variety with torus action, we show that in addition to the period integrals over cycles in $Y_a$, the new chain integrals generate the full solution sheaf of a GKZ system. This extends an earlier result for hypersurfaces in a projective homogeneous variety, whereby the chains are cycles. In light of this result, the mixed Hodge structure of the solution sheaf is now seen as the MHS of $H_n(X-Y_a,\cup D-Y_a)$. In addition, we generalize the result on chain integral solutions to the case of general type hypersurfaces. This chain integral correspondence can also be seen as the Riemann-Hilbert correspondence in one homological degree. Finally, we consider interesting cases in which the chain integral correspondence possibly fails to be bijective.

preprint2015arXiv

Conformal Surface Morphing with Applications on Facial Expressions

Morphing is the process of changing one figure into another. Some numerical methods of 3D surface morphing by deformable modeling and conformal mapping are shown in this study. It is well known that there exists a unique Riemann conformal mapping from a simply connected surface into a unit disk by the Riemann mapping theorem. The dilation and relative orientations of the 3D surfaces can be linked through the Möbius transformation due to the conformal characteristic of the Riemann mapping. On the other hand, a 3D surface deformable model can be built via various approaches such as mutual parameterization from direct interpolation or surface matching using landmarks. In this paper, we take the advantage of the unique representation of 3D surfaces by the mean curvatures and the conformal factors associated with the Riemann mapping. By registering the landmarks on the conformal parametric domains, the correspondence of the mean curvatures and the conformal factors for each surfaces can be obtained. As a result, we can construct the 3D deformation field from the surface reconstruction algorithm proposed by Gu and Yau. Furthermore, by composition of the Möbius transformation and the 3D deformation field, the morphing sequence can be generated from the mean curvatures and the conformal factors on a unified mesh structure by using the cubic spline homotopy. Several numerical experiments of the face morphing are presented to demonstrate the robustness of our approach.

preprint2015arXiv

D-branes and synthetic/$C^{\infty}$-algebraic symplectic/calibrated geometry, I: Lemma on a finite algebraicness property of smooth maps from Azumaya/matrix manifolds

We lay down an elementary yet fundamental lemma concerning a finite algebraicness property of a smooth map from an Azumaya/matrix manifold with a fundamental module to a smooth manifold. This gives us a starting point to build a synthetic (synonymously, $C^{\infty}$-algebraic) symplectic geometry and calibrated geometry that are both tailored to and guided by D-brane phenomena in string theory and along the line of our previous works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]).

preprint2015arXiv

Evaluating small sphere limit of the Wang-Yau quasi-local energy

In this article, we study the small sphere limit of the Wang-Yau quasi-local energy defined in [18,19]. Given a point $p$ in a spacetime $N$, we consider a canonical family of surfaces approaching $p$ along its future null cone and evaluate the limit of the Wang-Yau quasi-local energy. The evaluation relies on solving an "optimal embedding equation" whose solutions represent critical points of the quasi-local energy. For a spacetime with matter fields, the scenario is similar to that of the large sphere limit found in [7]. Namely, there is a natural solution which is a local minimum, and the limit of its quasi-local energy recovers the stress-energy tensor at $p$. For a vacuum spacetime, the quasi-local energy vanishes to higher order and the solution of the optimal embedding equation is more complicated. Nevertheless, we are able to show that there exists a solution which is a local minimum and that the limit of its quasi-local energy is related to the Bel-Robinson tensor. Together with earlier work [7], this completes the consistency verification of the Wang-Yau quasi-local energy with all classical limits.

preprint2015arXiv

Further studies on the notion of differentiable maps from Azumaya/matrix manifolds, I. The smooth case

In this follow-up of our earlier two works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]) in the D-project, we study further the notion of a `differentiable map from an Azumaya/matrix manifold to a real manifold'. A conjecture is made that the notion of differentiable maps from Azumaya/matrix manifolds as defined in D(11.1) is equivalent to one defined through the contravariant ring-homomorphisms alone. A proof of this conjecture for the smooth (i.e. $C^{\infty}$) case is given in this note. Thus, at least in the smooth case, our setting for D-branes in the realm of differential geometry is completely parallel to that in the realm of algebraic geometry, cf.\ arXiv:0709.1515 [math.AG] and arXiv:0809.2121 [math.AG]. A related conjecture on such maps to ${\Bbb R}^n$, as a $C^k$-manifold, and its proof in the $C^{\infty}$ case is also given. As a by-product, a conjecture on a division lemma in the finitely differentiable case that generalizes the division lemma in the smooth case from Malgrange is given in the end, as well as other comments on the conjectures in the general $C^k$ case. We remark that there are similar conjectures in general and theorems in the smooth case for the fermionic/super generalization of the notion.

preprint2015arXiv

Graph invariants from ideas in physics and number theory

We study free scalar field theory on a graph, which gives rise to a modified version of discrete Green's function on a graph studied in \cite{CY}. We show that this gives rise to a graph invariant, which is closely related to the 2-dim Weisfeiler-Lehman algorithm for graph isomorphism testing. We complement this invariant by another type of graph invariants, coming from viewing graphs as quadratic forms over the integers. We explain that the combination of these two ideas give rise to an interesting approach to the graph isomorphism problem.

preprint2015arXiv

Gravitational wave memory in de Sitter spacetime

We examine gravitational wave memory in the case where sources and detector are in an expanding cosmology. For simplicity, we treat the case where the cosmology is de Sitter spacetime, and discuss the possibility of generalizing our results to the case of a more realistic cosmology. We find results very similar to those of gravitational wave memory in an asymptotically flat spacetime, but with the magnitude of the effect multiplied by a redshift factor.

preprint2015arXiv

Gravitational Waves and Their Memory in General Relativity

General relativity explains gravitational radiation from binary black hole or neutron star mergers, from core-collapse supernovae and even from the inflation period in cosmology. These waves exhibit a unique effect called memory or Christodoulou effect, which in a detector like LIGO or LISA shows as a permanent displacement of test masses and in radio telescopes like NANOGrav as a change in the frequency of pulsars' pulses. It was shown that electromagnetic fields and neutrino radiation enlarge the memory. Recently it has been understood that the two types of memory addressed in the literature as `linear' and `nonlinear' are in fact two different phenomena. The former is due to fields that do not and the latter is due to fields that do reach null infinity.

preprint2015arXiv

Semicontinuity of 4d N=2 spectrum under renormalization group flow

We study renormalization group flow of four dimensional N=2 SCFTs defined by isolated hypersurface three-fold singularities. We define the spectrum of N=2 theory as the set of scaling dimensions of the parameters on the Coulomb branch, which include Coulomb branch moduli, mass parameters and coupling constants. We prove that the spectrum of those theories is semicontinous under the RG flow on the Coulomb branch using the mathematical result about the singularity spectra under deformation. The semicontinuity behavior of N=2 spectrum implies a theorem under relevant and Coulomb branch moduli deformation, the absence of dangerous irrelevant deformations and can be taken as the necessary condition for the ending point of a RG flow. This behavior is also true for (c,c) ring deformation of two dimensional Landau-Ginzburg model with (2,2) supersymmetry.

preprint2015arXiv

Volume doubling, Poincaré inequality and Guassian heat kernel estimate for nonnegative curvature graphs

By studying the heat semigroup, we prove Li-Yau type estimates for bounded and positive solutions of the heat equation on graphs, under the assumption of the curvature-dimension inequality $CDE'(n,0)$, which can be consider as a notion of curvature for graphs. Furthermore, we derive that if a graph has non-negative curvature then it has the volume doubling property, from this we can prove the Gaussian estimate for heat kernel, and then Poincaré inequality and Harnack inequality. As a consequence, we obtain that the dimension of space of harmonic functions on graphs with polynomial growth is finite, which original is a conjecture of Yau on Riemannian manifold proved by Colding and Minicozzi. Under the assumption of positive curvature on graphs, we derive the Bonnet-Myers type theorem that the diameter of graphs is finite and bounded above in terms of the positive curvature by proving some Log Sobolev inequalities.

preprint2014arXiv

A New Model for Elliptic Fibrations with a Rank One Mordell-Weil Group: I. Singular Fibers and Semi-Stable Degenerations

We introduce a new model for elliptic fibrations endowed with a Mordell-Weil group of rank one. We call it a Q$_7(\mathscr{L},\mathscr{S})$ model. It naturally generalizes several previous models of elliptic fibrations popular in the F-theory literature. The model is also explicitly smooth, thus relevant physical quantities can be computed in terms of topological invariants in straight manner. Since the general fiber is defined by a cubic curve, basic arithmetic operations on the curve can be done using the chord-tangent group law. We will use this model to determine the spectrum of singular fibers of an elliptic fibration of rank one and compute a generating function for its Euler characteristic. With a view toward string theory, we determine a semi-stable degeneration which is understood as a weak coupling limit in F-theory. We show that it satisfies a non-trivial topological relation at the level of homological Chern classes. This relation ensures that the D3 charge in F-theory is the same as the one in the weak coupling limit.

preprint2014arXiv

A special Lagrangian type equation for holomorphic line bundles

Let $L$ be a holomorphic line bundle over a compact Kähler manifold $X$. Motivated by mirror symmetry, we study the deformed Hermitian-Yang-Mills equation on $L$, which is the line bundle analogue of the special Lagrangian equation in the case that $X$ is Calabi-Yau. We show that this equation is the Euler-Lagrange equation for a positive functional, and that solutions are unique global minimizers. We provide a necessary and sufficient criterion for existence in the case that $X$ is a Kähler surface. For the higher dimensional cases, we introduce a line bundle version of the Lagrangian mean curvature flow, and prove convergence when $L$ is ample and $X$ has non-negative orthogonal bisectional curvature.

preprint2014arXiv

Cohomology and Hodge Theory on Symplectic Manifolds: III

We introduce filtered cohomologies of differential forms on symplectic manifolds. They generalize and include the cohomologies discussed in Paper I and II as a subset. The filtered cohomologies are finite-dimensional and can be associated with differential elliptic complexes. Algebraically, we show that the filtered cohomologies give a two-sided resolution of Lefschetz maps, and thereby, they are directly related to the kernels and cokernels of the Lefschetz maps. We also introduce a novel, non-associative product operation on differential forms for symplectic manifolds. This product generates an A-infinity algebra structure on forms that underlies the filtered cohomologies and gives them a ring structure. As an application, we demonstrate how the ring structure of the filtered cohomologies can distinguish different symplectic four-manifolds in the context of a circle times a fibered three-manifold.

preprint2014arXiv

Conserved quantities on asymptotically hyperbolic initial data sets

In this article, we consider the limit of quasi-local conserved quantities [31,9] at the infinity of an asymptotically hyperbolic initial data set in general relativity. These give notions of total energy-momentum, angular momentum, and center of mass. Our assumption on the asymptotics is less stringent than any previous ones to validate a Bondi-type mass loss formula. The Lorentz group acts on the asymptotic infinity through the exchange of foliations by coordinate spheres. For foliations aligning with the total energy-momentum vector, we prove that the limits of quasi-local center of mass and angular momentum are finite, and evaluate the limits in terms of the expansion coefficients of the metric and the second fundamental form.

preprint2014arXiv

D-branes and Azumaya/matrix noncommutative differential geometry, I: D-branes as fundamental objects in string theory and differentiable maps from Azumaya/matrix manifolds with a fundamental module to real manifolds

We consider D-branes in string theory and address the issue of how to describe them mathematically as a fundamental object (as opposed to a solitonic object) of string theory in the realm in differential and symplectic geometry. The notion of continuous maps, $k$-times differentiable maps, and smooth maps from an Azumaya/matrix manifold with a fundamental module to a (commutative) real manifold $Y$ is developed. Such maps are meant to describe D-branes or matrix branes in string theory when these branes are light and soft with only small enough or even zero brane-tension. When $Y$ is a symplectic manifold (resp. a Calabi-Yau manifold; a $7$-manifold with $G_2$-holonomy; a manifold with an almost complex structure $J$), the corresponding notion of Lagrangian maps (resp. special Lagrangian maps; associative maps, coassociative maps; $J$-holomorphic maps) are introduced. Indicative examples linking to symplectic geometry and string theory are given. This provides us with a language and part of the foundation required to study themes, new or old, in symplectic geometry and string theory, including (1) $J$-holomorphic D-curves (with or without boundary), (2) quantization and dynamics of D-branes in string theory, (3) a definition of Fukaya category guided by Lagrangian maps from Azumaya manifolds with a fundamental module with a connection, (4) a theory of fundamental matrix strings or D-strings, and (5) the nature of Ramond-Ramond fields in a space-time. The current note D(11.1) is the symplectic/differential-geometric counterpart of the more algebraic-geometry-oriented first two notes D(1) ([L-Y1]) (arXiv:0709.1515 [math.AG]) and D(2) ([L-L-S-Y], with Si Li and Ruifang Song) (arXiv:0809.2121 [math.AG]) in this project.

preprint2014arXiv

D-branes and Azumaya/matrix noncommutative differential geometry,II: Azumaya/matrix supermanifolds and differentiable maps therefrom -- with a view toward dynamical fermionic D-branes in string theory

In this Part II of D(11), we introduce new objects: super-$C^k$-schemes and Azumaya super-$C^k$-manifolds with a fundamental module (or, synonymously, matrix super-$C^k$-manifolds with a fundamental module), and extend the study in D(11.1) ([L-Y3], arXiv:1406.0929 [math.DG]) to define the notion of `differentiable maps from an Azumaya/matrix supermanifold with a fundamental module to a real manifold or supermanifold'. This allows us to introduce the notion of `fermionic D-branes' in two different styles, one parallels Ramond-Neveu-Schwarz fermionic string and the other Green-Schwarz fermionic string. A more detailed discussion on the Higgs mechanism on dynamical D-branes in our setting, taking maps from the D-brane world-volume to the space-time in question and/or sections of the Chan-Paton bundle on the D-brane world-volume as Higgs fields, is also given for the first time in the D-project. Finally note that mathematically string theory begins with the notion of a differentiable map from a string world-sheet (a $2$-manifold) to a target space-time (a real manifold). In comparison to this, D(11.1) and the current D(11.2) together bring us to the same starting point for studying D-branes in string theory as dynamical objects.

preprint2014arXiv

Extremal Bundles on Calabi-Yau Threefolds

We study constructions of stable holomorphic vector bundles on Calabi-Yau threefolds, especially those with exact anomaly cancellation which we call extremal. By going through the known databases we find that such examples are rare in general and can be ruled out for the spectral cover construction for all elliptic threefolds. We then introduce a generalized version of Hartshorne-Serre construction and use it to yield extremal bundles of general ranks and study their geometry. In light of this probing the geometry of the space of stable vector bundles, we revisit the DRY conjecture on stable reflexive sheaves while focusing on the distribution of Chern numbers to use both theoretical and statistical ideas to provide evidence for DRY.

preprint2014arXiv

Gauss-Manin connection in disguise: Calabi-Yau threefolds

We describe a Lie Algebra on the moduli space of Calabi-Yau threefolds enhanced with differential forms and its relation to the Bershadsky-Cecotti-Ooguri-Vafa holomorphic anomaly equation. In particular, we describe algebraic topological string partition functions $F_g^{alg}, g\geq 1$, which encode the polynomial structure of holomorphic and non-holomorphic topological string partition functions. Our approach is based on Grothendieck's algebraic de Rham cohomology and on the algebraic Gauss-Manin connection. In this way, we recover a result of Yamaguchi-Yau and Alim-Länge in an algebraic context. Our proofs use the fact that the special polynomial generators defined using the special geometry of deformation spaces of Calabi-Yau threefolds correspond to coordinates on such a moduli space. We discuss the mirror quintic as an example.

preprint2014arXiv

Hodge Bundles on Smooth Compactifications of Siegel Varieties and Applications

We study Hodge bundles on Siegel varieties and their various extensions to smooth toroidal compactifications. Precisely, we construct a canonical Hodge bundle on an arbitrary Siegel variety so that the holomorphic tangent bundle can be embedded into the Hodge bundle, and we observe that the Bergman metric on the Siegel variety is compatible with the induced Hodge metric. Therefore we obtain the asymptotic estimate of the Bergman metric explicitly. Depending on these properties and the uniformitarian of Kähler-Einstein manifold, we study extensions of the tangent bundle over any smooth toroidal compactification. We also apply this result, together with Siegel cusp modular forms, to study general type for Siegel varieties.

preprint2014arXiv

Homotopy theory for digraphs

We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy invariance of homologies of digraphs and the relation between the fundamental group of the digraph and its first homology group. The category of (undirected) graphs can be identified by a natural way with a full subcategory of digraphs. Thus we obtain also consistent homology and homotopy theories for graphs. Note that the homotopy theory for graphs coincides with the one constructed in the paper of Babson et.

preprint2014arXiv

On cohomology theory of (di)graphs

To a digraph with a choice of certain integral basis, we construct a CW complex, whose integral singular cohomology is canonically isomorphic to the path cohomology of the digraph as introduced in \cite{GLMY}. The homotopy type of the CW complex turns out to be independent of the choice of basis. After a very brief discussion of functoriality, this construction immediately implies some of the expected but perhaps combinatorially subtle properties of the digraph cohomology and homotopy proved very recently \cite{GLMY2}. Furthermore, one gets a very simple expected formula for the cup product of forms on the digraph. On the other hand, we present an approach of using sheaf theory to reformulate (di)graph cohomologies. The investigation of the path cohomology from this framework, leads to a subtle version of Poincare lemma for digraphs, which follows from the construction of the CW complex.

preprint2014arXiv

On the validity of the definition of angular momentum in general relativity

We exam the validity of the definition of the ADM angular momentum without the parity assumption. Explicit examples of asymptotically flat hypersurfaces in the Minkowski spacetime with zero ADM energy-momentum vector and finite non-zero angular momentum vector are presented. We also discuss the Beig-Ó Murchadha-Regge-Teitelboim center of mass and study analogous examples in the Schwarzschild spacetime.

preprint2014arXiv

Poisson metrics on flat vector bundles over non-compact curves

Let (E,D,P) be a flat vector bundle with a parabolic structure over a punctured Riemann surface, (M,g). We consider a deformation of the harmonic metric equation which we call the Poisson metric equation. This equation arises naturally as the dimension reduction of the Hermitian-Yang-Mills equation for holomorphic vector bundles on K3 surfaces in the large complex structure limit. We define a notion of slope stability, and show that if the flat connection D has regular singularities, and the Riemannian metric g has finite volume then E admits a Poisson metric with asymptotics determined by the parabolic structure if and only if (E,D,P) is slope polystable.

preprint2014arXiv

Quasilocal angular momentum and center of mass in general relativity

For a spacelike 2-surface in spacetime, we propose a new definition of quasi-local angular momentum and quasi-local center of mass, as an element in the dual space of the Lie algebra of the Lorentz group. Together with previous defined quasi-local energy-momentum, this completes the definition of conserved quantities in general relativity at the quasi-local level. We justify this definition by showing the consistency with the theory of special relativity and expectations on an axially symmetric spacetime. The limits at spatial infinity provide new definitions for total conserved quantities of an isolated system, which do not depend on any asymptotically flat coordinate system or asymptotic Killing field. The new proposal is free of ambiguities found in existing definitions and presents the first definition that precisely describes the dynamics of the Einstein equation.

preprint2014arXiv

Simplicial Ricci Flow

We construct a discrete form of Hamilton's Ricci flow (RF) equations for a d-dimensional piecewise flat simplicial geometry, S. These new algebraic equations are derived using the discrete formulation of Einstein's theory of general relativity known as Regge calculus. A Regge-Ricci flow (RRF) equation is naturally associated to each edge, L, of a simplicial lattice. In defining this equation, we find it convenient to utilize both the simplicial lattice, S, and its circumcentric dual lattice, S*. In particular, the RRF equation associated to L is naturally defined on a d-dimensional hybrid block connecting $\ell$ with its (d-1)-dimensional circumcentric dual cell, L*. We show that this equation is expressed as the proportionality between (1) the simplicial Ricci tensor, Rc_L, associated with the edge L in S, and (2) a certain volume weighted average of the fractional rate of change of the edges, lambda in L*, of the circumcentric dual lattice, S*, that are in the dual of L. The inherent orthogonality between elements of S and their duals in S* provide a simple geometric representation of Hamilton's RF equations. In this paper we utilize the well established theories of Regge calculus, or equivalently discrete exterior calculus, to construct these equations. We solve these equations for a few illustrative examples.

preprint2014arXiv

Simplicial Ricci Flow: An Example of a Neck Pinch Singularity in 3D

We examine a Type-1 neck pinch singularity in simplicial Ricci flow (SRF) for an axisymmetric piecewise flat 3-dimensional geometry with 3-sphere topology. SRF was recently introduced as an unstructured mesh formulation of Hamilton's Ricci flow (RF). It describes the RF of a piecewise-flat simplicial geometry. In this paper, we apply the SRF equations to a representative double-lobed axisymmetric piecewise flat geometry with mirror symmetry at the neck similar to the geometry studied by Angenent and Knopf (A-K). We choose a specific radial profile and compare the SRF equations with the corresponding finite-difference solution of the continuum A-K RF equations. The piecewise-flat 3-geometries considered here are built of isosceles-triangle-based frustum blocks. The axial symmetry of this model allows us to use frustum blocks instead of tetrahedra. The 2-sphere cross-sectional geometries in our model are regular icosahedra. We demonstrate that, under a suitably-pinched initial geometry, the SRF equations for this relatively low-resolution discrete geometry yield the canonical Type-1 neck pinch singularity found in the corresponding continuum solution. We adaptively remesh during the evolution to keep the circumcentric dual lattice well-centered. Without such remeshing, we cannot evolve the discrete geometry to neck pinch. We conclude with a discussion of future generalizations and tests of this SRF model.

preprint2014arXiv

Singularities and Gauge Theory Phases

Motivated by M-theory compactification on elliptic Calabi-Yau threefolds, we present a correspondence between networks of small resolutions for singular elliptic fibrations and Coulomb branches of five-dimensional N=1 gauge theories. While resolutions correspond to subchambers of the Coulomb branch, partial resolutions correspond to higher codimension loci at which the Coulomb branch intersects the Coulomb-Higgs branches. Flops between different resolutions are identified with reflections on the Coulomb branch. Physics aside, this correspondence provides an interesting link between elliptic fibrations and representation theory.

preprint2014arXiv

The Geometry on Smooth Toroidal Compactifications of Siegel varieties

This is a part of our joint program. The purpose of this paper is to study smooth toroidal compactifications of Siegel varieties and their applications, we also try to understand the Kähler-Einstein metrics on Siegel varieties through the compactifications. Let $A_{g,Γ}:=H_g/Γ$ be a Siegel variety, where $H_g$ is the genus-$g$ Siegel space and $Γ$ is an arithmetic subgroup in $Aut(H_g)$. There are four aspects of this paper : 1.There is a correspondence between the category of degenerations of Abelian varieties and the category of limits of weight one Hodge structures. We show that any cusp of Siegel space $\frak{H}_g$ can be identified with the set of certain weight one polarized mixed Hodge structures. 2.In general, the boundary of a smooth toroidal compactification $\bar{A}_{g,Γ}$ of $A_{g,Γ}$ has self-intersections.For most geometric applications, we would like to have a nice toroidal compactification such that the added infinity boundary $D_\infty =\bar{A}_{g,Γ}-A_{g,Γ}$ is a normal crossing divisor, We actually obtain a sufficient and necessary combinatorial condition for toroidal compactifications. 3. A toroidal compactification $\bar{A}_{g,Γ}$ of is totally determined by a combinatorial condition : an admissible family of polyhedral decompositions of certain positive cones. We show that the unique Kähler-Einstein metric on $A_{g,Γ}$ endows some restraint combinatorial conditions for all toroidal smooth compactifications of $A_{g,Γ}.$ 4.We study the asymptotic behaviour of logarithmical canonical line bundles on smooth toroidal compactifications of $A_{g,Γ}$ and get an integral formula for intersection numbers.

preprint2014arXiv

The Unified Surface Ricci Flow

Ricci flow deforms the Riemannian metric proportionally to the curvature, such that the curvature evolves according to a heat diffusion process and eventually becomes constant everywhere. Ricci flow has demonstrated its great potential by solving various problems in many fields, which can be hardly handled by alternative methods so far. This work introduces the unified theoretic framework for discrete Surface Ricci Flow, including all common schemes: Thurston's Circle Packing, Tangential Circle Packing, Inversive Distance Circle Packing and Discrete Yamabe. Furthermore, this work also introduces a novel scheme, virtual radius circle packing, under the unified framework. This work gives explicit geometric interpretation to the discrete Ricci energy for all the schemes, and Hessian of the discrete Ricci energy for schemes with Euclidean back ground geometry. The unified frame work deepen our understanding to the the discrete surface Ricci flow theory, and inspired us to discover the new schemes, improved the flexibility and robustness of the algorithms, greatly simplified the implementation and improved the debugging efficiency. Experimental results shows the unified surface Ricci flow algorithms can handle general surfaces with different topologies, and is robust to meshes with different qualities, and effective for solving real problems.

preprint2014arXiv

Time-dependent Hermite-Galerkin spectral method and its applications

A time-dependent Hermite-Galerkin spectral method (THGSM) is investigated in this paper for the nonlinear convection-diffusion equations in the unbounded domains. The time-dependent scaling factor and translating factor are introduced in the definition of the generalized Hermite functions (GHF). As a consequence, the THGSM based on these GHF has many advantages, not only in theorethical proofs, but also in numerical implementations. The stability and spectral convergence of our proposed method have been established in this paper. The Korteweg-de Vries-Burgers (KdVB) equation and its special cases, including the heat equation and the Burgers' equation, as the examples, have been numerically solved by our method. The numerical results are presented, and it surpasses the existing methods in accuracy. Our theoretical proof of the spectral convergence has been supported by the numerical results.

preprint2013arXiv

A mathematical theory of D-string world-sheet instantons, I: Compactness of the stack of $Z$-semistable Fourier-Mukai transforms from a compact family of nodal curves to a projective Calabi-Yau 3-fold

In a suitable regime of superstring theory, D-branes in a Calabi-Yau space and their most fundamental behaviors can be nicely described mathematically through morphisms from Azumaya spaces with a fundamental module to that Calabi-Yau space. In the earlier work [L-L-S-Y] (D(2): arXiv:0809.2121 [math.AG], with Si Li and Ruifang Song) from the project, we explored this notion for the case of D1-branes (i.e. D-strings) and laid down some basic ingredients toward understanding the notion of D-string world-sheet instantons in this context. In this continuation, D(10), of D(2), we move on to construct a moduli stack of semistable morphisms from Azumaya nodal curves with a fundamental module to a projective Calabi-Yau 3-fold $Y$. In this Part I of the note, D(10.1), we define the notion of twisted central charge $Z$ for Fourier-Mukai transforms of dimension 1 and width [0] from nodal curves and the associated stability condition on such transforms and prove that for a given compact stack of nodal curves $C_{\cal M}/{\cal M}$, the stack $FM^{1,[0];Zss}_{C_{\cal M}/{\cal M}}(Y,c)$ of $Z$-semistable Fourier-Mukai transforms of dimension 1 and width [0] from nodal curves in the family $C_{\cal M}/{\cal M}$ to $Y$ of fixed twisted central charge $c$ is compact. For the application in the sequel D(10.2), $C_{\cal M}/{\cal M}$ will contain $C_{\bar{\cal M}_g}/\bar{\cal M}_g$ as a substack and $FM^{1,[0];Zss}_{C_{\cal M}/{\cal M}}(Y,c)$ in this case will play a key role in defining stability condition for morphisms from arbitrary Azumaya nodal curves (with the underlying nodal curves not necessary in the family $C_{\cal M}/{\cal M}$) to $Y$.

preprint2013arXiv

A mathematical theory of D-string world-sheet instantons, II: Moduli stack of $Z$-(semi)stable morphisms from Azumaya nodal curves with a fundamental module to a projective Calabi-Yau 3-fold

In this Part II, D(10.2), of D(10), we take D(10.1) (arXiv:1302.2054 [math.AG]) as the foundation to define the notion of $Z$-semistable morphisms from general Azumaya nodal curves, of genus $\ge 2$, with a fundamental module to a projective Calabi-Yau 3-fold and show that the moduli stack of such $Z$-semistable morphisms of a fixed type is compact. This gives us a counter moduli stack to D-strings as the moduli stack of stable maps in Gromov-Witten theory to the fundamental string. It serves and prepares for us the basis toward a new invariant of Calabi-Yau 3-fold that captures soft-D-string world-sheet instanton numbers in superstring theory. This note is written hand-in-hand with D(10.1) and is to be read side-by-side with ibidem.

preprint2013arXiv

A Novel Skew-Hamiltonian Isotropic Lanczos Algorithm for Spectral Conformal Parameterizations

Numerous methods for computing conformal mesh paramterizations has been developed due to the vast applications in the field of geometry processing. Spectral conformal parameterization (SCP) is one of these methods to computing a quality conformal parameterization based on the spectral technique. SCP focus on a generalized eigenvalue problem (GEP) $L_{C}\mathbf{f} = λB\mathbf{f}$ whose eigenvector(s) associated with the smallest positive eigenvalue(s) will provide the parameterization result. This paper devotes to study a novel eigensolver for this GEP. Based on the structures of matrix pair $(L_{C},B)$, we show that this GEP can be transformed into a small-scaled compressed deating standard eigenvalue problem with a symmetric positive definite skew-Hamiltonian operator. We then propose a skew-Hamiltonian isotropic Lanczos algorithm (SHILA) to solve the reducing problem. Numerical experiments show that our compressed deating skill remove the inuence of the kernel of $L_{C}$ and transform the original problem to a more robust system. The novel SHILA method can effective avoid the disturbance of duplicate eigenvalues. As a result, our numerical eigensolver can accurately and efficiently compute the conformal parameterization based on the spectral model of SCP.

preprint2013arXiv

Li-Yau inequality on graphs

We prove the Li-Yau gradient estimate for the heat kernel on graphs. The only assumption is a variant of the curvature-dimension inequality, which is purely local, and can be considered as a new notion of curvature for graphs. We compute this curvature for lattices and trees and conclude that it behaves more naturally than the already existing notions of curvature. Moreover, we show that if a graph has non-negative curvature then it has polynomial volume growth. We also derive Harnack inequalities and heat kernel bounds from the gradient estimate, and show how it can be used to strengthen the classical Buser inequality relating the spectral gap and the Cheeger constant of a graph.

preprint2013arXiv

Minimizing properties of critical points of quasi-local energy

In relativity, the energy of a moving particle depends on the observer, and the rest mass is the minimal energy seen among all observers. The Wang-Yau quasi-local mass for a surface in spacetime introduced in [7] and [8] is defined by minimizing quasi-local energy associated with admissible isometric embeddings of the surface into the Minkowski space. A critical point of the quasi-local energy is an isometric embedding satisfying the Euler-Lagrange equation. In this article, we prove results regarding both local and global minimizing properties of critical points of the Wang-Yau quasi-local energy. In particular, under a condition on the mean curvature vector we show a critical point minimizes the quasi-local energy locally. The same condition also implies that the critical point is globally minimizing among all axially symmetric embedding provided the image of the associated isometric embedding lies in a totally geodesic Euclidean 3-space.

preprint2013arXiv

Nodal geometry of graphs on surfaces

We prove two mixed versions of the Discrete Nodal Theorem of Davies et. al. [3] for bounded degree graphs, and for three-connected graphs of fixed genus $g$. Using this we can show that for a three-connected graph satisfying a certain volume-growth condition, the multiplicity of the $n$th Laplacian eigenvalue is at most $2\left[ 6(n-1) + 15(2g-2) \right]^2$. Our results hold for any Schrödinger operator, not just the Laplacian.

preprint2013arXiv

On exotic sphere fibrations, topological phases, and edge states in physical systems

We suggest that exotic sphere fibrations can be mapped to band topologies in condensed matter systems. These fibrations can correspond to geometric phases of two double bands or state vector bases with second Chern numbers m+n and -n respectively. They can be related to topological insulators, magneto-electric effects, and photonic crystals with special edge states. We also consider time-reversal symmetry breaking perturbations of topological insulator, and heterostructures of topological insulators with normal insulators and with superconductors. We consider periodic TI/NI/TI/NI' heterostuctures, and periodic TI/SC/TI/SC' heterostuctures. They also give rise to models of Weyl semimetals which have thermal and electrical transports.

preprint2013arXiv

On the Holonomic Rank Problem

A tautological system, introduced in \cite{LSY}\cite{LY}, arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with a suitable Lie group action. In this article, we introduce two formulas -- one purely algebraic, the other geometric -- to compute the rank of the solution sheaf of such a system for CY hypersurfaces in a generalized flag variety. The algebraic version gives the local solution space as a Lie algebra homology group, while the geometric one as the middle de Rham cohomology of the complement of a hyperplane section in $X$. We use both formulas to find certain degenerate points for which the rank of the solution sheaf becomes 1. These rank 1 points appear to be good candidates for the so-called large complex structure limits in mirror symmetry. The formulas are also used to prove a conjecture of Hosono, Lian and Yau on the completeness of the extended GKZ system when $X$ is $¶^n$.

preprint2013arXiv

Small resolutions of SU(5)-models in F-theory

We provide an explicit desingularization and study the resulting fiber geometry of elliptically fibered fourfolds defined by Weierstrass models admitting a split A_4 singularity over a divisor of the discriminant locus. Such varieties are used to geometrically engineer SU(5) Grand Unified Theories in F-theory. The desingularization is given by a small resolution of singularities. The I_5 fiber naturally appears after resolving the singularities in codimension-one in the base. The remaining higher codimension singularities are then beautifully described by a four dimensional affine binomial variety which leads to six different small resolutions of the the elliptically fibered fourfold. These six small resolutions define distinct fourfolds connected to each other by a network of flop transitions forming a dihedral group. The location of these exotic fibers in the base is mapped to conifold points of the threefolds that defines the type IIB orientifold limit of the F-theory. The full resolution have interesting properties, specially for fibers in codimension three: the rank of the singular fiber does not necessary increase and the fibers are not necessary in the list of Kodaira and some are not even (extended) Dynkin diagram.

preprint2012arXiv

Cohomology and Hodge Theory on Symplectic Manifolds: I

We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology defined purely on the space of primitive forms. We identify the dual currents of lagrangians and more generally coisotropic submanifolds with elements of a primitive cohomology, which dualizes to a homology on coisotropic chains.

preprint2012arXiv

Cohomology and Hodge Theory on Symplectic Manifolds: II

We show that the exterior derivative operator on a symplectic manifold has a natural decomposition into two linear differential operators, analogous to the Dolbeault operators in complex geometry. These operators map primitive forms into primitive forms and therefore lead directly to the construction of primitive cohomologies on symplectic manifolds. Using these operators, we introduce new primitive cohomologies that are analogous to the Dolbeault cohomology in the complex theory. Interestingly, the finiteness of these primitive cohomologies follows directly from an elliptic complex. We calculate the known primitive cohomologies on a nilmanifold and show that their dimensions can vary depending on the class of the symplectic form.

preprint2012arXiv

On exterior calculus and curvature in piecewise-flat manifolds

Simplicial, piecewise-flat discretizations of manifolds provide a clear path towards curvature analysis on discrete geometries and for solutions of PDE's on manifolds of complex topologies. In this manuscript we review and expand on discrete exterior calculus methods using hybrid domains. We then analyze the geometric structure of curvature operators in a piecewise-flat lattice.

preprint2012arXiv

Period Integrals and Tautological Systems

We study period integrals of CY hypersurfaces in a partial flag variety. We construct a holonomic system of differential equations which govern the period integrals. By means of representation theory, a set of generators of the system can be described explicitly. The results are also generalized to CY complete intersections. The construction of these new systems of differential equations have lead us to the notion of a tautological system.

preprint2012arXiv

Teichmüller extremal mapping and its applications to landmark matching registration

Registration, which aims to find an optimal 1-1 correspondence between shapes, is an important process in different research areas. Conformal mappings have been widely used to obtain a diffeomorphism between shapes that minimizes angular distortion. Conformal registrations are beneficial since it preserves the local geometry well. However, when landmark constraints are enforced, conformal mappings generally do not exist. This motivates us to look for a unique landmark matching quasi-conformal registration, which minimizes the conformality distortion. Under suitable condition on the landmark constraints, a unique diffeomporphism, called the Teichmüller extremal mapping between two surfaces can be obtained, which minimizes the maximal conformality distortion. In this paper, we propose an efficient iterative algorithm, called the Quasi-conformal (QC) iterations, to compute the Teichmüller mapping. The basic idea is to represent the set of diffeomorphisms using Beltrami coefficients (BCs), and look for an optimal BC associated to the desired Teichmüller mapping. The associated diffeomorphism can be efficiently reconstructed from the optimal BC using the Linear Beltrami Solver(LBS). Using BCs to represent diffeomorphisms guarantees the diffeomorphic property of the registration. Using our proposed method, the Teichmüller mapping can be accurately and efficiently computed within 10 seconds. The obtained registration is guaranteed to be bijective. The proposed algorithm can also be extended to compute Teichmüller mapping with soft landmark constraints. We applied the proposed algorithm to real applications, such as brain landmark matching registration, constrained texture mapping and human face registration. Experimental results shows that our method is both effective and efficient in computing a non-overlap landmark matching registration with least amount of conformality distortion.

preprint2012arXiv

The Electromagnetic Christodoulou Memory Effect and its Application to Neutron Star Binary Mergers

Gravitational waves are predicted by the general theory of relativity. It has been shown that gravitational waves have a nonlinear memory, displacing test masses permanently. This is called the Christodoulou memory. We proved that the electromagnetic field contributes at highest order to the nonlinear memory effect of gravitational waves, enlarging the permanent displacement of test masses. In experiments like LISA or LIGO which measure distances of test masses, the Christodoulou memory will manifest itself as a permanent displacement of these objects. It has been suggested to detect the Christodoulou memory effect using radio telescopes investigating small changes in pulsar's pulse arrival times. The latter experiments are based on present-day technology and measure changes in frequency. In the present paper, we study the electromagnetic Christodoulou memory effect and compute it for binary neutron star mergers. These are typical sources of gravitational radiation. During these processes, not only mass and momenta are radiated away in form of gravitational waves, but also very strong magnetic fields are produced and radiated away. Moreover, a large portion of the energy is carried away by neutrinos. We give constraints on the conditions, where the energy transported by electromagnetic radiation is of similar or slightly higher order than the energy radiated in gravitational waves or in form of neutrinos. We find that for coalescing neutron stars, large magnetic fields magnify the Christodoulou memory as long as the gaseous environment is sufficiently rarefied. Thus the observed effect on test masses of a laser interferometer gravitational wave detector will be enlarged by the contribution of the electromagnetic field. Therefore, the present results are important for the planned experiments.

preprint2011arXiv

Algebraic cobordism of filtered vector bundles on varieties: Notes on a work of Lee and Pandharipande

The construction of double point cobordism groups of vector bundles on varieties in the work [Lee-P] (arXiv:1002.1500 [math.AG]) of Yuan-Pin Lee and Rahul Pandharipande gives immediately double point cobordism groups of filtered vector bundles on varieties. We note also that among the four basic operations -- direct sum, tensor product, dual, and Hom -- on vector bundles on varieties, only taking dual is compatible with double point cobordisms of vector bundles on varieties in general, by a demonstration on an example of vector bundles on Calabi-Yau 3-folds. A question on refined and/or higher algebraic cobordisms of vector bundles on varieties is posed in the end.

preprint2011arXiv

D0-brane realizations of the resolution of a reduced singular curve

Based on examples from superstring/D-brane theory since the work of Douglas and Moore on resolution of singularities of a superstring target-space $Y$ via a D-brane probe, the richness and the complexity of the stack of punctual D0-branes on a variety, and as a guiding question, we lay down a conjecture that any resolution $Y^{\prime}\rightarrow Y$ of a variety $Y$ over ${\Bbb C}$ can be factored through an embedding of $Y^{\prime}$ into the stack ${\frak M}^{0^{A z^f}_{\;p}}_r (Y)$ of punctual D0-branes of rank $r$ on $Y$ for $r\ge r_0$ in ${\Bbb N}$, where $r_0$ depends on the germ of singularities of $Y$. We prove that this conjecture holds for the resolution $ρ: C^{\prime}\rightarrow C$ of a reduced singular curve $C$ over ${\Bbb C}$. In string-theoretical language, this says that the resolution $C^{\prime}$ of a singular curve $C$ always arises from an appropriate D0-brane aggregation on $C$ and that the rank of the Chan-Paton module of the D0-branes involved can be chosen to be arbitrarily large.

preprint2011arXiv

D5 elliptic fibrations: non-Kodaira fibers and new orientifold limits of F-theory

A D5 elliptic fibration is a fibration whose generic fiber is modeled by the complete intersection of two quadric surfaces in P3. They provide simple examples of elliptic fibrations admitting a rich spectrum of singular fibers (not all on the list of Kodaira) without introducing singularities in the total space of the fibration and therefore avoiding a discussion of their resolutions. We study systematically the fiber geometry of such fibrations using Segre symbols and compute several topological invariants. We present for the first time Sen's (orientifold) limits for D5 elliptic fibrations. These orientifolds limit describe different weak coupling limits of F-theory to type IIB string theory giving a system of three brane-image-brane pairs in presence of a Z_2 orientifold. The orientifold theory is mathematically described by the double cover the base of the elliptic fibration. Such orientifold theories are characterized by a transition from a semi-stable singular fiber to an unstable one. In this paper, we describe the first example of a weak coupling limit in F-theory characterized by a transition to a non-Kodaira (and non-ADE) fiber. Inspired by string dualities, we obtain non-trivial topological relations connecting the elliptic fibration and the different loci that appear in its weak coupling limit. Mathematically, these are surprising relations relating the total Chern class of the D5 elliptic fibration and those of different loci that naturally appear in the weak coupling limit. We work in arbitrary dimension and our results don't assume the Calabi-Yau condition.

preprint2011arXiv

Generalized Cohomologies and Supersymmetry

We show that the complex cohomologies of Bott, Chern, and Aeppli and the symplectic cohomologies of Tseng and Yau arise in the context of type II string theory. Specifically, they can be used to count a subset of scalar moduli fields in Minkowski compactification with RR fluxes in the presence of either O5/D5 or O6/D6 brane sources, respectively. Further, we introduce a new set of cohomologies within the generalized complex geometry framework which interpolate between these known complex and symplectic cohomologies. The generalized complex cohomologies play the analogous role for counting massless fields for a general supersymmetric Minkowski type II compactification with Ramond-Ramond flux.

preprint2011arXiv

Immersed Lagrangian deformations of a branched covering of a special Lagrangian 3-sphere in a Calabi-Yau 3-fold and its deviation from Joyce's criteria: Potential image-support rigidity of A-branes that wrap around a sL $S^3$

Using a hyperKähler rotation on complex structures of a Calabi-Yau 2-fold and rolling of an isotropic 2-submanifold in a symplectic 6-manifold, we construct, by gluing, a natural family of immersed Lagrangian deformations of a branched covering of a special Lagrangian 3-sphere in a Calabi-Yau 3-fold and study how they deviate from being deformable to a family of special Lagrangian deformations by examining in detail Joyce's criteria on this family. The result suggests a potential image-support rigidity of A-branes that wrap around a special Lagrangian 3-sphere in a Calabi-Yau 3-fold, which resembles a similar phenomenon for holomorphic curves that wrap around a rigid smooth rational curve in a Calabi-Yau 3-fold in Gromov-Witten theory.

preprint2011arXiv

The Electromagnetic Christodoulou Memory Effect in Neutron Star Binary Mergers

Gravitational waves are predicted by the general theory of relativity. In [6] D. Christodoulou showed that gravitational waves have a nonlinear memory. We proved in [3] that the electromagnetic field contributes at highest order to the nonlinear memory effect of gravitational waves. In the present paper, we study this electromagnetic Christodoulou memory effect and compute it for binary neutron star mergers. These are typical sources of gravitational radiation. During these processes, not only mass and momenta are radiated away in form of gravitational waves, but also very strong magnetic fields are produced and radiated away. Thus the observed effect on test masses of a laser interferometer gravitational wave detector will be enlarged by the contribution of the electromagnetic field. Therefore, the present results are important for the planned experiments. Looking at the null asymptotics of spacetimes, which are solutions of the Einstein-Maxwell (EM) equations, we derived in [3] the electromagnetic Christodoulou memory effect. Moreover, our results allow to answer astro- physical questions, as the knowledge about the amount of energy radiated away in a neutron star binary merger enables us to gain information about the source of the gravitational waves.

preprint2011arXiv

Yukawa Couplings on Quintic Threefolds

We compute the particle spectrum and some of the Yukawa couplings for a family of heterotic compactifications on quintic threefolds X involving bundles that are deformations of TX+O_X. These are then related to the compactifications with torsion found recently by Li and Yau. We compute the spectrum and the Yukawa couplings for generic bundles on generic quintics, as well as for certain stable non-generic bundles on the special Dwork quintics. In all our computations we keep the dependence on the vector bundle moduli explicit. We also show that on any smooth quintic there exists a deformation of the bundle TX+O_X whose Kodaira-Spencer class obeys the Li-Yau non-degeneracy conditions and admits a non-vanishing triple pairing.

preprint2010arXiv

D-branes and Azumaya noncommutative geometry: From Polchinski to Grothendieck

We review first Azumaya geometry and D-branes in the realm of algebraic geometry along the line of Polchinski-Grothendieck Ansatz from our earlier work and then use it as background to introduce Azumaya $C^{\infty}$-manifolds with a fundamental module and morphisms therefrom to a projective complex manifold. This gives us a description of D-branes of A-type. Donaldson's picture of Lagrangian and special Lagrangian submanifolds as selected from the zero-locus of a moment map on a related space of maps can be merged into the setting. As a pedagogical toy model, we study D-branes of A-type in a Calabi-Yau torus. Simple as it is, it reveals several features of D-branes, including their assembling/disassembling. The 4th theme of Sec. 2.4, the 2nd theme of Sec. 4.2, and Sec. 4.3 are to be read respectively with Gómez-Sharpe (arXiv:hep-th/0008150), Donagi-Katz-Sharpe (arXiv:hep-th/0309270), and Denef (arXiv:hep-th/0107152). Some string-theoretical remarks are given at the end of each section.

preprint2010arXiv

D-branes of A-type, their deformations, and Morse cobordism of A-branes on Calabi-Yau 3-folds under a split attractor flow: Donaldson/Alexander-Hilden-Lozano-Montesinos-Thurston/Hurwitz/Denef-Joyce meeting Polchinski-Grothendieck

In [L-Y5] (D(6): arXiv:1003.1178 [math.SG]) we introduced the notion of Azumaya $C^{\infty}$-manifolds with a fundamental module and morphisms therefrom to a complex manifold. In the current sequel, we use this notion to give a prototypical definition of supersymmetric D-branes of A-type (i.e. A-branes) -- in an appropriate region of the Wilson's theory-space of string theory -- as special Lagrangian morphisms from such objects with a unitary, minimally flat connection-with-singularities. This merges Donaldson's picture of special Lagrangian submanifolds and the Polchinski-Grothendieck Ansatz for D-branes on a Calabi-Yau space. Basic phenomena of D-branes such as Higgsing/un-Higgsing and large- vs. small-brane wrapping can be realized via deformations of such morphisms. Classical results of Alexander, Hilden, Lozano, Montesinos, and Thurston suggest then a genus-like expansion of the path-integral of D3-branes. Similarly for D2-branes and M2-branes. In the last section, we use the technical results of Joyce on desingularizations of special Lagrangian submanifolds with conical singularities to explain how A-branes thus defined can be driven and re-assemble under a split attractor flow, as studied in an earlier work of Denef. This section is to be read with arXiv:hep-th/0107152 of Denef and arXiv:math.DG/0303272 of Joyce.

preprint2010arXiv

Evaluating quasilocal energy and solving optimal embedding equation at null infinity

We study the limit of quasilocal energy defined in [7] and [8] for a family of spacelike 2-surfaces approaching null infinity of an asymptotically flat spacetime. It is shown that Lorentzian symmetry is recovered and an energy-momentum 4-vector is obtained. In particular, the result is consistent with the Bondi-Sachs energy-momentum at a retarded time. The quasilocal mass in [7] and [8] is defined by minimizing quasilocal energy among admissible isometric embeddings and observers. The solvability of the Euler-Lagrange equation for this variational problem is also discussed in both the asymptotically flat and asymptotically null cases. Assuming analyticity, the equation can be solved and the solution is locally minimizing in all orders. In particular, this produces an optimal reference hypersurface in the Minkowski space for the spatial or null exterior region of an asymptotically flat spacetime.

preprint2010arXiv

Null Asymptotics of Solutions of the Einstein-Maxwell Equations in General Relativity and Gravitational Radiation

We prove that for spacetimes solving the Einstein-Maxwell (EM) equations, the electromagnetic field contributes at highest order to the nonlinear memory effect of gravitational waves. In [5] D. Christodoulou showed that gravitational waves have a nonlinear memory. He discussed how this effect can be measured as a permanent displacement of test masses in a laser interferometer gravitational wave detector. Christodoulou derived a precise formula for this permanent displacement in the Einstein vacuum (EV) case. We prove in Theorem 6 that for the EM equations this permanent displacement exhibits a term coming from the electromagnetic field. This term is at the same highest order as the purely gravitational term that governs the EV situation. On the other hand, in Chapter 3, we show that to leading order, the presence of the electromagnetic field does not change the instantaneous displacement of the test masses. Following the method introduced by D. Christodoulou in [5] and asymptotics derived by N. Zipser in [8] and [9], we investigate gravitational radiation at null infinity in spacetimes solving the EM equations. We study the Bondi mass loss formula at null infinity derived in [9]. We show that the mass loss formula from [9] is compatible with the one in Bondi coordinates obtained in [4]. And we observe that the presence of the electromagnetic field increases the total energy radiated to infinity up to leading order. Moreover, we compute the limit of the area radius at null infinity in Theorem 7.

preprint2008arXiv

A Rigorous Treatment of Energy Extraction from a Rotating Black Hole

The Cauchy problem is considered for the scalar wave equation in the Kerr geometry. We prove that by choosing a suitable wave packet as initial data, one can extract energy from the black hole, thereby putting supperradiance, the wave analogue of the Penrose process, into a rigorous mathematical framework. We quantify the maximal energy gain. We also compute the infinitesimal change of mass and angular momentum of the black hole, in agreement with Christodoulou's result for the Penrose process. The main mathematical tool is our previously derived integral representation of the wave propagator.

preprint2006arXiv

The Geometric Dual of a-maximisation for Toric Sasaki-Einstein Manifolds

We show that the Reeb vector, and hence in particular the volume, of a Sasaki-Einstein metric on the base of a toric Calabi-Yau cone of complex dimension n may be computed by minimising a function Z on R^n which depends only on the toric data that defines the singularity. In this way one can extract certain geometric information for a toric Sasaki-Einstein manifold without finding the metric explicitly. For complex dimension n=3 the Reeb vector and the volume correspond to the R-symmetry and the a central charge of the AdS/CFT dual superconformal field theory, respectively. We therefore interpret this extremal problem as the geometric dual of a-maximisation. We illustrate our results with some examples, including the Y^{p,q} singularities and the complex cone over the second del Pezzo surface.

preprint2003arXiv

The Long-Time Dynamics of Dirac Particles in the Kerr-Newman Black Hole Geometry

We consider the Cauchy problem for the massive Dirac equation in the non-extreme Kerr-Newman geometry outside the event horizon. We derive an integral representation for the Dirac propagator involving the solutions of the ODEs which arise in Chandrasekhar's separation of variables. It is proved that for initial data in L^\infty_loc near the event horizon with L^2 decay at infinity, the probability of the Dirac particle to be in any compact region of space tends to zero as t goes to infinity. This means that the Dirac particle must either disappear in the black hole or escape to infinity.

preprint2002arXiv

Absence of Static, Spherically Symmetric Black Hole Solutions for Einstein-Dirac-Yang/Mills Equations with Complete Fermion Shells

We study a static, spherically symmetric system of (2j+1) massive Dirac particles, each having angular momentum j, j=1,2,..., in a classical gravitational and SU(2) Yang-Mills field. We show that for any black hole solution of the associated Einstein-Dirac-Yang/Mills equations, the spinors must vanish identically outside of the event horizon.

preprint2000arXiv

Non-Existence of Time-Periodic Solutions of the Dirac Equation in an Axisymmetric Black Hole Geometry

We prove that, in the non-extreme Kerr-Newman black hole geometry, the Dirac equation has no normalizable, time-periodic solutions. A key tool is Chandrasekhar's separation of the Dirac equation in this geometry. A similar non-existence theorem is established in a more general class of stationary, axisymmetric metrics in which the Dirac equation is known to be separable. These results indicate that, in contrast with the classical situation of massive particle orbits, a quantum mechanical Dirac particle must either disappear into the black hole or escape to infinity.

preprint2000arXiv

The Interaction of Dirac Particles with Non-Abelian Gauge Fields and Gravity - Black Holes

We consider a static, spherically symmetric system of a Dirac particle in a classical gravitational and SU(2) Yang-Mills field. We prove that the only black-hole solutions of the corresponding Einstein-Dirac-Yang/Mills equations are the Bartnik-McKinnon black-hole solutions of the SU(2) Einstein-Yang/Mills equations; thus the spinors must vanish identically. This indicates that the Dirac particles must either disappear into the black-hole or escape to infinity.

preprint2000arXiv

The Interaction of Dirac Particles with Non-Abelian Gauge Fields and Gravity - Bound States

We consider a spherically symmetric, static system of a Dirac particle interacting with classical gravity and an SU(2) Yang-Mills field. The corresponding Einstein-Dirac-Yang/Mills equations are derived. Using numerical methods, we find different types of soliton-like solutions of these equations and discuss their properties. Some of these solutions are stable even for arbitrarily weak gravitational coupling.

preprint1999arXiv

Particle-Like Solutions of the Einstein-Dirac Equations

The coupled Einstein-Dirac equations for a static, spherically symmetric system of two fermions in a singlet spinor state are derived. Using numerical methods, we construct an infinite number of soliton-like solutions of these equations. The stability of the solutions is analyzed. For weak coupling (i.e., small rest mass of the fermions), all the solutions are linearly stable (with respect to spherically symmetric perturbations), whereas for stronger coupling, both stable and unstable solutions exist. For the physical interpretation, we discuss how the energy of the fermions and the (ADM) mass behave as functions of the rest mass of the fermions. Although gravitation is not renormalizable, our solutions of the Einstein-Dirac equations are regular and well-behaved even for strong coupling.

preprint1999arXiv

Particle-Like Solutions of the Einstein-Dirac-Maxwell Equations

We consider the coupled Einstein-Dirac-Maxwell equations for a static, spherically symmetric system of two fermions in a singlet spinor state. Soliton-like solutions are constructed numerically. The stability and the properties of the ground state solutions are discussed for different values of the electromagnetic coupling constant. We find solutions even when the electromagnetic coupling is so strong that the total interaction is repulsive in the Newtonian limit. Our solutions are regular and well-behaved; this shows that the combined electromagnetic and gravitational self-interaction of the Dirac particles is finite.

preprint1995arXiv

Mirror Maps, Modular Relations and Hypergeometric Series I

Motivated by the recent work of Kachru-Vafa in string theory, we study in Part A of this paper, certain identities involving modular forms, hypergeometric series, and more generally series solutions to Fuchsian equations. The identity which arises in string theory is the simpliest of its kind. There are nontrivial generalizations of the identity which appear new. We give many such examples -- all of which arise in mirror symmetry for algebraic K3 surfaces. In Part B, we study the integrality property of certain $q$-series, known as mirror maps, which arise in mirror symmetry.