On a Conjecture on Sharygin Triangles

Nikolay Osipov

2024-08-06

Abstract:By a simple method we prove the following conjecture on Sharygin triangles: there is only one Sharygin triangle (up to an isometry) whose vertices are chosen from the set of vertices of a regular polygon inscribed in a circle of radius 1.

Combinatorics,Metric Geometry,Number Theory

What problem does this paper attempt to address?

Shafarevich's Conjecture for CY Manifolds I

Kefeng Liu,Andrey Todorov,Shing-Tung Yau,Kang Zuo

DOI: https://doi.org/10.4310/pamq.2005.v1.n1.a3

2005-01-01

Pure and Applied Mathematics Quarterly

Abstract:In this paper we first study the moduli spaces related to Calabi-Yau manifolds. We then apply the results to the following problem. Let $C$ be a fixed Riemann surface with fixed finite number of points on it. Given a CY manifold with fixed topological type, we consider the set of all families of CY manifolds of the fixed topological type over $C$ with degenerate fibres over the fixed points up to isomorphism. This set is called Shafarevich set. The analogue of Shafarevich conjecture for CY manifolds is for which topological types of CY the Shafarevich set is finite. It is well-known that the analogue of Shafarevich conjecture is closely related to the study of the moduli space of polarized CY manifolds and the moduli space of the maps of fixed Riemann surface to the coarse moduli space of the CY manifolds. We prove the existence of the Teichmüller space of CY manifolds together with a universal family of marked CY manifolds. From this result we derive the existence of a finite cover of the coarse moduli space which is a non-singular quasi-projective manifold. Over this cover we construct a family of polarized CY manifolds. We study the moduli space of maps of the fixed Riemann with fixed points on it to the moduli space of CY manifolds constructed in the paper such that the maps map the fixed points on the Riemann surface to the discriminant locus. If this moduli space of maps is finite then Shafarevich conjecture holds. We relate the analogue of Shafarevich problem to the non-vanishing of the Yukawa coupling. We give also a counter example of the Shafarevich problem for a class of CY manifolds.
On Spaces of Inscribed Triangles

Richard Evan Schwartz

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

2019-08-22

Metric Geometry

Abstract:Meyerson's Theorem says that all but at most 2 points of any Jordan loop are vertices of inscribed equilateral triangles. We show that for any Jordan loop there are uncountable many other triangle shapes for which this same result is true. Our result comes from taking the limit of a structural result about spaces of triangles inscribed in polygons.
A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem

Shalosh B. Ekhad

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

2021-04-29

Abstract:We give a short and insightful proof of Gerry Leversha's elegant theorem regarding the isogonal conjugates of each of the vertices of a non-cyclic quadrilateral with respect to the triangle formed by the other three. It uses the Maple package <a class="link-external link-http" href="http://RENE.txt" rel="external noopener nofollow">this http URL</a>, available from . <a class="link-external link-http" href="http://www.math.rutgers.edu/~zeilberg/tokhniot/RENE.txt" rel="external noopener nofollow">this http URL</a>

History and Overview,Combinatorics
A Structural Theorem for Sets With Few Triangles

Sam Mansfield,Jonathan Passant

DOI: https://doi.org/10.1007/s00493-023-00066-z

2023-10-25

Abstract:We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds. (1) There is a $\sigma>0$ and a line $l$ which contains $\Omega(|P|^\sigma)$ points of $P$. Further, a positive proportion of $P$ is covered by lines parallel to $l$ each containing $\Omega(|P|^\sigma)$ points of $P$. (2) There is a circle $\gamma$ which contains a positive proportion of $P$. This provides evidence for two conjectures of Erdős. We use the result of Petridis-Roche-Newton-Rudnev-Warren on the structure of the affine group combined with classical results from additive combinatorics.

Combinatorics
Star-shaped trajectories of certain billiards around a triangle

Takeo Noda,Shin-ichi Yasutomi,Masamichi Yoshida

2024-10-09

Abstract:We explore the triangle outer billiards map in points at infinity in the hyperbolic plane, focusing on the rotation number. Building on Dogru and Tabachnikov's work, which established the conditions for triangles where the rotation number of the billiard map is $1/3$, we examine cases where the rotation number is $2/5$. We provide a sufficient condition for this rotation number and show its necessity for large isosceles triangles. The results are framed within the context of the Beltrami-Klein model. We concludes with a conjecture based on the findings.

Dynamical Systems
A note on Erdős's mysterious remark

Zoltán Kovács

2024-12-07

Abstract:We prove, by using elimination from algebraic geometry, that the only set $S\subset\mathbb{R}^2$, $\left|S\right|=6$ such that all subsets that build a triangle are isosceles triangles, is the regular pentagon with its center.

Computational Geometry,Metric Geometry
Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Thang Pham

DOI: https://doi.org/10.1515/forum-2023-0470

2024-03-27

Forum Mathematicum

Abstract:The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in ūĚĒĹ q 2 . More precisely, for A , B , C ‚äā ūĚĒĹ q 2 , if | A | ‚ĀĘ | B | ‚ĀĘ | C | 1 2 ‚Čę q 4 , then for any őĽ ‚ąą ūĚĒĹ q ‚ąĖ { 0 } , the number of congruence classes of triangles with vertices in A √ó B √ó C and one side-length őĽ is at least ‚Čę q 2 . In higher dimensions, we obtain similar results for k -simplex but under a slightly stronger condition. Compared to the well-known L 2 method in the literature, our approach offers better results in both conditions and conclusions. When A = B = C , the second goal of this paper is to give a new and unified proof of the best current results on the distribution of simplex due to Bennett, Hart, Iosevich, Pakianathan and Rudnev (2017) and McDonald (2020). The third goal of this paper is to study a Furstenberg-type problem associated to a set of rigid motions. The main ingredients in our proofs are incidence bounds between points and rigid motions. While the incidence bounds for large sets are due to the author and Semin Yoo (2023), the bound for small sets will be proved by using a point‚Äďline incidence bound in ūĚĒĹ q 3 due to Koll√°r (2015).

mathematics, applied
On ideal vertices of right-angled hyperbolic polyhedra

Stepan Alexandrov

2023-03-17

Abstract:In this note, we improve Nikulin's inequality in the case of right-angled hyperbolic polyhedra. The new inequality allows to give much shorter proofs of the known dimension bounds. We also improve Nonaka's lower bound on the number of ideal vertices for right-angled hyperbolic polyhedra.

Geometric Topology,Combinatorics
The area of reduced spherical polygons

Cen Liu,Yanxun Chang,Zhanjun Su

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

2020-09-20

Abstract:We confirm two conjectures of Lassak on the area of reduced spherical polygons. The area of every reduced spherical non-regular $n$-gon is less than that of the regular spherical $n$-gon of the same thickness. Moreover, the area of every reduced spherical polygon is less than that of the regular spherical odd-gons of the same thickness and whose number of vertices tends to infinity.

Metric Geometry,Combinatorics
Almost Congruent Triangles

József Balogh,Felix Christian Clemen,Adrian Dumitrescu

DOI: https://doi.org/10.1007/s00454-023-00623-9

2024-01-13

Discrete & Computational Geometry

Abstract:Almost 50 years ago Erdős and Purdy asked the following question: Given n points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least such approximate copies. In this paper we provide a matching upper bound and thereby answer their question. More generally, for every triangle T we determine the maximum number of approximate congruent triangles to T in a point set of size n . Parts of our proof are based on hypergraph Turán theory: for each point set in the plane and a triangle T , we construct a 3-uniform hypergraph , which contains no hypergraph as a subgraph from a family of forbidden hypergraphs . Our upper bound on the number of edges of will determine the maximum number of triangles that are approximate congruent to T .

mathematics,computer science, theory & methods
Exploring a Geometric Conjecture, Some Properties of Blaschke Products, and the Geometry of Curves Formed by Them

Mehmet Celik,Mathis Duguin,Jia Guo,Dianlun Luo,Kamryn Spinelli,Yunus E. Zeytuncu,Zhuoyu Zhu

2024-10-24

Abstract:In 2021, Dan Reznik made a YouTube video demonstrating that power circles of Poncelet triangles have an invariant total area. He made a simulation based on this observation and put forward a few conjectures. One of these conjectures suggests that the sum of the areas of three circles, each centered at the midpoint of a side of the Poncelet triangle and passing through the opposite vertex, remains constant. In this paper, we provide a proof of Reznik's conjecture and present a formula for calculating the total sum. Additionally, we demonstrate the algebraic structures formed by various sets of products and the geometric properties of polygons and ellipses created by these products.

Complex Variables
On the hot spots conjecture for acute triangles

Bartłomiej Siudeja

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

2013-08-14

Analysis of PDEs

Abstract:We show that the hot spots conjecture of J. Rauch holds for acute triangles if one of the angles is not larger than $\pi/6$. More precisely, we show that the second Neumann eigenfunction on those acute triangles has no maximum or minimum inside the domain. We first simplify the problem by showing that absence of critical points on two sides implies no critical points inside a triangle. This result applies to any acute triangle and might help prove the conjecture for arbitrary acute triangles. Then we show that there are no critical points on two sides assuming one small angle. We also establish simplicity for the second Neumann eigenvalue for all non-equilateral triangles.
On triangular billiards

Jan-Christoph Schlage-Puchta

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

2011-05-09

Abstract:We prove a conjecture of Kenyon and Smillie concerning the nonexistence of acute rational-angled triangles with the lattice property.

Dynamical Systems
Reductive Shafarevich Conjecture

Ya Deng,Katsutoshi Yamanoi,Ludmil Katzarkov

2024-05-29

Abstract:In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $\rho:\pi_1(X)\to {\rm GL}_{N}(\mathbb{C})$, therefore answering a question by Eyssidieux, Katzarkov, Pantev, and Ramachandran in 2012. It is worth noting that Eyssidieux had previously proven this result in 2004 when $X$ is smooth. While our approach follows the general strategy employed in Eyssidieux's proof, it introduces several improvements and simplifications. Notably, it avoids the necessity of using the reduction mod $p$ method in Eyssidieux's original proof. Additionally, we construct the Shafarevich morphism for complex reductive representations of fundamental groups of complex quasi-projective varieties unconditionally, and proving its algebraic nature at the function field level.

Algebraic Geometry,Complex Variables
Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

Caleb Ji

2024-08-16

Abstract:The Shafarevich conjecture for a class of varieties over a number field posits the finitude of those with good reduction outside a finite set of primes. In the case of hypersurfaces in the torus $\mathbb{G}_m^n$, a natural class to consider are those with a fixed Newton polyhedron that are nondegenerate with respect to it. Using an approach similar to that of Lawrence-Sawin for abelian varieties (<a class="link-https" data-arxiv-id="2004.09046" href="https://arxiv.org/abs/2004.09046">arXiv:2004.09046</a>), we prove the Shafarevich conjecture for certain classes of Newton polyhedra. In the course of our proof we construct a fiber functor for the Tannakian category of perverse sheaves on the torus in positive characteristic and compute the weights of the Frobenius on it, which leads to the big monodromy results which are key to this method.

Number Theory,Algebraic Geometry
On a Conjecture of Schmidt for the Parametric Geometry of Numbers

Aminata Dite Tanti Keita

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

2015-12-10

Abstract:With the help of the recently introduced parametric geometry of numbers by W. M. Schmidt and L. Summerer, we prove a strong version of a conjecture of Schmidt concerning the successive minima of a lattice.

Number Theory
Bollobás-Nikiforov Conjecture for graphs with not so many triangles

Hitesh Kumar,Shivaramakrishna Pragada

2024-07-28

Abstract:Bollobás and Nikiforov conjectured that for any graph $G \neq K_n$ with $m$ edges \[ \lambda_1^2+\lambda_2^2\le \bigg( 1-\frac{1}{\omega(G)}\bigg)2m\] where $\lambda_1$ and $\lambda_2$ denote the two largest eigenvalues of the adjacency matrix $A(G)$, and $\omega$ denotes the clique number of $G$. This conjecture was recently verified for triangle-free graphs by Lin, Ning and Wu and for regular graphs by Zhang. Elphick, Wocjan and Linz proposed a generalization of this conjecture. In this note, we verify this generalized conjecture for the family of graphs on $m$ edges, which contain at most $O(m^{1.5-\varepsilon})$ triangles for some $\varepsilon > 0$. In particular, we show that the conjecture is true for planar graphs, book-free graphs and cycle-free graphs.

Combinatorics
Rational Spherical Triangles

Haiyang Wang

2023-12-04

Abstract:A rational spherical triangle is a triangle on the unit sphere such that the lengths of its three sides and its area are rational multiples of $\pi$. Little and Coxeter have given examples of rational spherical triangles in 1980s. In this work, we are interested in determining all the rational spherical triangles. We introduce a conjecture on the solutions to a trigonometric Diophantine equation. An implication of the conjecture is that the only rational spherical triangles are the ones given by Little and Coxeter. We prove some partial results towards the conjecture.

Number Theory
On a conjecture of Anosov

Wei Wang

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

2011-12-23

Abstract:In this paper, we prove that for every bumpy Finsler $n$-sphere $(S^n,\,F)$ with reversibility $\lambda$ and flag curvature $K$ satisfying $(\frac{\lambda}{\lambda+1})^2<K\le 1$, there exist $2[\frac{n+1}{2}]$ prime closed geodesics. This gives a confirmed answer to a conjecture of D. V. Anosov \cite{Ano} in 1974 for a generic case.

Differential Geometry
On a conjecture of Kazhdan and Polishchuk

Olivier Debarre

2024-11-04

Abstract:We discuss a conjecture made by Alexander Polishchuk and David Kazhdan at the 2022 ICM about a variety naturally attached to any stable vector bundle of rank 2 and degree $2g- 1$ on a smooth projective complex curve of genus $g$.

Algebraic Geometry

On a Conjecture on Sharygin Triangles

Shafarevich's Conjecture for CY Manifolds I

On Spaces of Inscribed Triangles

A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem

A Structural Theorem for Sets With Few Triangles

Star-shaped trajectories of certain billiards around a triangle

A note on Erdős's mysterious remark

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

On ideal vertices of right-angled hyperbolic polyhedra

The area of reduced spherical polygons

Almost Congruent Triangles

Exploring a Geometric Conjecture, Some Properties of Blaschke Products, and the Geometry of Curves Formed by Them

On the hot spots conjecture for acute triangles

On triangular billiards

Reductive Shafarevich Conjecture

Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

On a Conjecture of Schmidt for the Parametric Geometry of Numbers

Bollobás-Nikiforov Conjecture for graphs with not so many triangles

Rational Spherical Triangles

On a conjecture of Anosov

On a conjecture of Kazhdan and Polishchuk