A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. $\mathsf {Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by forcing.

The $\mathsf {Largest\ Suslin\ Axiom}$ ($\mathsf {LSA}$) is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable bijections. Let $\mathsf {LSA-over-uB}$ be the statement that in all (set) generic extensions there is a model of $\mathsf {LSA}$ whose Suslin, co-Suslin sets are the universally Baire sets.

We show that over some mild large cardinal theory, $\mathsf {Sealing}$ is equiconsistent with $\mathsf {LSA-over-uB}$. In fact, we isolate an exact large cardinal theory that is equiconsistent with both (see Definition 2.7). As a consequence, we obtain that $\mathsf {Sealing}$ is weaker than the theory ‘$\mathsf {ZFC} +$ there is a Woodin cardinal which is a limit of Woodin cardinals’.

A variation of $\mathsf {Sealing}$, called $\mathsf {Tower\ Sealing}$, is also shown to be equiconsistent with $\mathsf {Sealing}$ over the same large cardinal theory.

The result is proven via Woodin’s $\mathsf {Core\ Model\ Induction}$ technique and is essentially the ultimate equiconsistency that can be proven via the current interpretation of $\mathsf {CMI}$ as explained in the paper.

We prove that projective spaces of Lorentzian and real stable polynomials are homeomorphic to Euclidean balls. This solves a conjecture of June Huh and the author. The proof utilises and refines a connection between the symmetric exclusion process in interacting particle systems and the geometry of polynomials.

We construct a variant of Karoubi’s relative Chern character for smooth separated schemes over the ring of integers in a $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}p$-adic field, and prove a comparison with the rigid syntomic regulator. For smooth projective schemes, we further relate the relative Chern character to the étale $p$-adic regulator via the Bloch–Kato exponential map. This reproves a result of Huber and Kings for the spectrum of the ring of integers, and generalizes it to all smooth projective schemes as above.

Recently, Gross, Mansour and Tucker introduced the partial-dual polynomial of a ribbon graph as a generating function that enumerates all partial duals of the ribbon graph by Euler genus. It is analogous to the extensively studied polynomial in topological graph theory that enumerates by Euler genus all embeddings of a given graph. To investigate the partial-dual polynomial, one only needs to focus on bouquets: that is, ribbon graphs with exactly one vertex. In this paper, we shall further show that the partial-dual polynomial of a bouquet essentially depends on the signed intersection graph of the bouquet rather than on the bouquet itself. That is to say, two bouquets with the same signed intersection graph have the same partial-dual polynomial. We then give a characterisation of when a bouquet has a planar partial dual in terms of its signed intersection graph. Finally, we consider a conjecture posed by Gross, Mansour and Tucker that there is no orientable ribbon graph whose partial-dual polynomial has only one nonconstant term; this conjecture is false, and we give a characterisation of when all partial duals of a bouquet have the same Euler genus.

If a sequence indexed by nonnegative integers satisfies a linear recurrence without constant terms, one can extend the indices of the sequence to negative integers using the recurrence. Recently, Cigler and Krattenthaler showed that the negative version of the number of bounded Dyck paths is the number of bounded alternating sequences. In this paper, we provide two methods to compute the negative versions of sequences related to moments of orthogonal polynomials. We give a combinatorial model for the negative version of the number of bounded Motzkin paths. We also prove two conjectures of Cigler and Krattenthaler on reciprocity between determinants.

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.

We characterize totally symmetric self-complementary plane partitions (TSSCPP) as bounded compatible sequences satisfying a Yamanouchi-like condition. As such, they are in bijection with certain pipe dreams. Using this characterization and the recent bijection of Gao–Huang between reduced pipe dreams and reduced bumpless pipe dreams, we give a bijection between alternating sign matrices and TSSCPP in the reduced, 1432-avoiding case. We also give a different bijection in the 1432- and 2143-avoiding case that preserves natural poset structures on the associated pipe dreams and bumpless pipe dreams.

We prove that the moduli space of rational curves with cyclic action, constructed in our previous work, is realizable as a wonderful compactification of the complement of a hyperplane arrangement in a product of projective spaces. By proving a general result on such wonderful compactifications, we conclude that this moduli space is Chow-equivalent to an explicit toric variety (whose fan can be understood as a tropical version of the moduli space), from which a computation of its Chow ring follows.