Paper constructs special solutions for symplectic Dirac operator.
problem No specific problem stated; focuses on mathematical construction.
method Symplectic analogue of Fueter theorem used to solve symplectic Dirac operator.
result Constructs polynomial solutions for symplectic Dirac operator.
Compactness theorem for Fueter sections yields non-zero harmonic 1-forms.
problem Counting monopoles and special Lagrangians in Calabi-Yau 3-folds.
method Proving compactness of Fueter sections and analyzing their renormalized sequences.
result Renormalized sequence of Fueter sections converges to a non-zero Z2-harmonic 1-form. Compactness theorem for 3-manifold Floer theory defined by Fueter sections.
problem Defining a new 3-manifold Floer theory with compact counts.
method Counting Fueter sections of hyperkähler bundles over 3-manifolds.
result Proved a compactness theorem for k=2.
A 2-category categorifies complex Lagrangians in hyperkähler manifolds.
problem Categorify the Fukaya category of hyperkähler manifolds.
method Formalizes morphisms in a 2-category based on Fueter maps.
result Fueter maps correspond to complex gradient trajectories in cotangent bundles.
We prove that a sequence of Fueter sections of a bundle of compact hyperkahler manifolds X over a 3-manifold M with bounded energy converges (after passing to a subsequence) outside a 1-dimensional closed rectifiable subset S⊂M. The non-compactness along S has two sources: (1) Bubbling-off…
Novel multisymplectic framework for pseudo-Fueter curves in Hamiltonian field theory.
problem Generalizing Floer theory to multisymplectic geometry.
method Introducing pseudo-Fueter curves in a compatible almost hyperkähler structure.
result Gradient lines of multisymplectic action functional are pseudo-Fueter curves.
We prove an existence theorem for Spin(7)-instantons, which are highly concentrated near a Cayley submanifold; thus giving a partial converse to Tian's foundational compactness theorem. As an application, we show how to construct Spin(7)-instantons on Spin(7)-manifolds with suitable local K3 Cayley fibrations. This rec…
New Fueter sections solve monopole equations for 3/2-spinors.
problem Existence of solutions to monopole equations for 3/2-spinors.
method Introduced 3/2-Fueter sections as solutions to an overdetermined non-linear elliptic differential equation.
result Non-compactness of moduli space of solutions is equivalent to existence of 3/2-Fueter sections.
We find Weitzenböck formula for the Fueter-Dirac operator which controls the infinitesimal deformations of an associative submanifold in a 7--manifold with a G2--structure. We establish a vanishing theorem to conclude rigidity under some positivity assumptions on curvature, which are particularly mild in the nearl…
We prove that a sequence of solutions of the Seiberg-Witten equation with multiple spinors in dimension three can degenerate only by converging (after rescaling) to a Fueter section of a bundle of moduli spaces of ASD instantons.
We give a sufficient condition for an associative submanifold in a G2-manifold to appear as the bubbling locus of a sequence of G2-instantons, related to the existence of a Fueter section of a bundle of ASD instanton moduli spaces over said submanifold.
The paper finds transformation formulas for quaternionic complex structures.
problem Quaternionic projective invariance of k-Cauchy-Fueter complex. method Explicit transformation formulae under mSL(n+1,H). result Quaternionic projectively invariant operator and defining density.
Properties of the Cauchy-Riemann-Fueter equation for maps between quaternionic manifolds are studied. Spaces of solutions in case of maps from a K3-surface to the cotangent bundle of a complex projective space are computed. A relationship between harmonic spinors of a generalized nonlinear Dirac operator and solutions …
The Seiberg-Witten equation with multiple spinors generalises the classical Seiberg-Witten equation in dimension three. In contrast to the classical case, the moduli space of solutions M can be non-compact due to the appearance of so-called Fueter sections. In the absence of Fueter sections we define a sign…
Associated with every quaternionic representation of a compact, connected Lie group there is a Seiberg-Witten equation in dimension three. The moduli spaces of solutions to these equations are typically non-compact. We construct Kuranishi models around boundary points of a partially compactified moduli space. The Haydy…
Construct G2-instantons on orbifold resolutions using specific geometric ingredients.
problem Constructing G2-instantons on orbifold resolutions. method Combining G2-instantons on orbifolds with Fueter sections over singular sets. result Construction of numerous G2-instantons on resolutions of T7/Γ. I describe a relation (mostly conjectural) between the Seiberg-Witten monopoles, Fueter sections, and G2 instantons. In the last part of this article I gathered some open questions connected with this relation.
Novel A∞-categories derived from gauge theories for manifold homologies.
problem Categorifying manifold homologies via gauge theories.
method 3d and 8d gauged Landau-Ginzburg models, higher A∞-categories. result Derived novel A∞-categories for various manifold homologies. We give an example of a homogeneous reflexive sheaf over C3 which admits a non-conical Hermitian Yang-Mills connection. This is expected to model bubbling phenomenon along complex codimension 2 submanifolds when the Fueter section takes zero value.
This is the first part in a series of three articles in which are studied the domains of monogenicity for the n-Cauchy-Fueter operator. Using the twistor theory, we will in this article show that for a given open subset U of Qn, there is an open subset H(U), called the monogenic hull of U,…
New minimal 2-spheres found in hyperkähler 4-manifolds, unstable and not holomorphic.
problem Characterizing stable minimal surfaces in hyperkähler 4-manifolds.
method Gluing construction using Scherk and Taub-NUT surfaces, harmonic map parametrization.
result Existence of unstable minimal 2-spheres with degree-1 Gauss lift, not holomorphic.
Study adiabatic limits of calibrated submanifolds in Riemannian geometry.
problem Understanding the behavior of calibrated submanifolds under adiabatic limits.
method Define a 1-parameter family of forms and study their adiabatic limit, showing it is a generalized calibration.
result Adiabatic calibrated submanifolds are anisotropic minimal in the classical sense.
In this paper we study Spin(7)-instantons on asymptotically conical Spin(7)-orbifolds (and manifolds) obtained by filling in certain squashed 3-Sasakian 7-manifolds. We construct a 1-parameter family of explicit Spin(7)-instantons. Taking the parameter to infinity, the family (a) bubbles o…
5D gauge theories are dual to 3D and 2D models via Floer homologies.
problem Exploring dualities in 5D gauge theories and their 3D and 2D counterparts.
method Using Landau-Ginzburg models and Floer homologies, the paper establishes dualities between different gauge theories and their associated homologies.
result Dual A∞-categories of Floer homologies are derived, proving mirror symmetry and Langlands duality. 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.
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.
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.
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.