About the Bloch-Connelly-Henderson Theorem on the simplexwise linear homeomorphisms of a convex 2-disk

Jean Cerf

DOI: https://doi.org/10.48550/arXiv.1910.00240

2019-10-01

Abstract:This paper gives an improved version of the original proof of Bloch-Connelly-Henderson's theorem about the space of $SL$ homeomorphisms of a convex 2-disk. A major improvement is related to the main lemma of the original paper.

Geometric Topology

What problem does this paper attempt to address?

Positive ($S^1$-equivariant) symplectic homology of convex domains, higher capacities, and Clarke's duality

Stefan Matijević

2024-10-17

Abstract:We prove that the positive ($S^1$-equivariant) symplectic homology of a convex domain is naturally isomorphic to the singular ($S^1$-equivariant) homology of Clarke's dual associated with the convex domain. As a result, we prove that the Gutt-Hutchings capacities coincide with the spectral invariants introduced by Ekeland-Hofer for convex domains. From this identification, it follows that Besse convex contact spheres can be characterized by the Gutt-Hutchings capacities, which implies that symplectomorphisms of the interiors of Besse convex bodies encode information about the Reeb flow on their boundaries. Moreover, as a corollary of the aforementioned isomorphism, we deduce that the barcode entropy associated with the singular homology of Clarke's dual provides a lower bound for the topological entropy of the Reeb flow on the boundary of a convex domain in $\mathbb{R}^{2n}$. In particular, this barcode entropy coincides with the topological entropy for convex domains in $\mathbb{R}^4$.

Symplectic Geometry,Differential Geometry,Dynamical Systems
Stable and Total Fenchel Duality for Convex Optimization Problems in Locally Convex Spaces

Chong Li,Donghui Fang,Genaro Lopez,Marco A. Lopez

DOI: https://doi.org/10.1137/080734352

IF: 2.763

2009-01-01

SIAM Journal on Optimization

Abstract:We consider the optimization problem $(P_{A})$ $\inf_{x\in X}\{f(x)+g(Ax)\}$ where $f$ and $g$ are proper convex functions defined on locally convex Hausdorff topological vector spaces $X$ and $Y$, respectively, and $A$ is a linear operator from $X$ to $Y$. By using the properties of the epigraph of the conjugated functions, some sufficient and necessary conditions for the strong Fenchel duality and the strong converse Fenchel duality of $(P_{A})$ are provided. Sufficient and necessary conditions for the stable Fenchel duality and for the total Fenchel duality are also derived.
A symplectic proof of the Horn inequalities

Anton Alekseev,Masha Podkopaeva,Andras Szenes

DOI: https://doi.org/10.48550/arXiv.1410.3149

2014-10-13

Abstract:In this paper, we give a symplectic proof of the Horn inequalities on eigenvalues of a sum of two Hermitian matrices with given spectra. Our method is a combination of tropical calculus for matrix eigenvalues, combinatorics of planar networks, and estimates for the Liouville volume. As a corollary, we give a tropical description of the Duistermaat-Heckman measure on the Horn polytope.

Symplectic Geometry,Representation Theory
A simple proof of the Baillon-Haddad theorem on open subsets of Hilbert spaces

Daniel Wachsmuth,Gerd Wachsmuth

DOI: https://doi.org/10.48550/arXiv.2204.00282

2022-04-01

Abstract:We give a simple proof of the Baillon-Haddad theorem for convex functions defined on open and convex subsets of Hilbert spaces. We also state some generalizations and limitations. In particular, we discuss equivalent characterizations of the Lipschitz continuity of the derivative of convex functions on open and convex subsets of Banach spaces.

Functional Analysis,Optimization and Control
Quasiconformal Homeomorphisms and the Convex Hull Boundary

DBA Epstein,A Marden,V Markovic

DOI: https://doi.org/10.4007/annals.2004.159.305

IF: 4.795

2004-01-01

Annals of Mathematics

Abstract:We investigate the relationship between an open simply-connected region Omega subset of S-2 and the boundary Y of the hyperbolic convex hull in H-3 of S-2 \ Omega. A counterexample is given to Thurston's conjecture that these spaces are related by a 2-quasiconformal homeomorphism which extends to the identity map on their common boundary, in the case when the homeomorphism is required to respect any group of Mobius transformations which preserves Q. We show that the best possible universal lipschitz constant for the nearest point retraction r : Omega --> Y is 2. We find explicit universal constants 0 < c(2) < c(1), such that no pleating map which bends more than cl in some interval of unit length is an embedding, and such that any pleating map which bends less than c(2) in each interval of unit length is embedded. We show that every K-quasiconformal homeomorphism D-2 --> D-2 is a (K, a(K))-quasi-isometry, where a(K) is an explicitly computed function. The multiplicative constant is best possible and the additive constant a(K) is best possible for some values of K.
A Geometric Approach to the Topological Disk Theorem of Reifenberg

Guanghao Hong,Lihe Wang

DOI: https://doi.org/10.2140/pjm.2007.233.321

2007-01-01

Pacific Journal of Mathematics

Abstract:We offer a new approach to the classical topological disk theorem of Reifenberg in the codimension-1 case. Our proof, using 1/2-level sets of the smoothing of the characteristic function of the domain Omega as approximating surfaces of partial derivative Omega, is much simpler than Reifenberg's original one (1960). We also extend the result to parabolic space.
A colorful Goodman-Pollack-Wenger theorem

Andreas F. Holmsen

DOI: https://doi.org/10.1007/s00454-023-00573-2

2024-09-05

Abstract:Hadwiger's transversal theorem gives necessary and sufficient conditions for the existence of a line transversal to a family of pairwise disjoint convex sets in the plane. These conditions were subsequently generalized to hyperplane transversals to general families of convex sets in $\mathbb{R}^d$ by Goodman, Pollack, and Wenger. Here we show a colorful genealization of their theorem which confirms a conjecture of Arocha, Bracho, and Montejano. The proof is topological and uses the Borsuk-Ulam theorem.

Combinatorics,Metric Geometry
Extending Homeomorphisms of the Circle to Quasiconformal Homeomorphisms of the Disk

David Epstein,Vladimir Markovic

DOI: https://doi.org/10.2140/gt.2007.11.517

2007-01-01

Geometry & Topology

Abstract:We prove that it is not possible to extend, in a homomorphic fashion, each quasisymmetric homeomorphism of the circle to a quasiconformal homeomorphism of the disk.
Improved homological stability for configuration spaces after inverting 2

Alexander Kupers,Jeremy Miller

DOI: https://doi.org/10.4310/HHA.2015.v17.n1.a12

2019-05-25

Abstract:In Appendix A of his article on rational functions, Segal proved homological stability for configuration spaces with a stability slope of 1/2. This was later improved to a slope of 1 by Church and Randal-Williams if one works with rational coefficients and manifolds of dimension at least $3$. In this note we prove that the stability slope of 1 holds even with Z[1/2] coefficients, and clarify some aspects of Segal's proof for topological manifolds.

Algebraic Topology
Geometry of convex geometries

Jérémie Chalopin,Victor Chepoi,Kolja Knauer

2024-05-21

Abstract:We prove that any convex geometry $\mathcal{A}=(U,\mathcal{C})$ on $n$ points and any ideal $\mathcal{I}=(U',\mathcal{C}')$ of $\mathcal{A}$ can be realized as the intersection pattern of an open convex polyhedral cone $K\subseteq {\mathbb R}^n$ with the orthants of ${\mathbb R}^n$. Furthermore, we show that $K$ can be chosen to have at most $m$ facets, where $m$ is the number of critical rooted circuits of $\mathcal{A}$. We also show that any convex geometry of convex dimension $d$ is realizable in ${\mathbb R}^d$ and that any multisimplicial complex (a basic example of an ideal of a convex geometry) of dimension $d$ is realizable in ${\mathbb R}^{2d}$ and that this is best possible. From our results it also follows that distributive lattices of dimension $d$ are realizable in ${\mathbb R}^{d}$ and that median systems are realizable. We leave open %the question whether each median system of dimension $d$ is realizable in ${\mathbb R}^{O(d)}$.

Combinatorics
A Proof of the Simplex Mean Width Conjecture

Aaron Goldsmith

2023-06-28

Abstract:The mean width of a convex body is the average distance between parallel supporting hyperplanes when the normal direction is chosen uniformly over the sphere. The Simplex Mean Width Conjecture (SMWC) is a longstanding open problem that says the regular simplex has maximum mean width of all simplices contained in the unit ball and is unique up to isometry. We give a self contained proof of the SMWC in $d$ dimensions. The main idea is that when discussing mean width, $d+1$ vertices $v_i\in\mathbb{S}^{d-1}$ naturally divide $\mathbb{S}^{d-1}$ into $d+1$ Voronoi cells and conversely any partition of $\mathbb{S}^{d-1}$ points to selecting the centroids of regions as vertices. We will show that these two conditions are enough to ensure that a simplex with maximum mean width is a regular simplex.

Metric Geometry,Information Theory
A Schur-Horn-Kostant Convexity Theorem for the Diffeomorphism Group of the Annulus

A. M. Bloch,H. Flaschka,T. Ratiu

DOI: https://doi.org/10.1007/bf01244316

IF: 3.128

1993-01-01

Inventiones mathematicae

Abstract:The group of area preserving diffeomorphisms of the annulus acts on its Lie algebra, the globally Hamiltonian vectorfields on the annulus. We consider a certain Hilbert space completion of this group (thinking of it as a group of unitary operators induced by the diffeomorphisms), and prove that the projection of an adjoint orbit onto a ''Cartan'' subalgebra isomorphic to L2([0, 1]) is an infinite-dimensional, weakly compact, convex set, whose extreme points coincide with the orbit, through a certain function, of the ''permutation'' semigroup of measure preserving transformations of [0, 1].
Cartan-Thullen theorem and Levi problem in context of generalised convexity

Krzysztof J. Ciosmak

2023-12-19

Abstract:We demonstrate that the Cartan-Thullen theorem and its generalisation to the context of generalised convexity, which we establish herein, can be regarded as a consequence of the classical theorems of functional analysis. Furthermore, we characterise the domains of holomorphy, and their generalisations, as the spaces that are complete, or as the spaces exhaustible by suitably defined polytopes. We also provide an analogue of the Levi problem and its elementary solution. Our result allows for a novel characterisation of Stein spaces.

Complex Variables,Functional Analysis
Convexity properties of sections of 1-symmetric bodies and Rademacher sums

Joseph Kalarickal,David Rotunno,Salil Singh,Tomasz Tkocz

2024-06-16

Abstract:We establish a monotonicity-type property of volume of central hyperplane sections of the 1-symmetric convex bodies, with applications to chessboard cutting. We parallel this for projections with a new convexity-type property for Rademacher sums.

Metric Geometry
Wolff-Denjoy theorems in non-smooth convex domains

Marco Abate,Jasmin Raissy

DOI: https://doi.org/10.48550/arXiv.1211.2454

2012-11-12

Abstract:We give a short proof of Wolff-Denjoy theorem for (not necessarily smooth) strictly convex domains. With similar techniques we are also able to prove a Wolff-Denjoy theorem for weakly convex domains, again without any smoothness assumption on the boundary.

Complex Variables,Dynamical Systems
Entropy of Isometries Semi-groups of Hyperbolic space

Paul Mercat

DOI: https://doi.org/10.48550/arXiv.1602.07809

2016-02-25

Abstract:We give a generalization to convex co-compact semigroups of a beautiful theorem of Patterson-Sullivan, telling that the critical exponent (that is the exponential growth rate) equals the Hausdorff dimension of the limit set (that is the smallest closed non-empty invariant subset), for a isometries discrete group of a proper hyperbolic space with compact boundary. To do that, we introduce a notion of entropy, which generalize the notion of critical exponent of discrete groups, and we show that it is equal to the upper bound of critical exponents of Schottky sub-semigroups (which are semigroups having the simplest dynamic). We obtains several others corollaries, such that the lower semi-continuity of the entropy, the fact that the critical exponent of a separate semigroup, that is defined as an upper limit, is in fact a true limit, and we obtain the existence of "big" Schottky sub-semigroups in discrete groups of isometries.

Metric Geometry,Dynamical Systems,Group Theory,Number Theory
The Julia-Wolff-Carathéodory theorem in convex finite type domains

Leandro Arosio,Matteo Fiacchi

2024-07-12

Abstract:Rudin's version of the classical Julia-Wolff-Carathéodory theorem is a cornerstone of holomorphic function theory in the unit ball of $\mathbb{C}^d$. In this paper we obtain a complete generalization of Rudin's theorem for a holomorphic map $f\colon D\to D'$ between convex domains of finite type. In particular, given a point $\xi\in \partial D$ with finite dilation we show that the $K$-limit of $f$ at $\xi$ exists and is a point $\eta\in \partial D'$, and we obtain asymptotic estimates for all entries of the Jacobian matrix of the differential $df_z$ in terms of the multitypes at the points $\xi$ and at $\eta$. We introduce a generalization of Bracci-Patrizio-Trapani's pluricomplex Poisson kernel which, together with the dilation at $\xi$, gives a formula for the restricted $K$-limit of the normal component of the normal derivative $\langle df_z(n_\xi),n_\eta\rangle$. Our principal tools are methods from Gromov hyperbolicity theory, a scaling in the normal direction, and the strong asymptoticity of complex geodesics. To obtain our main result we prove a conjecture by Abate on the Kobayashi type of a vector $v$, proving that it is equal to the reciprocal of the line type of $v$, and we give new extrinsic characterizations of both $K$-convergence and restricted convergence to a point $\xi\in \partial D$ in terms of the multitype at $\xi$.

Complex Variables
The Koebe Conjecture and the Weyl Problem for Convex Surfaces in Hyperbolic 3-Space

Feng Luo,Tianqi Wu

DOI: https://doi.org/10.1016/j.aim.2024.109969

IF: 1.675

2024-01-01

Advances in Mathematics

Abstract:We prove that the Koebe circle domain conjecture is equivalent to the Weyl type problem that every complete hyperbolic surface of genus zero is isometric to the boundary of the hyperbolic convex hull of the complement of a circle domain. It provides a new way to approach the Koebe's conjecture using convex geometry. Combining our result with the work of He-Schramm on the Koebe conjecture, one establishes that every simply connected non-compact polyhedral surface is discrete conformal to the complex plane or the open unit disk. The main tool we use is Schramm's transboundary extremal lengths.
On a Dowker-type problem for convex disks with almost constant curvature

Bushra Basit,Zsolt Lángi

2024-02-07

Abstract:A classical result of Dowker (Bull. Amer. Math. Soc. 50: 120-122, 1944) states that for any plane convex body $K$, the areas of the maximum (resp. minimum) area convex $n$-gons inscribed (resp. circumscribed) in $K$ is a concave (resp. convex) sequence. It is known that this theorem remains true if we replace area by perimeter, or convex $n$-gons by disk-$n$-gons, obtained as the intersection of $n$ closed Euclidean unit disks. It has been proved recently that if $C$ is the unit disk of a normed plane, then the same properties hold for the area of $C$-$n$-gons circumscribed about a $C$-convex disk $K$ and for the perimeters of $C$-$n$-gons inscribed or circumscribed about a $C$-convex disk $K$, but for a typical origin-symmetric convex disk $C$ with respect to Hausdorff distance, there is a $C$-convex disk $K$ such that the sequence of the areas of the maximum area $C$-$n$-gons inscribed in $K$ is not concave. The aim of this paper is to investigate this question if we replace the topology induced by Hausdorff distance with a topology induced by the surface area measure of the boundary of $C$.

Metric Geometry
Homotopies and transcendental extensions in colouring problems

Wojciech Duliński

2024-10-27

Abstract:We develop the technique of geometric realizations with algebraically independent (over the field of real algebraic numbers) coordinates of vertices and combine it with the oriented volume method inspired by work of McLennan and Tourky on the Sperner's lemma. This enables us to prove new results: the non-draw property of the generalized Y game, the theorem about triangulation of the product of two simplices, multilabeled Ky Fan' s lemma, and give new proofs of known results: the multilabeled version of Sperner's lemma and generalized Atanassov conjecture.

Combinatorics

About the Bloch-Connelly-Henderson Theorem on the simplexwise linear homeomorphisms of a convex 2-disk

Positive ($S^1$-equivariant) symplectic homology of convex domains, higher capacities, and Clarke's duality

Stable and Total Fenchel Duality for Convex Optimization Problems in Locally Convex Spaces

A symplectic proof of the Horn inequalities

A simple proof of the Baillon-Haddad theorem on open subsets of Hilbert spaces

Quasiconformal Homeomorphisms and the Convex Hull Boundary

A Geometric Approach to the Topological Disk Theorem of Reifenberg

A colorful Goodman-Pollack-Wenger theorem

Extending Homeomorphisms of the Circle to Quasiconformal Homeomorphisms of the Disk

Improved homological stability for configuration spaces after inverting 2

Geometry of convex geometries

A Proof of the Simplex Mean Width Conjecture

A Schur-Horn-Kostant Convexity Theorem for the Diffeomorphism Group of the Annulus

Cartan-Thullen theorem and Levi problem in context of generalised convexity

Convexity properties of sections of 1-symmetric bodies and Rademacher sums

Wolff-Denjoy theorems in non-smooth convex domains

Entropy of Isometries Semi-groups of Hyperbolic space

The Julia-Wolff-Carathéodory theorem in convex finite type domains

The Koebe Conjecture and the Weyl Problem for Convex Surfaces in Hyperbolic 3-Space

On a Dowker-type problem for convex disks with almost constant curvature

Homotopies and transcendental extensions in colouring problems