CMSA

Gauge theory on Hyperkähler manifolds
2026-03-26 13:30 - 14:30 (America/New_York) | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Differential Geometry and Physics Seminar
Speaker. Emily Autumn Windes (New Uzbekistan University)
Title: Gauge theory on Hyperkähler manifolds
Abstract: In this talk, I describe various distinguished classes of connections on Hyperkähler manifolds and their dimensional reductions. Then, I describe a construction of new examples of Sp(2)-instantons, primitive HYM connections, and Spin(7)-instantons with symmetry on the manifold T*CP2. This talk is based on joint work with Jesse Madnick and Izar Alonso.

The Beilinson-Bloch conjecture for some non-isotrivial varieties over global function fields
2026-03-26 16:00 - 17:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Algebra Seminar
Speaker: Matt Broe, Boston University
Title: The Beilinson-Bloch conjecture for some non-isotrivial varieties over global function fields
Abstract: The Beilinson-Bloch conjecture is a generalization of the Birch and Swinnerton-Dyer conjecture, which relates the ranks of Chow groups of smooth projective varieties over global fields to the order of vanishing of L-functions. We prove the conjecture for certain classes of non-isotrivial varieties over Fq(t), including some cubic threefolds and fivefolds. We deduce the Birch and Swinnerton-Dyer conjecture for their intermediate Jacobians, and use it to establish new cases of the Tate conjecture over finite fields.

Exotic R^4's are unclassifiable
2026-03-27 15:00 - 17:15 | Virtual
Freedman Seminar
Speaker: Robert Gompf, UT Austin
Title: Exotic R^4’s are unclassifiable
Abstract: We will use descriptive set theory to show that there is a precise sense in which exotic R^4’s are unclassifiable. For other open manifolds, we can reach a much higher level of unclassifiability. This is work in progress with Aristotelis Panagiotopoulos.

K-theoretic stable envelopes, quantum loop groups and wall-crossings
2026-03-30 15:00 - 16:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Quantum Field Theory and Physical Mathematics Seminar
Speaker: Tianqin Zhu, Columbia University
Title: K-theoretic stable envelopes, quantum loop groups and wall-crossings
Abstract: The stable envelope is an important tool in both geometric representation theory and the enumerative geometry. One of the most important application is that it generates the geometric quantum loop group via the FRT formalism. In this talk, we will show that the geometric quantum loop group is isomorphic to the Drinfeld double given by the preprojective K-theoretic Hall algebra and the nilpotent K-theoretic Hall algebra. Moreover we will show a more refined result that the wall-crossing for the K-theoretic stable envelope is controlled by the universal R-matrix for the slope subalgebra of the Drinfeld double, which leads to the isomorphism between the wall subalgebra in geometric quantum loop groups and the slope subalgebras in the Drinfeld double. If time permits, I will talk about the recent progress of such isomorphism in the case of the critcial stable envelopes in both critical K-theory and critical cohomology. This is based on the work 2511.02161

1-shifted Yangians from 1-shifted Lie bialgebras
2026-03-31 16:15 - 18:00 | Science Center 507, 1 Oxford Street, Cambridge, 02138
Joint Math/CMSA Geometry and Quantum Theory Seminar
Speaker: Vasily Krylov, Harvard
Title: 1-shifted Yangians from 1-shifted Lie bialgebras
Abstract: In the previous talk, Keyou explained that the fusion of line defects in 3d holomorphic–topological field theories is expected to be governed by so-called DG-shifted Yangians. Following arXiv:2503.08770, I will present examples of such DG-shifted Yangians arising from 1-shifted Lie bialgebras. We will discuss both the classical and DG-shifted settings from a purely mathematical perspective.

CMSA Q&A Seminar: Lauren Williams, Harvard
2026-04-01 12:00 - 13:00 | Common Room, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
CMSA Q&A Seminar
Speaker: Lauren Williams, Harvard
Topic: The First Proof Project

Failures of Holographic Emergence
2026-04-03 12:00 - 13:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Member Seminar
Speaker: Elliott Gesteau, CMSA
Title: Failures of Holographic Emergence
Abstract: Recent developments have taught us that some semiclassical spacetimes, in particular those containing closed universe components, cannot emerge from a holographic correspondence. In this talk, I will explain how one can get to this conclusion by using either quantum information theory or properties of the large N limit of AdS/CFT, and propose a criterion for detecting failures of spacetime emergence.

Twistorial constructions of higher genus integrability
2026-04-06 15:00 - 16:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Quantum Field Theory and Physical Mathematics Seminar
Speaker: Seraphim Jarov, Perimeter Institute
Title: Twistorial constructions of higher genus integrability
Abstract: I will present a new method to engineer integrable models in 4d with higher genus spectral parameters. The method has a twistorial origin – by working on a branched covering of twistor space, I show how one can derive deformations of holomorphic BF theory on twistor space which descend to elliptic and hyperelliptic models on R^4 via the Penrose transform. I show how one can bootstrap the Penrose transformed actions using symmetry and integrability to find deformations of self-dual Yang-Mills theory. I will also discuss some novel deformations of a BF type description of Hitchin’s equations. This is based on my paper: 2509.12486

Facets of link homology
2026-04-06 16:30 - 17:30 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Colloquium
Speaker: Mikhail Khovanov, Johns Hopkins University
Title: Facets of link homology
Abstract: We will review some link homology theories of algebraic origin and their connections to representation theory and geometry.

A Mumford form on infinite Grassmannians
2026-04-07 16:15 - 18:00 | Science Center 507, 1 Oxford Street, Cambridge, 02138
Joint Math/CMSA Geometry and Quantum Theory Seminar
Speaker: Oswaldo Vázquez (Harvard)
Title: A Mumford form on infinite Grassmannians
Abstract: The Polyakov measure in bosonic string theory can be expressed in terms of the Mumford form, which is a trivializing section of a product of determinant line bundles over the moduli space of genus g curves. We will discuss the work in https://arxiv.org/abs/2412.18570, which reviews how the moduli space can be embedded in an infinite dimensional Grassmannian as a Virasoro orbit and generalizes the Mumford form to other such orbits. In particular, this “universal Mumford form” can be described in terms of coordinates in the Grassmannian, which are amenable to computation and thus could have implications to the evaluation of amplitudes.

Multiplicities of graded families of ideals on Noetherian local rings
2026-04-09 16:00 - 17:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Algebra Seminar
Speaker: Dale Cutkosky, University of Missouri
Title: Multiplicities of graded families of ideals on Noetherian local rings
Abstract: Let $R$ be an arbitrary $d$-dimensional Noetherian local ring with maximal ideal $m_R$. In this talk, we give a generalization of the multiplicity $e(I)$ of an $m_R$-primary ideal $I$ of $R$ to a multiplicity $e(mathcal I)$ of a graded family of $m_R$-primary ideals $mathcal I$ in $R$. This multiplicity gives the classical multiplicity $e(I)$ if $mathcal I={I^n}$ is the $I$-adic filtration, and agrees with the volume, $lim_{nrightarrow infty}d!frac{ell(R/I_n) }{n^d}$ for $R$ such that $dim N(hat R)>d$, the required condition for the volume of graded families of $m_R$-primary ideals to exist as a limit. We will show that many of the classical theorems for the multiplicity of an ideal generalize to this multiplicity, including mixed multiplicities, the Rees theorem and the Minkowski inequality and equality. We give proofs which are independent of the theory of volumes and Okounkov bodies for all of our results, with the one exception being the proof of the Minkowski equality. We do this by interpreting the multiplicity of graded families of $m_R$-primary ideals as an intersection product on the family of $R$-schemes which are obtained by blowing up $m_R$-primary ideals in $R$.

Quantum topology from dynamics
2026-04-10 12:00 - 13:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Member Seminar
Speaker: Sunghyuk Park, CMSA
Title: Quantum topology from dynamics
Abstract: Dynamics studies the long-term behavior of systems that evolve over time, such as the famous Lorenz system.
Quantum topology, by contrast, studies knots and low-dimensional manifolds through invariants that are usually constructed using representation-theoretic tools. In this talk, I will explain how quantum invariants of knots and 3-manifolds can be recovered from the dynamics of certain three-dimensional flows. Time permitting, I will also explain how this new bridge arises from ideas in topological string theory.

Abelian gauge fields and duality
2026-04-14 16:15 - 18:00 | Science Center 507, 1 Oxford Street, Cambridge, 02138
Joint Math/CMSA Geometry and Quantum Theory Seminar
Speaker: Dan Freed, Harvard Math & CMSA
Title: Abelian gauge fields and duality
Abstract: Motivated by the new paper arXiv:2603.19161, I will give a general talk about abelian gauge fields, including duality. I will start with classical Maxwell theory, then discuss various “finite” examples, the typical p-form abelian gauge field, and some exotic examples such as Ramond–Ramond fields and the B-field in superstring theory. I will then get to the new paper and, time permitting, will suggest a very general framework that covers all examples.

Interpolation for points in $mathbb{P}^N, Ngeq 2$
2026-04-16 16:00 - 17:00 | CMSA Room G02, 20 Garden Street, Cambridge, MA, 02138
Algebra Seminar
Speaker: Dipendranath Mahato, Tulane University
Title: Interpolation for points in $mathbb{P}^N, Ngeq 2$
Abstract: Interpolation problems study hypersurfaces in projective space passing through prescribed sets of points. Classically, one asks how many independent conditions a collection of points imposes on hypersurfaces of a fixed degree, a question that can be studied algebraically via homogeneous ideals and their Hilbert functions. In this talk, I will begin with the classical interpolation problem for reduced points and introduce the algebraic framework used to study it. I will then move to fat point schemes, where points are assigned multiplicities and hypersurfaces are required to vanish to higher order. In this setting, interpolation problems naturally lead to symbolic powers of ideals and containment relations between symbolic and ordinary powers. I will conclude by discussing open questions, including potential connections between interpolation problems and combinatorial structures such as matroids.

Higgs and Coulomb branches: Geometry and Representation Theory
2026-04-17 12:00 - 13:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Member Seminar
Speaker: Vasily Krylov
Title: Higgs and Coulomb branches: Geometry and Representation Theory
Abstract: Higgs and Coulomb branches of quiver gauge theories form two important families of Poisson varieties that are expected to be exchanged under so-called 3D mirror symmetry. Quantized Coulomb branches are associative algebras deforming the algebras of functions on Coulomb branches. They are closely related to many important representation-theoretic structures, such as Yangians, quantum groups, and Hecke algebras. In this talk, I will discuss how 3D mirror symmetry, together with other insights motivated by physics, yields very explicit answers to purely representation-theoretic questions about representations of some of these quantum groups. Talk is based on joint works with Dinkins, Karpov, Klyuev, and Lance.

Zigzags, adjoints, and bordisms
2026-04-20 15:00 - 16:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Quantum Field Theory and Physical Mathematics Seminar
Speaker: Lorenzo Riva (Harvard CMSA)
Title: Zigzags, adjoints, and bordisms
Abstract: We will learn how to freely add adjoints to a category using a combinatorial procedure which involves drawing zigzags of squares. Peculiarly, we can use these to draw some bordisms. This is joint work with Martina Rovelli.

Introduction to A-infty categories
2026-04-21 16:15 - 18:00 | Science Center 507, 1 Oxford Street, Cambridge, 02138
Joint Math/CMSA Geometry and Quantum Theory Seminar
Speaker: Ahsan Khan, Harvard CMSA
Title: Introduction to A-infty categories

Abstract: I will give a pedagogical account of A-infty categories and the various places they show up in mathematical physics.

Boundedness for K-trivial varieties with fibrations
2026-04-23 13:30 - 14:30 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Differential Geometry and Physics Seminar
Speaker: François Greer, MSU
Title: Boundedness for K-trivial varieties with fibrations
Abstract: According to the Beauville-Bogomolov decomposition theorem, any smooth K-trivial variety admits a finite cover by a product of (1) abelian varieties, (2) strict Calabi-Yau varieties, and (3) irreducible holomorphic symplectic varieties (IHSV). In a fixed dimension, all abelian varieties are diffeomorphic, and indeed deformation equivalent through non-algebraic complex tori. The corresponding question remains largely open for cases (2) and (3). If we assume that a variety of class (2) or (3) admits a non-trivial fibration structure, then much more can be shown. In particular, fibered Calabi-Yau threefolds have bounded moduli problem, and IHSV of a fixed dimension with a Lagrangian fibration have bounded moduli. This is based on joint work with Engel, Filipazzi, Mauri, and Svaldi.

The Intermingling of Symmetry and Parametrization in Matrix Product States
2026-04-24 12:00 - 13:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Member Seminar
Speaker: Daniel Spiegel
Title: The Intermingling of Symmetry and Parametrization in Matrix Product States
Abstract: In the study of quantum spin systems, it is by now well-known that interesting phases of quantum matter can arise from gapped ground states when the system is invariant under a symmetry group G or when the system varies continuously with a parameter in a topological space X. In these cases, phases are characterized by indices taking values in group cohomology of G or the cohomology of X, respectively. The situation where one has both a symmetry and a parametrization is much less studied but can lead to interesting phases even when both the aforementioned indices are trivial. In this talk, I will discuss work in progress on a simple construction for general index for symmetry protected parametrized systems of matrix product states and will show some illustrative examples.

Compression Is All You Need: Modeling Mathematics
2026-04-24 14:00 - 16:30 | Virtual
Freedman Seminar
Speaker: Mike Freedman, Harvard CMSA
Title: Compression Is All You Need: Modeling Mathematics
Abstract: The talk will exposit a recent eponymous arXiv posting with coauthors Vitaly Aksenov, Eve Bodnia, and Mike Mulligan. The approach is to think like a physicist and model a seemingly complex bit of reality: mathematics, by a simple toy model where exact computations can be carried out and then compared with observation. The models are finitely generated monoids and the data is derived from MathLib a large Lean-based repository. The hierarchical nature of definitions and lemmas in math is modeled by adding redundant generators to the monoids – think of the powers of 10 within the natural numbers which support place notation. Place notation confers an exponential compression of how we describe numbers; exploration of MathLib shows that this theme persists to (human) mathematics writ large. We hope that the observables we describe will help our agents navigate to interesting mathematical destinations.

Higher current algebras and chiral algebras
2026-04-27 15:00 - 16:00 | CMSA G102, 20 Garden Street, Cambridge, MA, 02138
Quantum Field Theory and Physical Mathematics Seminar
Speaker: Charles Young (University of Hertfordshire)
Title: Higher current algebras and chiral algebras
Abstract: Vertex algebras capture physicists’ notion of OPEs in chiral CFTs, in complex dimension one. For various motivations, one would like to have analogs of vertex algebras in higher dimensions. Chiral algebras, in the sense of Beilinson-Drinfeld and Francis-Gaitsgory, provide a natural framework here, because they re-express the vertex algebra axioms (which are rather sui generis, and therefore hard to generalize) as something more recognizable (a chiral algebra is a Lie algebra, of a sort).
I will review this, and then go on to introduce a certain concrete model of the unit chiral algebra in higher dimensions. In higher dimensions one is forced to work up to coherent homotopy in some fashion; in this model it turns out to be in the mildest fashion one could hope for: namely, one moves from Lie algebras to their homotopy analogs, L-infinity algebras, and from chiral algebras to homotopy chiral algebras in a sense introduced by Malikov-Schechtman.
The main tool in the talk will be a strict cdga model — the polysimplicial model — of derived global sections of the structure sheaf on configuration space. The hope is that this model will prove well-adapted to doing concrete calculations, and in that direction, I will gesture towards a homotopy version of the usual Arnold/Orlik-Solomon relations for broken circuits.
This is joint work with Zhengping Gui and Laura Felder and is based largely on the preprint 2506.09728

Enacted collective cognition: Brainless problem-solving in weaver ants
2026-04-27 16:30 - 17:30 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Colloquium
Speaker: Ofer Feinerman, Weizmann Institute of Science
Title: Enacted collective cognition: Brainless problem-solving in weaver ants
Abstract: Unlike most ants, weaver ants construct their nests by pulling together leaves. Because individual ants are small relative to the leaves, they assemble their bodies into temporary tools that bend the leaves into a hollow structure, later stabilized with larval silk. Remarkably, they achieve functional nests across a wide range of leaf shapes and configurations, suggesting that this distributed system is capable of solving complex, open-ended problems.
To understand how this is possible, we performed laboratory experiments using controlled leaf configurations. In simple cases, we show that ants can rely on a zipping heuristic that produces closed nests, and we use differential geometry to demonstrate how flexible leaves are transformed into rigid structures. Crucially, this zipping behavior forms a feedback loop in which ants continuously read and modify the evolving structure. In this sense, the nest itself functions as a shared physical information system.
This suggests that cognition in this system is not located within individual ants, but is enacted through the co-dynamics of the colony and the structure it builds. We present preliminary experiments with more complex leaf configurations, showing that this process can solve increasingly challenging construction problems. Together, these results point to a distributed, brainless, and enactive form of cognition.

The classifying space of a Morse flow category
2026-04-28 16:15 - 18:00 | Science Center 507, 1 Oxford Street, Cambridge, 02138
Joint Math/CMSA Geometry and Quantum Theory Seminar
Speaker: Lorenzo Riva, Harvard CMSA
Title: The classifying space of a Morse flow category

Abstract: Following a paper of Calle and Liu we show that, under suitable tameness assumptions, the classifying space of the Morse category associated to a manifold M with a Morse function recovers the homotopy type of M, thereby addressing a gap in a preprint of Cohen-Jones-Segal. We also give a counterexample when those assumptions are not satisfied.

Transcendental Epsilon Multiplicity via Divisor Volumes
2026-04-30 16:00 - 17:00 | CMSA Room G02, 20 Garden Street, Cambridge, MA, 02138
Algebra Seminar
Speaker: Sudipta Das, Tata Institute of Fundamental Research
Title: Transcendental Epsilon Multiplicity via Divisor Volumes
Abstract: In this talk, our goal is to establish a structural bridge between asymptotic commutative algebra and transcendence theory to show that there exists an ideal in a Noetherian local ring whose epsilon multiplicity is transcendental. By equating the local-cohomological definition of epsilon multiplicity to a global divisorial volume integral on a projective bundle, we apply Baker’s theorem on linear forms in logarithms to prove that the resulting arithmetic invariant falls strictly outside the field of algebraic numbers. This talk is based on collaborative work with Vinh Pham and Stephen Landsittel.

note room change to G02

Lifting F-split surfaces to the Witt vectors
2026-05-01 12:00 - 13:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Member Seminar
Speaker: Iacopo Brivio, CMSA
Title: Lifting F-split surfaces to the Witt vectors

Abstract: Algebraic varieties in positive characteristic are ill behaved compared to characteristic zero ones. Several important tools available over the complex numbers, such as the Hodge decomposition theorem, are either not available or straight-away false. There are two important classes of positive characteristic varieties which have better behavior: Witt liftable varieties and Frobenius split varieties. A folklore conjecture predicts that the latter class is contained in the former. In a joint work with Bernasconi, Kawakami and Witaszek we proved that this is the case for surfaces. I will give an overview of this result as well as some applications thereof.

Twisted D-branes and TQFTs valued in Calabi-Yau categories
2026-05-04 15:00 - 16:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Quantum Field Theory and Physical Mathematics Seminar
Speaker: Surya Raghavendran, Yale University
Title: Twisted D-branes and TQFTs valued in Calabi-Yau categories
Abstract: Recently, Bozec–Calaque–Scherotzke have articulated a noncommutative version of the AKSZ construction, which associates to a smooth Calabi–Yau category a fully extended TQFT valued in a category of iterated Calabi–Yau cospans. In this talk, I will study a class of examples of such theories which arise in the context of conjectures of Costello and Li, which describe Type II strings in certain Ramond–Ramond backgrounds as topological strings. These TQFTs capture structural features of the BPS physics of D-branes that are universal in Chan–Paton factors. Conjecturally commutative limits of the values of such theories on closed manifolds can sometimes be geometrically quantized to yield algebraic structures with Hall-type products. Examples of this paradigm include CoHAs associated to complex 3-folds, CoHAs attached to local systems on 3-manifolds, and the categorified Hall algebras of Porta–Sala.

Dynamics as intersection problem
2026-05-04 16:30 - 17:30 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Colloquium
Speaker: Nikita Nekrasov, Simons Center
Title: Dynamics as intersection problem
Abstract: Most classical and quantum field theories are based on an action principle. However, there are important exceptions to this — hydrodynamics and the theory of self-dual fields. In this talk we formulate the covariant relativistic fluid dynamics, with or without magnetic fields, as well as the theory of chiral boson in 1+1 dimensions, self-dual tensor in 1+5 dimensions, and self-dual four-form of IIB supergravity, in terms of intersection theory of an auxiliary phase space. This provides a common covariant geometric framework for systems without a conventional action, while at the same time laying the groundwork for quantization via the Kontsevich approach. Joint work with Paul Wiegmann.

New directions in synthetic data
2026-05-06 14:00 - 15:00 | Virtual
New Technologies in Mathematics Seminar
Speaker: Tatsunori Hashimoto, Stanford
Title: New directions in synthetic data
Abstract: Synthetic data has been an effective, if boring set of techniques: prompt some language model to restructure your corpus to match some downstream task, with occasionally some distillation. In this talk, we will take a more expansive view of synthetic data as a general algorithmic tool for generative modeling, arguing that the design space and possibilities of synthetic data are much bigger than it might seem. Through a few recent works, we will show that synthetic data has major benefits beyond transforming the data – improving in-domain perplexities, and enabling unique algorithmic primitives, such as neighborhood smoothing and concatenated ‘mega’ documents. With this broader view, we will point towards a nascent but interesting possibility of treating data itself as an algorithmic object to be engineered and optimized end-to-end.

From Poincaré/Koszul duality to (twisted) AdS/CFT correspondence
2026-05-08 12:00 - 13:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Member Seminar
Speaker: Keyou Zeng
Title: From Poincaré/Koszul duality to (twisted) AdS/CFT correspondence
Abstract: Poincaré duality is a fundamental result in the (co)homology theory of manifolds. It has many applications in topology and vast generalizations to other types of “spaces,” such as singular/stratified spaces and schemes. In this talk, I will discuss a variant of Poincaré duality for factorization algebras, also known as Koszul duality. At the end of the talk, I will relate this notion to a mathematical formulation of what physicists call the AdS/CFT correspondence, as proposed by Costello and Li.

When do anomalous finite symmetries in (3+1)d enforce gaplessness?
2026-05-11 15:00 - 16:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Quantum Field Theory and Physical Mathematics Seminar
Speaker: Matthew Yu (University of Oxford)
Title: When do anomalous finite symmetries in (3+1)d enforce gaplessness?
Abstract: I will explain a comprehensive framework for characterizing the infrared (IR) phases of a fermionic QFTs in (3+1)d, based on their quantum anomalies associated with a finite symmetry. We uncover a fundamental dichotomy among these anomalies: the first class of anomalies can always be realized by symmetric gapped states, while the second class can never be realized by gapped states without breaking the given symmetry, establishing the phenomenon of symmetry-enforced gaplessness in these settings. Using the construction of symmetry extension afforded to us by new developments in fusion 2-categories, we construct the candidate gapped states that theories with the first class of anomalies can flow to in the IR. As an application, I will provide examples of concrete predictions for the candidate IR phases of (3+1)d gauge theories based on our results.
