arXiv subjects

Shing-Tung Yau

Publications and source records attributed to Shing-Tung Yau.

At least 19 recordsLinked to original sources

arXiv2026

Positive Sectional Curvature on All Smooth 7-spheres

We construct a smooth Riemannian metric with strictly positive sectional curvature on every smooth homotopy seven-sphere. For each smooth structure, we construct positively curved metrics on two seven-dimensional disks whose induced boundary metrics agree under the prescribed attaching map. Under this identification, a gluing theorem then yields the required smooth metric on the closed manifold. The construction applies to all 28 oriented diffeomorphism classes.

math.DG↗

arXiv2026

Tropicalization of super Gromov-Witten invariants

We show that genus-0, $n$ Neveu-Schwarz marked, super Gromov-Witten invariants of a convex, toric variety $X$ can be defined and computed using tropical geometry. When $X$ is a point, the tropical, super Gromov-Witten invariants of $X$ are descendant invariants on the moduli space of tropical curves. When $X$ is a general convex, toric variety, we define a procedure that computes the tropical, inverse Euler class of the SUSY normal bundle $\overline{N}_{n, β} \rightarrow \overline{\mathcal{M}}_{0,n}(X, β)$, under the assumption that $\overline{N}_{n, β}$ is in some sense locally tropicalizable. We define the tropical, genus-0, $n$ Neveu-Schwarz marked, super Gromov-Witten invariants of $X$, and show that the definition recovers the tropical, super Gromov-Witten invariants of a point. We compute a tropical, super Gromov-Witten invariant of $\mathbb{P}^1$.

math.AG↗

arXiv2026

The SMG-Yau-Yau Filter and Lossless Data Assimilation: Resolving Infinite Lie Algebras via Statistical Fiber Theory

Classical continuous-time non-linear filtering fails in generic non-linear state spaces due to an infinite Lie algebraic derivative explosion ($\dim(\mathcal{E}) = \infty$), leading to filter divergence. To resolve this four-decade crisis, we introduce the SMG-Yau-Yau filter and lossless data assimilation framework built on Statistical Fiber Theory over an Orlicz manifold $\mathcal{M}$. By equipping $\mathcal{M}$ with a Riemannian submersion and an Ehresmann connection, the unconstrained Duncan-Mortensen-Zakai score velocity field is orthogonally decomposed into Statistically Verifiable Directions ($\text{SVD}χ_f$) and Structural Internal Directions ($\text{SID}_f$). System non-linearities and unclosed Lie commutators are orthogonally quarantined in $\text{SID}_f$, protecting macroscopic base parameters from spatial derivative pollution while preserving total score variance energy. We unify the asymptotics through a Dual-Axis Collapse Mechanism: proving our model identically recovers classical Yau-Yau dynamics when $\dim(\mathcal{E}) < \infty$, while large-sample limits ($N \to \infty$) induce a thermodynamic quench that flattens infinite-dimensional geometry under $\dim(\mathcal{E}) = \infty$. Finally, we formulate the Active Acausal Tension (AAT) functional to monitor accumulated model misspecification online. Exceeding a topological capacity threshold triggers Gauge Symmetry Breaking (GSB), which dynamically expands base coordinates ($d \to d+1$) to ensure non-asymptotic stability and convergence to the exact state density.

stat.ME↗

arXiv2026

Divisorial Rigidity and Regularity of Boundary Cases for the Supercritical LYZ Equation

We study the supercritical LYZ equation on compact Kähler manifolds at the boundary of stability. Under numerical semistability, we prove a quantitative positivity estimate on the modified nef cone. It implies that the destabilizing prime divisors form a finite exceptional family. Assuming the existence of a smooth semisubsolution, we prove that the associated intersection form is negative definite on the span of classes of these divisors. Using this rigidity, we then construct a logarithmic singular subsolution along their union and obtain a bounded Bedford--Taylor solution which is smooth on its complement.

math.DG↗

arXiv2026

Signed GLMY Homology of Signed Graphs via Double Covers

We define a signed GLMY chain complex over $\mathbb{R}$ for signed digraphs using sheet-labelled regular paths. The complex is naturally isomorphic to the deck anti-invariant subcomplex of the ordinary GLMY complex on the signed double cover. The double-cover realization yields switching invariance and recovers ordinary GLMY homology for switching-balanced signings. Bidirected completion gives an orientation-independent homology theory for signed graphs. For a signed graph, the zero-dimensional homology identifies with the kernel of the signed Laplacian and has dimension equal to the number of balanced connected components. Signed GLMY homology is functorial under signed weak morphisms, which combine vertex maps with switching functions and allow compatible arrow contractions. For signed digraphs, the all-positive reduction retains the orientation sensitivity of ordinary GLMY homology, while explicit computations show additional sensitivity to the arrow signs. For a fixed digraph with five vertices and nine arrows, we classify all 512 arrow signings and obtain exactly four signed Betti vectors. Precisely 16 signings have nonzero second signed GLMY homology.

math.AT↗

arXiv2026

Compact Proof of the Positivity of Quasi-Local Masses for a class of Initial Data

We prove a purely quasi-local positivity theorem for the Wang--Yau mass for a class of initial data whose Jang deformation, after a boundary-preserving conformal reduction to zero scalar curvature, lies in a sufficiently small transverse--traceless (TT) perturbative neighborhood of a strictly convex Euclidean fill-in.We explicitly construct a nontrivial class of physical initial data whose admissible Jang reductions realize this TT-generated sector. The argument reduces the Wang--Yau energy to the Brown--York mass of the resulting scalar-flat compact metric, together with nonnegative bulk terms determined by the Jang deformation, and establishes strict positivity by computing the second variation of the Brown--York functional at the Euclidean metric in transverse--traceless directions. The proof is entirely confined to the compact fill-in and uses neither an asymptotically flat extension nor the positive mass theorem. This gives a partial answer to a question of R. Schoen concerning a genuinely quasi-local proof of positivity for quasi-local mass.

math.DG↗

arXiv2026

On Compact Hermitian Surfaces With Positive Strominger-Bismut Sectional Curvature

In an earlier work, Yau and Zheng proposed a Hermitian analogue of a weak form of the Frankel conjecture, which states that any compact Hermitian manifold with positive Strominger-Bismut sectional curvature must be biholomorphic to the complex projective space. In this article, we confirm the conjecture in complex dimension two. This is achieved by a vanishing theorem for anti-self-dual harmonic 2-forms on such surfaces, utilizing a curvature decomposition formula by Ferreira and a refined Kato inequality.

math.DG↗

arXiv2026

The discrete homotopy hypothesis for directed graphs

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also known as $A$-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups yields an $\infty$-category, denoted by ${\sf DGra}_\infty$. We prove that ${\sf DGra}_\infty$ is equivalent to the $\infty$-category of spaces, establishing a directed version of the discrete homotopy hypothesis of Carranza and Kapulkin.

math.AT↗

arXiv2026

Orthogonal complex structures on flat tori

We classify compact Hermitian manifolds with flat Levi-Civita connection. This is equivalent to the classification of all orthogonal complex structures on flat tori. It generalized the work of Khan, Yang, and Zheng in 2017 where they solved the case in complex dimension three.

math.DG↗

arXiv2026

The prescribed Hermitian-Yang-Mills flow I

In this paper, we introduce a broad class of flows, including the prescribed Hermitian-Yang-Mills flow: $$\frac{\partial h}{\partial t}=-Λ_{ω_g}\left(\sqrt{-1} R^h\right)+P$$ where $P\inΓ(M,E^*\otimes\bar{E}^*)$ is a prescribed Hermitian tensor associated with a holomorphic vector bundle $E$ over a Kähler (or Hermitian) manifold $(M,ω_g)$. We establish the long-time convergence of the flow to a limiting metric $h_{\infty}$ and use it to solve the prescribed Hermitian-Yang-Mills tensor equation $$Λ_{ω_g}\left(\sqrt{-1} R^{h_\infty}\right)=P, $$ for a general class of prescribed Hermitian tensors $P$. The crucial uniform $C^0$-estimate of $\{h(t)\}$ along the flow is obtained via a parabolic comparison principle.

math.DG↗

arXiv2026

Algebra of Path Integrals on Digraphs

In this paper, we extend the iterated path integrals from smooth manifolds to digraphs and develop the associated algebraic and geometric structures. Iterated path integrals on a digraph naturally give rise to the iterated path algebra and the iterated loop algebra, both defined as quotient algebras of a shuffle algebra, with the latter carrying a canonical Hopf algebra structure. We construct a non-degenerate pairing between elementarily equivalent classes of loops on a digraph and the iterated loop algebra. By restricting to iterated path integrals that are invariant under $C_\partial$-homotopy, a distinguished subalgebra is obtained which, under this pairing, corresponds to the group algebra of the fundamental group. We further show that this subalgebra is a homotopy invariant and forms a Hopf algebra with involutive antipode.

math.AT↗

arXiv2026

Boundary-Geometry-Driven Black Hole Formation in Vacuum

We identify a boundary-geometry-driven mechanism for the dynamical formation of marginally outer trapped surfaces (MOTSs) in vacuum general relativity. Mild three-dimensional anisotropies evolve inside a compact Cauchy domain whose effective isotropic thickness remains controlled, while the generalized boundary mean curvature can increase during either contracting or expanding boundary evolution. This drives the boundary across Yau's geometric threshold, forcing MOTS formation from initially untrapped data. We further interpret the characteristic shear construction of Ref.~\cite{MondalYau2026} as the null manifestation of the same anisotropic vacuum dynamics. The result provides a purely vacuum physical realization of MOTS formation through global geometric effects, without invoking a short-pulse concentration mechanism for gravitational radiation.

gr-qc↗

arXiv2026

A Sharp Curvature Threshold for GLMY Path Homology

Let $G$ be a finite simple graph with at least one edge. We prove the sharp vanishing theorem \[ κ_{\min}^{\mathrm{LLY}}(G)>\frac12 \quad\Longrightarrow\quad \PathH_1(G;\R)=0. \] Equivalently, nonzero first GLMY path homology forces an edge of Lin--Lu--Yau curvature at most $1/2$. The threshold $1/2$ is sharp and is attained by $C_5$. The proof combines the cycle-space description of first GLMY path homology with the limit-free Laplacian characterization of Lin--Lu--Yau curvature. As a secondary consequence of the curvature-preserving universal-cover method, we prove that if $G$ is connected and $κ_{\min}^{\mathrm{LLY}}(G)>0$, then $π_1(\Xshort{5}(G),o)$ is finite, where $\Xshort{5}(G)$ is obtained by filling every simple cycle of length at most five. Equivalently, the normal subgroup generated by based simple $5$-cycle loops has finite index in $π_1^{\mathrm{GLMY}}(G,o)$. In higher degrees the situation is different: for each integer $r\geq1$, the Cartesian product $T_r=C_5^{\square r}$ has curvature $1/(2r)$ on every edge and, for every field $\F$, \[ \PathH_p(T_r;\F)\cong\F^{\binom rp}\qquad(0\leq p\leq r), \] so strict positivity of Lin--Lu--Yau curvature does not force higher-dimensional GLMY path homology to vanish.

math.AT↗

arXiv2026

Information Geometry (IG) Lives at Edge or Boundary of SMG (statistically meaningful geometry): - the First Edge Theorem and Applications

Statistically Meaningful Geometry (SMG) is a differential-geometric and information-theoretic framework that lifts over-parameterized models into infinite-dimensional non-parametric Orlicz statistical fiber bundles with an Ehresmann connection, decoupling unobservable vertical gauge noise from horizontal statistically verifiable directions. We prove the First Edge Theorem: Amari's information geometry (IG) and conventional statistics (CS) are not autonomous statistical universes but degenerate boundary layers of the larger gauge-active SMG space. Taking the structural identifiability radius $R\to\infty$ breaks gauge symmetry, collapses vertical fibers, and forces the total space onto the IG manifold; subsequent local asymptotic normality as $N\to\infty$ flattens the remaining curvature, yielding \[ \mathrm{SMG}\xrightarrow{\;R\to\infty\;}\mathrm{IG}\xrightarrow{\;N\to\infty\;}\mathrm{CS}. \] The same fiber-bundle machinery transforms model non-identifiability from a singular collapse into a structured gauge space. Applications include resolving the deep-learning generalization paradox, constructing gauge-invariant gradient descent and holonomy-matched preference alignment for generative AI, and solving weak identification in structural econometrics via intrinsic horizontal geodesic search.

math.GM↗

arXiv2026

The Second Edge Theorem: The Asymptotic Collapse of Sample-Dependent Information Geometry to the Canonical Flat Canvas of Conventional Statistics in Large Sample Limits

This paper establishes the global proof of the Second Edge Theorem: as sample size tends to infinity, sample-dependent information-geometric manifolds---formed by the parameter space, sample-scaled Fisher metric, and dual alpha-connections---undergo metric-topological collapse onto the flat tangent space of Conventional Statistics at the true parameter. We first prove a universal tensor valence scaling law, under which tensor fields of valence one through four degenerate at rates determined by sample size. Score fluctuations stabilize, the Fisher metric freezes to its true-parameter value, affine connections dissolve, and Riemann curvature is annihilated. We then bridge geometric collapse with statistical decision theory, showing that Cheeger--Gromov flattening and Le Cam risk condensation are dual projections of the same asymptotic phase transition. A Fisher-compatible Ehresmann connection extends these results to over-parameterized and singular models, yielding horizontal leaf-space collapse and uniform local asymptotic normality. Unifying the First and Second Edge Theorems yields a nested dual-edge hierarchy: Conventional Statistics is the boundary of Information Geometry, which is itself the boundary of Statistical Mechanics and Geometry. Thus, Conventional Statistics is not a heuristic approximation but the unique zero-curvature thermodynamic attractor of regular parametric information manifolds. This redefines modern statistics as a dynamic non-equilibrium field theory of finite-sample fluctuations, phase transitions, and gauge-invariant interactions.

math.GM↗

arXiv2026

FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature $-$ Toward the Formalization of the Classification of Finite Simple Groups

Large-scale formalization of advanced mathematics requires more than translating individual statements: it must reconstruct a coherent theory distributed across heterogeneous sources. This process raises four challenges: discovering implicit dependencies, correcting source defects, preserving semantic fidelity, and reconciling cross-source misalignments. We present FormaTheoria, an end-to-end, AI-assisted workflow that coordinates source acquisition, formalization, proof construction, recursive dependency discovery, independent review, and reconciliation, while preserving provenance and protecting approved declarations. A shared agent framework supports long-horizon execution through tool use, context compaction, review-gated termination, section-level source context, and dependency-aware batch parallelization. Applying FormaTheoria to major components of the Classification of Finite Simple Groups (CFSG), we construct a machine-checked Lean development extending through the Bender--Suzuki theorem and encompassing the Feit--Thompson Odd Order Theorem, Glauberman's $Z^*$ theorem, and the Brauer--Suzuki theorem. This development verifies an extensive body of deeply interdependent finite-group theory while providing a foundation for continuing the CFSG formalization. An empirical analysis of the code and recorded construction process supports the practical relevance of the identified challenges and illustrates the roles of the corresponding workflow components. Together, these results demonstrate how AI-assisted workflows can reconstruct mathematically significant formal theories from distributed literature by combining language-model agents with formal verification, structured review, and explicit dependency management.

cs.LO↗

arXiv2026

Formation of trapped surfaces for the spherically symmetric Einstein-Yang-Mills system with non-trivial incoming data

We establish a trapped surface formation theorem for the spherically symmetric Einstein Yang Mills equations in a double-null gauge. The theorem concerns characteristic initial data posed on a pair of transversely intersecting null hypersurfaces and allows nontrivial incoming data. The proof extends the singular characteristic method of An and Lim for the Einstein Maxwell Charged Scalar Field System to the non-abelian Yang Mills setting, where the curvature coupling and gauge field nonlinearities introduce new structural difficulties. This paper constitutes the first part of a program toward weak cosmic censorship for the Einstein Yang Mills system.

gr-qc↗

arXiv2026

Volume Stability for Hyperbolic Manifolds and Applications to General Relativity

We prove a sharp volume-stability theorem for closed hyperbolic three-manifolds. Let $(M,h)$ be closed hyperbolic with $\operatorname{Ric}_h=-2h$, and let $g_i$ be smooth metrics on $M$ satisfying $R(g_i)\geq -6, \operatorname{Vol}_{g_i}(M)\longrightarrow \operatorname{Vol}_h(M)$. After passing to a subsequence, there exist $Z_i\subset M$, smooth domains $K_i\subset M$, and diffeomorphisms $ψ_i:K_i\longrightarrow M\setminus Z_i $ such that $\operatorname{Vol}_{g_i}(Z_i)\longrightarrow0, \operatorname{Vol}_h(M\setminus K_i)\longrightarrow0, $ and $ \|ψ_i^*g_i-h\|_{C^0(K_i,h)}\longrightarrow0. $ Thus near-equality in the sharp hyperbolic volume bound forces tensorial $C^0$-convergence to the hyperbolic metric outside regions of vanishing volume. As an application, we establish stability of the Fischer--Moncrief reduced Hamiltonian at the Lorentz-cone ground state: after CMC normalization, near-minimizing compact vacuum data in the hyperbolic topological class converge, modulo sets of vanishing volume, to the hyperbolic Lorentz-cone geometry in tensorial $C^0$. This provides a rigorous volume-dominance formulation of the Fischer--Moncrief asymptotic picture.

math.DG↗