Related papers: The global isoperimetric methodology applied to Kn…
Two new proofs are provided, offering two new perspectives on Godbersen's conjecture. One of the proofs utilizes Helly's theorem to provide a concise and elegant proof of the inequality in Godbersen's conjecture. The other proof utilizes…
We prove a sharp quantitative version of Hales' isoperimetric honeycomb theorem by exploiting a quantitative isoperimetric inequality for polygons and an improved convergence theorem for planar bubble clusters. Further applications include…
We present a method for constructing global holomorphic peak functions from local holomorphic support functions for broad classes of unbounded domains. As an application, we establish a method for showing the positivity and completeness of…
Planar linkages are a rich area of study motivated by practical applications in engineering mechanisms. A central result is Kempe's Universality Theorem, which states that semi-algebraic sets can be realized by planar linkages. Polyhedral…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We explain that Hadamard's global inverse function theorem very simply follows from the Hopf--Rinow theorem in Riemannian geometry.
Herein, the theory of Bergman kernel is developed to the weighted case. A general form of weighted Bergman reproducing kernel is obtained, by which we can calculate concrete Bergman kernel functions for specific weights and domains.
A recently found interior for the Kerr metric is re-investigated by means of geometrical methods. A surface with nonholonomicity is matched to the surface of the exterior solution.
We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…
This paper is devoted to the proof of an isoperimetric property of the double spherical cap rearrangement of planar sets under the assumption of disconnection of non-trivial spherical slices. Additionally, the higher-dimensional case is…
In this paper we combine many of the standard and more recent algebraic techniques for testing isomorphism of finite groups (GpI) with combinatorial techniques that have typically been applied to Graph Isomorphism. In particular, we show…
We prove a normal form theorem for Poisson structures around Poisson transversals (also called cosymplectic submanifolds), which simultaneously generalizes Weinstein's symplectic neighborhood theorem from symplectic geometry and Weinstein's…
We give a new simpler proof of a theorem of Jayne and Rogers.
Based on direct integrals, a framework allowing to integrate a parametrised family of reproducing kernels with respect to some measure on the parameter space is developed. By pointwise integration, one obtains again a reproducing kernel…
We prove necessary and sufficient criteria of invertibility for planar harmonic mappings which generalize a classical result of H. Kneser, also known as the Rad\'{o}-Kneser-Choquet theorem.
In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B…
We prove the Strengthened Hanna Neumann Conjecture. We give a more direct cohomological interpretation of the conjecture in terms of "typical" covering maps, and use graph Galois theory to "symmetrize" the conjecture. The conjecture is then…
In this paper, we successfully set up a generalized sphere theorem for compact Riemannian manifolds with radial Ricci curvature bounded.
For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We…
Kerr-Schild formalism is generalized by incorporation of the Kerr Theorem with polynomials of higher degrees in $Y\in CP^1.$ It leads to multisheeted twistor spaces and multiparticle solutions.