Paper generalizes a theorem for real analytic singularities.
problem No specific problem stated; focuses on generalization.
method Generalization of a theorem for complex singularities.
result Generalized Join theorem for real analytic singularities.
Proves positive mass theorem for AF spin manifolds with conical singularities.
problem Proving the positive mass theorem for singular metrics on AF manifolds.
method Analyzes AF spin manifolds with isolated conical singularities, allowing topological singularities.
result Proves the positive mass theorem for AF spin manifolds with conical singularities.
Study on singular twisted links and virtual braids, extending knot theory concepts.
problem Extending knot theory concepts to singular twisted links and virtual braids.
method Definition and analysis of singular twisted virtual braids and their monoid structure.
result Presentation of monoid and reduced monoid for singular twisted virtual braids.
Proves curvature comparison theorem for manifolds with conical singularities.
problem Comparing scalar mean curvature of manifolds with conical singularities.
method Uses Dirac operator and index theory to prove curvature comparison theorem.
result Proves curvature comparison theorem without knowing the index of the twisted Dirac operator.
The Poincaré-Hopf theorem is extended to projective varieties with isolated singularities.
problem Extending the Poincaré-Hopf theorem to projective varieties with isolated singularities.
method Using generalized Poincaré-Hopf indices for a projective variety with isolated determinantal singularities.
result A Poincaré-Hopf type theorem is proven for projective varieties with isolated singularities.
Proves effective positive mass theorem for AF manifolds and singular spaces.
problem Proves positive mass theorem for AF manifolds with singularities.
method Dimension reduction techniques, bypassing N. Smale's regularity theorem.
result Effective positive mass theorem for AF manifolds of dimension n≤8 with singularities. The Poincaré-Hopf theorem is extended to projective varieties with isolated singularities.
problem Extending the Poincaré-Hopf theorem to varieties with isolated singularities.
method Using generalizations of the Poincaré-Hopf index.
result A Poincaré-Hopf type theorem for projective varieties with isolated singularities.
Optimal L2 extension theorem for holomorphic vector bundles with singular metrics.
problem Establishing conditions for optimal L2 extension in complex geometry.
method Analyzing singular Nakano positivity and applying L2 extension theorem.
result Necessary condition for equality in optimal L2 extension theorem.
Extends Serre-Swan theorem to all finitely generated modules over smooth functions.
problem Classical Serre-Swan theorem limitations.
method Introduces tepui fibrations and singular vector bundles.
result Realizes all finitely generated modules over smooth functions.
We study a singular Hermitian metric of a vector bundle. First, we prove the sheaf of locally square integrable holomorphic sections of a vector bundle with a singular Hermitian metric, which is a higher rank analogy of a multiplier ideal sheaf, is coherent under some assumptions. Second, we prove a Nadel-Nakano type v…
Proves mass theorem for AF manifolds with conical singularities.
problem Proving the positive mass theorem for specific types of manifolds.
method Conformal blow up technique applied to AF manifolds with isolated conical singularities.
result Positive mass theorem proven for the specified manifolds.
Theorem proves minimal hypersurfaces in nonnegative scalar curvature manifolds are smooth.
problem Minimal hypersurfaces with singularities in manifolds of nonnegative scalar curvature.
method Singularity removal rigidity theorems, spectral PMT for AF manifolds.
result Smoothness of minimal hypersurfaces in nonnegative scalar curvature manifolds.
In this paper we prove a local removable singularity theorem for certain minimal laminations with isolated singularities in a Riemannian three-manifold. This removable singularity theorem is the key result used in our proof that a complete, embedded minimal surface in R3 with quadratic decay of curvature ha…
Proves Riemannian positive mass theorem with singularities.
problem Proves Riemannian positive mass theorem for specific types of singular manifolds.
method Uses initial data sets with a second fundamental form to transfer convexity between different singularity components.
result Proves the theorem for manifolds with some mean-concave components and others mean-convex.
Extended Vaisman theorem to compact spaces with singularities.
problem Generalizing Vaisman's theorem to spaces with singularities.
method Extended Vaisman's theorem to compact complex spaces with singularities.
result Vaisman's theorem extended to compact spaces with singularities.
The paper proves approximation and interpolation theorems for maxfaces with singularities.
problem Proving approximation and interpolation theorems for maxfaces with singularities.
method Surveying and applying Enneper--Weierstrass representation formula methods to maxfaces, incorporating singularity criteria.
result Existence of maxfaces with prescribed singularities and maxfaces with dense image singular set.
The paper proves a Hawking-type singularity theorem using worldvolume quantum strong energy inequalities.
problem Improving classical singularity theorems with weakened energy conditions.
method Integral Ricci curvature bounds based on worldvolume quantum strong energy inequalities.
result Past geodesic incompleteness proven in cosmological scenarios.
The paper defines positivity for singular metrics on vector bundles and proves related theorems.
problem Positivity of singular Hermitian metrics for holomorphic vector bundles.
method The method of Berndtsson and Lempert, along with a Berndtsson-type positivity theorem for holomorphic vector bundles.
result Sharp L2 extension theorem for holomorphic vector bundles. Refined theorem on linear perturbations with applications in singularity theory and optimization.
problem Linear perturbations and their implications in singularity theory and optimization.
method New perspective of Hausdorff measures for refined transversality theorem.
result Applications in singularity theory and optimization.
Study D4−-front singularities, compute invariants, and derive a Gauss-Bonnet theorem.
problem Characterize and analyze D4−-front singularities in 3D space. method Develop coordinate transformations and isometries, compute differential invariants.
result Derive a Gauss-Bonnet type theorem for D4−-fronts. A singularity theorem based on asymptotic volume growth
problem Proving singularity theorems
method Introducing asymptotic volume-expansion invariants
result Proving an explicit upper bound on the time-separation from a hypersurface to its chronological past
Lean 4 formalizes Stokes' theorem for smooth singular cubes.
problem Formalizing Stokes' theorem for singular cubes in arbitrary dimensions.
method Using true differential-form pullback via Frechet derivative, bridging to mathlib4's extDeriv.
result d^2=0 for singular cubical chains, chain-level Stokes extended.
The paper defines singular evolutoids and uses them to derive an integral equality.
problem Understanding singular points of evolutoids of smooth curves.
method Application of the Gauss-Bonnet Theorem to the extended front of evolutoids.
result Integral equality for smooth periodic curves derived from evolutoids.
The paper proves rigidity theorems for Type II singularities in Lagrangian flows.
problem Understanding Type II singularities in Lagrangian flows with zero Maslov class.
method Rigidity theorems for blow-up limits of Type II singularities.
result Generalized previous results from 2D to arbitrary dimensions.
We prove an excision theorem for the singular instanton Floer homology that allows the excision surfaces to intersect the singular locus. This is an extension of the non-singular excision theorem by Kronheimer and Mrowka and the genus-zero singular excision theorem by Street. We use the singular excision theorem to def…
Tian's theorem applies to Moishezon spaces with singular metrics.
problem Distribution of currents on Moishezon spaces with singular metrics.
method Proving asymptotic distribution of Fubini-Study currents.
result Curvature currents of metrics on singular Hermitian line bundles.
Poincaré-Hopf theorem extended to Filippov vector fields on 2D manifolds.
problem Extending Poincaré-Hopf theorem to Filippov vector fields.
method Introducing new index definition for Filippov vector fields, including singularities.
result Established a variant of Hairy Ball Theorem for Filippov vector fields.
Study rigidity in Penrose's singularity theorem with weakly trapped surfaces.
problem Understand the global structure of spacetimes with weakly trapped surfaces.
method Show foliation of MOTS generating totally geodesic null hypersurfaces.
result Obtain local or global rigidity results based on assumptions.
The Positive Mass Theorem for special singular initial data.
problem Proving the positive mass theorem for data with a codimension one singularity.
method Using asymptotically flat spin initial data sets with matching Bartnik data condition involving spacetime rotations.
result Established a spacetime positive mass theorem and rigidity statement.
The article proves Lie's third theorem for Lie algebroids via singular Lie groupoids.
problem Lie's third theorem does not hold for Lie groupoids and Lie algebroids.
method Introducing a subcategory of diffeological spaces called quasi-etale, constructing a functor mapping singular Lie groupoids to Lie algebroids.
result Lie's third theorem is valid for Lie algebroids within the context of singular Lie groupoids.
Proof of complex geometry theorem for specific singular spaces.
problem Proving a complex geometry theorem for a specific type of singular spaces.
method Self-contained proof of singular Beauville-Bogomolov decomposition theorem.
result Proof of singular Beauville-Bogomolov decomposition theorem for compact Kähler varieties with log terminal singularities and zero first Chern class.
Alternative metric defined on vector bundles, proving vanishing theorem.
problem Defining singular Hermitian metrics on vector bundles.
method Alternative definition of singular Hermitian metric, discussing Griffiths and Nakano positivities.
result Generalised Griffiths' vanishing theorem proved.
Prove Riemannian positive mass theorem for asymptotically flat metrics with low-codimension singularities.
problem Prove Riemannian positive mass theorem for asymptotically flat metrics with low-codimension singularities.
method Prove Riemannian positive mass theorem for asymptotically flat metrics with low-codimension singularities.
result Prove Riemannian positive mass theorem for asymptotically flat metrics with low-codimension singularities.
We simplify D4+-front singularities and apply to geometric invariants.
problem Simplifying D4+-front singularities in R3. method Coordinate transformation on source and isometry on target.
result Gauss-Bonnet type theorem for fronts with D4+-singularity. In this paper we prove geometric residue theorems for bundle maps over a compact manifold. The theory developed associates residues to the singularity submanifolds of the map for any invariant polynomial. The theory is then applied to a variety of settings: smooth maps between equidimensional manifolds, CR-singularitie…
Proves a theorem similar to Moser's using a normalization method.
problem Proving a theorem similar to Moser's in a specific context.
method Iterative normalization procedure based on Generalized Fischer Decompositions.
result An analogue of the Theorem of Moser proven.
Proves Goh conditions for singular curves with specific properties.
problem Finding optimal paths with specific geometric constraints.
method Proof of Goh conditions of order n and open mapping theorem.
result Establishes conditions for strictly singular curves of corank 1.
Proves mass theorem up to dimension 19 using symmetrization and singularity techniques.
problem Proving the Riemannian positive mass theorem up to dimension 19.
method Combining toric symmetrization and singularity blow-up techniques.
result Proves the Riemannian positive mass theorem up to dimension 19.
A Poincaré-Hopf Theorem for line fields with point singularities on orientable surfaces can be found Hopf's 1956 Lecture Notes on Differential Geometry. In 1955 Markus presented such a theorem in all dimensions, but Markus' statement only holds in even dimensions 2k≥4. In 1984 Jänich presented a Poincaré-Hopf th…
The Penrose theorem and Hawking's topology theorem are extended to weighted spacetimes.
problem Extending Penrose's singularity theorem and Hawking's topology theorem to weighted spacetimes.
method Using weighted null energy condition and synthetic dimension to generalize the theorems.
result Generalized versions of the Penrose and Hawking theorems hold under a weighted null energy condition.
The Abstract Boundary singularity theorem was first proven by Ashley and Scott. It links the existence of incomplete causal geodesics in strongly causal, maximally extended spacetimes to the existence of Abstract Boundary essential singularities, i.e., non-removable singular boundary points. We give two generalizations…
We prove a Frobenius-type theorem for singular distributions generated by a family of locally Lipschitz continuous vector fields satisfying almost everywhere a quantitative finite type condition.
New form of D4−-singularities for fronts in 3D space.
problem Understanding singularities of fronts in 3D space.
method Coordinate transformation on source and isometry on target.
result Computed differential geometric invariants near D4−-singularity. A prime geodesic theorem for singular geodesics in a locally symmetric space is proved. As an application, an asymptotic formula for units in number fields is given.
We prove an arithmetic Hilbert-Samuel type theorem for semi-positive singular hermitian line bundles of finite height. In particular, the theorem applies to the log-singular metrics of Burgos-Kramer-Kühn. Our theorem is thus suitable for application to some non-compact Shimura varieties with their bundles of cusp forms…
The aim of this article is to generalize the notion of the cut locus and to get the structure theorem for it. For this purpose, we first introduce a class of 1-Lipschitz functions, each member of which is called an {\it almost distance function}. Typical examples of an almost distance function are the distance function…
Study curve shortening flow on Riemann surfaces with conic singularities.
problem Analyzing curve shortening flow on surfaces with conic singularities.
method Generalized Huisken's comparison function to Riemann surfaces and surfaces with conic singularities. Reproofed Gage-Hamilton-Grayson theorem. Proved CSF can't touch conic singularities with cone angles ≤ π.
result CSF can't touch conic singularities with cone angles ≤ π for embedded simple closed curves.
Proves Gannon-Lee theorem for C1 spacetimes.
problem Classical singularity theorems for C1 spacetimes. method Proves theorem for C1 spacetimes, shows geodesic properties. result Gannon-Lee theorem holds for C1 spacetimes.