In this paper, we will give an extension of Mok's theorem on the generalized Frankel conjecture under the condition of the orthogonal bisectional curvature.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,695 papers · 148 categories
Trend · papers per month
48 results for “Mok's theorem”
Proves gap rigidity theorem for Hermitian symmetric spaces.
problem Gap rigidity problems in compact Hermitian symmetric spaces.
method Dual analogy to Mok's noncompact case theorem, theorem on higher dimensional submanifolds.
result Proves gap rigidity theorem for diagonal curves in tube type spaces.
We derive Mok-Siu-Yeung type formulas for horizontal maps from compact contact locally sub-symmetric spaces into strictly pseudoconvex CR manifolds and we obtain some rigidity theorems for the horizontal pseudoharmonic maps.
New examples show deletion type admissible pairs can be rigid under rational saturation.
problem Rigidity of admissible pairs of rational homogeneous spaces of Picard number one.
method Application of Mok's general criterion for non-subdiagram type admissible pairs.
result Examples of deletion type admissible pairs are rigid under rational saturation.
In this short paper, we will give a simple and transcendental proof for Mok's theorem of the generalized Frankel conjecture. This work is based on the maximum principle in \cite{BS2} proposed by Brendle and Schoen.
In this article, we study local holomorphic isometric embeddings from ${\BB}^n$ into ${\BB}^{N_1}\times... \times{\BB}^{N_m}$ with respect to the normalized Bergman metrics up to conformal factors. Assume that each conformal factor is smooth Nash algebraic. Then each component of the map is a multi-valued holomorphic m…
In this short article, we establish a rigidity theorem for pairs of hyperquadrics in a weaker sense, i.e., we impose a condition that minimal rational curves are preserved, which is stronger than inheriting a sub-VMRT structure, a notion raised by Mok & Zhang (2014). This problem has its source in a theorem of Tsai (19…
Building on results of Arthur and Mok, we extend to (finite volume) complex and quaternionic hyperbolic manifolds the results of arXiv:1004.1085. For the spherical spectrum our results are optimal. Finally, as an application we prove a Lefschetz property for the restriction map between arithmetic quotients of complex b…
On complete constant scalar curvature Kähler metrics with Poincaré-Mok-Yau asymptotic propertymath.DG
Let be a compact Kähler manifold and a subvariety of with higher co-dimension. The aim is to study complete constant scalar curvature Kähler metrics on non-compact Kähler manifold with Poincaré--Mok--Yau asymptotic property (see Definition \ref{def}). In this paper, the methods of Calabi's ansatz and …
We prove some structure results for \emph{transverse reducible} Sasaki manifolds. In particular, we show Sasaki manifolds with positive Ricci curvature is transversely irreducible, and so there is no join (product) construction for irregular Sasaki-Einstein manifolds, as opposed to the quasi-regular case done by Wang-Z…
In this paper, we establish a structure theorem for a smooth projective variety with semi-positive holomorphic sectional curvature. Our structure theorem contains the solution for Yau's conjecture and it can be regarded as a natural generalization of the structure theorem proved by Howard-Smyth-Wu and Mok for holom…
Lifts of maps to frame bundles studied for Riemannian manifolds.
problem Analyzing lifts of maps to frame bundles for Riemannian manifolds.
method Defining subbundles and considering lifts of submersions, studying conformality and harmonicity with Mok metrics.
result Properties of lifts of maps to frame bundles explored and studied.
We study a pair (\mathcal{S}_0,\mathcal{S}) of irreducible Hermitian Symmetric Spaces of compact type (cHSS) in this paper, with the first aim being classifying all the admissible pairs (\mathcal{S}_0,\mathcal{S})). This notion is a natural generalization of the pairs of sub-diagram type originated by Jaehyun Hong and …
In this paper we complete the study of the normal holonomy groups of complex submanifolds (non nec. complete) of Cn or CPn. We show that irreducible but non transitive normal holonomies are exactly the Hermitian s-representations of [CD09, Table 1] (see Corollary 1.1). For each one of them we construct a non necessaril…
We study the problem of bounding the number of cusps of a complex hyperbolic manifold in terms of its volume. Applying algebro-geometric methods using Mumford's work on toroidal compactifications and its generalization due to N. Mok and W.-K. To, we get a bound which is considerably better than those obtained previousl…
Uniformizes varieties with log-canonical singularities using ball quotients.
problem Uniformizing complex projective varieties with log-canonical singularities.
method Criteria based on Miyaoka-Yau inequality and log-resolutions of singularities.
result Criteria for isomorphism to Baily-Borel-Mok compactifications.
We give two characterizations of varieties whose universal cover is a bounded symmetric domain without ball factors in terms of the existence of a holomorphic endomorphism \s of the tensor product T\otimes T' of the tangent bundle T with the cotangent bundle T'. To such a curvature type tensor \s one associates the fir…
We show that Perelman's W-functional can be generalized to Sasaki-Ricci flow. When the basic first Chern class is positive, we prove a uniform bound on the scalar curvature, the diameter and a uniform bound for the transverse Ricci potential along the Sasaki-Ricci flow, which generalizes Perelman's results Kahler…
The paper explores cone structures and their connections to parabolic geometries in complex manifolds.
problem Understanding cone structures and their properties in complex manifolds.
method Analyzes cone structures induced by parabolic geometries and VMRT structures, focusing on local invariants.
result Establishes a local differential-geometric version of a global algebraic-geometric recognition theorem.
Let be irreducible bounded symmetric domains. We study local holomorphic maps from into preserving the invariant -forms induced from the normalized Bergman metrics up to conformal constants. We show that the local holomorphic maps extends to algebraic maps in the rank …
The paper constructs metrics with negative curvature on complex manifolds.
problem Constructing complete Kähler metrics with negative bisectional curvature on hyperbolic complex manifolds.
method Introducing a mechanism for constructing complete Kähler metrics with negative bisectional curvature.
result Realized Chern slopes for surfaces with negative holomorphic sectional curvature.
We show that if the variety of minimal rational tangents (VMRT) of a uniruled projective manifold at a general point is projectively equivalent to that of a symplectic or an odd-symplectic Grassmannian, the germ of a general minimal rational curve is biholomorphic to the germ of a general line in a presymplectic Grassm…
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 methods.
problem Proving the Saito vanishing theorem.
method Uses -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.
Some Kollar-Enoki type injectivity and Nadel type vanishing theorems on compact Kahler manifoldsmath.AG
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