Paper proves Allard's theorem in Alexandrov spaces.
problem Proving Allard's theorem in non-collapsed Alexandrov spaces.
method Developed an intrinsic proof for Riemannian manifolds, then extended to Alexandrov spaces using approximation theorem.
result Explicit constants for constants in terms of geometric data.
Study improves boundary smoothness for area-minimizing currents with complex boundaries.
problem Boundary regularity for area-minimizing currents with arbitrary multiplicity.
method Generalization of Allard's boundary regularity theorem.
result Derivation of structural consequences from the generalized theorem.
In this paper, we study the critical case of the Allard regularity theorem. Combining with Reifenberg's topological disk theorem, we get a critical Allard-Reifenberg type regularity theorem. As a main result, we get the topological finiteness for a class of properly immersed surfaces in Rn with finite Willm…
New, shorter proofs for varifolds and flows with improved decay of flatness.
problem Proving regularity theorems for varifolds and flows with bounded first variation and forcing.
method Decay of flatness via weighted monotonicity formulas and viscosity approach.
result Improved proofs with decay of flatness and characterization of blow-ups.
We give a new proof of Brakke's partial regularity theorem up to C^{1,ς} for weak varifold solutions of mean curvature flow by utilizing parabolic monotonicity formula, parabolic Lipschitz approximation and blow-up technique. The new proof extends to a general flow whose velocity is the sum of the mean curvature and an…
Bi-Lipschitz proof for 2-varifolds near critical Allard condition.
problem Proving bi-Lipschitz homeomorphism for 2-varifolds near critical Allard condition.
method Analyzing 2-varifolds with critical Allard condition and small mean curvature.
result 2-varifold is bi-Lipschitz homeomorphic to a flat disk.
Proves smoothness of minimal surfaces near polyhedral boundaries.
problem Smoothness of free-boundary minimal surfaces near polyhedral domains.
method Allard-type regularity theorem for minimal surfaces in convex polyhedra.
result Minimal surfaces are C1,α graphical over a free-boundary plane if close to it. In this work we consider a question in the calculus of variations motivated by riemannian geometry, the isoperimetric problem. We show that solutions to the isoperimetric problem, close in the flat norm to a smooth submanifold, are themselves smooth and C2,α-close to the given sub manifold. We show also a version …
We analyze a notion of multiple valued sections of a vector bundle over an abstract smooth Riemannian manifold, which was suggested by W. Allard in the unpublished note "Some useful techniques for dealing with multiple valued functions" and generalizes Almgren's Q-valued functions. We study some relevant properties o…
Study on vortex sheet formation in Abelian gauge theories.
problem Understanding vortex sheet formation in Abelian gauge theories.
method Inspired by Allard's regularity theory, constructs approximate solutions and analyzes their perturbations.
result Establishes a geometric framework and regularity theory for the limiting defect set.
Study quantizes energy distribution in inhomogeneous phase transitions.
problem Quantifying energy distribution in inhomogeneous Allen-Cahn phase transitions.
method Analysis of varifolds and convergence of integer rectifiable varifolds.
result Equidistribution of energy between Dirichlet and Potential energy in phase field limit.
The paper proves unique blow-down for critical points of a Yang-Mills-Higgs functional.
problem Proving uniqueness of blow-down for critical points of a Yang-Mills-Higgs functional.
method Using an Allard-type improvement of flatness to establish co-dimension-two analogue of Savin's theorem.
result Entire critical points have unique blow-down, two-dimensional in ambient dimensions 2-4 or any dimension assuming local minimizer.
We adapt the method of Simon [JDG '93] to prove a C1,α-regularity theorem for minimal varifolds which resemble a cone C02 over an equiangular geodesic net. For varifold classes admitting a "no-hole" condition on the singular set, we additionally establish C1,α-regularity near the cone $\bf{C}_0^2 \ti…
Moser's Bernstein theorem \cite{moser61} says that an entire minimal graph of codimension 1 with bounded slope must be a hyperplane. An analogous result for arbitrary codimension is not true, by an example of Lawson-Osserman. Here, we show that Moser's theorem nevertheless extends to codimension 2, i.e., a minimal p-…
Develops new strategy for Hessian estimates in Lagrangian mean curvature equation.
problem Interior Hessian estimates for solutions with prescribed Lipschitz phases.
method Allard-type regularity theorem, geometric measure theory, geometry of Lagrangian graphs, De Giorgi-Nash-Moser iteration.
result Sharp interior Hessian estimates for solutions with critical and supercritical phases.
Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to Michael and Simon, and Allard, independently. Some applications are discussed.
Consider a sequence of minimal varieties M_i in a Riemannian manifold N such that the boundary measures are uniformly bounded on compact sets. Let Z be the set of points at which the areas of the M_i blow up. We prove that Z behaves in some ways like a minimal variety without boundary: in particular, it satisfies the s…
Study shows unique tangent cones for area-minimizing currents at boundary points.
problem Uniqueness of tangent cones for area-minimizing currents with arbitrary multiplicity.
method Analysis of area minimizing currents in C2 submanifolds with arbitrary boundary multiplicity. result Tangent cones are unique at density Q/2 boundary points. The paper proves regularity for varifolds with bounded anisotropic mean curvature.
problem Regularity of varifolds with bounded anisotropic mean curvature.
method Local anisotropic regularity theorem and touching balls approach.
result Varifolds can be covered by countably many C2-regular submanifolds. The paper proves existence of special surfaces in 3D manifolds with constant curvature.
problem Existence of surfaces with constant anisotropic mean curvature.
method Min-max theory applied to elliptic integrands in 3D Riemannian manifolds.
result Existence of smooth surfaces with at most one singular point.
The study finds anisotropic minimal surfaces in 3-manifolds with smooth boundaries.
problem Finding smooth anisotropic minimal surfaces in closed 3-manifolds.
method Min-max construction with elliptic integrands, uniform upper bound for density ratios.
result Obtains a smooth anisotropic minimal surface in a closed 3-manifold.
Shows smoothness of varifolds with specific boundary angles.
problem Regularity of varifolds with prescribed contact angles.
method Analyzes varifolds with bounded first variation and prescribed contact angles, proving smoothness.
result Support of varifold is a C1,γ hypersurface near the boundary. Corrects errors and completes missing parts in a paper on tangent cones.
problem Incorrect inequalities and missing definitions in a paper on tangent cones.
method Completely rewrote sections 5.1-5.4, providing missing definitions and proofs.
result Corrected inequalities and completed missing parts in the paper.
The paper proves Lp-Sobolev inequalities for minimal submanifolds.
problem Proving Lp-Sobolev inequalities for minimal submanifolds. method Optimal mass transport theory on Euclidean submanifolds.
result Asymptotically sharp and codimension-free Sobolev constant for p≥2. The study examines stationary integral varifolds near multiplicity 2 planes, proving regularity under specific conditions.
problem Understanding the structure of stationary integral varifolds near multiplicity 2 planes.
method Investigates the structure of varifolds close to planes with multiplicity 2, proving an ε-regularity theorem under certain conditions.
result In B1/2(0), V is represented by the graph of a Lipschitz 2-valued function over P0 with small Lipschitz constant; all tangent cones at singular points are unique and comprised of stationary unions of 4 half-planes. Sharp generalization of boundary regularity for area minimizing currents with arbitrary multiplicity.
problem Boundary regularity of area minimizing currents with multiplicity.
method Sharp generalization of Allard's boundary regularity theorem to higher multiplicity settings.
result The set of density Q/2 singular boundary points of T is Hm−3-rectifiable. Paper provides estimates for varifolds with critical mean curvature.
problem Estimating tilt-excess on varifolds with critical mean curvature.
method Generalizing Lipschitz approximation and Sobolev-Poincaré estimates to almost-integral rectifiable varifolds.
result VMO-type estimates for quadratic tilt-excess on varifolds with critical mean curvature.
Study on unique solutions to one-phase free boundary problems.
problem One-phase free boundary problems with singularities.
method Analyzing solutions at singular points and at infinity using one-homogeneous functions.
result Uniqueness of blowups and rigidity results at infinity.
We give two structural conditions on a codimension 1 integral n-varifold with first variation locally summable to an exponent p>n that imply the following: whenever each orientable portion of the C1-embedded part of the varifold (which is non-empty by the Allard regularity theory) is stationarity and the $C^…
The paper establishes structure theory for stable varifolds with applications to area minimising hypersurfaces.
problem Understanding the structure of stable codimension 1 integral varifolds.
method Develops a structure theory for stable codimension 1 stationary integral varifolds with no classical singularities.
result Establishes local structure properties of area minimising currents mod p, including the uniqueness of tangent cones at points with planar tangent cones.
A 3D area-minimizing current in R^5 has a 2-fold essential singularity.
problem Understanding singularities in area-minimizing currents.
method Construction of a specific current with prescribed boundary properties.
result The boundary regularity theory is dimensionally sharp.
In this paper we shall study smooth submanifolds immersed in a k-step Carnot group G of homogeneous dimension Q. Among other results, we shall prove an isoperimetric inequality for the case of a C2-smooth compact hypersurface S with - or without - boundary ∂S; S and ∂S are endowed with their homo…
Local minimality proven for stable free-boundary minimal hypersurfaces.
problem Proving local minimality for stable free-boundary minimal hypersurfaces.
method Using relative current setting and strict stability, proving local minimality among relative cycles.
result Local minimality of stable free-boundary minimal hypersurfaces in a small tubular neighborhood.
Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
A new comparison theorem for geometric spaces.
problem Geometric space comparison theorems.
method Relative form of Toponogov comparison theorem.
result New geometric space comparison theorem established.
Paper develops formulas and theorems in Hermitian geometry.
problem None explicitly stated in the abstract.
method Develops second variational formulas and index forms in Hermitian geometry.
result Establishes results analogous to classical theorems in Riemannian geometry.
The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.
problem Establishing theorems for subharmonic and holomorphic functions on specific geometric structures.
method Using subharmonic and holomorphic functions on Riemannian manifolds and gradient shrinking Ricci solitons.
result Proves Liouville type theorems as applications of the established theorems.
Revises a theorem by Thurston, finding a counter-example and a weaker version.
problem The bounded image theorem in Haken manifolds.
method Providing a counter-example and a weaker version of the second statement of Thurston's theorem.
result A counter-example and a weaker version of the second statement of Thurston's theorem are presented.
Proofs for Moon's theorem and its generalization.
problem Proving Moon's theorem and its generalization.
method Proofs based on key lemmas.
result Generalization of the four-vertex theorem.
We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and proofs available for supervised learning. To address this limitation, we propose to learn a neural generator that automatically synthesizes the…
Analyzes Saito vanishing theorem using L2 methods.
problem Proving the Saito vanishing theorem.
method Uses L2-methods to prove the theorem. result Analytic proof of the Saito vanishing theorem.
Investigates proving geometric theorems over complex and real numbers using tilings.
problem Proving incidence theorems over C and R using the master theorem.
method Formalizes tiling proofs and introduces a hierarchy of theorems based on topological spaces.
result Identifies which theorems can or cannot be proved over C and R.
Extends symplectic reduction and theorem to Lie algebroids.
problem Symplectic reduction and theorem for Lie algebroids.
method Extends Marsden-Weinstein reduction and Darboux-Moser-Weinstein theorems.
result Obtained coisotropic embedding theorem for symplectic Lie algebroids.
Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.
problem Complex Brunn-Minkowski theory and extension theorems.
method Hilbert bundle approach to complex Brunn-Minkowski theory.
result Generalizes Guan's sharp strong openness theorem and sharp Ohsawa-Takegoshi extension theorem.
Proves Thurston's bounded image theorem for Haken manifolds.
problem Proving Thurston's bounded image theorem for Haken manifolds.
method Using recent developments in Kleinian group theory.
result A proof of Thurston's original bounded image theorem.
Method upgrades limit theorems to mixing limit theorems for dynamical systems.
problem Improving limit theorems for dynamical systems.
method General method for upgrading limit theorems to mixing limit theorems.
result Mixing limit theorems for specific subbundles of the Kontsevich-Zorich cocycle.
Formulates Index III lemma and Rauch III theorem with applications.
problem Develops new mathematical theorems based on existing ones.
method Formulation of Index III lemma and Rauch III theorem based on Index I, II lemmas and Rauch I, II theorems.
result Presented Rauch's type theorem and volume comparison result as applications.
In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…