We define a new family of graph invariants, studying the topology of the moduli space of their geometric realizations in Euclidean spaces, using a limiting procedure reminiscent of Floer homology. Given a labeled graph G on n vertices and d≥1, let WG, d ⊆ ℝd×n denote the space of nondegenerate realizations of G in ℝd. For example, if G is the empty graph, then WG, d is homotopy equivalent to the configuration space of n points in ℝd. Questions about when a certain graph G exists as a geometric graph in ℝd have been considered in the literature and in our notation have to do with deciding when WG, d is nonempty. However, WG, d need not be connected, even when it is nonempty, and we refer to the connected components of WG, d as rigid isotopy classes of G in ℝd. We study the topology of these rigid isotopy classes. First, regarding the connectivity of WG, d, we generalize a result of Maehara that WG, d is nonempty for d ≥ n to show that WG, d is k–connected for d ≥ n+k+1, and so WG, ∞ is always contractible. While πk(WG, d)=0 for G, k fixed and d large enough, we also prove that, in spite of this, when d → ∞ the structure of the nonvanishing homology of WG, d exhibits a stabilization phenomenon. The nonzero part of its homology is concentrated in at most n−1 equally spaced clusters in degrees between d−n and (n−1)(d−1), and whose structure does not depend on d, for d large enough. This leads to the definition of a family of graph invariants, capturing the asymptotic structure of the homology of the rigid isotopy class. For instance, the sum of the Betti numbers of WG, d does not depend on d for d large enough; we call this number the Floer number of the graph G. This terminology comes by analogy with Floer theory, because of the shifting phenomenon in the degrees of positive Betti numbers of WG, d as d tends to infinity. Finally, we give asymptotic estimates on the number of rigid isotopy classes of Rd–geometric graphs on n vertices for d fixed and n tending to infinity. When d=1 we show that asymptotically as n → ∞, each isomorphism class corresponds to a constant number of rigid isotopy classes, on average. For d >1 we prove a similar statement at the logarithmic scale. ©

Moduli spaces of geometric graphs / Belotti, Mara; Lerario, Antonio; Newman, Andrew. - In: ALGEBRAIC AND GEOMETRIC TOPOLOGY. - ISSN 1472-2739. - 24:4(2024), pp. 2039-2090. [10.2140/agt.2024.24.2039]

Moduli spaces of geometric graphs

Belotti, Mara;Lerario, Antonio;Newman, Andrew
2024-01-01

Abstract

We define a new family of graph invariants, studying the topology of the moduli space of their geometric realizations in Euclidean spaces, using a limiting procedure reminiscent of Floer homology. Given a labeled graph G on n vertices and d≥1, let WG, d ⊆ ℝd×n denote the space of nondegenerate realizations of G in ℝd. For example, if G is the empty graph, then WG, d is homotopy equivalent to the configuration space of n points in ℝd. Questions about when a certain graph G exists as a geometric graph in ℝd have been considered in the literature and in our notation have to do with deciding when WG, d is nonempty. However, WG, d need not be connected, even when it is nonempty, and we refer to the connected components of WG, d as rigid isotopy classes of G in ℝd. We study the topology of these rigid isotopy classes. First, regarding the connectivity of WG, d, we generalize a result of Maehara that WG, d is nonempty for d ≥ n to show that WG, d is k–connected for d ≥ n+k+1, and so WG, ∞ is always contractible. While πk(WG, d)=0 for G, k fixed and d large enough, we also prove that, in spite of this, when d → ∞ the structure of the nonvanishing homology of WG, d exhibits a stabilization phenomenon. The nonzero part of its homology is concentrated in at most n−1 equally spaced clusters in degrees between d−n and (n−1)(d−1), and whose structure does not depend on d, for d large enough. This leads to the definition of a family of graph invariants, capturing the asymptotic structure of the homology of the rigid isotopy class. For instance, the sum of the Betti numbers of WG, d does not depend on d for d large enough; we call this number the Floer number of the graph G. This terminology comes by analogy with Floer theory, because of the shifting phenomenon in the degrees of positive Betti numbers of WG, d as d tends to infinity. Finally, we give asymptotic estimates on the number of rigid isotopy classes of Rd–geometric graphs on n vertices for d fixed and n tending to infinity. When d=1 we show that asymptotically as n → ∞, each isomorphism class corresponds to a constant number of rigid isotopy classes, on average. For d >1 we prove a similar statement at the logarithmic scale. ©
2024
24
4
2039
2090
10.2140/agt.2024.24.2039
Belotti, Mara; Lerario, Antonio; Newman, Andrew
File in questo prodotto:
File Dimensione Formato  
agt-v24-n4-p08-s.pdf

non disponibili

Descrizione: pdf editoriale
Tipologia: Versione Editoriale (PDF)
Licenza: Non specificato
Dimensione 792.93 kB
Formato Adobe PDF
792.93 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11767/142012
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact