Types of perfect matchings in toroidal square grids

TL;DR

This paper investigates the types of perfect matchings and their associated cycle-rooted spanning forests in toroidal square grids within the first homology group over F_2, linking Temperley's bijection and the Arf-invariant formula.

Contribution

It studies the types of perfect matchings in the homology group over F_2, connecting two key results in the combinatorics of toroidal grids.

Findings

Analysis of perfect matchings in H_1(F_2)

Connection between Temperley's bijection and Arf-invariant

New insights into homological types of matchings

Abstract

Let $T_{m,n}$ be toroidal square grid of size $m\times n$ and let both $m$ and $n$ be even. Let $P$ be a perfect matching of $T_{m,n}$ and let $D(P)$ be the cycle-rooted spanning forest of $P$ obtained by the generalized Temperley's construction. The types of $P$ and $D(P)$ in the first homology group $H_1(\mathbb{T},\mathbb{Z})$ of torus $\mathbb{T}$ with coefficients in $\mathbb{Z}$ has been extensively studied. In this paper we study the types of $P$ and $D(P)$ in the first homology group $H_1(\mathbb{T},\mathbb{F}_2)$ with the coefficients in $\mathbb{F}_2$. Our considerations connect two remarkable results concerning perfect matchings of toroidal square grids, namely Temperley's bijection and the Arf-invariant formula.