More Like this

1. Dirac geometry II: coherent cohomology

   https://doi.org/10.1017/fms.2024.2  

   Hesselholt, Lars; Pstrągowski, Piotr (January 2024, Forum of Mathematics, Sigma)

   Abstract Dirac rings are commutative algebras in the symmetric monoidal category of$$\mathbb {Z}$$-graded abelian groups with the Koszul sign in the symmetry isomorphism. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we embed this category in the larger$$\infty $$-category of Dirac stacks, which also contains formal Dirac schemes, and develop the coherent cohomology of Dirac stacks. We apply the general theory to stable homotopy theory and use Quillen’s theorem on complex cobordism and Milnor’s theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to$$\operatorname {MU}$$and$$\mathbb {F}_p$$in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves. 

   more » « less
2. Higher resonance schemes and Koszul modules of simplicial complexes

   https://doi.org/10.1007/s10801-024-01313-2  

   Aprodu, Marian; Farkas, Gavril; Raicu, Claudiu; Sammartano, Alessio; Suciu, Alexander_I (March 2024, Journal of Algebraic Combinatorics)

   Abstract Each connected graded, graded-commutative algebraAof finite type over a field$$\Bbbk $$ $k$of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the(higher) Koszul modulesofA. In this note, we investigate the geometry of the support loci of these modules, called theresonance schemesof the algebra. When$$A=\Bbbk \langle \Delta \rangle $$ $A=k⟨\Delta ⟩$is the exterior Stanley–Reisner algebra associated to a finite simplicial complex$$\Delta $$ $\Delta$, we show that the resonance schemes are reduced. We also compute the Hilbert series of the Koszul modules and give bounds on the regularity and projective dimension of these graded modules. This leads to a relationship between resonance and Hilbert series that generalizes a known formula for the Chen ranks of a right-angled Artin group. 

   more » « less
3. A cluster of results on amplituhedron tiles

   https://doi.org/10.1007/s11005-024-01854-4  

   Even-Zohar, Chaim; Lakrec, Tsviqa; Parisi, Matteo; Sherman-Bennett, Melissa; Tessler, Ran; Williams, Lauren (September 2024, Letters in Mathematical Physics)

   Abstract The amplituhedron is a mathematical object which was introduced to provide a geometric origin of scattering amplitudes in$$\mathcal {N}=4$$ $N=4$super Yang–Mills theory. It generalizescyclic polytopesand thepositive Grassmannianand has a very rich combinatorics with connections to cluster algebras. In this article, we provide a series of results about tiles and tilings of the$$m=4$$ $m=4$amplituhedron. Firstly, we provide a full characterization of facets of BCFW tiles in terms of cluster variables for$$\text{ Gr}_{4,n}$$ ${\text{Gr}}_{4,n}$. Secondly, we exhibit a tiling of the$$m=4$$ $m=4$amplituhedron which involves a tile which does not come from the BCFW recurrence—thespuriontile, which also satisfies all cluster properties. Finally, strengthening the connection with cluster algebras, we show that each standard BCFW tile is the positive part of a cluster variety, which allows us to compute the canonical form of each such tile explicitly in terms of cluster variables for$$\text{ Gr}_{4,n}$$ ${\text{Gr}}_{4,n}$. This paper is a companion to our previous paper “Cluster algebras and tilings for the$$m=4$$ $m=4$amplituhedron.” 

   more » « less
4. When left and right disagree: entropy and von Neumann algebras in quantum gravity with general AlAdS boundary conditions

   https://doi.org/10.1007/JHEP08(2024)010  

   Marolf, Donald; Zhang, Daiming (August 2024, Journal of High Energy Physics)

   A<sc>bstract</sc> Euclidean path integrals for UV-completions ofd-dimensional bulk quantum gravity were recently studied in [1] by assuming that they satisfy axioms of finiteness, reality, continuity, reflection-positivity, and factorization. Sectors$$ {\mathcal{H}}_{\mathcal{B}} $$ $H_B$of the resulting Hilbert space were then defined for any (d− 2)-dimensional surface$$ \mathcal{B} $$ $B$, where$$ \mathcal{B} $$ $B$may be thought of as the boundary ∂Σ of a bulk Cauchy surface in a corresponding Lorentzian description, and where$$ \mathcal{B} $$ $B$includes the specification of appropriate boundary conditions for bulk fields. Cases where$$ \mathcal{B} $$ $B$was the disjoint unionB⊔Bof two identical (d− 2)-dimensional surfacesBwere studied in detail and, after the inclusion of finite-dimensional ‘hidden sectors,’ were shown to provide a Hilbert space interpretation of the associated Ryu-Takayanagi entropy. The analysis was performed by constructing type-I von Neumann algebras$$ {\mathcal{A}}_L^B $$ $A_L^B$,$$ {\mathcal{A}}_R^B $$ $A_R^B$that act respectively at the left and right copy ofBinB⊔B. Below, we consider the case of general$$ \mathcal{B} $$ $B$, and in particular for$$ \mathcal{B} $$ $B$=B_L⊔B_RwithB_L,B_Rdistinct. For anyB_R, we find that the von Neumann algebra atB_Lacting on the off-diagonal Hilbert space sector$$ {\mathcal{H}}_{B_L\bigsqcup {B}_R} $$ $H_{B_L\bigsqcup B_R}$is a central projection of the corresponding type-I von Neumann algebra on the ‘diagonal’ Hilbert space$$ {\mathcal{H}}_{B_L\bigsqcup {B}_L} $$ $H_{B_L\bigsqcup B_L}$. As a result, the von Neumann algebras$$ {\mathcal{A}}_L^{B_L} $$ $A_L^{B_L}$,$$ {\mathcal{A}}_R^{B_L} $$ $A_R^{B_L}$defined in [1] using the diagonal Hilbert space$$ {\mathcal{H}}_{B_L\bigsqcup {B}_L} $$ $H_{B_L\bigsqcup B_L}$turn out to coincide precisely with the analogous algebras defined using the full Hilbert space of the theory (including all sectors$$ {\mathcal{H}}_{\mathcal{B}} $$ $H_B$). A second implication is that, for any$$ {\mathcal{H}}_{B_L\bigsqcup {B}_R} $$ $H_{B_L\bigsqcup B_R}$, including the same hidden sectors as in the diagonal case again provides a Hilbert space interpretation of the Ryu-Takayanagi entropy. We also show the above central projections to satisfy consistency conditions that lead to a universal central algebra relevant to all choices ofB_LandB_R. 

   more » « less
5. Undecidable Translational Tilings with Only Two Tiles, or One Nonabelian Tile

   https://doi.org/10.1007/s00454-022-00426-4  

   Greenfeld, Rachel; Tao, Terence (January 2023, Discrete & Computational Geometry)

   Abstract We construct an example of a group$$G = \mathbb {Z}^2 \times G_0$$ $G=Z^2\times G_0$for a finite abelian group $$G_0$$ $G_0$, a subsetEof $$G_0$$ $G_0$, and two finite subsets$$F_1,F_2$$ $F_1,F_2$of G, such that it is undecidable in ZFC whether$$\mathbb {Z}^2\times E$$ $Z^2\times E$can be tiled by translations of$$F_1,F_2$$ $F_1,F_2$. In particular, this implies that this tiling problem isaperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings ofEby the tiles$$F_1,F_2$$ $F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $$\mathbb {Z}^2$$ $Z^2$). A similar construction also applies for$$G=\mathbb {Z}^d$$ $G=Z^d$for sufficiently large d. If one allows the group$$G_0$$ $G_0$to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile F. The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles. 

   more » « less