Abstract
The determinant method of Kasteleyn gives a method of computing the number of perfect matchings of a planar bipartite graph. In addition, results of Bernardi exhibit a bijection between spanning trees of a planar bipartite graph and elements of its Jacobian. In this paper, we explore an adaptation of Bernardi’s results, providing a simply transitive group action of the Kasteleyn cokernel of a planar bipartite graph on its set of perfect matchings, when the planar bipartite graph in question is of the form \(G^+\), as defined by Kenyon, Propp and Wilson.
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10801-022-01186-3/MediaObjects/10801_2022_1186_Fig1_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10801-022-01186-3/MediaObjects/10801_2022_1186_Fig2_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10801-022-01186-3/MediaObjects/10801_2022_1186_Fig3_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10801-022-01186-3/MediaObjects/10801_2022_1186_Fig4_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10801-022-01186-3/MediaObjects/10801_2022_1186_Fig5_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10801-022-01186-3/MediaObjects/10801_2022_1186_Fig6_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10801-022-01186-3/MediaObjects/10801_2022_1186_Fig7_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10801-022-01186-3/MediaObjects/10801_2022_1186_Fig8_HTML.png)
Similar content being viewed by others
References
Jacobson, B.: Critical groups of graphs. Available at http://www-users.math.umn.edu/~reiner/HonorsTheses/Jacobson_thesis.pdf (2016)
Bernardi, O.: A characterization of the Tutte polynomial via combinatorial embeddings. Ann. Comb. 12, 139–153 (2008)
Kenyon, R., Propp, J., Wilson, D.: Trees and Matchings. J. Comb. 7 (2001)
Backman, S.: Riemann–Roch theory for graph orientations. Adv. Math. 309, 655–691 (2017)
Kuperberg, G.: Kasteleyn cokernels. Electron. J. Comb. 9 (2002)
Valiant, L.: The complexity of computing the permanent. Theor. Comput. Sci. 8, 189–201 (1979)
Yuen, C.H.: Geometric bijections between spanning trees and break divisors. J. Comb. Theory A. 152, 159–189 (2017)
Acknowledgements
The author would like to thank Matt Baker for suggesting the problem and for many helpful conversations. She would also like to thank Marcel Celaya and an anonymous referee for helpful feedback on an earlier version of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Taylor, L. Kasteleyn cokernels and perfect matchings on planar bipartite graphs. J Algebr Comb 57, 727–737 (2023). https://doi.org/10.1007/s10801-022-01186-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-022-01186-3