Proper actions on bornological spaces are characterized with compatible coarse structures.
problem Characterizing proper actions on bornological spaces.
method Proving the existence of compatible coarse structures for proper actions.
result Bornological spaces admit compatible coarse structures for proper actions.
Extends Loday-Quillen-Tsygan theorem to bornological Lie algebra homology.
problem Calculating Lie algebra homology of gauge algebras using cyclic homology.
method Extends proof to bornological Lie algebra homology of Fréchet and LF-algebras, prepares statements about homological algebra of topological vector spaces.
result Constructs a spectral sequence to calculate stable part of bornological Lie algebra homology of gauge algebras.
Functor connects Lie groupoid algebras to bornological structures.
problem Establishing a functorial relationship between Lie groupoid convolution algebras and bornological structures.
method Developed a monoidal functor from differentiable stacks to Morita 2-category of complete bornological algebras.
result Convolution algebras are self-induced and convolution modules are smooth.
Bornological metrics on groups are studied, showing equivalence classes and constructing non-equivalent improper metrics.
problem Characterizing and constructing left-invariant metrics on groups that are not proper.
method Introducing bornological metrics and studying their equivalence classes, constructing non-equivalent improper metrics.
result Each coarse equivalence class of bornological metrics is determined by a bornology, and every class contains a canonical left-invariant representative.
New theory proves representability of PDE solutions without complex machinery.
problem Proving representability of PDE solutions using traditional methods is difficult.
method Developed a new model of derived differential geometry using C∞-bornological rings. result Representability of derived moduli stacks of PDE solutions naturally follows from an Artin-Lurie style theorem.
This note extends the invariant defined in "An invariant of metric spaces under bornologous equivalences" to the coarse category.
It is proved that the category of simplicial complete bornological spaces over R carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is also a monoidal model category with all cofibrant objects being flat. In particu…
We prove that if X is a complete geodesic metric space with uniformly generated first homology group and f:X→R is metrically proper on the connected components and bornologous, then X is quasi-isometric to a tree. Using this and adapting the definition of hyperbolic approximation we obtain an intrinsic sufficent …
Study shows how Poisson brackets factor on infinite dimensional manifolds.
problem Understanding Poisson brackets on infinite dimensional manifolds.
method Analyzes Poisson brackets on smoothly paracompact manifolds with specific properties.
result Dual map of a Poisson bracket factors as a smooth section of a vector bundle.
We present an idea of unifying small scale (topology, proximity spaces, uniform spaces) and large scale (coarse spaces, large scale spaces). It relies on an analog of multilinear forms from Linear Algebra. Each form has a large scale compactification and those include all well-known compactifications: Higson corona, Gr…
The paper extends properties of smooth functions to closed sets and maps.
problem Properties of smooth functions on closed sets and maps.
method Extending properties of smooth functions to closed sets and maps, proving isomorphisms with natural topologies.
result Bornological isomorphisms of function spaces are established.
Lie algebras of quotient groups defined under specific conditions.
problem Conditions for Lie differentiation of quotient groups.
method Diffeological group theory, tangent structure, Lie functor instantiation.
result Lie algebra structure on quotient groups derived from Lie algebras of parent groups.
Coarse geometry, and in particular coarse homotopy theory, has proven to be a powerful tool for approaching problems in geometric group theory and higher index theory. In this paper, we continue to develop theory in this area by proving a Coarse Lifting Lemma with respect to a certain class of bornologous surjective ma…
We prove the exponential law A(E×F,G)≅A(E,A(F,G)) (bornological isomorphism) for the following classes A of test functions: B (globally bounded derivatives), W∞,p (globally p-integrable derivatives), S (Schwartz space), D…
Study of tangent spaces in diffeological spaces under Lie group actions.
problem Understanding tangent spaces in generalized spaces.
method Generalized tangent space construction and isomorphism proof.
result Internal tangent space isomorphic to stratified tangent space.
(1,1) non-L-space knots are foliar in 3D space.
problem Proving (1,1) non-L-space knots are foliar.
method Analyzing (1,1) non-L-space knots in S3 and lens spaces. result (1,1) non-L-space knots are persistently foliar.
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.
The paper extends Stone duality to topological convexity spaces.
problem Understanding the relationship between topological convexity spaces and sup-lattices.
method Extending Stone duality to topological convexity spaces using preconvexity spaces.
result An adjunction between topological convexity spaces and sup-lattices.
No Einstein hypersurfaces found in Damek-Ricci spaces.
problem Existence of Einstein hypersurfaces in symmetric spaces.
method Analyzing properties of Damek-Ricci spaces and proving no Einstein hypersurface exists.
result No Einstein hypersurfaces in Damek-Ricci spaces.
The distance function ϱ(p,q) (or d(p,q)) of a distance space (general metric space) is not differentiable in general. We investigate such distance spaces over Rn, whose distance functions are differentiable like in case of Finsler spaces. These spaces have several good properties, yet they are no F…
New kernels defined for various spaces, including measures.
problem Defining kernels on non-standard spaces like measures.
method Integrally strictly positive definite and characteristic kernels on Hilbert, Banach, and metric spaces.
result Explicit classes of kernels on Lp spaces and sets of measures. Metric spaces uniquely split into Hilbert and non-line-split parts.
problem Understanding the structure of metric spaces.
method Proved unique decomposition into Hilbert and non-line-split parts.
result Metric spaces have a unique decomposition into a Hilbert space and a non-line-split part.
In a paper (math.DG/0403528) we obtained explicit examples of Moishezon twistor spaces of some compact self-dual four-manifolds admitting a non-trivial Killing field, and also determined their moduli space. In this note we investigate minitwistor spaces associated to these twistor spaces. We determine their structure, …
Study geometry of tetrahedra in complex hyperbolic space and Hilbert spaces.
problem Understanding geometric relationships between complex hyperbolic spaces and Hilbert spaces.
method Use a complex analog of the cosine of a vertex angle as a novel technical tool.
result Describe possible triangular faces of tetrahedra in hyperbolic space and three-dimensional subspaces in Hilbert spaces with Pick kernels.
New curvature positivity helps classify spherical spaces and complex projective spaces.
problem Classifying spherical space forms and complex projective spaces.
method Introducing a new positivity notion for curvature.
result Characterizations for spherical space forms and complex projective spaces.
Study of complete space-like self-expanders in Minkovski space.
problem Characterize complete space-like self-expanders in Minkovski space.
method Use of maximum principle of Omori-Yau type to prove rigidity theorems.
result Classification of 2-dimensional complete space-like self-expanders with constant squared norm of the second fundamental form.
The abstract discusses the linear and smooth structures of mapping spaces.
problem The structure of mapping spaces in differential geometry.
method Proving diffeomorphisms and fibre bundle properties.
result Path spaces and base point preserving mapping spaces are Fréchet spaces.
Study on convergence of transformed metric spaces as dimensions grow.
problem Conditions for convergence of transformed metric spaces.
method Clarifying conditions for convergence of transformed spaces from original sequence and vice versa.
result Spheres and projective spaces converge to Gaussian space and its quotient as dimensions increase.
Characterizes when almost smooth spaces become RCD spaces.
problem Understanding conditions for almost smooth spaces to be RCD spaces.
method Characterizations via local volume doubling and Poincaré inequality.
result Characterizes Einstein 4-orbifolds.
Stability of Wasserstein spaces under various convergence types.
problem Stability and finiteness of Wasserstein spaces over singular and non-singular spaces.
method Gromov--Hausdorff convergence and equivariant Gromov--Hausdorff convergence.
result Analogue of Perelman's stability theorem on Wasserstein spaces.
New infinite families of flat spaces found from symmetric spaces.
problem Finding new flat homogeneous spaces.
method Starting from compact symmetric spaces, constructing infinite families of compact homogeneous spaces with invariant Bismut connections.
result Infinite families of compact homogeneous spaces with vanishing Ricci tensor.
New quasi space forms solve Thurston's geometrical space form problem.
problem Solving Thurston's geometrical space form problem.
method Introducing quasi space forms as non-real space forms with specific geometric properties.
result Quasi space forms offer a metrical, local geometrical solution to Thurston's problem.
Classifies compact spaces by shape, finite spaces by weak homotopy.
problem Classifying compact Hausdorff spaces and finite topological spaces.
method Constructs a category that classifies spaces by shape and weak homotopy.
result Classifies compact spaces by shape, finite spaces by weak homotopy.
Introduces new types of homogeneous spaces and their properties.
problem Defining and understanding new types of homogeneous spaces.
method Introducing and analyzing (strongly) (Θ-)discrete homogeneous spaces. result Discovers relationships between new and existing homogeneous space types.
This work describes compactifications of metric spaces and vector spaces using asymmetric norms.
problem Compactifying metric spaces and vector spaces using asymmetric norms.
method Nonstandard methods, ultrapowers of the spaces at hand.
result Polyhedral compactifications of vector spaces with stratified structure.
In this paper, we present a unified study of the moduli space of tropical curves and Outer space which we link via period maps to the moduli space of tropical abelian varieties and the space of positive definite quadratic forms. Our work is a first step towards exhibiting Outer space and the space of positive definite …
Survey Bernstein-type theorems for graphical surfaces in Euclidean and Lorentz-Minkowski spaces.
problem Proving theorems for minimal and constant mean curvature graphs in Euclidean and Lorentz-Minkowski spaces.
method Explains several proofs and provides mean curvature estimates for graphs in Euclidean and Lorentz-Minkowski spaces.
result Bernstein-type theorems for constant mean curvature graphs in Euclidean 3-space and space-like graphs in Lorentz-Minkowski 3-space.
CAT(0) spaces with small volume growth are homeomorphic to Euclidean space.
problem Characterizing CAT(0) spaces with specific volume growth properties.
method Analyzing asymptotic topological regularity and volume growth.
result CAT(0) spaces with small volume growth are homeomorphic to Euclidean space.
Cantor Riemannium is a new type of space from holomorphic germs.
problem Defining a new type of space from holomorphic germs.
method Constructing the Cantor Riemannium by Borel monogenic continuation.
result The Cantor Riemannium is a metric, path connected, Gromov length space.
We construct a metric on the moduli space of bodies in Euclidean space. The moduli space is defined as the quotient space with respect to the action of integral affine transformations. This moduli space contains a subspace, the moduli space of Delzant polytopes, which can be identified with the moduli space of symplect…
Study static Einstein-Maxwell space invariant by translation.
problem Classify static Einstein-Maxwell space invariant under translation.
method Analyze static Einstein-Maxwell space conformal to pseudo-Euclidean space.
result Complete classification of static Einstein-Maxwell space invariant under translation.
A "Chen space" is a set X equipped with a collection of "plots" - maps from convex sets to X - satisfying three simple axioms. While an individual Chen space can be much worse than a smooth manifold, the category of all Chen spaces is much better behaved than the category of smooth manifolds. For example, any subspace …
The classification of G-spaces by Palais is refined for the case where the orbit space satisfies certain mild topological hypotheses. It is shown that when a sequence of such orbit spaces is "close" to a limit orbit space, in some suitable sense, within a larger ambient orbit space, the G-spaces in the tail of the sequ…
New spaces help connect manifold structures on equivariant Poincaré spaces.
problem Creating manifold structures on equivariant Poincaré spaces.
method Introducing semifree isovariant G-Poincaré spaces and gap conditions. result Space of isovariant structures on semifree G-Poincaré spaces is highly connected. Study shows how maps from certain geometric spaces behave near their edges.
problem Boundary regularity of harmonic maps in specific geometric spaces.
method Analysis of RCD(K,N) and CAT(0) spaces. result Established boundary regularity of harmonic maps.
Research explores the space-like embeddings in pseudo-hyperbolic space, finding geometric frames and actions.
problem Flat maximal space-like embeddings in pseudo-hyperbolic space.
method Description of Codazzi tensors, introduction of pseudo-Kähler metrics, Hamiltonian actions, moment maps, and geometric frames.
result Existence of two Hamiltonian actions with moment maps and geometric global Darboux frame.
Complete classification of quaternionic skew-Hermitian symmetric spaces found.
problem Classifying quaternionic skew-Hermitian symmetric spaces.
method Proving the existence of a torsion-free mSO∗(2n)mSp(1)-structure and showing that any homogeneous space is symmetric. result A complete classification of quaternionic skew-Hermitian symmetric spaces for arbitrary n>1. Introduces Alexandrov spaces with curvature below, covering various theorems.
problem Understanding spaces with curvature constraints.
method Explains comparison conditions, globalization, tangent spaces, etc.
result Globalization theorem and other theorems established for Alexandrov spaces.