Generalizes Alexandroff's Vn-continua to cohomological dimensions.
problem Extending Alexandroff's concept of Vn-continua to cohomological dimensions. method Proves that strongly locally homogeneous generalized continua with cohomological dimension n are generalized Vn-spaces. result Every strongly locally homogeneous continuum of covering dimension n is a Vn-continuum in the sense of Alexandroff. Stability results for geometric equations in warped product spaces.
problem Geometric partial differential equations in warped product spaces.
method Stability theorem development for level sets of functions.
result Quantitative stability theorems for Serrin's problem and Alexandroff's theorem.
Unified treatment of stability problems in geometry and analysis.
problem Spherical closeness of hypersurfaces under geometric constraints.
method Estimate relating distance to geodesic spheres with norms of traceless Hessian operator.
result Unified treatment of stability problems in geometry and analysis.
We investigate the classical Alexandroff-Borsuk problem in the category of non-triangulable manifolds: Given an n-dimensional compact non-triangulable manifold Mn and ε>0, does there exist an ε-map of Mn onto an n-dimensional finite polyhedron which induces a homotopy equivalence?
In the following text we compute possible heights of A (Alexandroff square), O (unit square [0,1]×[0,1] with lexicographic order topology) and U (unit square [0,1]×[0,1] with induced topology of Euclidean plane). We prove Ph(A)={n:n≥5}∪{+∞}, $P_h(\m…
Universal spaces for finite topological spaces simplify shape descriptions.
problem Describing shape properties of compact metric spaces.
method Inverse limits of finite spaces and Alexandroff extensions.
result Universal spaces simplify shape descriptions of compact metric spaces.
A classical theorem of Alexandroff states that every n-dimensional compactum X contains an n-dimensional Cantor manifold. This theorem has a number of generalizations obtained by various authors. We consider extension-dimensional and infinite dimensional analogs of strong Cantor manifolds, Mazurkiewicz manifolds,…
We prove that for every n>2, the Banach-Mazur compactum Q(n) is the compactification of a Hilbert cube manifold by the Euclidean point. For n=2 this result was proved earlier.
The paper proves Hölder continuity for solutions of degenerate parabolic equations in any dimension.
problem Proving Hölder continuity for solutions of degenerate parabolic equations in arbitrary dimensions.
method Establishing Alexandroff-Bakelman-Pucci estimate, Harnack inequality, Hölder regularity, and Schauder estimates for a class of degenerate parabolic equations.
result The paper proves Hölder continuity for solutions of degenerate parabolic equations in all dimensions.
We prove the following result announced in Todorov and Valov: Any homogeneous, metric ANR-continuum is a VGn-continuum provided dimGX=n≥1 and Hˇn(X;G)=0, where G is a principal ideal domain. This implies that any homogeneous n-dimensional metric ANR-continuum with $\check{H}^n(X;G)\neq…
We specify a result of Yokoi \cite{yo} by proving that if G is an abelian group and X is a homogeneous metric ANR compactum with dimGX=n and Hˇn(X;G)=0, then X is an (n,G)-bubble. This implies that any such space X has the following properties: Hˇn−1(A;G)=0 for every closed…
This article introduces an application of Ghrist barcodes in the study of persistent Betti numbers derived from vortex nerve complexes found in triangulations of video frames. A Ghrist barcode is a topology of data pictograph useful in representing the persistence of the features of changing shapes. The basic approach …
Detects outliers in VAE latent space by identifying vacant holes.
problem Outliers detection in VAE latent space.
method Compactness enforced via Alexandroff extension and fixed Lipschitz continuity.
result Anomalous inputs land on latent holes, enabling successful identification.
The homological dimension dG of metric compacta was introduced by Alexandroff. In this paper we provide some general properties of dG, mainly with an eye towards describing the dimensional full-valuedness of compact metric spaces. As a corollary of the established properties of dG, we prove that any two-dimens…
We introduce and investigate the notion of (strong) KGn-manifolds, where G is an abelian group. One of the result related to that notion (Theorem 3.4) implies the following partial answer to the Bing-Borsuk problem \cite{bb}, whether any partition of a homogeneous metric ANR-space X of dimension n is cyclic…
Sharp ABP estimate on metric spaces via optimal transport.
problem Sharp ABP estimate on metric measure spaces.
method Optimal transport theory.
result Established a sharp ABP estimate on metric measure spaces.
This article introduces planar ribbons, Vergili ribbon complexes and ribbon nerves in Alexandroff-Hopf-Whitehead CW (Closure finite Weak) topological spaces. A {\em planar ribbon} (briefly, {ribbon}) in a CW space is the closure of a pair of nesting, non-concentric filled cycles that includes the boundary but does not …
This article introduces proximal cell complexes in a hyperconnected space. Hyperconnectedness encodes how collections of path-connected sub-complexes in a Alexandroff-Hopf-Whitehead CW space are near to or far from each other. Several main results are given, namely, a hyper-connectedness form of CW (Closure Finite Weak…
This article introduces vortex nerve complexes in CW (Closure finite Weak) topological spaces, which first appeared in works by P. Alexandroff, H. Hopf and J.H.C. Whitehead during the 1930s. A vortex nerve is a CW complex containing one or more intersecting path-connected cycles. Each vortex nerve has its own distincti…
Let (M^n_i,g_i,p_i) be a sequence of smooth pointed complete n-dimensional Riemannian Manifolds with uniform bounds on the sectional curvatures and let (X,d,p) be a metric space such that (M^n_i,g_i,p_i) -> (X,d,p) in the Gromov-Hausdorff sense. Let O \subseteq X be the set of points x \in X such that there exists a ne…
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.
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.
This note explores comparison geometry concepts and theorems.
problem Exploring various comparison theorems in geometry.
method Analyzes Rauch and Toponogov theorems and their applications.
result Introduction of Gromov-Hausdorff convergence and Alexandrov Spaces.