Searcharxiv⌕ Search

arXiv subjects

Shing-Tung Yau

Publications and source records attributed to Shing-Tung Yau.

At least 145 records · Page 8Linked to original sources

Evolution of angular momentum and center of mass at null infinity

We study how conserved quantities such as angular momentum and center of mass evolve with respect to the retarded time at null infinity, which is described in terms of a Bondi-Sachs coordinate system. These evolution formulae complement the classical Bondi mass loss formula for gravitational radiation. They are further expressed in terms of the potentials of the shear and news tensors. The consequences that follow from these formulae are (1) Supertranslation invariance of the fluxes of the CWY conserved quantities. (2) A conservation law of angular momentum à la Christodoulou. (3) A duality paradigm for null infinity. In particular, the supertranslation invariance distinguishes the CWY angular momentum and center of mass from the classical definitions.

gr-qc↗

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.

gr-qc↗

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.

hep-th↗

On Deformations of Fano Manifolds

In this paper we provide new necessary and sufficient conditions for the existence of Kähler-Einstein metrics on small deformations of a Fano Kähler-Einstein manifold. We also show that the Weil-Petersson metric can be approximated by the Ricci curvatures of the canonical $L^2$ metrics on the direct image bundles. In addition, we describe the plurisubharmonicity of the energy functional of harmonic maps on the Kuranishi space of the deformation of compact Kähler-Einstein manifolds of general type.

math.DG↗

Torsion of digraphs and path complexes

We define the notions of Reidemeister torsion and analytic torsion for directed graphs by means of the path homology theory introduced by the authors in \cite{Grigoryan-Lin-Muranov-Yau2013, Grigoryan-Lin-Muranov-Yau2014, Grigoryan-Lin-Muranov-Yau2015, Grigoryan-Lin-Muranov-Yau2020}. We prove the identity of the two notions of torsions as well as obtain formulas for torsions of Cartesian products and joins of digraphs.

math.CO↗

Mirror symmetry for double cover Calabi--Yau varieties

The presented paper is a continuation of the series of papers arXiv:1810.00606 and arXiv:1903.09373. In this paper, utilizing Batyrev and Borisov's duality construction on nef-partitions, we generalize the recipe in arXiv:1810.00606 and arXiv:1903.09373 to construct a pair of singular double cover Calabi--Yau varieties $(Y,Y^{\vee})$ over toric manifolds and compute their topological Euler characteristics and Hodge numbers. In the $3$-dimensional cases, we show that $(Y,Y^{\vee})$ forms a topological mirror pair, i.e., $h^{p,q}(Y)=h^{3-p,q}(Y^{\vee})$ for all $p,q$.

math.AG↗

On the Sum of Ricci-Curvatures for Weighted Graphs

In this paper, we generalize Lin-Lu-Yau's Ricci curvature to weighted graphs and give a simple limit-free definition. We prove two extremal results on the sum of Ricci curvatures for weighted graph. A weighted graph $G=(V,E,d)$ is an undirected graph $G=(V,E)$ associated with a distance function $d\colon E\to [0,\infty)$. By redefining the weights if possible, without loss of generality, we assume that the shortest weighted distance between $u$ and $v$ is exactly $d(u,v)$ for any edge $uv$. Now consider a random walk whose transitive probability from an vertex $u$ to its neighbor $v$ (a jump move along the edge $uv$) is proportional to $w_{uv}:=F(d(u,v))/d(u,v)$ for some given function $F(\bullet)$. We first generalize Lin-Lu-Yau's Ricci curvature definition to this weighted graph and give a simple limit-free representation of $κ(x, y)$ using a so called $\ast$-coupling functions. The total curvature $K(G)$ is defined to be the sum of Ricci curvatures over all edges of $G$. We proved the following theorems: if $F(\bullet)$ is a decreasing function, then $K(G)\geq 2|V| -2|E|$; if $F(\bullet)$ is an increasing function, then $K(G)\leq 2|V| -2|E|$. Both equalities hold if and only if $d$ is a constant function plus the girth is at least $6$. In particular, these imply a Gauss-Bonnet theorem for (unweighted) graphs with girth at least $6$, where the graph Ricci curvature is defined geometrically in terms of optimal transport.

math.CO↗

Non-Abelian Gauged Fracton Matter Field Theory: New Sigma Models, Superfluids and Vortices

By gauging a higher-moment polynomial degree global symmetry and a discrete charge conjugation (i.e., particle-hole) symmetry coupled to matter fields (two symmetries mutually non-commutative), we derive a new class of higher-rank tensor non-abelian gauge field theory with dynamically gauged fractonic matter fields: Non-abelian gauged fractons interact with a hybrid class of higher-rank (symmetric or generic non-symmetric) tensor gauge theory and anti-symmetric tensor topological field theory, generalizing [arXiv:1909.13879, 1911.01804]. We also apply a quantum phase transition similar to that between insulator v.s. superfluid/superconductivity (U(1) symmetry disordered phase described by a topological gauge theory or a disordered Sigma model v.s. U(1) global/gauge symmetry-breaking ordered phase described by a Sigma model with a U(1) target space underlying Goldstone modes): We can regard our tensor gauge theories as disordered phases, and we transient to their new ordered phases by deriving new Sigma models in continuum field theories. While one low energy theory is captured by degrees of freedom of rotor or scalar modes, another side of low energy theory has vortices and superfluids -- we explore non-abelian vortices (two types of vortices mutually interacting non-commutatively beyond an ordinary group structure) and their Cauchy-Riemann relation.

cond-mat.str-el↗

Positive Scalar Curvature on Noncompact Manifolds and the Liouville Theorem

Using minimal hypersurfaces, we obtain topological obstructions to admitting complete metrics with positive scalar curvature on a given class of non-compact n-manifolds with n less than 8. We show that the Liouville theorem for a locally conformally flat n-manifold of non-negative scalar curvature follows from the impossibility of there being a positive scalar curvature metric on its connect sum with the n-torus. With the recent work of Chodosh-Li, the Liouville theorem is now proved in all remaining cases. Finally, using MOTS instead of minimal hypersurfaces, we show an Initial Data Set version of these results with the Dominant Energy Scalar appearing instead of positive scalar curvature.

math.DG↗

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.

math.DG↗

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.

math.DG↗

Quasi-Local Mass near the Singularity, the Event Horizon and the Null Infinity of Black Hole Spacetimes

The behaviour of geometric quantities close to geometric pathologies of a spacetime is relevant to deduce the physical behaviour of the system. In this work, we compute the quasi-local mass quantities - the Hawking mass, the Brown-York mass and the Liu-Yau mass in the maximal extensions of the spherically symmetric solutions of the Einstein equations inside the black hole region, at the singularity, the event horizon, and the null infinity, in the limiting sense of a geometric flow.

gr-qc↗

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.

math.CO↗

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

math.AG↗

Global stability of spacetimes with supersymmetric compactifications

This paper proves the stability, with respect to the evolution determined by the vacuum Einstein equations, of the Cartesian product of high-dimensional Minkowski space with a compact, Ricci-flat Riemannian manifold that admits a spin structure and a nonzero parallel spinor. Such a product includes the example of Calabi-Yau and other special holonomy compactifications, which play a central role in supergravity and string theory. The stability proved in this paper provides a counter example to an instability argument by Penrose.

math.AP↗

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

math.DG↗

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.

math.AG↗

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.

math.DG↗