Introduces new holomorphic contact structures and proves unobstructedness theorems.
problem Generalizing classical holomorphic contact and symplectic structures.
method Introducing new classes of holomorphic p-contact and s-symplectic manifolds, observing their properties, and proving structure and unobstructedness theorems. result Generalizes classical results on small deformations of complex structures.
Homotopy operators help describe structures in equivariant deformation problems.
problem Equivariant deformation problems in algebraic structures.
method Use homotopy operators for an L∞-algebra associated with the problem. result Smooth parametrization of the space of structures around a given one.
Extends deformation theory to higher-page analogues of manifolds.
problem Deformation theory of higher-page analogues of manifolds.
method Extends essential deformations from Iwasawa manifolds to page-1-∂∂-manifolds.
result Obtains an unobstructedness theorem for page-1-∂∂-manifolds.
An unobstructedness theorem is proved for deformations of compact holomorphic Poisson manifolds and applied to a class of examples. These include certain rational surfaces and Hilbert schemes of points on Poisson surfaces. We study in particular the Hilbert schemes of the projective plane and show that a generic deform…
The paper examines Kodaira dimensions of specific complex 4-manifolds with torsion first Chern class.
problem Investigating the Kodaira dimension of almost complex 4-manifolds with torsion first Chern class.
method Developed theory of pseudoholomorphic structures on vector bundles, computed tangent spaces of infinitesimal deformations, and proved unobstructedness theorems.
result Proved that Kodaira dimension can only be 0 or -∞ for tamed almost complex structures.
We determine obstructedness or unobstructedness of (holomorphic) Poisson deformations of ruled surfaces over an elliptic curve.
In \cite{Goto}, Ryushi Goto has constructed the deformation space for a manifold equipped with a collection of closed differential forms and showed that in some important cases (Calabi-Yau, G2- and Spin(7)-structures) this deformation space is smooth. This result unifies the classical Bogomolov-Tian-Todorov and Jo…
We give a new characterization of generalized Kähler structures in terms of their corresponding complex Dirac structures. We then give an alternative proof of Hitchin's partial unobstructedness for holomorphic Poisson structures. Our main application is to show that there is a corresponding unobstructedness result for …
We give a new Tian-Todorov lemma on deformations of CR-structures and use it to reprove the deformation unobstructedness of normal compact strongly pseudoconvex CR-manifold under the assumption of d′d′′-lemma, more faithfully following Tian-Todorov's approach.
We present a new method to solve certain ∂ˉ-equations for logarithmic differential forms by using harmonic integral theory for currents on Kahler manifolds. The result can be considered as a ∂ˉ-lemma for logarithmic forms. As applications, we generalize the result of Deligne about closedness…
The paper generalizes hyperkahler metrics near Lagrangian submanifolds.
problem Constructing hyperkahler structures near complex Lagrangian submanifolds.
method Generalization of Feix-Kaledin theorem and deformations of holomorphic symplectic structures.
result Hyperkahler structures can be constructed on symplectic realizations of holomorphic Poisson manifolds.
Study properties of holomorphic p-contact manifolds, including non-Kähler hyperbolicity and deformations.
problem Characterize the geometric and algebraic properties of holomorphic p-contact manifolds. method Explores non-Kähler hyperbolicity, differential calculus, and p-contact deformations, proving unobstructedness theorems. result Proves a Bogomolov-Tian-Todorov-type unobstructedness theorem for p-contact deformations up to order two. Given a compact symplectic toric manifold (M,ω,T), we identify a class DGKωT(M) of T-invariant generalized Kähler structures for which a generalisation the Abreu-Guillemin theory of toric Kähler metrics holds. Specifically, elements of DGKωT(M) are characterized by t…
The paper extends deformation theory to Calabi-Yau varieties with isolated log canonical singularities.
problem Deformation theory of Calabi-Yau varieties with log canonical singularities.
method Study of higher Du Bois and rational singularities, focusing on 0-liminal singularities.
result Existence of first order smoothings for isolated 0-liminal hypersurface singularities.
The paper addresses deformations of Kähler spaces with vanishing first Chern class.
problem Deformations of Kähler spaces with specific properties.
method Analyzes locally trivial deformation spaces and uses cohomological vanishing conditions.
result Shows that under certain conditions, deformations of Kähler spaces are projective varieties.
Analyzes complex structure deformations using cohomology contraction methods.
problem Deforming complex structures and identifying obstructions.
method Refined power series method for (p,q)-forms and complex structures, using Frölicher spectral sequence. result All obstruction classes lie in the kernel of contraction maps under natural vanishing conditions.
Paper proves all Lagrangians unobstructed if one is, using non-archimedean analytic structure.
problem Proving the existence of bounding cochains for unobstructed Lagrangians.
method Introducing non-archimedean analytic structure and using family Floer techniques.
result All Lagrangians in a connected family are unobstructed if one is.
The article provides conditions for unobstructedness of ASD manifolds.
problem Understanding the local structure of moduli spaces of ASD conformal structures.
method Conformally invariant conditions for ASD manifolds of positive Yamabe type.
result ASD manifolds of positive Yamabe type are unobstructed.
We investigate the formal deformation theory of (rank 1) branes on generalized complex (GC) manifolds. This generalizes, for example, the deformation theory of a complex submanifold in a fixed complex manifold. For each GC brane B on a GC manifold (X,J), we construct a formal (pointed) groupoid $…
A stable generalized complex structure is one that is generically symplectic but degenerates along a real codimension two submanifold, where it defines a generalized Calabi-Yau structure. We introduce a Lie algebroid which allows us to view such structures as symplectic forms. This allows us to construct new examples o…
Study on the existence of Dirac complements for Dirac structures.
problem Existence of Dirac complements for Dirac structures.
method Cohomological techniques and Lie-theoretical methods.
result Non-existence of Dirac complements for certain Lie algebras.
We construct a simply connected minimal complex surface of general type with pg=0 and K2=2 which has an involution such that the minimal resolution of the quotient by the involution is a simply connected minimal complex surface of general type with pg=0 and K2=1. In order to construct the example, we combin…
New non-Kähler 3-folds constructed via log conifold transitions.
problem Constructing new non-Kähler 3-folds from Fano threefold pairs.
method Defining log conifold transitions and studying their deformation theory.
result Local smoothings of nodes can be lifted to global first-order deformations.
In this paper, we 'construct' a 2-functor from the unobstructed immersed Weinstein category to the category of all filtered A∞ categories. We consider arbitrary (compact) symplectic manifolds and its arbitrary (relatively spin) immersed Lagrangian submanifolds. The filtered A∞ category associated to…
AI generates theorems and proofs for training theorem provers.
problem Limited human-written theorems and proofs for supervised learning.
method Proposes a neural generator to automatically synthesize theorems and proofs.
result Synthetic data improves automated theorem proving in Metamath.
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.
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…
The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
Proves two theorems on odd-dimensional manifolds with boundary.
problem Proving theorems on manifolds with boundaries.
method Proof of theorems using mathematical techniques.
result Proved the general Kastler-Kalau-Walze and Dabrowski-Sitarz-Zalecki type theorems.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.
problem Evaluating theorem proving agents' ability to generalize to unseen theorems.
method INT benchmark based on a theorem generation and proof procedure with adjustable knobs for measuring 6 types of generalization.
result MCTS can help agents prove new theorems.
A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.
Abstracts a theorem for non-smooth maps in infinite dimensions.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Atiyah-Singer theorem links math fields, predicts topological insights.
problem Understanding the interplay between analysis, geometry, and topology.
method Analyzes and generalizes topological invariants in differential geometry.
result Predicts the index of elliptic operators based on topology.
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.
The paper proves injectivity and vanishing theorems on compact Kahler manifolds.
problem Injectivity and vanishing theorems on compact Kahler manifolds.
method Hodge theory, Bochner-Kodaira-Nakano identity, analytic method, transcendental method, Demailly-Peternell-Schneider equisingular approximation theorem, Hormander L2 estimates.
result The main injectivity theorem implies several Nadel type vanishing theorems.