The arc complexes of bicoloured polygons are balls

Pallavi Panda

2023-06-11

Abstract:We prove that the arc complexes of a convex polygon and of a once-punctured polygon with a bicolouring are pseudo-manifolds with boundary and we also give a shelling order. As a consequence we get that the arc complex of an ideal decorated hyperbolic (possibly once-punctured) polygon is a closed ball.

Combinatorics,Geometric Topology

What problem does this paper attempt to address?

Strip deformations of decorated hyperbolic polygons

Pallavi Panda

2023-06-11

Abstract:In this paper we study the hyperbolic and parabolic strip deformations of ideal (possibly once-punctured) hyperbolic polygons whose vertices are decorated with horoballs. We prove that the interiors of their arc complexes parametrise the open convex set of all uniformly lengthening infinitesimal deformations of the decorated hyperbolic metrics on these surfaces, motivated by the work of Danciger-Guéritaud-Kassel.

Geometric Topology,Differential Geometry
Strong collapsibility of the arc complexes of orientable and non-orientable crowns

Pallavi Panda

2024-02-16

Abstract:We prove that the arc complex of a polygon with a marked point in its interior is a strongly collapsible combinatorial ball. We also show that the arc complex of a Möbius strip, with finitely many marked points on its boundary, is a simplicially collapsible combinatorial ball but is not strongly collapsible.

General Topology,Combinatorics
Acute Triangulation of Constant Curvature Polygonal Complexes

Florestan Brunck

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

2022-10-17

Abstract:We prove that every 2-dimensional polygonal complex, where each polygon is given a constant curvature metric and belongs to one of finitely many isometry classes can be triangulated using only acute simplices. There is no requirement on the complex to be finite or even locally finite.

Computational Geometry,Metric Geometry
Hyperbolic polygons of minimal perimeter in punctured discs

Joan Porti

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

2016-09-27

Abstract:We prove that, among the polygons in a punctured disc with fixed angles, the perimeter is minimized by the polygon with an inscribed horocycle centered at the puncture. We generalize this to a disc with a cone point and to an annulus with a geodesic boundary component and a complete end. Then we apply this result to describe the minimum of the spine systole on the moduli space of punctured surfaces.

Geometric Topology
A discrete Blaschke Theorem for convex polygons in $2$-dimensional space forms

Alexander Borisenko,Vicente Miquel

2023-05-12

Abstract:Let $M$ be a $2$-space form. Let $P$ be a convex polygon in $M$. For these polygons, we define (and justify) a curvature $\kappa_i$ at each vertex $A_i$ of the polygon and and prove the following Blaschke's type theorem: If $P$ is a convex plygon in $M$ with curvature at its vertices $\kappa_i\ge \kappa_0 >0$, then the circumradius $R$ of $P$ satisfies $ta_\lambda(R) \le \pi/(2\kappa_0)$ and the equality holds if and only if the polygon is a $2$-covered segment.

Differential Geometry
Wigglyhedra

Asilata Bapat,Vincent Pilaud

2024-07-16

Abstract:Motivated by categorical representation theory, we define the wiggly complex, whose vertices are arcs wiggling around $n+2$ points on a line, and whose faces are sets of wiggly arcs which are pairwise pointed and non-crossing. The wiggly complex is a $(2n-1)$-dimensional pseudomanifold, whose facets are wiggly pseudotriangulations. We show that wiggly pseudotriangulations are in bijection with wiggly permutations, which are permutations of $[2n]$ avoiding the patterns $(2j-1) \cdots i \cdots (2j)$ for $i < 2j-1$ and $(2j) \cdots k \cdots (2j-1)$ for $k > 2j$. These permutations define the wiggly lattice, an induced sublattice of the weak order. We then prove that the wiggly complex is isomorphic to the boundary complex of the polar of the wigglyhedron, for which we give explicit and simple vertex and facet descriptions. Interestingly, we observe that any Cambrian associahedron is normally equivalent to a well-chosen face of the wigglyhedron. Finally, we recall the correspondence of wiggly arcs with objects in a category, and we develop categorical criteria for a subset of wiggly arcs to form a face of the wiggly complex.

Combinatorics,Representation Theory
Dancing polygons, rolling balls and the Cartan-Engel distribution

Gil Bor,Luis Hernández Lamoneda

2023-06-30

Abstract:A pair of planar polygons is "dancing" if one is inscribed in the other and they satisfy a certain cross-ratio relation at each vertex of the circumscribing polygon. Non-degenerate dancing pairs of closed $n$-gons exist for all $n\geq 6$. Dancing pairs correspond to trajectories of a non-holonomic mechanical system, consisting of a ball rolling, without slipping and twisting, along a polygon drawn on the surface of a ball 3 times larger than the rolling ball. The correspondence stems from reformulating both systems as piecewise rigid curves of a certain remarkable rank 2 non-integrable distribution defined on a 5-dimensional quadric in $\mathbb{RP}^6$, introduced by É. Cartan and F. Engel in 1893 in order to define the simple Lie group $\mathrm{G}_2$.

Differential Geometry,Mathematical Physics,Group Theory
Complex Hyperbolic Geometry of Chain Links

Jiming Ma,Baohua Xie,Mengmeng Xu

2024-03-03

Abstract:The complex hyperbolic triangle group $\Gamma=\Delta_{4,\infty,\infty;\infty}$ acting on the complex hyperbolic plane ${\bf H}^2_{\mathbb C}$ is generated by complex reflections $I_1$, $I_2$, $I_3$ such that the product $I_2I_3$ has order four, the products $I_3I_1$, $I_1I_2$ are parabolic and the product $I_1I_3I_2I_3$ is an accidental parabolic element. Unexpectedly, the product $I_1I_2I_3I_2$ is a hidden accidental parabolic element. We show that the 3-manifold at infinity of $\Delta_{4,\infty,\infty;\infty}$ is the complement of the chain link $8^4_1$ in the 3-sphere. In particular, the quartic cusped hyperbolic 3-manifold $S^3-8^4_1$ admits a spherical CR-uniformization. The proof relies on a new technique to show that the ideal boundary of the Ford domain is an infinite-genus handlebody. Motivated by this result and supported by the previous studies of various authors, we conjecture that the chain link $C_p$ is an ancestor of the 3-manifold at infinity of the critical complex hyperbolic triangle group $\Delta_{p,q,r;\infty}$, for $3 \leq p \leq 9$.

Geometric Topology
Polygonal surfaces in pseudo-hyperbolic spaces

Alex Moriani

2024-06-19

Abstract:A polygonal surface in the pseudo-hyperbolic space H^(2,n) is a complete maximal surface bounded by a lightlike polygon in the Einstein universe Ein^(1,n) with finitely many vertices. In this article, we give several characterizations of them. Polygonal surfaces are characterized by finiteness of their total curvature and by asymptotic flatness. They have parabolic type and polynomial quartic differential. Our result relies on a comparison between three ideal boundaries associated with a maximal surface, corresponding to three distinct distances naturally defined on the maximal surface.

Differential Geometry
Bicolored point sets admitting non-crossing alternating Hamiltonian paths

Jan Soukup

2024-04-09

Abstract:Consider a bicolored point set $P$ in general position in the plane consisting of $n$ blue and $n$ red points. We show that if a subset of the red points forms the vertices of a convex polygon separating the blue points, lying inside the polygon, from the remaining red points, lying outside the polygon, then the points of $P$ can be connected by non-crossing straight-line segments so that the resulting graph is a properly colored closed Hamiltonian path.

Combinatorics
Local convexity properties of quasihyperbolic balls in punctured space

Riku Klén

DOI: https://doi.org/10.1016/j.jmaa.2007.12.008

IF: 1.417

2008-06-01

Journal of Mathematical Analysis and Applications

Abstract:This paper deals with local convexity properties of the quasihyperbolic metric in the punctured space. We consider convexity and starlikeness of the quasihyperbolic balls.

mathematics, applied
Structures associated with the Borromean rings complement in the Poincaré ball

Anton A. Nazarenko,A. V. Nazarenko

2024-04-08

Abstract:Guided by physical needs, we deal with the rotationally isotropic Poincaré ball, when considering the complement of Borromean rings embedded in it. We consistently describe the geometry of the complement and realize the fundamental group as isometry subgroup in three dimensions. Applying this realization, we reveal normal stochastization and multifractal behavior within the examined model of directed random walks on the rooted Cayley tree, whose six-branch graphs are associated with dendritic polymers. According to Penner, we construct the Teichmüller space of the decorated ideal octahedral surface related to the quotient space of the fundamental group action. Using the conformality of decoration, we define six moduli and the mapping class group generated by cyclic permutations of the ideal vertices. Intending to quantize the geometric area, we state the connection between the induced geometry and the sine-Gordon model. Due to such a correspondence we obtain the differential two-form in the cotangent bundle.

Mathematical Physics
From the Kneser-Poulsen conjecture to ball-polyhedra

Karoly Bezdek

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

2009-03-27

Metric Geometry

Abstract:A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a finite set of balls in Euclidean space is repositioned so that the distance between the centers of every pair of balls is decreased, then the volume of the union (resp., intersection) of the balls is decreased (resp., increased). In the first half of this paper we survey the state of the art of the Kneser-Poulsen conjecture in Euclidean, spherical as well as hyperbolic spaces with the emphases being on the Euclidean case. Based on that it seems very natural and important to study the geometry of intersections of finitely many congruent balls from the viewpoint of discrete geometry in Euclidean space. We call these sets ball-polyhedra. In the second half of this paper we survey a selection of fundamental results known on ball-polyhedra. Besides the obvious survey character of this paper we want to emphasize our definite intention to raise quite a number of open problems to motivate further research.
On the complexity of polygonal billiards

Tyll Krueger,Arnaldo Nogueira,Serge Troubetzkoy

2023-12-07

Abstract:We show that the complexity of the billiard in a typical polygon grows cubically and the number of saddle connections grows quadratically along certain subsequences. It is known that the set of points whose first n-bounces hits the same sequence of sides as the orbit of an aperiodic phase point z converges to z. We establishe a polynomial lower bound estimate on this convergence rate for almost every z. This yields an upper bound on the upper metric complexity and upper slow entropy of polygonal billiards. We also prove significant deviations from the expected convergence behavior. Finally we extend these results to higher dimensions as well as to arbitrary invariant measures.

Dynamical Systems
Convex polygons and the isoperimetric problem in simply connected space forms $M_κ^2$

A R Aithal,Anisa M H Chorwadwala

2024-08-24

Abstract:In this article, we prove that there exists a unique perimeter minimizer among all piecewise smooth simple closed curves in $M_{\kappa}^2$ enclosing area $A > 0$ $(A \leq 2{\pi}$ if ${\kappa} = 1)$, and it is a circle in $M_{\kappa}^2$ of radius $AS_{\kappa} \left( \dfrac{ \sqrt{ A ( 4 {\pi} - {\kappa} A ) } }{ 2 {\pi} } \right)$, where $AS_{\kappa}(t) := t$ if ${\kappa} = 0$, arcsin$(t)$ if ${\kappa} = 1$, sinh$^{-1}(t)$ if ${\kappa} =-1$. We also prove the isoperimetric inequality for $M_{\kappa}^2$. We give an elementary geometric proof which is uniform for all three simply connected space forms.

Differential Geometry,Optimization and Control
On coverings by Minkowski balls in the plane and a duality

Nikolaj Glazunov

2023-12-06

Abstract:Lattice coverings in the real plane by Minkowski balls are studied. We exploit the duality of admissible lattices of Minkowski balls and inscribed convex symmetric hexagons of these balls. An explicit moduli space of the areas of these hexagons is constructed, giving the values of the determinants of corresponding covering lattices. Low and upper bounds for covering constants of Minkowski balls are given. The best known value of covering density of Minkowski ball is obtained. One conjecture and one problem are formulated.

Number Theory
A non-trivial family of trivial bundles with complex hyperbolic structure

Hugo C. Botós,Felipe A. Franco

2024-11-05

Abstract:In $\mathrm{PU}(2,1)$, the group of holomorphic isometries of the complex hyperbolic plane, we study the space of involutions $R_1, R_2, R_3, R_4, R_5$ satisfying $R_5R_4R_3R_2R_1=1$, where $R_1$ is a reflection in a complex geodesic and the other $R_i$'s are reflections in points of the complex hyperbolic plane. We show that this space modulo $\mathrm{PU}(2,1)$-conjugation is bending-connected and has dimension $4$. Using this, we construct a $4$-dimensional bending-connected family of complex hyperbolic structures on a disc orbibundle with vanishing Euler number over the sphere with $5$ cone points of angle $\pi$. Bending-connectedness here means that we can naturally deform the geometric structure, like Dehn twists in Teichmüller theory. Additionally, finding complex hyperbolic disc orbibundles with vanishing Euler number is a hard problem, originally conjectured by W. Goldman and Y. Eliashberg and solved by S. Anan'in and N. Gusevskii, and we produce a simpler and more straightforward construction for them.

Geometric Topology,Differential Geometry
Bijections between colored compositions, Dyck paths, and polygon partitions

Juan B. Gil,Emma G. Hoover,Jessica A. Shearer

2024-03-07

Abstract:In this paper, we give part-preserving bijections between three fundamental families of objects that serve as natural framework for many problems in enumerative combinatorics. Specifically, we consider compositions, Dyck paths, and partitions of a convex polygon, and identify suitable building blocks that are then appropriately decorated to achieve matching cardinalities. Our bijections are constructive and apply for the general case where the building blocks are allowed to come in different colors.

Combinatorics
Convex Sequence and Convex Polygon

Angshuman Robin Goswami,István Szalkai

2024-04-18

Abstract:In this paper, we deal with the question; under what conditions the points $P_i(xi,yi)$ $(i = 1,\cdots, n)$ form a convex polygon provided $x_1 < \cdots < x_n$ holds. One of the main findings of the paper can be stated as follows: "Let $P_1(x_1,y_1),\cdots ,P_n(x_n,y_n)$ are $n$ distinct points ($n\geq3$) with $x_1<\cdots<x_n$. Then $\overline{P_1P_2},\cdots \overline{P_nP_1}$ form a convex $n$-gon that lies in the half-space \begin{equation*}{ \underline{\mathbb{H}}=\bigg\{(x,y)\big|\quad x\in\mathbb{R} \quad \mbox{and} \quad y\leq y_1+\bigg(\dfrac{x-x_1}{x_n-x_1}\bigg)(y_n-y_1)\bigg\}\subseteq{\mathbb{R}^{2}} } \end{equation*} if and only if the following inequality holds \begin{equation} \dfrac{y_i-y_{i-1}}{x_i-x_{i-1}} \leq \dfrac{y_{i+1}-y_{i}}{x_{i+1}-x_{i}} \quad \quad \mbox{for all} \quad \quad i\in\{2,\cdots,n-1\} ." \end{equation} Based on this result, we establish a linkage between the property of sequential convexity and convex polygon. We show that in a plane if any $n$ points are scattered in such a way that their horizontal and vertical distances preserve some specific monotonic properties; then those points form a $2$-dimensional convex polytope.

Metric Geometry

The arc complexes of bicoloured polygons are balls

Strip deformations of decorated hyperbolic polygons

Strong collapsibility of the arc complexes of orientable and non-orientable crowns

Acute Triangulation of Constant Curvature Polygonal Complexes

Hyperbolic polygons of minimal perimeter in punctured discs

A discrete Blaschke Theorem for convex polygons in $2$-dimensional space forms

Wigglyhedra

Dancing polygons, rolling balls and the Cartan-Engel distribution

Complex Hyperbolic Geometry of Chain Links

Polygonal surfaces in pseudo-hyperbolic spaces

Bicolored point sets admitting non-crossing alternating Hamiltonian paths

Local convexity properties of quasihyperbolic balls in punctured space

Structures associated with the Borromean rings complement in the Poincaré ball

From the Kneser-Poulsen conjecture to ball-polyhedra

On the complexity of polygonal billiards

Convex polygons and the isoperimetric problem in simply connected space forms $M_κ^2$

On coverings by Minkowski balls in the plane and a duality

A non-trivial family of trivial bundles with complex hyperbolic structure

Bijections between colored compositions, Dyck paths, and polygon partitions

Convex Sequence and Convex Polygon