要約:
We establish existence of functorial orbifold reductions of singularities for Poisson subvarieties in smooth Poisson threefolds. Namely, we show that with enough weighted blowups, one can reduce the singularities of such Poisson subvarieties to certain simple, explicit, local normal forms: Du Val surface singularities where the Poisson structure is locally Jacobian, and plane curves lying in the vanishing locus of a particular linear Poisson structure. The proof combines Abramovich--Temkin--W{\l}odarczyk and McQuillan's recent approach to resolution of singularities for varieties via weighted blowups with some new normal forms for three-dimensional Poisson brackets derived via Poisson cohomology. Along the way, we describe necessary and sufficient conditions for a polyvector field to lift to the weighted blowup of an orbifold along a suborbifold, generalizing criteria of Polishchuk for unweighted blowups of Poisson structures on smooth varieties.
要約:
Macaulay2 is a computer algebra platform widely used by researchers in algebraic geometry and commutative algebra. Using the ForeignFunctions package, it is possible to make calls from Macaulay2 to dynamic libraries such as FLINT. We demonstrate this by introducing a new Macaulay2 package implementing p-adic numbers using FLINT via this interface. We discuss implementation details such as memory allocation, interaction with Macaulay2's garbage collector, and object-oriented design decisions that mirror the existing implementations of the real and complex number fields in Macaulay2.
要約:
Inspired by Gaiotto's conformal limit construction for Higgs bundles we define and study a conformal limit construction for Nakajima quiver varieties. We prove that the conformal limit is indeed a limit of a one parameter family of points inside a specified quiver variety and that it gives a biholomorphic map between holomorphic Lagrangian submanifolds foliating two different quiver varieties. In the last part of the paper we discuss the analog of Simpson's conjecture on the completeness of these holomorphic Lagrangian submanifolds.
要約:
Goncharov defined for each field $F$ and an integer $n$ greater than 1 a certain group $B_n(F)$. We consider the possibility of defining a linear map from $B_n(F)$ to the co-Lie algebra of the category of mixed Tate motives defined by Bloch and Kriz, in terms of motivic polylogarithms. We give results which support this possibility assuming part of the conjecture by Beilinson and Soul\'{e} on vanishing of $K$-groups of fields.
要約:
Motivated by the work of Kontsevich-Soibelman on the comparison of isomorphisms conjecture for closed algebraic $1$-forms, we establish a Riemann-Hilbert correspondence of Deligne-Malgrange type.
As an application, we prove a variant of the comparison of isomorphisms theorem for a simple class of algebraic $1$-forms on complex curves.
要約:
The algebraic degree of a network game measures the complexity of its totally mixed Nash equilibria. For sparse multilinear network games, Datta's formula expresses this degree combinatorially in terms of a permanent, but the geometric origin of this formula has remained unclear. In this paper, we provide a tropical-geometric derivation of Datta's formula by identifying totally mixed equilibria with stable intersection points of tropical hypersurfaces associated with the indifference equations. We show that the mixed cells arising from the multilinear Newton polytope structure induce the cycle-cover combinatorics of the polynomial graph, so that the permanent appears as a tropical intersection count. This interpretation yields several structural consequences. We prove that the algebraic degree is multiplicative over strongly connected components, and we establish a sharp contrast between two basic multilayer coupling mechanisms: Cartesian-type couplings remain bounded through a transfer-matrix trace formula, whereas tensor-type couplings exhibit exponential growth governed by the permanent of a local gadget. These results show that algebraic degree provides a structural complexity invariant for network architecture. We further illustrate the theory on coupled cyclic games and networked energy-market models, and we support the theoretical predictions with numerical experiments based on homotopy continuation.
要約:
We extend the Hodge atoms framework of Katzarkov--Kontsevich--Pantev--Yu to one-parameter conifold degenerations of Calabi--Yau threefolds. For a degeneration $\pi\colon X \to \Delta$ whose central fiber $X_0$ has $r$ ordinary double points, we construct a canonical rigid-flexible decomposition of the Hodge atoms of the nearby smooth fiber attached to the corrected degeneration object. The rigid atom $A(\IC^H_{X_0})$ is preserved across the degeneration, while the flexible atoms $A(i_{k*}\QQ^H_{\{p_k\}}(-1))$ are rank-one contributions, one for each vanishing cycle. The total degeneration atom $A(P^H)$ is the atom of the corrected mixed Hodge module $P^H\in\MHM(X_0)$ and fits into an exact sequence of atoms whose non-split structure is controlled by the intersection matrix $(\langle\delta_i,\delta_j\rangle)$. The technical core is the Stokes--Extension Identification, which identifies the Stokes matrix of the Dubrovin connection at the conifold locus with the matrix of the variation morphism $\varF\colon\varphi_\pi(F) \to \psi_\pi(F)$ under mixed Hodge module realization.
要約:
In this paper, we use Hilbert-Samuel multiplicity, Hilbert-Kunz multiplicity, and s-multiplicity to establish a sharp upper bound for the quotient of the generalized Milnor numbers and the Tjurina numbers for isolated hypersurface singularities of any dimension in positive characteristic. Using this result, we also derive an upper bound for the quotient of the Milnor numbers $\mu$ and the Tjurina numbers $\tau$ for isolated hypersurface singularities of any dimension in characteristic zero. In particular, as a corollary, we obtain that for an isolated surface singularity $(f,0) \subset (\mathbb{C}^3,0)$, $\frac{\mu(f)}{\tau(f)}\leq \frac{3}{2}$, which partially answers a conjecture of P. Almir\'{o}n, replacing the original strict inequality $<$ by $\leq$. This is also a weak version of Durfee's conjecture. We have also constructed a family of hypersurface singularities of any dimension for which $\frac{\mu}{\tau}$ tends to the bound we get, which means that the bound is sharp, and at the same time answers an open problem raised by P. Almir\'{o}n.
要約:
In this paper, we determine the reduced automorphism groups of hyperelliptic curves of a small genus in characteristic $2$, when they are of $2$-rank $0$. Such a curve is an Artin-Schreier curve defined in the form $y^2-y=f(x)$ for a polynomial $f(x)$. After we clarify semidirect-product structures of the automorphism groups for an arbitrary genus, we derive the detailed group structures for the reduced automorphism groups of the curves of a small genus, through computations using the computational algebra system Magma. With these experiments, we formulate two conjectures, which are analogues for our curves of the Oort conjecture on automorphism groups of generic principally polarized supersingular abelian varieties.
要約:
In this paper, we advance the classification of toric 2-Fano manifolds by continuing the investigation of the minimal projective bundle dimension $m(X) \in \{1,\dots,\dim(X)\}$ introduced in our previous work. This invariant captures the minimal degree of a dominating family of rational curves on $X$ and admits a natural combinatorial interpretation in terms of centered primitive collections. We develop an approach that relates, via toric blowdowns and flips, a toric Fano manifold $X$ to a toric manifold $Y$ that admits a $\mathbb{P}^{m(X)}$-bundle structure on a big open subset. We then compare positivity of the second Chern characters of $X$ and $Y$, and show that the only toric 2-Fano manifold $X$ with $m(X) = 2$ is $X\cong \mathbb{P}^2$. In the example-driven Appendix B, we demonstrate that extending this strategy to the case $m(X)>2$ requires either a substantially more detailed analysis of the combinatorics of primitive collections or a fundamentally new approach.
要約:
Superspecial curves are important objects in number theory and algebraic geometry, and the existence in genus $g \geq 4$ remains an open problem for all but finitely many characteristics $p > 0$. As a computational approach to this problem, Kudo-Harashita-Howe (2020) showed that a superspecial curve of genus 4 exists in each characteristic $p$ with $7 < p < 20000$. Their method restricted attention to a specific class of curves, known as Howe curves, for which superspeciality is reduced to those of curves of genus at most 2. In this paper, we focus on a more specific class of curves, namely Howe curves whose Jacobians decompose into a product of four elliptic curves. By restricting our attention to such curves, the superspeciality reduces to the supersingularity of elliptic curves, which enables us to construct a superspecial curve of genus 4 more efficiently than Kudo-Harashita-Howe's method. As our first main result, we confirmed by computer the existence of such superspecial curves of genus 4 in characteristics $p$ with $20000 < p < 10^6$. Using a similar approach, we also propose constructions of superspecial curves of genera 5 and 6 from only supersingular elliptic curves. Furthermore, computational experiments establish the existence of superspecial curves of genus 5 (resp. genus 6) in characteristics $p$ with $13 < p < 10^5$ (resp. $7 < p < 10^5$).
要約:
Upper and lower quantum functionals, introduced by Christandl, Vrana and Zuiddam (STOC 2018, J. Amer. Math. Soc. 2023), are families of monotone functions of tensors indexed by a weighting on the set of subsets of the tensor legs. Inspired by quantum information theory, they were crafted as obstructions to asymptotic tensor transformations, relevant in algebraic complexity theory. For tensors of order three, and more generally for weightings on singletons for higher-order tensors, the upper and lower quantum functionals coincide and are spectral points in Strassen's asymptotic spectrum. Moreover, the singleton quantum functionals characterize the asymptotic slice rank, whereas general weightings provide upper bounds on asymptotic partition rank. It has been an open question whether the upper and lower quantum functionals also coincide for other cases, or more generally, how to construct further spectral points, especially for higher-order tensors.
In this work, we show that upper and lower quantum functionals generally do not coincide, but that they anchor new spectral points. With this we mean that there exist new spectral points, which equal the quantum functionals on the set of tensors on which upper and lower coincide. The set is shown to include embedded three-tensors and W-like states and concerns all laminar weightings, significantly extending the singleton case.
要約:
Given a complex Coble surface $X$ with irreducible boundary $C$, we consider a specific automorphism $T : X \to X$, initially defined by Pompilj. We show that there are two families of Coble surfaces satisfying the condition $T|_C = \mathbb{1}_C$. Every Coble surface $X$ in the first family in nodal, and moreover the stronger equality $T = \mathbb{1}_X$ holds. Meanwhile, the second family is ''small'', since it has codimension $3$ in the moduli space of Coble surfaces.
要約:
We develop a variant of the barrier method in order to address questions about topology of Kostlan random real algebraic plane curves. In particular we prove that the expected number of connected components of the curve of length at least $\displaystyle{O\left(\sqrt{d^{-1}\log \log d}\right)}$ grows to infinity with $d$, and likewise, the expected number of nests of the curve of depth at least $\displaystyle{O\left(\log\log d\right)}$ grows to infinity with $d$. In another direction, we adapt an $L^{\infty}$-norm bound result of Shifmann and Zelditch to subspaces and employ it to obtain a lower bound for the probability that a finite number of points remain all in different components of the complement of a large degree random curve.
要約:
Pagani and Tommasi have introduced a class of smoothable fine compactified Jacobians $\overline{\mathcal{J}}_{g,n}^d(\sigma)\rightarrow \overline{\mathcal{M}}_{g,n}$ over the moduli space of stable curves, depending nontrivially on the degree $d$ and the choice of a stability condition $\sigma$. A theorem of Migliorini-Shende-Viviani implies that the cohomology of $\overline{\mathcal{J}}_{g,n}^d(\sigma)$ is independent of $d$ and $\sigma$, a statement which is quite unexpected from the point of view of the boundary geometry of these spaces. We reprove this independence statement using a direct combinatorial argument, summing up contributions of individual strata.
The Appendix includes a result by J. Feusi characterizing when $\mathcal{J}_{g,n}^d$ and $\mathcal{J}_{g,n}^{d'}$ are $S_n$-equivariantly isomorphic over $\mathcal{M}_{g,n}$, and a result by Q. Yin showing that $[\mathcal{J}^d_g]$ and $[\mathcal{J}^{d'}_g]$ are not always equal in $K_0(\text{Var}_{\mathbb{C}})$.
要約:
Let $\mathcal{O}_K$ be a complete discrete valuation ring with field of fractions $K$ and algebraically closed residue field $k.$ Let $G$ be a smooth connected commutative algebraic group over $K$ which does not contain a copy of $\mathbf{G}_{\mathrm{a}}.$ For each $d$ prime to $p:=\mathrm{char}\, k,$ let $K(d)$ be the unique extension of $K$ of degree $d.$ We investigate how the N\'eron lft-model of $G$ behaves under base change to the ring of integers $\mathcal{O}_{K(d)}.$ Information about this behaviour is encoded in the "jumps" of Edixhoven's filtration on the special fibre of the N\'eron lft-model of $G,$ as well as in Halle-Nicaise's motivic zeta function of $G.$ If $G$ is unirational (e. g. an algebraic torus), we show that the jumps of $G$ are rational numbers and that the motivic zeta function of $G$ is a rational function. We also deduce analogous results for Abelian varieties with potentially totally multiplicative reduction. This answers a question of Halle-Nicaise and partially one of Edixhoven. Along the way, we answer a question of Oesterl\'e about the structure of unipotent algebraic groups over function fields in positive characteristic. Under stronger conditions on $G,$ we obtain rationality of jumps even for separably closed but imperfect $k.$
要約:
In this paper, we show that for any projective klt pair $(X,\Delta)$ and ample line bundle $L$, there exist quasi-monomial valuations computing $\alpha(X,\Delta,L)$ and $\delta(X,\Delta,L)$, independently of whether the base field is countable. This also yields an alternative proof of the existence of valuations computing $\alpha(X,\Delta,L)$ and $\delta(X,\Delta,L)$ that was originally proved by Blum-Jonsson over an uncountable field.
要約:
We introduce a framework for pulling back Cartier modules and their associated invariants along regular $F$-finite morphisms. To achieve this, we construct a relative Cartier isomorphism and operator for an arbitrary regular $F$-finite map of locally noetherian schemes. As an application, we obtain new results on the constancy regions of mixed test ideals, based on the work of Felipe P\'erez.
要約:
We study when algebra endomorphisms can be lifted to first-order flat lifts. To a first-order flat lift of an algebra and an endomorphism, we associate a canonical class in Hochschild cohomology with coefficients in a naturally twisted bimodule. The cohomology class vanishes exactly when the endomorphism admits a multiplicative lift.
For an Azumaya algebra of constant rank over a formally smooth center, we prove that an endomorphism lifts if and only if the induced endomorphism of the center preserves the Poisson structure given by the lift of the algebra.
要約:
We study the classification of minimal codewords of projective Reed-Muller codes of order $2$. This problem is equivalent to identifying quadrics over finite fields whose set of rational points is maximal with respect to the inclusion. We prove that except one particular case over $\mathbb{F}_2$, any two absolutely irreducible quadrics whose sets of rational points are contained within one another should be equal as projective varieties. We deduce a precise characterisation of the minimal codewords of projective Reed-Muller codes of order $2$ and further give their exact number for each possible weight.
要約:
We study families of abelian varieties over smooth proper curves with small $l$-adic local system over characteristic $p$. We show that such abelian schemes have a non-nef Hodge bundle and cannot be lifted to $W_2(k)$. We also establish an Arakelov-type inequality for families of abelian varieties over smooth proper curves in characteristic $p$, assuming $W_2(k)$-liftability.
要約:
T. Saito introduced FW-derivations and the modules of FW-differentials. He gave a regularity criterion in terms of the modules of FW-differentials. In this paper, we introduce logarithmic analogues of FW-derivations and the modules of FW-differentials. We study basic properties of them and give a logarithmic regularity criterion in terms of the modules of logarithmic FW-differentials.
要約:
We initiate a study of varieties of minimal degree in weighted projective spaces. We call a weighted projective space $\mathbf{P}(w_0,\dots,w_n)$ divisible if $w_i \mid w_{i+1}$ for all $i$. We provide sharp bounds for when a non-degenerate subvariety of a divisible weighted projective space has minimal degree. We define a weighted notion of $1$-generic matrices and, in analogy with the classical theory, show that there is a theory of weighted determinantal scrolls. Moreover, we characterize precisely when these have minimal degree and determine their weighted $N_p$ properties, and tie this to two weighted notions of regularity. Finally, we propose conjectural bounds for more general weighted threefolds and pose several natural questions. Throughout, we highlight the differences between this theory and the classical case.
要約:
The goal of our work is to construct a class of morphisms between two canonical line bundles on integral models of PEL Shimura varieties via Kodaira--Spencer maps, and explicitly compute such morphisms and their effects on the canonical metrics of line bundles. This result provides a concrete method for comparing two canonical line bundles and the corresponding arithmetic intersection numbers. In particular, it allows us to give an explicit relationship between the height functions defined by these two line bundles.
要約:
We prove the semistable reduction theorem for $\mathcal{E}^{\dag}_K$-valued and $K$-valued overconvergent $F$-isocrystals over $k((t))$-varieties which were introduced by Lazda and P\'{a}l. As an application, we prove the finite dimensionality of $\mathcal{E}^{\dag}_K$-valued rigid cohomology with compact support.
要約:
We investigate the homological behaviour of compactly generated triangulated categories under separable extensions. We show that homological invariants (finiteness of global dimension, gorensteinness and regularity) are preserved under such extensions. We also establish a relation between singularity categories in this setting, proving that the singularity category of a separable extension is equivalent, up to retracts, to a separable extension of the singularity category. Our results unify and extend classical phenomena from commutative and equivariant algebra, and provide new examples involving separable extensions of rings, quotient schemes, and skew group dg algebras.
要約:
We compute the Frobenius trace functions of mirabolic character sheaves defined over a finite field. The answer is given in terms of the character values of general linear groups over the finite field, and the structure constants of multiplication in the mirabolic Hall-Littlewood basis of symmetric functions, introduced by Shoji.
要約:
We prove a conjectural correspondence of Cao-Maulik-Toda which relates Gopakumar-Vafa invariants of fiber classes on a smooth projective Calabi-Yau 4-fold fibered over a curve to the Gopakumar-Vafa invariants of a smooth fiber under an orientation compatibility assumption on the moduli spaces.
要約:
This paper is the first one of three papers whose goal is to give a converse to the main result of my previous paper, so to prove the existence of multiple poles for the distribution associated to powers of f with an hypothesis on a Higher Bernstein Polynomial of the Brieskorn module generated by the germ of a given holomorphic volume form. Note that, even for the existence of a simple pole this converse is already new. A difficulty to prove such a result comes from the use of the formal completion in f of the Brieskorn module of the holomorphic germ f which does not give access to the cohomology of the Milnor fiber of f, which by definition, is outside the zero set of f. This leads to introduce generalized Brieskorn modules which allow this passage. The first aim of this part I is to give a solid basis of the theory of generalized (convergent) Brieskorn modules. In order to take into account Jordan blocks of the monodromy in our results we introduce the semi-simple filtration of a generalized Brieskorn module and we shall use it to define in part II the higher order Bernstein polynomials in this context. They correspond to a decomposition of the standard Bernstein polynomial of a generalized Brieskorn module, taking in account the nilpotent order of the monodromy. In this part I we obtain a full description of generalized Brieskorn-modules in terms of (convergent) asymptotics expansions of Nilsson class which will be used as a starting point in part II. We conclude this part I by making explicite the relationship between the semi simple filtration of a generalized Brieskorn module and the nilpotent filtration of the monodromy on its saturation
要約:
We prove a collection of formulas for products of Schubert classes in the quantum $K$-theory ring $QK(X)$ of a cominuscule flag variety $X$. This includes a $K$-theory version of the Seidel representation, stating that the quantum product of a Seidel class with an arbitrary Schubert class is equal to a single Schubert class times a power of the deformation parameter $q$. We also prove new Pieri formulas for the quantum $K$-theory of maximal orthogonal Grassmannians and Lagrangian Grassmannians, and give a new proof of the known Pieri formula for the quantum $K$-theory of Grassmannians of type A. Our formulas have simple statements in terms of quantum shapes that represent the natural basis elements $q^d[{\mathcal O}_{X^u}]$ of $QK(X)$. Along the way we give a simple formula for $K$-theoretic Gromov-Witten invariants of Pieri type for Lagrangian Grassmannians, and prove a rationality result for the points in a Richardson variety in a symplectic Grassmannian that are perpendicular to a point in projective space.
要約:
In this paper, we discuss the cancellation and splitting of the symplectic modules. The symplectic cancellation result presented here can be thought of as an analog of the Projective module cancellation result of Fasel. The symplectic splitting is similar to Murthy's splitting theorem. To prove the cancellation and splitting, we carefully analyze the Postnikov towers in the $\mathbb{A}^1$-homotopy category. Then we prove the vanishing of top cohomology with coefficients in some homotopy sheaf. As another application of the vanishing results, we answer partially a question of Mrinal Das about the isomorphism of $(d-1)$-th Euler class group and $(d-1)$-th Chow group, where $d$ is the dimension of the underlying smooth affine variety.
要約:
We prove that the number of curves of a fixed genus g over finite fields is a polynomial function of the size of the field if and only if g is at most 8. Furthermore, we determine for each positive genus g the smallest n such that the moduli space of curves of genus g with n marked points does not have polynomial point count. A key ingredient in the proofs, which is also a new result of independent interest, is the computation of the thirteenth cohomology group of the moduli spaces of stable curves of genus g with n marked points, for all g and n.
要約:
Nikulin-type orbifolds are certain singular 4-dimensional irreducible holomorphic symplectic varieties. We show that the monodromy group of Nikulin-type orbifolds is maximal and classify finite order symplectic automorphisms up to deformation in terms of their action on the second integral cohomology group.
要約:
The integral identity conjecture of Kontsevich and Soibelman plays an important role in proving the existence of motivic Donaldson-Thomas invariants for three-dimensional noncommutative Calabi-Yau manifolds. There are a number of different formulations of this conjecture in different contexts, and accordingly, there are corresponding solutions to them. The methods devoted to solving this conjecture are diverse, ranging from $\ell$-adic cohomology of rigid analytic varieties to Hrushovski-Kazhdan motivic integration and motivic Fubini theorem for tropicalization maps,... In a recent work, Ivorra deduces a functorial version of the integral identity in the motivic stable homotopy categories of schemes, from the Braden hyperbolic localization theorem. This functorial version concerns Ayoub's nearby cycles functor associated with a $\mathbb{G}_m$-equivariant function $f \colon \mathbb{V}(\mathcal{E}) \longrightarrow \mathbb{A}^1$ on a vector bundle $\mathbb{V}(\mathcal{E})$ over a field of characteristic zero. In the present work, we follow the functorial approach of Ivorra and extend the scope of the original conjecture by Kontsevich and Soibelman by studying more generally the case of $\mathbb{G}_m$-equivariant functions on algebraic $S$-spaces with a $\tau$-locally linearizable action of $\mathbb{G}_m$ over a noetherian base scheme $S$.
要約:
I prove "Lefschetz principle"-type theorems for semistable and curve semistable Higgs sheaves on smooth projective varieties defined over an algebraically closed field of characteristic $0$. These theorems are applied to reduce a conjecture, about curve semistable Higgs bundles, from the previous general setting to the complex case. Since this conjecture is equivalent to vanishing of Chern classes of H-nflat Higgs bundles, I consider these last ones over elliptic surfaces. I reduce one more time the conjecture to nilpotent, H-nflat Higgs bundles, and I prove it on elliptic surfaces.
要約:
For a Noetherian scheme $X$ of finite Krull dimension, Neeman recently established two characterizations of the regularity of $X$ using strong generators and bounded $t$-structures on $\operatorname{Perf}(X)$. In this note, we obtain variants of Neeman's results for large classes of Noetherian algebraic stacks. An important intermediate step is the fact that $X$ is regular if and only if $\operatorname{Perf}(X)=D_{\operatorname{coh}}^b(X)$, which we establish for Noetherian algebraic stacks. Our approach also yields a criterion for the existence of classical generators for the bounded derived categories of coherent sheaves on algebraic stacks, generalizing previous results for commutative rings and schemes.
要約:
We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality $\mathbb{A}_I(X,\mathcal{F})\cap\mathbb{A}_J(X,\mathcal{F})=\mathbb{A}_{I\setminus0}(X,\mathcal{F})$ in the case $I\cap J=I\setminus0$. We show that the limit of restrictions of global sections of a locally free sheaf on a Cohen-Macaulay projective scheme to power thickenings of integral subschemes equals the group of global sections of this sheaf. Using this result, we deduce a theorem on intersections of adelic groups for normal projective surfaces. We also compute cohomology groups of a curtailed adelic complex and, as a consequence, show that on a three-dimensional regular projective variety over a countable field the intersection $\mathbb{A}_I(X,\mathcal{F})\cap\mathbb{A}_J(X,\mathcal{F})$ equals $\mathbb{A}_{I\cap J}(X,\mathcal{F})$ for any $I,J\subset\{0,1,2,3\}$ and any locally free sheaf $\mathcal{F}$ on $X$.
要約:
On $d$-dimensional smooth proper varieties, $d$-tilting bundles are important since they provide a bridge from the geometry of such varieties to the derived McKay correspondence and to higher Auslander-Reiten theory. Here, a $d$-tilting bundle means a tilting bundle whose endomorphism algebra has global dimension at most $d$. The main result of this paper gives an affirmative answer to a conjecture posed by Daniel Chan for variety case: a smooth projective surface admits a $2$-tilting bundle if and only if it is a weak del Pezzo surface. Moreover, we strengthen one direction: if a $d$-dimensional smooth proper variety admits a $d$-tilting bundle, then it is weak Fano.
As an application, we show that the cone of any Du Val del Pezzo surface admits a non-commutative crepant resolution (NCCR). We obtain such an NCCR as the $3$-Calabi-Yau completion of the endomorphism algebra of a $2$-tilting bundle on the corresponding weak del Pezzo surface. This endomorphism algebra belongs to the class of $2$-representation tame algebras, which is a $2$-dimensional generalization of the path algebras of the extended Dynkin quivers.
要約:
We solve two long standing open problems, one from probability theory formulated by Malyshev in 1970 and another one from a crossroad of geometry and dynamics, of Darboux from 1879. The Malyshev problem is of finding effective, explicit necessary and sufficient conditions in the closed form to characterize all random walks in the quarter plane with the finite group of random walk of order $2n$, for all $n\ge 2$, where the underlining biquadratic is an elliptic curve. Until now, the results were known only for $n=2, 3, 4$, obtained using ad-hoc methods developed separately for each of the three cases. We provide a method that solves the problem for all $n$ and in a unified way. Explicit examples of random walks with the groups of orders higher than 10 are presented here for the first time, including orders 12, 14, 16. The same method applies to any higher order. We consider cases with singular biquadratics in a systematic manner. We establish a new two-way relationship between diagonal random walks and $4$-bar links. We describe all $n$-periodic Darboux transformations for $4$-bar links for all $n\ge 2$, thus completely solving the Darboux problem: after $n$ iterations, a polygonal configuration maps to a congruent one of the same orientation, that he solved for $n=2$, which was recently extended to $n=3$. We also study $k$-semi-periodicity as a natural type of periodicity of the Darboux transformations, where after $k$ iterations of the Darboux transformation, a polygonal configuration maps to a congruent one, but of opposite orientation. By introducing a new object, the secondary $(2,2)$ correspondence, and the related secondary cubic of the centrally-symmetric biquadratics, we provide necessary and sufficient conditions for $k$-semi-periodicity for $4$-bar links for all $k\ge 2$ in an explicit closed form, while the case $k=2$ was solved recently.
要約:
We study the iterated limit of a quaternary of means of four terms through the period map from the family of cyclic fourfold coverings of the complex projective line branching at six points to the three-dimensional complex ball $\mathbb{B}_3$ embedded into the Siegel upper half-space of degree four. We construct four automorphic forms on $\mathbb{B}_3$ expressing the inverse of the period map, and give an equality between one of them and a period integral, which is an analogy of Jacobi's formula between a theta constant and an elliptic integral. We find a transformation of $\mathbb{B}_3$ such that the quaternary of means appears by its actions on the four automorphic forms. These results enable us to express the iterated limit by the Lauricella hypergeometric series of type $D$ in three variables.
要約:
Our purpose in this paper is to construct new examples of twisted Brill Noether loci on curves of genus g greater than 2 with negative expected dimension. We begin by completing the proof of Butler's conjecture for coherent systems of certain type establishing the birationality, smoothness, and irreducibility of the corresponding loci. We also produce new points on the BN map.
要約:
We exhibit planar, rational curves of large degree over ${\mathbb F}_2$ that have a unique singular point, which has multiplicity 2. In characteristic 0 such curves exist only for degrees up to $6$. v.2: references updated and examples of supersingular double planes added. v.3: references updated.
要約:
For a smooth projective variety $X\subseteq \mathbb P^N$ over an algebraically closed field of char $0$, we show that the discriminant locus of a generic projection of $X$ is projectively dual to a general linear section of the dual variety, and deduce a purity statement for the discriminant. Over $\mathbb C$, we also show that the fundamental group of the complement of the branch divisor arising from generic projection of a normal hypersurface surjects onto a braid group via braid monodromy.
要約:
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.
要約:
Let X be an affine variety and L be a solvable Lie subalgebra of Lie(Aut(X)) generated by a finite collection of locally finite Lie subalgebras. The authors of [arXiv:2507.09679] wondered whether L is itself locally finite. Here we present some criteria for the local finiteness of L. Under some additional assumption, we answer this question in the affirmative in the particular case where X is the affine plane.
要約:
We discuss arithmetic and Hodge-theoretic properties of the isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups. These properties underpin the application to the rationality questions by Katzarkov-Kontsevich-Pantev-Yu.
要約:
We study the singular central fibre arising in the Donaldson-Friedman construction for twistor spaces of connected sums, viewing it as a Ferrand pushout of two blown-up twistor spaces along the exceptional quadric. This provides an explicit algebro-geometric model for the twistor degeneration associated with the connected-sum construction. We describe its operational Chow ring explicitly as an equalizer of the Chow rings of the two branches, derive a componentwise specialization formula for semistable smoothings, and obtain rigid gluing constraints for surfaces across the double locus. We then interpret the local semistable equation through the Kato-Nakayama space, identifying the fixed-phase boundary as a natural circle bundle over the exceptional quadric and relating it to the topology of the neck. Finally, motivated by the twistor description of instantons, we apply this algebro-geometric formalism to bundles arising from Ward and Hartshorne-Serre data, proving additivity results for the second Chern cycle and for the polarized charge across the pushout. In this way, the singular central fibre becomes an explicitly computable carrier of bundle gluing, logarithmic neck data, and instanton-type charge in the Donaldson-Friedman setting.
要約:
We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if $f:X\to Y$ is a birational morphism of smooth projective surfaces, then every admissible subcategory of $D^b(X)$ supported on $\operatorname{Exc}(f)$ is generated by a finite exceptional collection. Moreover, if $K_Y$ is nef, then the same conclusion holds for every admissible subcategory of $D^b(X)$ supported on a proper closed subset of $X$. As a consequence, no nonzero phantom or quasi-phantom subcategory on such a surface can have proper support. The proof combines a splitting lemma for admissible subcategories inside a semiorthogonal decomposition with a single exceptional block, Orlov's blow-up formula, and Pirozhkov's support theorem.
要約:
We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$ and $1$-bounded cocharacter $\mu$, verifying a recent conjecture of Drinfeld. This can be viewed as a refinement of results of B\"ultel-Pappas, who gave a related construction using $(G,\mu)$-displays defined via rings of Witt vectors. We show that, when $G = \mathrm{GL}_h$ and $\mu$ is a minuscule cocharacter, these stacks are isomorphic to the stack of truncated $p$-divisible groups of height $h$ and dimension $d$ (the latter depending on $\mu$). This gives a generalization of results of Ansch\"utz-Le Bras, yielding a linear algebraic classification of $p$-divisible groups over very general $p$-adic bases, and verifying another conjecture of Drinfeld.
The proofs use deformation techniques from derived algebraic geometry, combined with an animated variant of Lau's theory of higher frames and displays, and -- with a view towards applications to the study of local and global Shimura varieties -- actually prove representability results for a wide range of stacks whose tangent complexes are $1$-bounded in a suitable sense. As an immediate application, we prove algebraicity for the stack of perfect $F$-gauges of Hodge-Tate weights $0,1$ and level $n$.
要約:
The category of affine schemes is a tangent category whose tangent bundle functor is induced by K\"ahler differentials, providing a direct link between algebraic geometry and tangent category theory. Moreover, this tangent bundle functor is represented by the ring of dual numbers. How special is this tangent structure? Are there any other (non-trivial) tangent structure on the category of affine schemes? In this paper, we characterize the representable tangent structures on the category of affine schemes. To this end, we introduce a useful tool, the notion of tangentoids, which are precisely the objects in a monoidal category that induce a tangent structure via tensoring. Furthermore, coexponentiable tangentoids induce tangent structures on the opposite category. As such, we first prove that tangentoids in the category of commutative unital algebras are equivalent to commutative associative solid non-unital algebras, that is, commutative associative non-unital algebras whose multiplication is an isomorphism. From there, we explain how representable tangent structures on affine schemes correspond to finitely generated projective commutative associative solid non-unital algebras. In particular, for affine schemes over a principal ideal domain, we show that there are precisely two representable tangent structures: the trivial one and the one given by K\"ahler differentials.
要約:
We use sign-reversing involutions to solve two computational problems that arise naturally in the geometry of moduli spaces of curves. In particular, we give an explicit combinatorial formula for arbitrary $\psi$ class intersection products on the genus zero multicolored spaces $\overline{M}_{0,[r_1,\ldots,r_m]}$ using a novel sign reversing involution on decorated diagrams. As an application, we give a necessary and sufficient condition for when these intersection products are nonzero in terms of matchings on graphs.
We also calculate the analog of the tropical Euler characteristic for the graphical moduli spaces $\overline{M}_{0,\Gamma}$ for graphs with two dominant vertices $P, Q$, by constructing two new sign-reversing involutions to simplify the sum. We show that (up to sign) it is the number of acyclic orientations of $\Gamma \smallsetminus \{P, Q\}$.