Improved non-squeezing theorem for calibrated geometries proved.
problem Proving an improved non-squeezing theorem for calibrated geometries.
method Two proofs: direct and reduction to classical case.
result Established an improved non-squeezing theorem for calibrated geometries.
Two new proofs of Gromov's non-squeezing theorem using curve reparametrization and gradient bounds.
problem Gromov's non-squeezing theorem in symplectic geometry.
method Reparametrization of pseudo-holomorphic curves and application of mean value inequality or Gromov-Schwarz lemma.
result Uniform bounds on the gradient of pseudo-holomorphic curves leading to compactness of moduli space.
The paper extends Gromov's non-squeezing theorem to deformed symplectic forms.
problem Extending Gromov's non-squeezing theorem to deformed symplectic forms.
method Trap idea for holomorphic curves analogous to dynamical systems.
result The classical Gromov argument breaks down for deformed forms.
Starting from the work of Bhupal, we extend to the contact case the Viterbo capacity and Traynor's construction of symplectic homology. As an application we get a new proof of the Non-Squeezing Theorem of Eliashberg, Kim and Polterovich.
The paper quantifies how much of a 4-ball must be removed to squeeze into a cylinder, proving a lower bound on the Minkowski dimension.
problem Quantifying how much of a 4-ball must be removed to fit into a cylinder.
method Gromov's non-squeezing theorem and Minkowski dimension analysis.
result The Minkowski dimension of the removed set is at least 2, with an example showing this is optimal for certain radii.
Extends Gromov non-squeezing to locally conformally symplectic structures.
problem Generalizing Gromov non-squeezing to new geometric structures.
method Deformation theory applied to locally conformally symplectic structures.
result Proves a new extension of the Gromov non-squeezing phenomenon.
Contact Lie systems analyze integral curves of Hamiltonian vector fields.
problem Analyzing integral curves of Hamiltonian vector fields.
method Define and study contact Lie systems, including conservative systems.
result Develop Liouville theorems, contact reductions, and Gromov non-squeezing theorems.
New methods prove non-squeezing in locally conformal symplectic geometry.
problem Non-squeezing theorem in locally conformal symplectic geometry.
method Generating functions and spectral selectors for lcs Hamiltonian diffeomorphisms.
result Proves a non-squeezing theorem in S1imesR2nimesS1. The study explores pinwheels in symplectic surfaces and non-squeezing of rational homology balls.
problem Understanding when Lagrangian pinwheels embed in symplectic rational and ruled surfaces.
method Almost toric fibrations and symplectic rational blow-up.
result A rational homology ball embeds into a rational homology cylinder if and only if the parameter is greater than or equal to 1.
Study non-squeezing phenomena in contact geometry using specific capacities.
problem Detect and quantify non-squeezing in contact geometry.
method Defined and computed two contact capacities, using spectral selectors and Givental's non-linear Maslov index.
result Discovered and quantified non-squeezing phenomena in lens spaces and strongly order able closed prequantizations.
Contact squeezing prevented in certain prequantized balls via generating functions.
problem Preventing contact squeezing in prequantized balls of different radii.
method Equivariant generating function homology with finite cyclic group action.
result Contact squeezing not possible in specified prequantized balls.
In her PhD thesis Milin developed an equivariant version of the contact homology groups constructed by Eliashberg, Kim and Polterovich and used it to prove an equivariant contact non-squeezing theorem. In this article we re-obtain the same result in the setting of generating functions, starting from the homology groups…
The paper recovers contact forms from boundary data using vector fields and Lyapunov functions.
problem Recovering contact forms from boundary data.
method Using vector fields and Lyapunov functions, the paper describes boundary data and proves reconstruction of (X,β) up to diffeomorphism. result Boundary data allow for the reconstruction of (X,β) up to a diffeomorphism of X. We initiate here the study of Gromov-Witten theory of locally conformally symplectic manifolds or $\lcs$ manifolds, $\lcsm$'s for short, which are a natural generalization of both contact and symplectic manifolds. We find that the main new phenomenon (relative to the symplectic case) is the potential existence of holom…
We prove that if the unit codisc bundle of a closed Riemannian manifold embeds symplectically into a symplectic cylinder of radius one then the length of the shortest nontrivial closed geodesic is at most half the area of the unit disc.
Contact manifolds are odd-dimensional smooth manifolds endowed with a maximally non-integrable field of hyperplanes. They are intimately related to symplectic manifolds, i.e. even-dimensional smooth manifolds endowed with a closed non-degenerate 2-form. Although in symplectic topology a famous bi-invariant metric, the …
The systolic ratio of a contact form α on the three-sphere is the quantity \[ ρ_{\mathrm{sys}}(α) = \frac{T_{\min}(α)^2}{\mathrm{vol}(S^3,α\wedge dα)}, \] where Tmin(α) is the minimal period of closed Reeb orbits on (S3,α). A Zoll contact form is a contact form such that all the orbits of the corresponding R…
Nearby pinwheels are isotopic, solving Arnold's conjecture.
problem Proving isotopy of Lagrangian pinwheels in rational homology balls.
method Combining neck-stretching, symplectic blow-up, and computation of isotopy groups.
result Two pinwheels are isotopic, confirming Arnold's conjecture.
In this paper we consider a geometric variant of Hofer's symplectic energy, which was first considered by Eliashberg and Hofer in connection with their study of the extent to which the interior of a region in a symplectic manifold determines its boundary. We prove, by a simple geometric argument, that both versions of …
We prove a coisotropic intersection result and deduce the following: 1. Lower bounds on the displacement energy of a subset of a symplectic manifold, in particular a sharp stable energy-Gromov-width inequality. 2. A stable non-squeezing result for neighborhoods of products of unit spheres. 3. Existence of a "badly sque…
In this paper we first show that the necessary condition introduced in our previous paper is also a sufficient condition for a path to be a geodesic in the group $\Ham^c(M)$ of compactly supported Hamiltonian symplectomorphisms. This applies with no restriction on M. We then discuss conditions which guarantee that su…
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…
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.
Several proofs of Fáry--Milnor theorem are presented.
problem Fáry--Milnor theorem
method Sketches several proofs
result Proofs of Fáry--Milnor theorem
Reidemeister's theorem proved using smooth functions and transversality.
problem Proving Reidemeister's theorem
method Using smooth functions and transversality
result Reidemeister's theorem proved
Proves an analytic Bertini theorem, generalizing previous work.
problem Generalizing previous results in algebraic geometry.
method Analytic Bertini theorem proof.
result Generalizes previous results in algebraic geometry.