Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
67works
0followers
25topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

67 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

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.

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

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.

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

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.

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.

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

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.