An official website of the United States government
Abstract Let $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ be operator algebras with $$c_{0}$$-isomorphic diagonals and let $${{\mathcal{K}}}$$ denote the compact operators. We show that if $${{\mathcal{A}}}\otimes{{\mathcal{K}}}$$ and $${{\mathcal{B}}}\otimes{{\mathcal{K}}}$$ are isometrically isomorphic, then $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ are isometrically isomorphic. If the algebras $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ satisfy an extra analyticity condition a similar result holds with $${{\mathcal{K}}}$$ being replaced by any operator algebra containing the compact operators. For nonselfadjoint graph algebras this implies that the graph is a complete invariant for various types of isomorphisms, including stable isomorphisms, thus strengthening a recent result of Dor-On, Eilers, and Geffen. Similar results are proven for algebras whose diagonals satisfy cancellation and have $$K_{0}$$-groups isomorphic to $${{\mathbb{Z}}}$$. This has implications in the study of stable isomorphisms between various semicrossed products.
more »
« less
A Geometric Model for Syzygies Over 2-Calabi–Yau Tilted Algebras II
Abstract In this article, we continue the study of a certain family of 2-Calabi–Yau tilted algebras, called dimer tree algebras. The terminology comes from the fact that these algebras can also be realized as quotients of dimer algebras on a disk. They are defined by a quiver with potential whose dual graph is a tree, and they are generally of wild representation type. Given such an algebra $$B$$, we construct a polygon $$\mathcal {S}$$ with a checkerboard pattern in its interior, which defines a category $$\text {Diag}(\mathcal {S})$$. The indecomposable objects of $$\text {Diag}(\mathcal {S})$$ are the 2-diagonals in $$\mathcal {S}$$, and its morphisms are certain pivoting moves between the 2-diagonals. We prove that the category $$\text {Diag}(\mathcal {S})$$ is equivalent to the stable syzygy category of the algebra $$B$$. This result was conjectured by the authors in an earlier paper, where it was proved in the special case where every chordless cycle is of length three. As a consequence, we conclude that the number of indecomposable syzygies is finite, and moreover the syzygy category is equivalent to the 2-cluster category of type $$\mathbb {A}$$. In addition, we obtain an explicit description of the projective resolutions, which are periodic. Finally, the number of vertices of the polygon $$\mathcal {S}$$ is a derived invariant and a singular invariant for dimer tree algebras, which can be easily computed form the quiver.
more »
« less
- PAR ID:
- 10509953
- Publisher / Repository:
- IMRN
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- ISSN:
- 1073-7928
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Using the invariant theory of arc spaces, we find minimal strong generating sets for certain cosets of affine vertex algebras inside free field algebras that are related to classical Howe duality. These results have several applications. First, for any vertex algebra $${{\mathcal {V}}}$$, we have a surjective homomorphism of differential algebras $$\mathbb {C}[J_{\infty }(X_{{{\mathcal {V}}}})] \rightarrow \text {gr}^{F}({{\mathcal {V}}})$$; equivalently, the singular support of $${{\mathcal {V}}}$$ is a closed subscheme of the arc space of the associated scheme $$X_{{{\mathcal {V}}}}$$. We give many new examples of classically free vertex algebras (i.e., this map is an isomorphism), including $$L_{k}({{\mathfrak {s}}}{{\mathfrak {p}}}_{2n})$$ for all positive integers $$n$$ and $$k$$. We also give new examples where the kernel of this map is nontrivial but is finitely generated as a differential ideal. Next, we prove a coset realization of the subregular $${{\mathcal {W}}}$$-algebra of $${{\mathfrak {s}}}{{\mathfrak {l}}}_{n}$$ at a critical level that was previously conjectured by Creutzig, Gao, and the 1st author. Finally, we give some new level-rank dualities involving affine vertex superalgebras.more » « less
-
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
-
For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category and show that it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a latticeL\subseteq \mathbb{R}^{n}satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-local algebrasAof operators on a lattice invariant under a (categorical) symmetry, we obtain a homomorphism from the group of symmetric QCA to\mathbf{Aut}_{\mathrm{br}}(\mathbf{DHR}(A)), containing symmetric finite-depth circuits in the kernel. For a spin chain with fusion categorical symmetry\mathcal{D}, we show that the DHR category of the quasi-local algebra of symmetric operators is equivalent to the Drinfeld center\mathcal{Z}(\mathcal{D}). We use this to show that, for the double spin-flip action\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\curvearrowright \mathbb{C}^{2}\otimes \mathbb{C}^{2}, the group of symmetric QCA modulo symmetric finite-depth circuits in 1D contains a copy ofS_{3}; hence, it is non-abelian, in contrast to the case with no symmetry.more » « less
-
null (Ed.)Abstract Let X be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$ -equivariant homology $$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $$ of the free loop space of X preserves the Hodge decomposition of $$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $$ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture of [7].more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1093/imrn/rnad078
