The Geometry of Triangles

Yining Chen

2023-09-03

Abstract:In this article we make the concept of a continuous family of triangles precise and prove the moduli functor classifying oriented triangles admits a fine moduli space but the functor classifying non-oriented triangles only admits a coarse moduli space. We hope moduli spaces of triangles can help understand stacks.

Algebraic Geometry

What problem does this paper attempt to address?

A geometric iterated function system on triangles

Jiajun Wang,Ying Zhang

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

2016-05-06

Abstract:We construct a converging geometric iterated function system on the moduli space of ordered triangles, for which the involved functions have geometric meanings and contain a non-contraction map under the natural metric.

Dynamical Systems
GEOMETRY MODULI SPACES

Kefeng Liu,Xiaofeng Sun,Shing-Tung Yau

2008-01-01

Abstract:In this paper we describe some recent results on the geometry of the moduli space of Riemann surfaces. We surveyed new and classical metrics on the moduli spaces of hyperbolic Riemann surfaces and their geometric properties. We then discussed the Mumford goodness and generalized goodness of various metrics on the moduli spaces and their deformation invariance. By combining with the dual Nakano negativity of the Weil-Petersson metric we derive various consequences such that the infinitesimal rigidity, the Gauss-Bonnet theorem and the log Chern number computations.
The Moduli Stack of Triangles

Eric Brussel,Madeleine Goertz,Elijah Guptil,Kelly Lyle

2024-08-15

Abstract:We prove that Dyck's Surface, which is the connected sum of three projective planes, is a fine moduli stack of possibly-degenerate similarity classes of triangles, where degeneracy is defined broadly to be compatible with the metric closures of known constructions of nondegenerate spaces, which are based on either side-side-side or angle-angle-angle criteria. We also prove the blowup of $\mathbb C^3-\{0\}$ at three hyperplanes is a fine moduli stack of possibly-degenerate triangles, also using the broadest reasonable definition of degeneracy.

Algebraic Geometry,Dynamical Systems
The Moduli Space of Acute Triangles

John Carlos Baez

2024-06-23

Abstract:As an introduction to the concept of "moduli space" we consider the moduli space of similarity classes of acute and right triangles in the plane. This has a map to the moduli space of elliptic curves which is onto and generically three-to-one. The reason is that from any acute or right triangle we can construct an elliptic curve, and every elliptic curve is isomorphic to one constructed this way.

Algebraic Geometry
The Torus of Triangles

Eric Brussel,Madeleine E. Goertz

2024-09-18

Abstract:We prove the 2-torus $\mathbb T$, an abelian linear algebraic group, occurs as a compactification of the moduli space of labeled, oriented, similarity classes of triangles. A (possibly degenerate) triangle is {\it inscribable} if it can be inscribed in a circle. We show $\mathbb T$ is a fine moduli space of labeled, oriented, possibly-degenerate inscribable classes, and that the (moduli) stack of (unlabeled, unoriented) possibly-degenerate inscribable classes is the quotient $[\mathbb T/D_6]$. To illustrate how aptly $\mathbb T$ describes triangle classes we show the main triangle types form distinguished algebraic structures: subgroups, cosets, and elements of small order, and use the natural metric on $\mathbb T$ to compare them.

Metric Geometry,Algebraic Geometry
Variational Principles on Triangulated Surfaces

Feng Luo

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

2008-03-29

Abstract:We give a brief introduction to some of the recent works on finding geometric structures on triangulated surfaces using variational principles.

Geometric Topology,Differential Geometry
Fully Triangulated Categories

Husniyah Alzubaidi,Antony Maciocia

2023-12-12

Abstract:We modify the axioms of triangulated categories to include both higher triangles and distinguished maps of higher triangles. The distinguished maps are specializations of Neeman's ``good'' maps of $2$-triangles. The axioms both simplify Neeman's axioms in his 1991 paper and generalize them to higher triangles in the way proposed by Balmer et al. We provide a geometric formulation via directed truncated simplices to enable a more concrete approach. The axioms are modelled by homotopy and derived categories. We look at a number of key theorems including the fact that sums of maps of $2$-triangles are distinguished if and only if the maps are distinguished and a strong version of the $3$x$3$ lemma. These illustrate some key proof methods. We also show that maps of faces of distinguished triangles are distinguished. We construct some useful distinguished $5$-triangles.

Category Theory,Algebraic Geometry,Algebraic Topology
Existence of moduli spaces for algebraic stacks

Jarod Alper,Daniel Halpern-Leistner,Jochen Heinloth

DOI: https://doi.org/10.1007/s00222-023-01214-4

2024-02-23

Abstract:We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $\Theta$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to have a separated or proper good moduli space. To illustrate our method, we apply these results to construct proper moduli spaces parameterizing semistable $\mathcal{G}$-bundles on curves and moduli spaces for objects in abelian categories.

Algebraic Geometry
Tilings of Flat Tori by Congruent Hexagons

Xinlu Yu,Erxiao Wang,Min Yan

2024-05-08

Abstract:Convex hexagons that can tile the plane have been classified into three types. For the generic cases (not necessarily convex) of the three types and two other special cases, we classify tilings of the plane under the assumption that all vertices have degree $3$. Then we use the classification to describe the corresponding hexagonal tilings of flat tori and their moduli spaces.

Combinatorics
A Geometric Model for the Module Category of a Skew-Gentle Algebra

Ping He,Yu Zhou,Bin Zhu

DOI: https://doi.org/10.1007/s00209-023-03275-w

2023-01-01

Mathematische Zeitschrift

Abstract:In this article, we realize skew-gentle algebras as skew-tiling algebras associated to admissible partial triangulations of punctured marked surfaces. Based on this, we establish a bijection between tagged permissible curves and certain indecomposable modules, interpret the Auslander–Reiten translation via the tagged rotation, and show intersection-dimension formulas. As an application, we classify support τ -tilting modules via maximal collections of non-crossing tagged generalized permissible curves.
Counting triangles in smooth cubic hypersurfaces

Mulong Xu

DOI: https://doi.org/10.1007/s13226-024-00679-0

2024-09-02

Indian Journal of Pure and Applied Mathematics

Abstract:We propose and study the notion of triangles in smooth cubic hypersurfaces. We prove that for a generic cubic n -fold X ( ), the variety of triangles in X is of dimension . We show that on a generic cubic n -fold, the triangles with a given edge can be parametrized by an open subset of a quintic hypersurface in . In the case of a generic cubic threefold, we show that the locus of the opposite vertices for triangles with a given edge form a curve of degree 10. As a corollary, we get an interesting enumerative result on the number of triangles satisfying some restrictions.

mathematics
Moduli spaces of sheaves via affine Grassmannians

Daniel Halpern-Leistner,Andres Fernandez Herrero,Trevor Jones

2024-02-02

Abstract:We develop a new method for analyzing moduli problems related to the stack of pure coherent sheaves on a polarized family of projective schemes. It is an infinite-dimensional analogue of geometric invariant theory. We apply this to two familiar moduli problems: the stack of $\Lambda$-modules and the stack of pairs. In both examples, we construct a $\Theta$-stratification of the stack, defined in terms of a polynomial numerical invariant, and we construct good moduli spaces for the open substacks of semistable points. One of the essential ingredients is the construction of higher dimensional analogues of the affine Grassmannian for the moduli problems considered.

Algebraic 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
Triposes as a Generalization of Localic Geometric Morphisms

J. Frey,T. Streicher

2023-09-18

Abstract:We discuss how triposes may be understood as generalizations of localic geometric morphisms.

Category Theory
On the tautological rings of stacks of twisted curves

Hsian-Hua Tseng

2023-09-23

Abstract:We introduce the tautological rings of moduli stacks of twisted curves and establish some basic properties.

Algebraic Geometry
On Completing Triangles in Teichmüller Space

Guowu Yao

DOI: https://doi.org/10.2298/fil1502343y

2015-01-01

Filomat

Abstract:Let T(?) be the universal Teichm?ller space. Three points [f], [g] and [h] in T(?) are called to form a completing triangle if each pair of them has a unique geodesic joining them. Recently, Z. Zhou and L. Liu constructed two Strebel points [f] and [g] such that [id], [f] and [g] form a non-completing triangle. The computation in their construction is lengthy and complicated. In this note, it is shown that their results can be obtained in much simpler a way. Indeed, the current theory of Teichm?ller spaces allows us to give more information on triangles in an infinite-dimensional Teichm?ller space. Our method is self-contained and applies for general Teichm?ller spaces.
Moduli spaces of semiorthogonal decompositions in families

Pieter Belmans,Shinnosuke Okawa,Andrea T. Ricolfi

2024-11-18

Abstract:For a smooth projective family of schemes we prove that a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an étale neighbourhood of the point. We do this using a comparison theorem between semiorthogonal decompositions and decomposition triangles of the structure sheaf of the diagonal. We then apply to the latter a deformation theory for morphisms with a fixed lift of the target, which is developed in the appendix. Using this as a key ingredient we introduce a moduli space which classifies semiorthogonal decompositions of the category of perfect complexes of a smooth projective family. Using Artin's criterion, we show that this is an étale algebraic space over the base scheme of the family, which can be non-quasicompact and non-separated. We generalise this to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions only, and conjecture it is an open and closed subspace.

Algebraic Geometry,Category Theory,K-Theory and Homology
Imaginary triangles, Pythagorean theorems, and algebraic geometry

Sergiy Koshkin

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

2017-12-18

Abstract:We extend the notion of triangle to "imaginary triangles" with complex valued sides and angles, and parametrize families of such triangles by plane algebraic curves. We study in detail families of triangles with two commensurable angles, and apply the theory of plane Cremona transformations to find "Pythagorean theorems" for them, which are interpreted as the implicit equations of their parametrizing curves.

Metric Geometry
Hyperbolic geometry and real moduli of five points on the line

Olivier de Gaay Fortman

2023-08-03

Abstract:We show that each connected component of the moduli space of smooth real binary quintics is isomorphic to an arithmetic quotient of an open subset of the real hyperbolic plane. Moreover, our main result says that the induced metric on this moduli space extends to a complete real hyperbolic orbifold structure on the space of stable real binary quintics. This turns the moduli space of stable real binary quintics into a real two-dimensional ball quotient, whose fundamental domain is given by the hyperbolic triangle of angles $\pi/3, \pi/5$ and $\pi/10$, and whose fundamental group is non-arithmetic.

Algebraic Geometry
Polygon spaces and Grassmannians

Jean-Claude Hausmann,Allen Knutson

DOI: https://doi.org/10.48550/arXiv.dg-ga/9602012

1996-02-29

Differential Geometry

Abstract:We study the moduli spaces of polygons in R^2 and R^3, identifying them with subquotients of 2-Grassmannians using a symplectic version of the Gel'fand-MacPherson correspondence. We show that the bending flows defined by Kapovich-Millson arise as a reduction of the Gel'fand-Cetlin system on the Grassmannian, and with these determine the pentagon and hexagon spaces up to equivariant symplectomorphism. Other than invocation of Delzant's theorem, our proofs are purely polygon-theoretic in nature.

The Geometry of Triangles

A geometric iterated function system on triangles

GEOMETRY MODULI SPACES

The Moduli Stack of Triangles

The Moduli Space of Acute Triangles

The Torus of Triangles

Variational Principles on Triangulated Surfaces

Fully Triangulated Categories

Existence of moduli spaces for algebraic stacks

Tilings of Flat Tori by Congruent Hexagons

A Geometric Model for the Module Category of a Skew-Gentle Algebra

Counting triangles in smooth cubic hypersurfaces

Moduli spaces of sheaves via affine Grassmannians

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

Triposes as a Generalization of Localic Geometric Morphisms

On the tautological rings of stacks of twisted curves

On Completing Triangles in Teichmüller Space

Moduli spaces of semiorthogonal decompositions in families

Imaginary triangles, Pythagorean theorems, and algebraic geometry

Hyperbolic geometry and real moduli of five points on the line

Polygon spaces and Grassmannians