要約:
Let $\mathcal{X}$ be an algebraic stack admitting a moduli space $\mathcal{X}_{\mathrm{mod}}$. We study the factorizations of the moduli space morphism $\mathcal{X}\rightarrow\mathcal{X}_{\mathrm{mod}}$ to construct intermediate stacks that simplify the stacky structure of $\mathcal{X}$ while retaining more structural information than $\mathcal{X}_{\mathrm{mod}}$. Under mild assumptions, we prove the existence of a universal morphism from $\mathcal{X}$ to stacks satisfying well-behaved `modular properties' (such as being Deligne-Mumford, having finite inertia, or being uniformizable), and show that this universal map is itself an adequate moduli space morphism. We achieve this by proving that ascending chains of adequate moduli space morphisms from a Noetherian stack stabilize if they are cohomologically affine or with target Deligne-Mumford stacks. Finally, we demonstrate that stabilization completely fails for general adequate moduli space morphisms. We construct a simple Noetherian, Deligne-Mumford stack admitting an infinite, non-stabilizing chain of adequate moduli space morphisms, whose limit is a non-algebraic fpqc stack.
要約:
We study one-parameter conifold degenerations whose central fiber has finitely many ordinary double points. Working within a minimal finite-node schober datum formalism, we define a local ordinary-double-point schober block at each node and prove that these local blocks assemble into a finite-node schober datum with one localized categorical sector per node. We further show that the decategorified shadow of this finite-node schober datum is the corrected finite-node perverse extension previously identified from nearby- and vanishing-cycle methods, and that the resulting finite-sector architecture is compatible with the mixed-Hodge-module refinement established in earlier work. In particular, the present paper provides a theorem-level categorical bulk / localized-sector framework for finite-node conifold degenerations, together with its quiver shadow and the first precursor of a later wall-crossing formalism.
要約:
We show that the space of sections of any line bundle on the augmented wonderful variety of a hyperplane arrangement has the structure of a coalgebra. These coalgebras correspond to the hyperplane arrangement power ideals of Ardila and Postnikov, which include zonotopal algebras as a special case. By proving cohomology vanishing results on augmented wonderful varieties, we recover many results about zonotopal algebras. We also interpret the "superspace" zonotopal algebras of Rhoades, Tewari, and Wilson in terms of the sections of vector bundles on the augmented wonderful variety, and we use this interpretation to prove a formula that they conjectured for the Hilbert series of the superspace version of the central zonotopal algebra.
要約:
Let $(\mathrm{X},\sigma)$ be a holomorphic symplectic manifold. We study the differential graded category of canonical Lagrangian $\mathrm{D}$-branes $\mathcal{D}_\mathrm{Lag}(\mathrm{X},\sigma)$ along with its deformation quantisation, spanned by quantised orientations, $\mathcal{DQ}(\mathrm{X},\sigma)$, and the virtual de Rham category $\mathcal{DR}^{\mathrm{vir}}(\mathrm{X},\sigma)$. We prove the formality of these dg categories when localised at a countable collection of orientable compact K\"{a}hler Lagrangian submanifolds with pairwise clean intersections. Along the way, we define Kaledin classes of minimal $\mathrm{A}_\infty$-categories and show that they are the obstructions to formality. In addition, we obtain a formality criterion for flat weakly proper Calabi-Yau dg categories.
要約:
We present a method to construct irreducible symplectic varieties by studying terminalisations of quotient of hyper-K\"ahler manifolds by non-natural group actions. In particular, we construct irreducible symplectic varieties of dimension $4$ with $b_2 = 4$ and non-quotient singularities: this provides explicit examples of ISVs for which a global Torelli theorem is not known to hold.
要約:
A real Lie algebra defines by extension of scalars a complex Lie algebra that is isomorphic to its Galois conjugate. In this paper, we are interested in the converse property: given a complex Lie algebra that is isomorphic to its conjugate, is it defined over the real numbers? We prove the existence of a $10$-dimensional nilpotent complex Lie algebra for which the answer is negative, disproving a recent conjecture by Der\'e. In addition, we compute the generic obstruction to this descent problem in terms of Brauer groups.
要約:
We provide a short proof of the necessity of Crawley-Boevey's condition in his solution to the Deligne-Simpson problem. The proof relies on the local neighbourhood theorem for $2$-Calabi-Yau categories due to Davison together with Crawley-Boevey's sufficient condition for the existence of local systems with prescribed conjugacy classes of monodromy around the punctures.
要約:
Given a connected reductive algebraic group $G$, we consider the class of spherical subgroups $H \subset G$ such that $H$ is regularly embedded in a parabolic subgroup $P \subset G$ and $H,P$ have a common Levi subgroup $L$. In a previous paper, the author developed a fast algorithm that reduces the computation of the set of spherical roots for such subgroups $H$ to the case where the quotient of Lie algebras $\operatorname{Lie} P / \operatorname{Lie} H$ is a strictly indecomposable spherical $L$-module. In this paper, we complete the classification of all such cases and compute the spherical roots for each of them, which enables one to use the above fast algorithm directly for computing the spherical roots for arbitrary spherical subgroups in the class under consideration.
要約:
We prove that the connection vector fields associated to ample Poisson line bundles are not locally hamiltonian unless the Poisson structure is zero. We use this result to provide further evidence on Bondal's conjecture regarding the dimensions of the degeneracy loci of a holomorphic Fano Poisson manifold.
要約:
In this note, we prove a correspondence between filtrations and b-divisors over a general class of Noetherian local domains. As an application in the global setting, we prove a recent conjecture of Ro\'e-Urbinati.
要約:
This expository article is based on the author's talk at the Kinosaki Algebraic Geometry Symposium 2025. We discuss some recent progress surrounding stable degeneration in algebraic K-stability theory.
要約:
We prove an analogue of Givental-Teleman reconstruction for F-cohomological field theories on the moduli space of compact type. We apply it to reconstruct the restriction of the extended $r$-spin classes to the extended direction and deduce relations between $\kappa$-classes (both in compact type).
要約:
We give a new definition -- and in some cases, a new construction -- of integral canonical models of Shimura varieties that uses the notion of an aperture appearing in work of Gardner--Madapusi on some conjectures of Drinfeld. This applies to Shimura varieties of pre-abelian type at odd primes of hyperspecial level, recovering and extending previous work of Kisin, Kim--Madapusi and Imai--Kato--Youcis, but also to exceptional Shimura varieties for large enough primes. The characterization in the exceptional case is \emph{a priori} different from the one recently shown by Bakker--Shankar--Tsimerman, and recovers many of their results, such as the existence of prime-to-$p$ Hecke operators, the non-emptiness of the $\mu$-ordinary stratum and the theory of the canonical lift. In fact, we give a uniform proof of the non-emptiness of \emph{all} possible Newton strata, and of the non-emptiness of Ekedahl--Oort strata and central leaves as well. An important ingredient in the proofs is a generalization of Tate's full faithfulness theorem for $p$-divisible groups to the context of apertures. This leads to a mapping property for the integral canonical model that characterizes maps into it from all normal, flat and excellent schemes over $\mathbb{Z}_{(p)}$.
要約:
Polylab is a MATLAB toolbox for multivariate polynomial scalars and polynomial matrices with a unified symbolic-numeric interface across CPU and GPU-oriented backends. The software exposes three aligned classes: MPOLY for CPU execution, MPOLY_GPU as a legacy GPU baseline, and MPOLY_HP as an improved GPU-oriented implementation. Across these backends, Polylab supports polynomial construction, algebraic manipulation, simplification, matrix operations, differentiation, Jacobian and Hessian construction, LaTeX export, CPU-side LaTeX reconstruction, backend conversion, and interoperability with YALMIP and SOSTOOLS. Versions 3.0 and 3.1 add two practically important extensions: explicit variable metadata through vars.id and vars.name, which makes mixed-variable expressions safe even when objects are created independently, and affine-normal direction computation via automatic differentiation, MF-logDet-Exact, and MF-logDet-Stochastic. The toolbox has already been used successfully in prior research applications, and Polylab Version 3.1 adds a new geometry-oriented computational layer on top of a mature polynomial modeling core. This paper documents the architecture and user-facing interface of the software, organizes its functionality by workflow, presents representative MATLAB sessions with actual outputs, and reports reproducible benchmarks. The results show that MPOLY is the right default for lightweight interactive workloads, whereas MPOLY-HP becomes advantageous for reduction-heavy simplification and medium-to-large affine-normal computation; the stochastic log-determinant variant becomes attractive in larger sparse regimes under approximation-oriented parameter choices.
要約:
In this article, we compute the boundary cohomology of the arithmetic group Sp6(Z) with coefficients in the trivial representation. Our computation utilizes the Borel-Serre compactification and the associated spectral sequence.
要約:
We prove that every locally inner (class-preserving) endomorphism of the adjoint Chevalley group $G_{\mathrm{ad}}(\Phi,R)$ and of its elementary subgroup $E_{\mathrm{ad}}(\Phi,R)$ over a commutative ring $R$ is inner for $\Phi\in\{\mathbf A_1,\mathbf A_2,\mathbf B_2\}$ under the assumption $2\in R^\times$, and for $\Phi=\mathbf G_2$ under the stronger assumption $2,3\in R^\times$. Consequently, all these groups are Sha-rigid.
要約:
In most cases the semigroup at infinity $S$ of a curve $C$ with only one place at infinity is generated by a $\delta$-sequence. This sequence provides geometrical information on $C$ such as the dual graph of the resolution of the singularity of $C$ at infinity. Since different $\delta$-sequences can generate the same semigroup, it is an interesting problem to know the geometrical behaviour of curves $C$ sharing the same semigroup $S$. An analogous problem arises in a more general context when considering surfaces at infinity and their $\delta$-semigroups.
We show how to construct $\delta$-sequences, and how to obtain different families that generate the same semigroup $S$, allowing us to study the geometrical content encoded by $S$.
要約:
We study the geometry of spaces of fitrations on a Noetherian local domain. We introduce a metric $d_1$ on the space of saturated filtrations, inspired by the Darvas metric in complex geometry, such that it is a geodesic metric space. In the toric case, using Newton-Okounkov bodies, we identify the space of saturated monomial filtrations with a subspace of $L^1_\mathrm{loc}$. We also consider several other topologies on such spaces and study the semi-continuity of the log canonical threshold function in the spirit of Koll\'ar-Demailly. Moreover, there is a natural lattice structure on the space of saturated filtrations, which is a generalization of the classical result that the ideals of a ring form a lattice.
要約:
We define the hypergeometric exponential sum associated to a family of representations of a reductive group over a finite field. We introduce the hypergeometric $\ell$-adic sheaf to describe the hypergeometric exponential sum. Motivated by the definition of the hypergeometric sheaf, we introduce the hypergeometric $\mathcal D$-module, prove it is holonomic and estimate its rank. Using the theory of the Fourier transform for vector bundles over a general base developed by Wang, we show how the hypergeometric $\mathcal D$-module controls the general behavior of the hypergeometric sheaf. We apply our results to the estimation of the hypergeometric exponential sum.
要約:
We give an explicit, positive, and type-uniform formula for all equivariant structure constants of the Peterson Schubert calculus in arbitrary Lie types, using only the Cartan matrix of the corresponding root system $\Phi$. This solves an open problem originally asked by Harada--Tymoczko in type A for all Lie types. As an application, we derive a type-uniform formula for the mixed $\Phi$-Eulerian numbers.
要約:
We provide explicit formulas for computing the motivic Chern and Hirzebruch classes of degeneracy loci, especially those coming from the symplectic and odd orthogonal Grassmannians. The Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes arise as specializations of the motivic Chern and Hirzebruch classes. Our results are inspired by, and partially extends, those of Anderson--Chen--Tarasca in the case of ordinary Grassmannian degeneracy loci to isotropic and odd orthogonal Grassmannians as well as maximal even orthogonal Grassmannians. As applications, we obtain the motivic Chern and Hirzebruch classes of orthogonal and symplectic orbit closures in flag varieties.
要約:
The notion of acceptable bundles plays a fundamental role in the Simpson--Mochizuki theory. This paper presents a detailed study of acceptable bundles on a punctured disk. In addition to its expository aspects, we introduce a new invariant and provide arguments that differ from those of Simpson and Mochizuki.
要約:
Let $X \subset \mathbb{P}^4$ be a quadric threefold with a single ordinary double point, and let $\mathcal{K}u(X)$ be its Kuznetsov component. In this paper, we construct a weak stability condition on Kuznetsov's categorical resolution $\widetilde{D} \subset \mathrm{D^b}(\widetilde{X})$, compatible with the Verdier localization $\mathbf{R}\pi_* \colon \widetilde{D} \to \mathrm{D^b}(X)$, and hence obtain a Bridgeland stability condition on $\mathrm{D^b}(X)$. Restricting the construction, we obtain the corresponding statement for $\mathcal{K}u(X)$ and its categorical resolution $\widetilde{D}'$. These can be viewed as a three-dimensional analogue of our previous result in \cite{Cho25}.
We describe the geometry of the blow-up $\pi \colon \widetilde{X} \to X$ and obtain two semiorthogonal decompositions of $\mathrm{D^b}(\widetilde{X})$, arising from the projective bundle structure of $\widetilde{X}$ and from Kuznetsov's categorical resolution. Comparing them, we isolate an admissible subcategory $\widetilde{\mathcal{D}}\subset \mathrm{D^b}(\widetilde{X})$ resolving $\mathrm{D^b}(X)$ and show that it admits a full Ext-exceptional collection, from which we construct the localization-compatible weak stability condition.
要約:
The 3-fold cyclic quotient singularity denoted $\tfrac{1}{7}(1,2,4)$ admits a crepant resolution X with three exceptional Hirzebruch surfaces intersecting pairwise along curves. We show that the derived category D(X) carries a faithful action of a quiver braid group, where the relevant quiver is a 3-cycle encoding the intersection data.
要約:
The Lagrange inversion formula for power series is one of the classical formulas from analysis and combinatorics. A nice geometric interpretation of this formula in terms of the Stasheff polytopes was discovered by Loday. We show that it also admits a natural topological interpretation in terms of the Chern numbers of the complex projective space. The proof is based on our earlier work on the Chern-Dold character in complex cobordism theory and leads to a new derivation of the Lagrange inversion formula. We provide a similar interpretation of the multiplicative inversion formula in terms of Chern numbers of the smooth theta divisors. In this relation we introduce a new formal group defined by the Catalan numbers and explain the topological meaning of the corresponding Hirzebruch genus. Finally, we discuss a related general problem of when all Chern numbers of an algebraic variety are divisible by its Euler characteristic.
要約:
Recent developments in motivic homotopy theory, especially the construction of norm functors by Bachmann and Hoyois, rely heavily on the machinery of infinite categories. In this paper, we take a purely geometric and elementary approach via the Weil restriction of schemes -- the fundamental geometric operation underlying these norm functors -- without invoking highly abstract categorical methods. We show that the Weil restriction preserves vector bundles and extend an existing result on normal bundles. We then construct the Weil restriction functor on the unstable motivic homotopy category and prove its compatibility with Thom spaces. Finally, in the setting of effective motives and the associated cohomology theories, we show that the Weil restriction sends Thom classes to Thom classes.
要約:
Let $X$ be a smooth projective scheme and $E$ a vector bundle on $X$. For a relative hypersurface $Y_f \subset \mathbb{P}(E)$ of degree $d$ defined by a global section $f$, we establish a functorial equivalence between the category of relatively Ulrich bundles on $Y_f$ and the category of representations of the associated generalized Clifford algebra $C_f$. This equivalence generalizes the classical Ulrich-Clifford correspondence of Coskun-Kulkarni-Mustopa and provides a purely algebraic framework that bypasses geometric obstructions in the relative setting.
As a first application, we prove that relative hypersurfaces are Ulrich-wild: there exist families of indecomposable relatively Ulrich bundles $\{E_N\}$ with \[ \dim \mathrm{Ext}^1_{Y_f}(E_N, E_N) \to \infty \quad \text{as } N \to \infty. \] We further show that relative hyperplanes possess a minimal Ulrich complexity of one. Moving beyond degree one, we illustrate how unavoidable homological obstructions require complex machinery, such as matrix factorizations equivalently generalized Clifford algebras, to find solutions.
要約:
We develop a categorical and algebro-geometric treatment of localization for cohomological theories endowed with an open--closed recollement. Starting from a class on a space whose restriction to the open complement vanishes, we show that the natural output of the formalism is, in general, not a distinguished localized class on the closed locus, but rather a torsor of supported refinements; a canonical local term arises only once an additional uniqueness or concentration principle is imposed. We establish excision, a natural pullback map under Cartesian base change, proper pushforward, and compatibility with external products under explicit hypotheses governing the interaction between product constructions and exceptional pullback. We also prove a factorization result showing that any assignment of local terms already compatible with the localization triangle must necessarily take its values in this torsor. When supplemented by Verdier duality and the appropriate orientation data, the resulting localized classes govern local indices and yield global-to-local index formulas. Under purity and concentration, the formalism recovers the familiar Euler-denominator expressions. The later geometric examples should therefore be read as conditional realisations of the same torsorial mechanism, available only once the relevant comparison hypotheses, together with the requisite purity and concentration statements, are in force.
要約:
We give a proof of the Morrison-Kawamata cone conjecture for Enriques surfaces independent of their characteristic. It is based on the analysis of certain generically finite morphisms of degree two.
要約:
This paper studies three different ways to assign weights to the lattice points of a convex polytope and discusses the algebraic and combinatorial properties of the resulting weighted Ehrhart functions and their generating functions and associated rings. These will be called $q$-weighted, $r$-weighted, and $s$-weighted Ehrhart functions, respectively. The key questions we investigate are \emph{When are the weighted Ehrhart series rational functions and which classical Ehrhart theory properties are preserved? And, when are the abstract formal power series the Hilbert series of Ehrhart rings of some polytope?} We prove generalizations about weighted Ehrhart $h^*$-coefficients of $q$-weighted Ehrhart series, and show $q$- and $s$-weighted Ehrhart reciprocity theorems. Then, we show the $q$- and $r$-weighted Ehrhart rings are the (classical) Ehrhart rings of weight lifting polytopes.
要約:
We study a geometric version of the dimension growth conjecture. While it is closely related in spirit to themes arising in geometric Manin's conjecture, it applies in greater generality and provides more uniform bounds. For an irreducible projective variety $X$ defined over $\mathbb{C}(t)$, the set $X(b)$ of $\mathbb{C}(t)$-rational points on $X$ of degree less than $b$ has a natural structure of an algebraic variety over $\mathbb{C}$. We study the dimension and irreducibility of $X(b)$ when $X$ has degree $d \ge 2$, and obtain a geometric analogue of the classical dimension growth conjecture, namely that $\dim X(b) \le b\dim X $ for every $b \ge 1$. In particular, when $X$ is defined over $\mathbb{C}$, this provides uniform bounds on the dimension of the space of degree $b$ rational curves on $X$. We also develop a geometric version of Heath-Brown's $p$-adic determinant method for varieties defined over $\mathbb{C}(t)$. This allows us to show that as soon as $d \ge 6$, the number of irreducible components of $X(b)$ of dimension $b\dim X$ is bounded by a polynomial in $d$ which is independent of $b$. As a further application, we obtain an analogue of the Bombieri--Pila theorem for affine curves, as well as a corresponding result for projective curves.
要約:
In this article, we extend the van Hamel-Lichtenbaum duality theorem to (not necessarily smooth) proper and geometrically integral varieties defined over a $p$-adic field $k$. More precisely, we prove that for such variety $X$ there exists a natural continuous perfect pairing \[ \mathrm{Br}_1(X)\times H_0(X,\mathbb{Z})_\tau^{\wedge} \to \mathbb{Q}/\mathbb{Z}, \] where $\mathrm{Br}_1(X):=\ker(\mathrm{Br}(X)\to\mathrm{Br}(\overline{X}))$ is the algebraic Brauer group of $X$, $H_0(X,\mathbb{Z})_\tau$ is the zeroth group of truncated homology $\mathrm{Hom}_{D(k_{\mathrm{sm}})}(\tau_{\leq 1}R\phi_*\mathbb{G}_{m,X},\mathbb{G}_{m,k})$, $\phi$ is the structure morphism of $X$, and $(-)^{\wedge}$ is the profinite completion functor.
要約:
We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to the broader setting of $t$-structured tensor triangulated $\infty$-categories ($ttt$-$\infty$-categories). Under a natural structural condition, which we call "projective rigidity", we establish higher categorical analogues of Lazard's theorem and prove the existence and universal property of Cohn localizations. Furthermore, we generalize higher almost ring theory to the $ttt$-$\infty$-categorical setting, showing that $\pi_0$-epimorphic idempotent algebras are in natural bijection with idempotent ideals. By exploiting deformation theory, we establish a general \'etale rigidity theorem, proving that the $\infty$-category of \'etale algebras over a fixed connective base is completely determined by its discrete counterpart. Finally, we characterize the moduli of such projectively rigid $ttt$-$\infty$-categories, demonstrating that the presheaf $\infty$-category on the 1-dimensional framed cobordism $\infty$-category serves as the universal projectively rigid $ttt$-$\infty$-category.