An official website of the United States government
A dimer model is a quiver with faces embedded in a surface. We define and investigate notions of consistency for dimer models on general surfaces with boundary which restrict to well-studied consistency conditions in the disk and torus case. We define weak consistency in terms of the associated dimer algebra and show that it is equivalent to the absence of bad configurations on the strand diagram. In the disk and torus case, weakly consistent models are nondegenerate, meaning that every arrow is contained in a perfect matching; this is not true for general surfaces. Strong consistency is defined to require weak consistency as well as nondegeneracy. We prove that the completed as well as the noncompleted dimer algebra of a strongly consistent dimer model are bimodule internally 3-Calabi-Yau with respect to their boundary idempotents. As a consequence, the Gorenstein-projective module category of the completed boundary algebra of suitable dimer models categorifies the cluster algebra given by their underlying quiver. We provide additional consequences of weak and strong consistency, including that one may reduce a strongly consistent dimer model by removing digons and that consistency behaves well under taking dimer submodels.
more »
« less
This content will become publicly available on January 1, 2026
A bordered HF^- algebra for the torus
We describe a weighted A-infinity algebra associated to the torus. We give a combinatorial construction of this algebra, and an abstract characterization. The abstract characterization also gives a relationship between our algebra and the wrapped Fukaya category of the torus. These algebras underpin the (unspecialized) bordered Heegaard Floer homology for three-manifolds with torus boundary, which will be constructed in forthcoming work.
more »
« less
- Award ID(s):
- 2110143
- PAR ID:
- 10644206
- Editor(s):
- Auroux, Denis; Biran, Paul; Donaldson, Simon; Mrowka, Tomasz
- Publisher / Repository:
- International Press
- Date Published:
- Journal Name:
- Journal of Symplectic Geometry
- Volume:
- 23
- Issue:
- 1
- ISSN:
- 1527-5256
- Page Range / eLocation ID:
- 37 to 158
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)Abstract We show that if a sequence of normalized polynomials gives rise to a positive basis of the skein algebra of a surface, then it is sandwiched between the two types of Chebyshev polynomials. For the closed torus, we show that the normalized sequence of Chebyshev polynomials of type one $$(\hat{T}_n)$$ is the only one that gives a positive basis.more » « less
-
Abstract We investigate maximal tori in the Hochschild cohomology Lie algebra $${\operatorname {HH}}^1(A)$$ of a finite dimensional algebra $$A$$, and their connection with the fundamental groups associated to presentations of $$A$$. We prove that every maximal torus in $${\operatorname {HH}}^1(A)$$ arises as the dual of some fundamental group of $$A$$, extending the work by Farkas, Green, and Marcos; de la Peña and Saorín; and Le Meur. Combining this with known invariance results for Hochschild cohomology, we deduce that (in rough terms) the largest rank of a fundamental group of $$A$$ is a derived invariant quantity, and among self-injective algebras, an invariant under stable equivalences of Morita type. Using this we prove that there are only finitely many monomial algebras in any derived equivalence class of finite dimensional algebras; hitherto this was known only for very restricted classes of monomial algebras.more » « less
-
Abstract Generalized associahedra are a well‐studied family of polytopes associated with a finite‐type cluster algebra and a choice of starting cluster. We show that the generalized associahedra constructed by Padrol, Palu, Pilaud, and Plamondon, building on ideas from Arkani‐Hamed, Bai, He, and Yan, can be naturally viewed as moment polytopes for an open patch of the quotient of the cluster ‐variety with universal coefficients by its maximal natural torus action. We prove our result by showing that the construction of Padrol, Palu, Pilaud, and Plamondon can be understood on the basis of the way that moment polytopes behave under symplectic reduction.more » « less
-
Abstract We study the trajectories of a semiclassical quantum particle under repeated indirect measurement by Kraus operators, in the setting of the quantized torus. In between measurements, the system evolves via either Hamiltonian propagators or metaplectic operators. We show in both cases the convergence in total variation of the quantum trajectory to its corresponding classical trajectory, as defined by the propagation of a semiclassical defect measure. This convergence holds up to the Ehrenfest time of the classical system, which is larger when the system is “less chaotic.” In addition, we present numerical simulations of these effects. In proving this result, we provide a characterization of a type of semi-classical defect measure we call uniform defect measures. We also prove derivative estimates of a function composed with a flow on the torus.more » « less
