Kuranishi's proof of complex deformation theory revisited
problem Existence of complex deformations on compact complex manifolds
method Hamilton-Nash-Moser implicit function theorem
result Revisits classical proof with modern tools
Harmonic functions stable under small changes.
problem Stability of multivalued harmonic functions under deformations.
method Application of Nash-Moser implicit function theorem.
result Stability of harmonic sections under small deformations.
Study metric perturbations to make degenerate harmonic forms non-degenerate.
problem Dealing with degenerate harmonic 1-forms in Riemannian geometry.
method Combining analysis of local expansions with Nash-Moser implicit function theorem.
result Proves deformation to nearby non-degenerate Z/2-harmonic 1-forms.
A geometric flow on (2,2)-forms is introduced which preserves the balanced condition of metrics, and whose stationary points satisfy the anomaly equation in Strominger systems. The existence of solutions for a short time is established, using Hamilton's version of the Nash-Moser implicit function theorem.
The article studies deformations of Z2-harmonic spinors on 3-manifolds.
problem Investigating the local structure of Z2-harmonic spinors on 3-manifolds. method Uses Nash-Moser Implicit Function Theorem to handle infinite-dimensional obstruction bundle and loss of regularity.
result Near a Z2-harmonic spinor with smooth singular set, the universal moduli space projects to a codimension 1 submanifold. Constructs smooth integrable magnetic systems on a two-torus.
problem Creating smooth magnetic systems on a two-torus with specific properties.
method Uses Nash-Moser implicit function theorem to find zeros of an action functional.
result Characterizes Zoll magnetic systems and proves their existence.
Constructs harmonic spinors and 1-forms on 3-manifold connected sums and torus sums.
problem Constructing harmonic spinors and 1-forms on 3-manifold connected sums and torus sums.
method Parameterized Nash-Moser implicit function theorem and gluing argument.
result Proves existence of infinitely many Z2-harmonic spinors and 1-forms on 3-manifolds. The paper constructs metrics on spheres with families of minimal hypersurfaces.
problem Finding Riemannian metrics on spheres with specific families of minimal hypersurfaces.
method Used Nash-Moser Inverse Function Theorem in the tame maps setting.
result Generalized Guillemin's theorem for Zoll families of minimal hypersurfaces.
Second part of proving linearization theorem for sl2(C).
problem Proving linearization theorem for sl2(C).
method Developed Nash-Moser method for functions flat at a point.
result Linearization result for a more general class of Lie algebras.
New Zoll families of minimal spheres found in spheres and projective spaces.
problem Finding new Zoll families of minimal spheres in various spaces.
method Equivariant constructions using Nash-Moser-Hamilton implicit function theorem.
result First examples of metrics on real projective spaces with Zoll families of minimal projective hyperplanes.
Proves the Hodge conjecture for complex projective manifolds.
problem Proving the Hodge conjecture for complex projective manifolds.
method Utilizing the Dirac-Dolbeault operator and Nash-Moser generalized inverse function theorem.
result Existence of complex submanifolds whose fundamental classes span rational Hodge classes.
The paper establishes gradient estimates and Liouville theorems for Φ-Laplacian equations on Riemannian manifolds.
problem Gradient estimates and Liouville theorems for Φ-Laplacian equations on Riemannian manifolds.
method Nonlinear Φ-Bochner formula and Nash-Moser iteration technique for gradient bounds; maximum principle for parabolic case.
result Unified framework for gradient estimates and Liouville theorems for Φ-Laplacian equations.
The paper uses Nash-Moser iteration to prove gradient estimates for nonlinear equations on Riemannian manifolds.
problem Proving gradient estimates for solutions of nonlinear equations on Riemannian manifolds.
method Employing Nash-Moser iteration technique to establish gradient estimates.
result Gradient estimates for solutions of nonlinear equations on Riemannian manifolds are proven.
The paper studies gradient estimates for solutions of a nonlinear elliptic equation on Riemannian manifolds.
problem Gradient estimates for solutions of a specific nonlinear elliptic equation on Riemannian manifolds.
method Nash-Moser iteration method
result Gradient estimates and Liouville type theorems for positive solutions.
Sharp gradient estimates for a weighted p-Laplacian equation on metric measure spaces.
problem Analyzing solutions to a specific weighted p-Laplacian equation.
method Applying Nash-Moser iteration to obtain sharp gradient estimates.
result Established Liouville theorems for the equation.
Global implicit function theorem for Fréchet spaces, solving derivative loss problems.
problem Solving initial value problems with derivative loss in Fréchet spaces.
method Global implicit function theorems for Keller's Cc1-mappings in Fréchet spaces, applied through submersions and transversality. result Global existence and uniqueness of solutions to initial value problems with derivative loss.
Paper analyzes solutions to quasilinear elliptic equations on manifolds using Nash-Moser iteration.
problem Analyzing positive solutions to quasilinear elliptic equations on manifolds with bounded Ricci curvature.
method Employing Nash-Moser iteration technique to derive logarithmic gradient estimates and Liouville properties.
result Derives universal logarithmic gradient estimates for positive solutions under certain conditions.
This paper is about the rigidity of compact group actions in the Poisson context. The main resut is that Hamiltonian actions of compact semisimple type are rigid. We prove it via a Nash-Moser normal form theorem for closed subgroups of SCI-type. This Nash-Moser normal form has other applications to stability results th…
If a differential equation in a Banach manifold is invariant or quasi-invariant under the action of one or more Lie groups, then its stationary points cannot be isolated, so that classical linearized stability theorem does not apply to it. The first main purpose of this paper is to establish a linearized stability theo…
We prove implicit function theorems for mappings on topological vector spaces over valued fields. In the real and complex cases, we obtain implicit function theorems for mappings from arbitrary (not necessarily locally convex) topological vector spaces to Banach spaces.
We apply the Nash-Moser theorem for exact sequences of R. Hamilton to the context of deformations of Lie algebras and we discuss some aspects of the scope of this theorem in connection with the polynomial ideal associated to the variety of nilpotent Lie algebras. This allows us to introduce the space $H_{k-nil}^2(\math…
Study on a metric on Hermitian metrics space, proving diffeomorphisms and completeness.
problem Metric on space of Hermitian metrics on complex vector bundles.
method Compute metric spray, geodesics, curvature, and use Nash-Moser theorem.
result Metric completion of Hermitian metrics space is L2 integrable singular Hermitian metrics.
We derive a Harnack inequality for positive solutions of the f-heat equation and Gaussian upper and lower bounds for the f-heat kernel on complete smooth metric measure spaces (M,g,e−fdv) with Bakry-Émery Ricci curvature bounded below. The lower bound is sharp. The main argument is the De Giorgi-Nash-Moser t…
This article provides a version of scale calculus geared towards a notion of (nonlinear) Fredholm maps between certain types of Frechet spaces, retaining as many as possible of the properties Fredholm maps between Banach spaces enjoy, and the existence of a constant rank theorem for such maps. It does so by extending t…
Study Poisson cohomology and linearize Lie algebra structures.
problem Linearize Poisson structures on sl2(C). method Calculate Poisson cohomology, construct homotopy operators, develop Nash-Moser method.
result Show that Poisson structures linearizable at zero are flat.
We give a local classification of generalized complex structures. About a point, a generalized complex structure is equivalent to a product of a symplectic manifold with a holomorphic Poisson manifold. We use a Nash-Moser type argument in the style of Conn's linearization theorem.
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.
We prove the existence of a local smooth Levi decomposition for smooth Poisson structures and Lie algebroids near a singular point. In the appendix of this paper, we show an abstract Nash-Moser normal form theorem, which generalizes our Levi decomposition result and which may be helpful in the study of other smooth nor…
This thesis is divided into two parts. In the first part we study completely integrable systems, and their underlying structures, in detail. We study their deformation theory and the different equivalence relations surrounding it. We motivate the definition of weak equivalence (found in the literature) by studying diff…
We prove the rigidity of presymplectic actions of a compact semisimple Lie algebra on a presymplectic manifold of constant rank in the local and global case. The proof uses an abstract normal form theorem we had stated in a previous work, based on an iterative process of Nash-Moser type. In order to use correctly this …
We prove a rigidity theorem in Poisson geometry around compact Poisson submanifolds, using the Nash-Moser fast convergence method. In the case of one-point submanifolds (fixed points), this immediately implies a stronger version of Conn's linearization theorem, also proving that Conn's theorem is, indeed, just a manife…
The paper provides new gradient estimates for solutions to a nonlinear elliptic equation on smooth metric measure spaces.
problem Gradient estimates for solutions to a specific nonlinear elliptic equation on smooth metric measure spaces.
method Nash-Moser iteration technique to obtain local gradient estimates.
result New local gradient estimates for positive solutions to the equation.
We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which the assumptions of this theorem are fulfilled. First, using Glöckner's inverse fun…
The Global Newlander-Nirenberg theorem is proven for domains with finite smooth boundary in complex manifolds.
problem Proving the Newlander-Nirenberg theorem for domains with finite smooth boundary in complex manifolds.
method Constructing a homotopy formula for Θ-valued (0,1)-forms and applying a Nash-Moser iteration scheme.
result A diffeomorphism exists transforming an almost complex structure into the complex structure on a domain.
We prove an implicit function theorem for functions on infinite-dimensional Banach manifolds, invariant under the (local) action of a finite dimensional Lie group. Motivated by some geometric variational problems, we consider group actions that are not necessarily differentiable everywhere, but only on some dense subse…
Proposes a parametric modal regression method using the implicit function theorem.
problem Finding conditional modes for multi-modal conditional distributions.
method Uses the implicit function theorem to develop an objective function for learning a joint function over inputs and targets.
result Empirically demonstrates scalability and effectiveness in learning multi-valued functions and high-dimensional inputs.
The paper details local forms of morphisms in colored supermanifolds.
problem Understanding local forms of morphisms in colored supermanifolds.
method Detailed account of Z2n-differential calculus and local theorems. result Detailed insights into local forms of morphisms in colored supermanifolds.
Proposes efficient, modular method for implicit differentiation.
problem Implicit differentiation of optimization problems.
method Automatic implicit differentiation using autodiff and implicit function theorem.
result Automatic differentiation of optimization problems is made easier and more modular.
Note on advancements in nonlinear elliptic equations' regularity theory.
problem Nonlinear elliptic equations and their regularity.
method De Giorgi-Nash-Moser theory, Krylov-Safonov theory, Evans-Safonov theory.
result Contributions to Hilbert's 19th problem and fully nonlinear equations.
Building upon ideas of Hironaka, Bierstone-Milman, Malgrange and others we generalize the inverse and implicit function theorem (in differential, analytic and algebraic setting) to sets of functions of larger multiplicities (or ideals). This allows one to describe singularities given by a finite set of generators or by…
A new method for optimizing non-decomposable metrics with constraints.
problem Optimizing complex machine learning objectives with thresholded constraints.
method Formulate rate-constrained optimization using the Implicit Function theorem and solve with gradient-based methods.
result Demonstrated effectiveness over existing methods on benchmark datasets.
New dual formulation reduces generalization error for ERM-fDR.
problem Generalization error in constrained optimization problems.
method Introduces a dual formulation of ERM-fDR using Legendre-Fenchel transform and implicit function theorem.
result Explicit characterizations of generalization error for algorithms under mild conditions.
The paper explores moduli space of heterotic system using two deformation paths.
problem Exploring the moduli space of the heterotic system.
method Considering two dual deformation paths starting from a Kähler solution, one along Bott-Chern cohomology class and the other along Aeppli cohomology class. Using the implicit function theorem to prove local existence of heterotic solutions.
result Established an initial step to construct local moduli coordinates around a Kähler solution.
A general slice theorem for the action of a Fréchet Lie group on a Fréchet manifolds is established. The Nash-Moser theorem provides the fundamental tool to generalize the result of Palais to this infinite-dimensional setting. The presented slice theorem is illustrated by its application to gauge theories: the action o…
Let (N,g) be a Riemannian manifold. For a compact, connected and oriented submanifold M of N. we define the space of volume preserving embeddings Emb_μ(M,N) as the set of smooth embeddings f:M \rightarrow N such that f*μ^{f}=μ, where μ^{f} (resp. μ) is the Riemannian volume form on f(M) (resp. M) induced by the ambient…
Minimal surfaces with dihedral symmetry are studied as angles converge to zero.
problem Understanding minimal surfaces with dihedral symmetry as angles approach zero.
method Analyzing the limit of minimal surfaces in wedges with varying angles and using the implicit function theorem.
result New minimal surfaces are discovered and existence proofs are simplified.
Dual optimization connects ERM-fDR to normalization function.
problem Empirical risk minimization with f-divergence regularization.
method Dual formulation, Legendre-Fenchel transform, implicit function theorem, nonlinear ODE.
result Computational method to calculate normalization function efficiently.
New methods distill data for deep networks efficiently.
problem Reduction of training data cost and inconvenience.
method Generative teaching networks, gradient matching, Implicit Function Theorem.
result New methods are computationally more efficient and improve model performance.