要約:
We prove the weak relative Kawamata-Morrison movable cone conjecture for K-trivial fibrations whose very general fibre is a quotient, by a finite group of automorphisms acting freely in codimension one, of a product of certain Calabi-Yau pairs whose underlying varieties have well-clipped movable cones, a notion recently introduced by C\'ecile Gachet. Our main result applies in particular when the fibre is a finite product of an abelian variety, smooth rational surfaces underlying klt Calabi-Yau pairs, projective irreducible holomorphic symplectic manifolds and Enriques manifolds, both of a known type. As a consequence, there are only finitely many minimal models over the base, up to isomorphism. When the relative movable cone is non-degenerate, we obtain the full relative movable cone conjecture.
要約:
We investigate the operation of shifting local exponents and study its effects on the monodromy representation of a one-parameter family of Calabi-Yau threefolds. The main result is a characterization of shifts of geometric operators which are also geometric. We use this description to construct some Picard-Fuchs operators with interesting properties.
要約:
Let X/C be a non iso-trivial family of K3 surfaces over a curve C defined over characteristic p > 2 field. We show that if X avoids a necessary and structural obstruction coming from Frobenius, and satisfies a big monodromy condition, then there are infinitely may geometric fibers that have larger Picard rank than the geometric generic fiber.
要約:
For a normal algebraic variety we generalise the relation between reflexive rank one sheaves and Weil divisors to reflexive sheaves of arbitrary rank and so-called Weil decorations. As an application, we define and study a natural generalisation of the celebrated Horrocks-Mumford bundle.
要約:
We review recent developments in the theory of compact hyper-K\"ahler varieties, from the viewpoint of Lagrangian fibrations, moduli spaces of stable sheaves, and derived categories. These notes originated from the lecture by the second named author at the \emph{2025 Summer Institute in Algebraic Geometry}, Colorado State University, Fort Collins (USA), July 14 -- August 1, 2025.
要約:
In this paper we will study the Hessian hypersurface associated with a smooth cubic. We prove that the existence of a Hessian locus, associated with a smooth cubic form f, of dimension bigger then the expected one, forces the cubic f to be of Thom-Sebastiani type. Moreover, we will analyze the existence of some projective linear spaces in such Hessian loci and their nature in terms of the Hessian matrix. From this, we show that the only smooth cubic threefold having the same Hessian variety as the one associated with a general cubic form f of Waring Rank 6 is f itself. Finally, we prove that the hessian associated with a smooth hypersurface of any degree and dimension is not a cone.
要約:
We develop a formalism of cohomological descent encoding adelic points and obstructions to local-global principle on algebraic stacks. As an application, by constructing new obstructions using the formalism, we obtain some comparison results of obstructions on some classes of algebraic stacks.
要約:
We develop a notion of exponential motives on general prestacks equipped with a $\mathbf{G}_a$-action, and compare them with Whittaker motives via Gaitsgory's Kirillov model. We then establish foundational results for exponential motives on affine flag varieties concerning Tate motives and t-structures. We use this to prove a motivic Casselman-Shalika equivalence, relating exponential Tate motives on the affine Grassmannian to ind-coherent sheaves on the classifying stack of the Langlands dual group. The decategorification of this equivalence provides a new construction of the Whittaker module for the spherical Hecke algebra which works for arbitrary coefficients, including a generic version.
要約:
For a general $k$-gonal curve $C$ with a morphism $f: C \rightarrow \mathbb{P}^1$ of degree $k$, we consider the refinement of the Brill-Noether schemes $W^r_d(C)$ by means of the Brill-Noether degeneracy schemes $\overline{\Sigma}_{\overrightarrow {e}}(C,f)$. The schemes $\overline{\Sigma}_{\overrightarrow {e}}(C,f)$ as sets are closures of subsets $\Sigma_{\overrightarrow {e}}(C,f)$ of $\Pic (C)$ and as a scheme $\Sigma_{\overrightarrow {e}}(C,f)$ is a smooth open subscheme of $\overline{\Sigma}_{\overrightarrow {e}}(C,f)$. In this paper we describe naturally defined open subsets of $\overline{\Sigma}_{\overrightarrow {e}}(C,f)$ in general strictly containing $\Sigma_{\overrightarrow {e}}(C,f)$ such that $\overline{\Sigma}_{\overrightarrow {e}}(C,f)$ is smooth along them.
As an application we describe all invertible sheaves $L$ on $C$ having an injective Petri map. Some of those sets $\overline{\Sigma}_{\overrightarrow {e}}(C,f)$ are the irreducible components of $W^r_d(C)$. In those cases we prove $W^r_d(C)$ is smooth at a point $L$ of those larger open subsets of $\overline{\Sigma}_{\overrightarrow {e}}(C,f)$ unless $L$ belongs to at least two irreducible components of $W^r_d(C)$ (such points exist). On the other hand in general the singular locus of the schemes $W^r_d(C)$ is not equal to the complement of the union of $W^{r+1}_d(C)$ and the intersections of two different components of $W^r_d(C)$.
要約:
We survey recent advances in non-abelian Hodge theory in the "mixed" setting of non-proper algebraic varieties. We then describe how these tools are used to construct algebraic Shafarevich morphisms and prove a version of the linear Shafarevich conjecture for any algebraic variety.
要約:
Let $f$ be a newform of even weight at least $4$, level $N$ and trivial character. Let $p\nmid N$ be an odd prime number that is ordinary for $f$ and let $K$ be an imaginary quadratic field satisfying a generalized Heegner hypothesis relative to $N$. In this paper, we prove (under mild arithmetic assumptions) Iwasawa main conjectures for $f$ over the anticyclotomic $\mathbb Z_p$-extension of $K$ both in the definite setting and in the indefinite setting (in the second case, we prove a main conjecture \`a la Perrin-Riou for modular forms). Our strategy of proof follows the approach of Bertolini-Darmon via congruences combined with our previous results on an analogue for $f$ of Kolyvagin's conjecture on the non-triviality of his $p$-adic system of derived Heegner points on elliptic curves. As a second contribution, when $p$ splits in $K$ we prove an Iwasawa-Greenberg main conjecture for the $p$-adic $L$-functions of Bertolini-Darmon-Prasanna and Brooks.
要約:
Given a commutative and graded Gorenstein ring $R$ with associated projective variety $X$, a theorem of Orlov gives fully faithful embeddings from the graded singularity category of $R$ to the derived category of $X$, or vice versa, depending on the degree of the canonical bundle of $X$. We describe algorithms for computing these embeddings that can be implemented in Macaulay2.
要約:
We show that the large affine Hecke category defines an oriented, fully extended topological field theory. More generally, we establish conditions under which ind-coherent convolution categories define such theories, analogously to known results for finite Hecke categories and $D$-modules.
要約:
Let $k$ be a field of characteristic $0$ and let $K = k(B)$ be the function field of a geometrically irreducible projective curve $B$ over $k$. Let $A/K$ be a $g$-dimensional abelian variety with $\mathrm{Tr}_{K/k}(A) = 0$. We prove that any $K$-rational torsion point $x$ of $A$ has order uniformly bounded in terms of $g$ and the gonality of $B$. We also prove a uniform lower bound on the N\'{e}ron-Tate height $\widehat{h}_{A,L}(x)$ in terms of the stable Faltings height $h_{\mathrm{Fal}}(A)$ for any $K$-rational point $x$ whose forward orbit is Zariski dense, proving the Lang-Silverman conjecture over function fields of characteristic $0$.
要約:
We describe the action of the shifted Yangian of sl_2 on the cohomology groups of the Quot schemes of 0-dimensional quotients on a smooth projective curve. We introduce a commuting family of r operators in the positive half of the Yangian, whose action yields a natural basis of the Quot cohomology. These commuting operators further lead to formulas for the operators of multiplication by the Segre classes of the universal bundle.
要約:
Given a smooth variety $X$ over the field $\mathbb{R}$ of real numbers and a line bundle $\mathcal{L}$ on $X$ with associated topological line bundle $L=\mathcal{L}(\mathbb{R})$, we study the quadratic real cycle class map $\widetilde{\gamma}_{\mathbb{R}}^c:\widetilde{\mathrm{CH}}^c(X,\mathcal{L})\rightarrow\mathrm{H}^c(X(\mathbb{R}),\mathbb{Z}(L))$ from the $c$-th Chow-Witt group of $X$ to the $c$-th cohomology group of its real locus $X(\mathbb{R})$ with coefficients in the local system $\mathbb{Z}(L)$ associated with $L$. We focus on the cases $c\in\{0,d-2,d-1,d\}$ where $d$ is the dimension of $X$ and we formulate a precise conjecture on the image of $\widetilde{\gamma}_{\mathbb{R}}$ in terms of the exponents of its cokernel that is corroborated by the results obtained in those codimensions.
要約:
This article studies the moduli spaces of semistable objects related to two families of Enriques categories over K3 surfaces, coming from quartic double solids and special Gushel-Mukai threefolds. In particular, some classic geometric constructions are recovered in a modular way, such as the double EPW sextic and cube associated with a general Gushel-Mukai surface, and the Beauville's birational involution on the Hilbert scheme of two points on a quartic K3 surface. In addition, we describe the singular loci in some moduli spaces of semistable objects and an explicit birational involution on O'Grady's hyperk\"ahler tenfold. Also, the appendix investigates the general theory of Enriques categories over K3 surfaces and provides a criterion for when an equivariant category of a K3 surface is an Enriques category.
要約:
Let $X$ be a smooth projective curve genus $G$ (as elaborated in \ref{main1}), over an algebraically closed field $k$ of arbitrary characteristics. Let $\cH$ {\em be a tamely ramified absolutely simple, simply connected connected group scheme (see \eqref{quasisplitcase})}. Let $\cM$ denote the moduli stack $\cM_X(\cH)$ of $\cH$-torsors on $X$ and $\cM^{^s}$ be the open substack of {\em stable torsors}. Using the theory of parahoric torsors and Parahoric-correspondences, we describe the cohomology groups $\text{H}^i\left(\cM^{^s}, \cT_{_{\cM}}\right), i = 0,1,2$ and $\text{H}^i\left(\cM^{^s}, \Omega_{_{\cM}}\right), i = 0,1,2$ in terms of the curve $X$. The classical results of Narasimhan and Ramanan are derived as a consequence.
要約:
We study the notion of $1$-twisted semi-homogeneous vector bundles on $\mathbb{G}_m$-gerbes over abelian varieties, and classify point objects in the twisted derived categories of abelian varieties. As an application, we classify the twisted Fourier-Mukai partners of abelian varieties.
要約:
We show that the double dual EPW sextic and double EPW sextic associated with a strongly smooth Gushel-Mukai surface can be realized as moduli spaces of semistable objects with respect to a stability condition on its bounded derived category. Also, we observe that the double dual EPW surface and double EPW surface associated with a special Gushel--Mukai threefold can be realized as moduli spaces of semistable objects on its Kuznetsov component. As an application, we refine a statement of Bayer and Perry about Gushel--Mukai threefolds with equivalent Kuznetsov components for the special ones.
要約:
We show that the derived category of complexes with quasi-coherent cohomology on a regular Noetherian algebraic stack with quasi-finite diagonal is generated by a single perfect complex. In the concentrated case, the category is singly compactly generated. Key ingredients in the proofs include gluing generators along recollement and the use of suitable filtrations and presentations of the algebraic stack.
要約:
Asymptotics are given for the number of rational points in the domain of a morphism of weighted projective stacks whose images have bounded height and satisfy a (possibly infinite) set of local conditions. As a consequence we obtain results for counting elliptic curves over number fields with prescribed level structures, including the cases of $\Gamma(N)$ for $N\in\{1,2,3,4,5\}$, $\Gamma_1(N)$ for $N\in\{1,2,\dots,10,12\}$, and $\Gamma_0(N)$ for $N\in\{1,2,4,6,8,9,12,16,18\}$. In all cases we give an asymptotic with an expression for the leading coefficient, and in many cases we also give a power-saving error term.
要約:
The main goal of this paper is to generalize a part of the relationship between mean curvature and Harder-Narasimhan filtrations of holomorphic vector bundles to arbitrary polarized fibrations. More precisely, for a polarized family of complex projective manifolds, we establish lower bounds on a fibered version of Yang-Mills functionals in terms of the Harder-Narasimhan slopes of direct image sheaves associated with high tensor powers of the polarization. We discuss the optimality of these lower bounds and, as an application, provide an analytic characterisation of a fibered version of generic nefness. As another application, we refine the existent obstructions for finding metrics with constant horizontal mean curvature. The study of the semiclassical limit of Hermitian Yang-Mills functionals lies at the heart of our approach.
要約:
The motivic version of the $c_1$-spherical cobordism spectrum is constructed. A connection of this spectrum with other motivic Thom spectra is established. Using this connection, we compute the $\mathbb{P}^1$-diagonal of the homotopy groups of the special linear algebraic cobordism $\pi_{2*,*}(\mathrm{MSL})$ over a local Dedekind domain $k$ with $1/2\in k$ after inverting the exponential characteristic of the residue field of $k$. We discuss the action of the motivic Hopf element $\eta$ on this ring, obtain a description of the localization away from $2$ and compute the $2$-primary torsion subgroup. The complete answer is given in terms of the special unitary cobordism ring. An important component of the computation is the construction of Pontryagin characteristic numbers with values in the hermitian K-theory. We also construct Chern numbers in this setting, prove the motivic version of the Anderson-Brown-Peterson theorem and briefly discuss classes of Calabi-Yau varieties in the $\mathrm{SL}$-cobordism ring.
要約:
We study isolated points on the modular curves $X_{H}$, for $H$ a subgroup of $\operatorname{GL}_{2}(\mathbb{Z}/n \mathbb{Z})$ for some $n \geq 1$. In particular, we prove a single-sink theorem for such isolated points, which traces the existence of all such isolated points with the same $j$-invariant back to an isolated point on a single curve. Building on this result, we also present a uniform strategy for determining the isolated points on any family of modular curves. As an example, we use this strategy to classify the isolated points with rational $j$-invariant on all modular curves of level 7, as well as the modular curves $X_{0}(n)$, the latter assuming a conjecture on images of Galois representations of elliptic curves over $\mathbb{Q}$. Underpinning all of this, we develop a theory of isolated divisors on geometrically disconnected varieties, which may be of independent interest.
要約:
For a compact complex manifold endowed with a big line bundle and a Radon measure, we study the localization phenomena of the associated Bergman (or Christoffel-Darboux) kernel. For Bernstein-Markov measures, this results in the determination of the limiting off-diagonal Bergman measure, thereby confirming a conjecture of Zelditch. We then turn to applications in the theory of Toeplitz operators, showing in particular that they form an algebra under composition. Building on this, we then show that for Bernstein-Markov measures, the spectrum of Toeplitz operators equidistributes.
要約:
We show that the Hilbert-Kunz multiplicity of the d-dimensional non-degenerate quadric hypersurface of characteristic p > 2 is a rational function of p composed from the Ehrhart polynomials of integer polytopes. In consequence, we prove that the Hilbert-Kunz multiplicity of quadrics of fixed characteristic is a decreasing function of dimension and recover results of Trivedi and Gessel-Monsky on the behaviour of said Hilbert-Kunz multiplicity as a function of characteristic.
要約:
The study of the cone of submodular functions goes back to Jack Edmonds' seminal 1970 paper, which already highlighted the difficulty of characterizing its extreme rays. Since then, researchers from diverse fields have sought to characterize, enumerate, and bound the number of such rays. In this paper, we introduce an inductive construction that generates new rays of the submodular cone. This allows us to establish that the $n$-th submodular cone has at least $2^{2^{n-2}}$ rays, which improves upon the lower bound obtained from Hien Q. Nguyen's 1986 characterization of indecomposable matroid polytopes by a factor of order $\sqrt{n^3}$ in the exponent.
要約:
This paper develops a theory of isolated hypersurface singularities in mixed characteristic $(0,p)$, focusing on quotient rings over a Discrete Valuation Ring (DVR). We introduce and study analogues of the classical Tjurina and Milnor numbers for this setting, prove a generalized analogue of the determinacy theorem and the Mather-Yau Theorem for complete Noetherian local rings, and define numerical invariants that provide distinct criteria for detecting isolated singularities in the unramified and ramified cases.
要約:
In this note, we compute the $L$-function of the projective smooth surface $S$ over $\mathbb{Q}$ that parametrizes cuboids whose geometric properties are studied in detail by Stoll and Testa. As a byproduct, we completely determine the structure of ${\rm Pic}(S_{\overline{\mathbb{Q}}})$ as a ${\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$-module.
要約:
Let $R$ be a standard graded polynomial ring over a field $k$. The paper focuses on homogeneous ideals $J \subset R$ of codimension $2$ generated by three forms of the same degree $d \geq 2$ that are almost Cohen--Macaulay, i.e., of homological dimension $2$. Based on the structure of the minimal graded free resolution of $J$ and numerical data encoded in certain \emph{latent data}, one introduces the notion of \emph{level matrices} associated with these data. The main result provides a complete characterization of almost Cohen--Macaulay ideals of codimension $2$ in terms of the existence of an associated level matrix for which $J$ arises as the ideal of its maximal minors that fix the lower block. One provides algebraic and geometric examples illustrating the results.
要約:
Saito's criterion is a foundational result that algebraically characterizes free hyperplane arrangements via the determinant of a square matrix of logarithmic derivations. It is natural to ask whether this criterion can be generalized to the non-free setting. To address this, we formulate a general problem concerning the maximal minors of a $p \times \ell$ ($p \geq \ell$) derivation matrix and the algebraic relations among their associated coefficients. Focusing on strictly plus-one generated (SPOG) arrangements, we completely solve this minor-based recognition problem under the assumption that $\operatorname{pd} D(\mathcal{A}) \leq 1$. As a direct consequence, we obtain a purely algebraic, necessary and sufficient characterization of SPOG arrangements in dimension three. Ultimately, this framework provides a computable bridge to post-free arrangement theory.