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. Block mapping class groups and their finiteness properties

   https://doi.org/10.1007/s10711-025-00985-9  

   Aramayona, J; Aroca, J; Cumplido, M; Skipper, R; Wu, X (April 2025, Geometriae Dedicata)

   Abstract Given$$g \in \mathbb N \cup \{0, \infty \}$$ $g\in N\cup \{0,\infty \}$, let$$\Sigma _g$$ ${\Sigma }_g$denote the closed surface of genusgwith a Cantor set removed, if$$g<\infty $$ $g<\infty$; or the blooming Cantor tree, when$$g= \infty $$ $g=\infty$. We construct a family$$\mathfrak B(H)$$ $B\left(H\right)$of subgroups of$${{\,\textrm{Map}\,}}(\Sigma _g)$$ $\text{Map}\left({\Sigma }_g\right)$whose elements preserve ablock decompositionof$$\Sigma _g$$ ${\Sigma }_g$, andeventually like actlike an element ofH, whereHis a prescribed subgroup of the mapping class group of the block. The group$$\mathfrak B(H)$$ $B\left(H\right)$surjects onto an appropriate symmetric Thompson group of Farley–Hughes; in particular, it answers positively. Our main result asserts that$$\mathfrak B(H)$$ $B\left(H\right)$is of type$$F_n$$ $F_n$if and only ifHis. As a consequence, for every$$g\in \mathbb N \cup \{0, \infty \}$$ $g\in N\cup \{0,\infty \}$and every$$n\ge 1$$ $n\ge 1$, we construct a subgroup$$G <{{\,\textrm{Map}\,}}(\Sigma _g)$$ $G<\text{Map}\left({\Sigma }_g\right)$that is of type$$F_n$$ $F_n$but not of type$$F_{n+1}$$ $F_{n+1}$, and which contains the mapping class group of every compact surface of genus$$\le g$$ $\le g$and with non-empty boundary. 

   more » « less
4. 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
5. From hypertoric geometry to bordered Floer homology via the m=1 amplituhedron

   https://doi.org/10.1007/s00029-024-00932-8  

   Lauda, Aaron D; Licata, Anthony M; Manion, Andrew (July 2024, Selecta Mathematica)

   Abstract We relate the Fukaya category of the symmetric power of a genus zero surface to deformed category$$\mathcal {O}$$ $O$of a cyclic hypertoric variety by establishing an isomorphism between algebras defined by Ozsváth–Szabó in Heegaard–Floer theory and Braden–Licata–Proudfoot–Webster in hypertoric geometry. The proof extends work of Karp–Williams on sign variation and the combinatorics of the$$m=1$$ $m=1$amplituhedron. We then use the algebras associated to cyclic arrangements to construct categorical actions of$$\mathfrak {gl}(1|1)$$ $\mathrm{gl}\left(1\right|1)$, and generalize our isomorphism to give a conjectural algebraic description of the Fukaya category of a complexified hyperplane complement. 

   more » « less