We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their Néron–Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties, which are the higher-dimensional analogues of the Calabi–Yau threefolds constructed by Schoen. Schoen varieties give rise to Calabi–Yau pairs, and in each dimension at least three, there exist Schoen varieties with nonpolyhedral nef cone. We prove the Kawamata–Morrison–Totaro cone conjecture for the nef cones of Schoen varieties, which generalizes the work by Grassi and Morrison.

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 provide a fine description of the weak limit of sequences of regular axisymmetric maps with equibounded neo-Hookean energy, under the assumption that they have finite surface energy. We prove that these weak limits have a dipole structure, showing that the singular map described by Conti and De Lellis is generic in some sense. On this map, we provide the explicit relaxation of the neo-Hookean energy. We also make a link with Cartesian currents showing that the candidate for the relaxation we obtained presents strong similarities with the relaxed energy in the context of $\mathbb {S}^2$-valued harmonic maps.

We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well-known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmetry in a time-dependent anisotropic case modeled on Riemannian manifolds, and for partial data measurements on ${\mathbb R}^n$.

Moreover, we present cases where it is possible to exploit the nonlinear interaction to break the gauge symmetry. This leads to full determination results of the nonlinear term. As an application, we show that it is possible to give a full resolution to classes of inverse source problems of determining a source term and nonlinear terms simultaneously. This is in strict contrast to inverse source problems for corresponding linear equations, which always have the gauge symmetry. We also consider a Carleman estimate with boundary terms based on intrinsic properties of parabolic equations.

We show that the independence number of $ G_{n,p}$ is concentrated on two values if $ n^{-2/3+ \epsilon } < p \le 1$. This result is roughly best possible as an argument of Sah and Sawhney shows that the independence number is not, in general, concentrated on two values for $ p = o ( (\log (n)/n)^{2/3} )$. The extent of concentration of the independence number of $ G_{n,p}$ for $ \omega (1/n) < p \le n^{-2/3}$ remains an interesting open question.

For certain quasismooth Calabi–Yau hypersurfaces in weighted projective space, the Berglund-Hübsch-Krawitz (BHK) mirror symmetry construction gives a concrete description of the mirror. We prove that the minimal log discrepancy of the quotient of such a hypersurface by its toric automorphism group is closely related to the weights and degree of the BHK mirror. As an application, we exhibit klt Calabi–Yau varieties with the smallest known minimal log discrepancy. We conjecture that these examples are optimal in every dimension.

The K-theoretic Schur P- and Q-functions $G\hspace {-0.2mm}P_\lambda $ and $G\hspace {-0.2mm}Q_\lambda $ may be concretely defined as weight-generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual K-theoretic Schur P- and Q-functions $g\hspace {-0.1mm}p_\lambda $ and $g\hspace {-0.1mm}q_\lambda $ via a Cauchy identity involving $G\hspace {-0.2mm}P_\lambda $ and $G\hspace {-0.2mm}Q_\lambda $. They conjectured that the dual power series are weight-generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of $g\hspace {-0.1mm}p_\lambda $ and $g\hspace {-0.1mm}q_\lambda $ under the $\omega $ involution of the ring of symmetric functions. This confirms a conjecture of Chiu and the second author. Using these results, we verify a conjecture of Ikeda and Naruse that the $G\hspace {-0.2mm}Q$-functions are a basis for a ring.

We prove the compatibility of local and global Langlands correspondences for $\operatorname {GL}_n$ up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne [10] and Scholze [18]. More precisely, let $r_p(\pi )$ denote an n-dimensional p-adic representation of the Galois group of a CM field F attached to a regular algebraic cuspidal automorphic representation $\pi $ of $\operatorname {GL}_n(\mathbb {A}_F)$. We show that the restriction of $r_p(\pi )$ to the decomposition group of a place $v\nmid p$ of F corresponds up to semisimplification to $\operatorname {rec}(\pi _v)$, the image of $\pi _v$ under the local Langlands correspondence. Furthermore, we can show that the monodromy of the associated Weil-Deligne representation of $\left .r_p(\pi )\right |{}_{\operatorname {Gal}_{F_v}}$ is ‘more nilpotent’ than the monodromy of $\operatorname {rec}(\pi _v)$.

We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin–Tyomkin.

The $\Delta $-Springer varieties are a generalization of Springer fibers introduced by Levinson, Woo and the author that have connections to the Delta Conjecture from algebraic combinatorics. We prove a positive Hall–Littlewood expansion formula for the graded Frobenius characteristic of the cohomology ring of a $\Delta $-Springer variety. We do this by interpreting the Frobenius characteristic in terms of counting points over a finite field $\mathbb {F}_q$ and partitioning the $\Delta $-Springer variety into copies of Springer fibers crossed with affine spaces. As a special case, our proof method gives a geometric meaning to a formula of Haglund, Rhoades and Shimozono for the Hall–Littlewood expansion of the symmetric function in the Delta Conjecture at $t=0$.

We develop a theory of parabolic induction and restriction functors relating modules over Coulomb branch algebras, in the sense of Braverman-Finkelberg-Nakajima. Our functors generalize Bezrukavnikov-Etingof’s induction and restriction functors for Cherednik algebras, but their definition uses different tools.

After this general definition, we focus on quiver gauge theories attached to a quiver $\Gamma $. The induction and restriction functors allow us to define a categorical action of the corresponding symmetric Kac-Moody algebra $\mathfrak {g}_{\Gamma }$ on category $ \mathcal {O}$ for these Coulomb branch algebras. When $ \Gamma $ is of Dynkin type, the Coulomb branch algebras are truncated shifted Yangians and quantize generalized affine Grassmannian slices. Thus, we regard our action as a categorification of the geometric Satake correspondence.

To establish this categorical action, we define a new class of ‘flavoured’ KLRW algebras, which are similar to the diagrammatic algebras originally constructed by the second author for the purpose of tensor product categorification. We prove an equivalence between the category of Gelfand-Tsetlin modules over a Coulomb branch algebra and the modules over a flavoured KLRW algebra. This equivalence relates the categorical action by induction and restriction functors to the usual categorical action on modules over a KLRW algebra.

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.

This paper will study almost everywhere behaviors of functions on partition spaces of cardinals possessing suitable partition properties. Almost everywhere continuity and monotonicity properties for functions on partition spaces will be established. These results will be applied to distinguish the cardinality of certain subsets of the power set of partition cardinals.

The following summarizes the main results proved under suitable partition hypotheses.

• • If $\kappa $ is a cardinal, $\epsilon < \kappa $, ${\mathrm {cof}}(\epsilon ) = \omega $, $\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$ and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then $\Phi $ satisfies the almost everywhere short length continuity property: There is a club $C \subseteq \kappa $ and a $\delta < \epsilon $ so that for all $f,g \in [C]^\epsilon _*$, if $f \upharpoonright \delta = g \upharpoonright \delta $ and $\sup (f) = \sup (g)$, then $\Phi (f) = \Phi (g)$.

• • If $\kappa $ is a cardinal, $\epsilon $ is countable, $\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$ holds and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then $\Phi $ satisfies the strong almost everywhere short length continuity property: There is a club $C \subseteq \kappa $ and finitely many ordinals $\delta _0, ..., \delta _k \leq \epsilon $ so that for all $f,g \in [C]^\epsilon _*$, if for all $0 \leq i \leq k$, $\sup (f \upharpoonright \delta _i) = \sup (g \upharpoonright \delta _i)$, then $\Phi (f) = \Phi (g)$.

• • If $\kappa $ satisfies $\kappa \rightarrow _* (\kappa )^\kappa _2$, $\epsilon \leq \kappa $ and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then $\Phi $ satisfies the almost everywhere monotonicity property: There is a club $C \subseteq \kappa $ so that for all $f,g \in [C]^\epsilon _*$, if for all $\alpha < \epsilon $, $f(\alpha ) \leq g(\alpha )$, then $\Phi (f) \leq \Phi (g)$.

• • Suppose dependent choice ($\mathsf {DC}$), ${\omega _1} \rightarrow _* ({\omega _1})^{\omega _1}_2$ and the almost everywhere short length club uniformization principle for ${\omega _1}$ hold. Then every function $\Phi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$ satisfies a finite continuity property with respect to closure points: Let $\mathfrak {C}_f$ be the club of $\alpha < {\omega _1}$ so that $\sup (f \upharpoonright \alpha ) = \alpha $. There is a club $C \subseteq {\omega _1}$ and finitely many functions $\Upsilon _0, ..., \Upsilon _{n - 1} : [C]^{\omega _1}_* \rightarrow {\omega _1}$ so that for all $f \in [C]^{\omega _1}_*$, for all $g \in [C]^{\omega _1}_*$, if $\mathfrak {C}_g = \mathfrak {C}_f$ and for all $i < n$, $\sup (g \upharpoonright \Upsilon _i(f)) = \sup (f \upharpoonright \Upsilon _i(f))$, then $\Phi (g) = \Phi (f)$.

• • Suppose $\kappa $ satisfies $\kappa \rightarrow _* (\kappa )^\epsilon _2$ for all $\epsilon < \kappa $. For all $\chi < \kappa $, $[\kappa ]^{<\kappa }$ does not inject into ${}^\chi \mathrm {ON}$, the class of $\chi $-length sequences of ordinals, and therefore, $|[\kappa ]^\chi | < |[\kappa ]^{<\kappa }|$. As a consequence, under the axiom of determinacy $(\mathsf {AD})$, these two cardinality results hold when $\kappa $ is one of the following weak or strong partition cardinals of determinacy: ${\omega _1}$, $\omega _2$, $\boldsymbol {\delta }_n^1$ (for all $1 \leq n < \omega $) and $\boldsymbol {\delta }^2_1$ (assuming in addition $\mathsf {DC}_{\mathbb {R}}$).

We prove an isomorphism theorem between the canonical denotation systems for large natural numbers and large countable ordinal numbers, linking two fundamental concepts in Proof Theory. The first one is fast-growing hierarchies. These are sequences of functions on $\mathbb {N}$ obtained through processes such as the ones that yield multiplication from addition, exponentiation from multiplication, etc. and represent the canonical way of speaking about large finite numbers. The second one is ordinal collapsing functions, which represent the best-known method of describing large computable ordinals.

We observe that fast-growing hierarchies can be naturally extended to functors on the categories of natural numbers and of linear orders. The isomorphism theorem asserts that the categorical extensions of binary fast-growing hierarchies to ordinals are isomorphic to denotation systems given by cardinal collapsing functions. As an application of this fact, we obtain a restatement of the subsystem $\Pi ^1_1$-${\mathsf {CA_0}}$ of analysis as a higher-type well-ordering principle asserting that binary fast-growing hierarchies preserve well-foundedness.

We consider manifold-knot pairs $(Y,K)$, where Y is a homology 3-sphere that bounds a homology 4-ball. We show that the minimum genus of a PL surface $\Sigma $ in a homology ball X, such that $\partial (X, \Sigma ) = (Y, K)$ can be arbitrarily large. Equivalently, the minimum genus of a surface cobordism in a homology cobordism from $(Y, K)$ to any knot in $S^3$ can be arbitrarily large. The proof relies on Heegaard Floer homology.

We establish the asymptotic expansion in $\beta $ matrix models with a confining, off-critical potential in the regime where the support of the equilibrium measure is a finite union of segments. We first address the case where the filling fractions of these segments are fixed and show the existence of a $\frac {1}{N}$ expansion. We then study the asymptotics of the sum over the filling fractions to obtain the full asymptotic expansion for the initial problem in the multi-cut regime. In particular, we identify the fluctuations of the linear statistics and show that they are approximated in law by the sum of a Gaussian random variable and an independent Gaussian discrete random variable with oscillating center. Fluctuations of filling fractions are also described by an oscillating discrete Gaussian random variable. We apply our results to study the all-order small dispersion asymptotics of solutions of the Toda chain associated with the one Hermitian matrix model ($\beta = 2$) as well as orthogonal ($\beta = 1$) and skew-orthogonal ($\beta = 4$) polynomials outside the bulk.

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.

The Manin–Peyre conjecture is established for a class of smooth spherical Fano varieties of semisimple rank one. This includes all smooth spherical Fano threefolds of type T as well as some higher-dimensional smooth spherical Fano varieties.

We exhibit the Hodge degeneration from nonabelian Hodge theory as a $2$-fold delooping of the filtered loop space $E_2$-groupoid in formal moduli problems. This is an iterated groupoid object which in degree $1$ recovers the filtered circle $S^1_{fil}$ of [MRT22]. This exploits a hitherto unstudied additional piece of structure on the topological circle, that of an $E_2$-cogroupoid object in the $\infty $-category of spaces. We relate this cogroupoid structure with the more commonly studied ‘pinch map’ on $S^1$, as well as the Todd class of the Lie algebroid $\mathbb {T}_{X}$; this is an invariant of a smooth and proper scheme X that arises, for example, in the Grothendieck-Riemann-Roch theorem. In particular, we relate the existence of nontrivial Todd classes for schemes to the failure of the pinch map to be formal in the sense of rational homotopy theory. Finally, we record some consequences of this bit of structure at the level of Hochschild cohomology.

In this paper, we define two types of strongly decomposable positivity, which serve as generalizations of (dual) Nakano positivity and are stronger than the decomposable positivity introduced by S. Finski. We provide the criteria for strongly decomposable positivity of type I and type II and prove that the Schur forms of a strongly decomposable positive vector bundle of type I are weakly positive, while the Schur forms of a strongly decomposable positive vector bundle of type II are positive. These answer a question of Griffiths affirmatively for strongly decomposably positive vector bundles. Consequently, we present an algebraic proof of the positivity of Schur forms for (dual) Nakano positive vector bundles, which was initially proven by S. Finski.