要約:
We study the Quot scheme of points $\mathrm{Quot}_d(\mathcal{O}_{\mathbb{A}^{n}}^{\oplus r})$. We exhibit and compute the cohomology of explicit loci in $\mathrm{Quot}_d(\mathcal{O}_{\mathbb{A}^{n}}^{\oplus r})$, whose complement has codimension diverging to infinity as $n\rightarrow \infty$. In the case $1<\frac{d+1}{2}$ this loci is an irreducible component. The main ingredient in our proof are classification results on maximal-dimensional spaces of commutative matrices satisfying certain generating conditions. Our primary motivation is the study of the ind-scheme \[ \mathrm{Quot}_d(\mathcal{O}_{\mathbb{A}^{\infty}}^{\oplus r}) := \underset{n\rightarrow \infty}{colim} \mathrm{Quot}_d(\mathcal{O}_{\mathbb{A}^{n}}^{\oplus r}). \] Finally, we compute the cohomology (with integral coefficients) of the Quot scheme $\mathrm{Quot}_2(\mathcal{O}_{\mathbb{A}^n}^{\oplus r})$, confirming, in the case $d=2$, a conjecture of Pandharipande.
要約:
We prove two dual recursive decompositions as a graded $\underline{\mathrm{CH}}(M)\otimes \underline{\mathrm{CH}}(N)$-module of the Chow ring $\underline{\mathrm{CH}}(M\oplus N)$ of the direct sum of matroids. We use this to obtain a decomposition of $\underline{\mathrm{CH}}(M\oplus N)$ into irreducible $\underline{\mathrm{CH}}(M) \otimes \underline{\mathrm{CH}}(N)$-modules. The result implies a new recursive formula for the Eulerian numbers. Similarly, we find a recursive decomposition of the augmented Chow ring $\mathrm{CH}(M \oplus N)$ into $\mathrm{CH}(M)\otimes \mathrm{CH}(N)$-modules, generalizing some of the results of arXiv:2002.03341. We prove analogous decompositions of (augmented) Chow polynomials of weakly ranked posets in the sense of arXiv:2411.04070.
要約:
Unexpected hypersurfaces arise when vanishing in points of a set $Z$ and higher-order vanishing along a general linear subspace fails to impose the expected number of independent conditions on forms of a fixed degree. The phenomenon was first observed for planar curves by Cook, Harbourne, Migliore and Nagel. This paper shows a syzygy-based construction of, possibly unexpected, hypersurfaces of degree $d+k$ in $\mathbb{P}^n$, vanishing along a codimension two general linear subspace with multiplicity $d$; thus generalizing the work of Trok and the previous work of the last two authors. Our framework unifies the classical planar cases with higher-dimensional examples, including Trok's construction. We give a sufficient criterion for unexpectedness (via the splitting behaviour the syzygy bundles of the powers of the Jacobian ideal, associated with the hyperplane arrangement dual to $Z$) and provide explicit examples in $\mathbb{P}^3$ and $\mathbb{P}^4$.
要約:
For a $\Gamma$--equivariant holomorphic Lie algebroid $(V,\, \phi)$, on a compact Riemann surface $X$ equipped with an action of a finite group $\Gamma$, we investigate the equivariant holomorphic Lie algebroid connections on holomorphic principal $G$--bundles over $X$, where $G$ is a connected affine complex reductive group. If $(V,\,\phi)$ is nonsplit, then it is proved that every holomorphic principal $G$--bundle admits an equivariant holomorphic Lie algebroid connection. If $(V,\,\phi)$ is split, then it is proved that the following four statements are equivalent:
An equivariant principal $G$--bundle $E_G$ admits an equivariant holomorphic Lie algebroid connection.
The equivariant principal $G$--bundle $E_G$ admits an equivariant holomorphic connection.
The principal $G$--bundle $E_G$ admits a holomorphic connection.
For every triple $(P,\, L(P),\, \chi)$, where $L(P)$ is a Levi subgroup of a parabolic subgroup $P\, \subset\, G$ and $\chi$ is a holomorphic character of $L(P)$, and every $\Gamma$--equivariant holomorphic reduction of structure group $E_{L(P)}$ of $E_G$ to $L(P)$, the degree of the line bundle over $X$ associated to $E_{L(P)}$ for $\chi$ is zero.
The correspondence between $\Gamma$--equivariant principal $G$--bundles over $X$ and parabolic $G$--bundles on $X/\Gamma$ translates the above result to the context of parabolic $G$--bundles.
要約:
Let X be a smooth projective variety carrying an Ulrich bundle. In the first part of this note, we construct an Ulrich sheaf on n-th symmetric power of X, which is a singular variety. As a consequence, we get the existence of Ulrich sheaf on Hillb^{n}C, where C is a smooth projective curve. In the second part of this note, we give a sufficient condition which guarantees the existence of Ulrich bundle on Blow-up of an abelian variety along an abelian sub-variety.
要約:
Let $X$ be a hyperk\"ahler manifold, and let $A$ be a nef and big divisor on $X$. We show that the fixed part of the linear system $|A|$ is reduced and as a consequence $|2A|$ is mobile. If $X$ has dimension four we also show that if the fixed part of $|A|$ is not empty, the mobile part induces a (rational) Lagrangian fibration.
要約:
We describe how to glue prime-to-$p$ torsion sheaves along Harder-Narasimhan strata of Fargues-Scholze's $\mathrm{Bun}_G$ in terms of the cohomology of locally closed strata inside the smooth charts $\mathcal{M}_b \to \mathrm{Bun}_G$ constructed in [FS21], which are moduli of certain split parabolic bundles. Our computations for $G=\operatorname{GL}_2$ explicitly describe images of geometric constant term functors when restricted to a distinguished point inside $\mathrm{Bun}_{T_{\{b\}}}$, where $T_{\{b\}}$ is the split inner form of the Levi quotient of the corresponding parabolic subgroup $P_b$.
要約:
For smooth affine varieties in positive characteristic, we identify a slope obstruction to the injectivity of the comparison morphism from rigid cohomology to rationalised crystalline cohomology. This yields a negative answer to a question of Esnault--Kisin--Petrov concerning the injectivity of the de Rham-to-crystalline comparison map for smooth affine schemes over the Witt vectors that admit good compactifications. In contrast, we establish injectivity for certain subspaces defined by slope conditions as well as in cohomological degree one. For the latter case, we also prove the result with coefficients in $F$-able overholonomic $D$-modules leveraging a generalisation of Kedlaya's full faithfulness theorem. Beyond injectivity, we obtain various separation results for the affinoid topology on rigid and convergent cohomology. These results allow us to determine integral algebraic de Rham cohomology modulo torsion and to provide a more conceptual explanation for Ertl and Shiho's construction of varieties for which integral Monsky--Washnitzer cohomology modulo torsion is not finitely generated. Along the way, we prove a new integral comparison theorem between Monsky--Washnitzer cohomology and algebraic de Rham cohomology and we define fractional $p$-adic Tate twists, computing non-integral slopes of crystalline cohomology.
要約:
This paper further develops the algebraic--geometric foundations of conditional independence (CI) equilibria, a refinement of dependency equilibria that integrates conditional independence relations from graphical models into strategic reasoning and thereby subsumes Nash equilibria. Extending earlier work on binary games, we analyze the structure of the associated Spohn CI varieties for generic games of arbitrary format. We show that for generic games the Spohn CI variety is either empty or has codimension equal to the sum of the players' strategy dimensions minus the number of players in the parametrized undirected graphical model. When non-empty, the set of totally mixed CI equilibria forms a smooth manifold for generic games. For cluster graphical models, we introduce the class of Nash CI varieties, prove their irreducibility, and describe their defining equations, degrees, and conditions for the existence of totally mixed CI equilibria for generic games.
要約:
We continue the study of compact holomorphic $p$-contact manifolds $X$ that we introduced recently by expanding the discussion to include non-K\"ahler hyperbolicity issues and a differential calculus based on what we call the Lie derivative with respect to a $(0,\,q)$-form with values in the holomorphic tangent bundle of $X$. We also propose the notion of $p$-contact deformations for which we prove a Bogomolov-Tian-Todorov-type unobstructedness theorem to order two. This kind of small deformations of the complex structure is related to the essential horizontal deformations that we introduced in our previous work and forms part of a wider on-going project aimed at developing a non-K\"ahler mirror symmetry theory that was first tested on the Iwasawa manifold and subsequently on Calabi-Yau page-$1$-$\partial\bar\partial$-manifolds.
要約:
We consider the family of dynamical modular curves associated to quadratic polynomial maps and determine precisely which of these curves have infinitely many cubic points. We use this to prove a classification statement on preperiodic points for quadratic polynomials over cubic fields, extending previous work of Poonen, Faber, and the first author and Krumm.
要約:
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed length) of the category $\operatorname{Perf}\mathcal{X}_V$. We use Artin's criterion to prove that, when $U$ is excellent, this is in fact an algebraic space which is moreover \'etale (though in general non-quasicompact and non-separated) over $U$. We moreover generalise the construction of the sheaf to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions, and conjecture it is an open and closed subspace.
Along the way, we prove that for a smooth and proper family of schemes, a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an \'etale neighbourhood of the point.
要約:
We define R-equivalence for group schemes over a semilocal ring and relate this with rational properties. Two main cases are investigated: tori and isotropic semisimple simply connected group schemes where we show in certain cases that R-equivalence coincide with Karoubi-Villamayor equivalence and is also related to the Kneser-Tits problem in this setting. Finally we construct specialization maps for R-equivalence in the case of regular algebras containing a field.
要約:
We explore the maximality of the Hilbert square of maximal real surfaces, and find that in many cases the Hilbert square is maximal if and only if the surface has connected real locus. In particular, the Hilbert square of no maximal K3-surface is maximal. Nevertheless, we exhibit maximal surfaces with disconnected real locus whose Hilbert square is maximal.
要約:
For any quiver $Q$ and dimension vector $v$, Le Bruyn-Procesi proved that the invariant ring for the action of the change of basis group on the space of representations $\text{Rep}(Q,v)$ is generated by the traces of matrix products associated to cycles in the quiver. Lusztig generalised this to allow for vertices where the group acts trivially. Here we provide a simple new proof of Lusztig's theorem and determine the relations between his algebra generators for any quiver with relations.
要約:
The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and Kremnizer, a new theory of derived analytic geometry has been proposed as geometry relative to the $(\infty,1)$-category of simplicial commutative Ind-Banach $R$-modules, for $R$ a Banach ring. In this paper, we prove a representability theorem which holds in a very general context, which we call a representability context, encompassing both the derived algebraic geometry context of To\"en and Vezzosi and these new derived analytic geometry contexts. The representability theorem gives natural and easily verifiable conditions for checking that derived stacks in these contexts are $n$-geometric, such as having an $n$-geometric truncation, being nilcomplete, and having an obstruction theory. Future work will explore representability of certain moduli stacks arising in derived analytic geometry, for example moduli stacks of Galois representations.
要約:
We study Brill-Noether loci of three kinds of spectral curves: classical spectral curves as introduced by Hitchin, spectral curves over the projective line and double covers whose branch locus is a canonical divisor. Our techniques are based on the Beauville-Narasimhan-Ramanan correspondence: We push down line bundles on the spectral curve to the base curve and then we study the Higgs bundles obtained in this way.
For the first kind we study the spaces of pencils in the Picard variety of a classical spectral curve in detail. In the case of spectral curves over the projective line we deal with their splitting loci which refine the Brill-Noether loci in the Picard variety. We compute their dimensions and investigate whether they are smooth. For the third kind we determine the gonality sequence when the rank of the linear system is much smaller than the genus. For this the base curve and the branch divisor are assumed to be general.
要約:
In analogy with recent works on $K3$ surfaces, we study the existence of infinitely many ruled divisors on projective irreducible holomorphic symplectic (IHS) manifolds. We prove such an existence result for any projective IHS manifold of $K3^{[n]}$ or generalized Kummer type which is not a variety defined over $\overline{\mathbb{Q}}$ with Picard number one or maximal. The result is obtained as a combination of the regeneration principle and of a generalization to higher dimension of a controlled degeneration technique, invented by Chen, Gounelas and Liedtke in dimension 2.
要約:
We show that the alternating groups $\mathfrak{A}_5$ and $\mathfrak{A}_6$ are the only finite simple non-abelian subgroups of the group of birational selfmaps of the real three-dimensional projective space.
要約:
We consider certain families of Hecke characters $\phi$ over a quadratic imaginary field $F$. According to the Bloch-Beilinson conjectures, the order of vanishing of the $L$-function $L(\phi,s)$ at the central point $s=-1$ should be equal to the dimension of the space of extensions of the Tate motive $\mathbb{Q}(1)$ by the motive associated with $\phi$. In this article, we construct candidates for the corresponding extensions of Hodge structures, assuming that the sign of the functional equation of $L(\phi,s)$ is $-1$. This is accomplished through the cohomology of variations of Hodge structures over Picard modular surfaces associated with $F$ and Harder's theory of Eisenstein cohomology. Furthermore, we demonstrate that these extensions are naturally realized within certain biextensions. We outline a program to compute the biextension height and utilize it to establish the non-triviality of these extensions.
要約:
We study $p$-torsion Brauer classes in positive characteristic arising from differential forms. We relate this construction to the Brauer group of supersingular K3 surfaces and analyze the contribution of these classes to the Brauer-Manin obstruction. As an application, we examine the Brauer-Manin set of supersingular K3 surfaces and of varieties admitting many differential forms.
要約:
Let $Q_0$ and $Q_1$ be two Lagrangian spheres in a $6$-dimensional symplectic manifold. Assume that $Q_0$ and $Q_1$ intersect cleanly along a circle that is unknotted in both $Q_0$ and $Q_1$. We prove that there is no nearby Hamiltonian isotopy of $Q_0$ and $Q_1$ to a pair of Lagrangian spheres meeting cleanly along a circle that is knotted in either component, answering a question of Smith. The proof is based on a classification of the spherical summands in the prime decomposition of an exact Lagrangian in the Stein neighborhood of the union $Q_0\cup Q_1$ and the deep result that lens space rational Dehn surgeries characterize the unknot.
要約:
We establish the functoriality of Baum--Bott residues under certain conditions. As an application, we show that if $\mathcal{F}$ is a holomorphic foliation, of dimension $k\leq n/2$, on a (possibly non-compact) complex manifold $X$ of dimension \(n\), then its singular set $Sing(\mathcal{F})$ has dimension $\dim(Sing(\mathcal{F}))\geq k-1$. This result addresses a longstanding question by Baum and Bott regarding the functoriality of residues. Also, This provides answers to questions posed by Cerveau and Lins Neto concerning foliations of dimension 2 in $\mathbb{C}^4$ and Druel regarding holomorphic foliations on projective manifolds. Furthermore, it confirms the Beauville-Bondal conjecture for the maximal degeneracy locus of Poisson structures. Specifically, if $X$ is a (possibly non-compact) complex Poisson manifold with generic rank $ r \leq n/2$, and the degeneracy locus $X \setminus X_r$ is non-empty, then it contains a component of dimension $ > r - 2 $
要約:
In this paper, we obtain the generalized Bogomolov inequality for reflexive Higgs sheaves defined on the regular locus of compact K\"ahler klt spaces. As an application, we establish the Miyaoka-Yau inequality for all minimal K\"ahler klt spaces. Apart from providing a self-contained formulation and investigation of Higgs sheaves on complex normal spaces, the analytical part of our approach is the establishment of $L^p$-approximate critical Hermitian structures for Higgs orbi-bundles on Gauduchon orbifolds. This also leads to the semistability (resp. generically nefness) of torsion-free sheaves under symmetric, exterior powers and tensor products in the singular setting.
要約:
In this paper, we prove the strong form of the Watanabe-Yoshida conjecture for complete intersection singularities in every positive characteristic. In characteristics 2 and 3, we explicitly compute the Hilbert-Kunz functions of the A1 and A2 singularities.
要約:
Suppose $J = (f_1, \dots, f_n)$ is an $n$-generated ideal in any ring $R$. We prove a general Brian\c{c}on-Skoda-type containment relating the integral closure $\overline{J^{n+k-1}}$ with ordinary powers $J^k$. We prove that our result implies the full Brian\c{c}on-Skoda containment $\overline{J^{n+k-1}} \subseteq J^k$ for pseudo-rational singularities (for instance regular rings), and even for the weaker condition of birational derived splinters. Our methods also yield the containment $\overline{J^{n+k}} \subseteq J^k$ for Du Bois singularities and even for a characteristic-free generalization. Our \myBrianconSkoda-type theorem also implies well-known closure-based Brian\c{c}on-Skoda results $\overline{J^{n+k-1}} \subseteq (J^k)^{\mathrm{cl}}$ where, for instance, $\mathrm{cl}$ is tight or plus closure in characteristic $p > 0$, or $\mathrm{ep}$ closure or extension and contraction from $\widehat{R^+}$ in mixed characteristic. Our proof relies on a study of the tensor product of the derived image of the structure sheaf of a partially normalized blowup of $J$ with the Buchsbaum-Eisenbud complex (equivalently the Eagon-Northcott complex) associated to $(f_1,\dots,f_n)^k$.
As an application of our results and methods above, we prove the uniform Artin-Rees theorem and the uniform Brian\c{c}on-Skoda theorem for excellent, respectively excellent reduced, rings of finite dimension, answering conjectures of Huneke.
要約:
For a quiver without loops with many edges, we generalize the methods of Kac, Crawley-Boevey and Reineke and compute the dimension of Harder-Narasimhan strata of the zero set of the moment map. We notice a link between this dimension and the terms in the Kac's polynomial, which is given by the equivariant cohomology of this zero set.