要約:
We study the infinitesimal variation of Hodge structure for families of algebraic curves and extend the classical theory from smooth curves to singular and non--planar settings. Using the deformation space $\mathrm{Ext}^1(\Omega_X,\mathcal O_X)$ and the dualizing sheaf, we define a singular analogue of maximal infinitesimal variation. For equisingular families of plane curves with planar Gorenstein singularities, we prove that the infinitesimal variation attains maximal rank equal to the arithmetic genus. We show that the rank decomposes into a geometric contribution from the normalization and a singular contribution measured by the $\delta$--invariants. For non--equisingular degenerations, the rank defect equals the drop of the total $\delta$--invariant and admits an interpretation in terms of vanishing cycles and mixed Hodge structures. We further extend the results to non--planar curves under suitable Petri and deformation conditions.
要約:
We investigate higher--order variation of Hodge structure for families of smooth hypersurfaces and complete intersections through the notion of $I$--maximal variation. Using Griffiths' description of primitive cohomology, we interpret the infinitesimal variation of Hodge structure and the $n$--fold Yukawa coupling as graded multiplication maps in the Jacobian ring. Our main result shows that the Strong Lefschetz property of the Jacobian ring provides the algebraic mechanism ensuring $I$--maximal variation. In particular, we prove that smooth hypersurfaces of degree $d\ge n+2$ and smooth complete intersections with $\kappa>0$ exhibit $I$--maximal variation. We further establish that for complete intersections of general type the infinitesimal Torelli property is equivalent to the nondegeneracy of the Yukawa coupling. Finally, we analyze degenerations and show that the failure of the Strong Lefschetz property leads to degeneration of the Yukawa coupling and the loss of $I$--maximal variation. These results identify the Lefschetz property of the Jacobian ring as the fundamental algebraic structure governing maximal variation of Hodge structure.
要約:
We develop a certified numerical algorithm for computing Galois/monodromy groups of parametrized polynomial systems. Our approach employs certified homotopy path tracking to guarantee the correctness of the monodromy action produced by the algorithm, and builds on previous ``homotopy graph" frameworks. We conduct extensive experiments with an implementation of this algorithm, which we have used to certify properties of several notable Galois/monodromy groups which arise in several examples drawn from pure and applied mathematics.
要約:
We establish the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting, and we show that the discriminant b-divisor and moduli b-divisor are compatible with restriction to arbitrary open subsets. We also discuss the boundedness of complements in this setting.
要約:
We compute the small quantum cohomology of Gushel-Mukai fourfolds. Following [13], our computations imply that the very general ones are not rational. Following [8], and thanks to a suitable deformation of the small quantum cohomology ring, we also deduce that a rational Gushel-Mukai fourfold has the same rational cohomology as some K3 surface.
要約:
For a classical simple and simply connected group $G$, let $\mathcal{M}_{G,\omega}$ be the moduli space of $\omega$-semistable parabolic $G$-bundles on a complex smooth projective curve of genus $g$. We prove two results in this article: (1) $\mathcal{M}_{G,\omega}$ is of Fano type when $g\geq 3$; (2) the algebra of conformal blocks on any $n$-pointed stable curve for a classical simple Lie algebra is finitely generated.
要約:
A general net of quadric surfaces, together with a choice of a base point, defines a net of plane cubics via the Gale transformation of the remaining seven base points. To both nets, one can also naturally associate the same smooth plane quartic. In this paper, we generalize the cycle of correspondences arising from nets of quadrics that define rational elliptic threefolds and provide a complete criterion for GIT stability of the three underlying geometric objects using birational-geometric techniques.
要約:
We study finite and semi-finite vector bundles on complex tori. We give an explicit decomposition of such bundles in terms of torsion and unipotent factors. As a consequence, we prove that the extended Nori fundamental group scheme of a complex torus decomposes as the product of its etale fundamental group scheme and its unipotent fundamental group scheme.
要約:
In this paper we will prove a strong version of the celebrated purity of the ramification locus theorem in algebraic geometry. Our key input is a Tor-independence result for global sections of \'{e}tale schemes over excellent regular local rings, which we will prove by tilting to perfect rings.
要約:
The classical Shafarevich conjecture predicts that the universal cover of a complex smooth projective variety $X$ is holomorphically convex. In this paper, we propose a refinement of this conjecture for varieties defined over the reals. In order to do this, we introduce the notions of real holomorphic convexity and transverse holomorphic convexity to capture the geometric differences dictated by the real locus $X(\mathbb{R})$ of $X$. Specifically, we conjecture that the universal cover is real holomorphically convex when $X(\mathbb{R}) \neq \emptyset$, and dianalytic holomorphically convex when $X(\mathbb{R}) = \emptyset$. We prove this refined conjecture in two main cases: when $X$ is a curve, and when the fundamental group of $X$ is nilpotent.
要約:
Given a simply-connected simple algebraic group $G$, we determine the tangent spaces of the Finkerberg-Mirkovi\'c Schubert scheme in the affine Grassmannian of $G$ associated to the quasi-miniscule coweight. As a consequence, we exhibit a non-reduced Finkerberg-Mirkovi\'c Schubert scheme when $G$ is of type $E_8$.
要約:
For an abelian type Shimura variety and an odd prime $p$ of good reduction, we characterize the regularity in codimension one of Zariski closures of Ekedahl--Oort strata in terms of the Frobenius action on the root datum. We give an algorithm that detects codimension one singularities for arbitrary Ekedahl--Oort strata. When the Shimura datum is of split type, we relate the singularities of Ekedahl--Oort strata to a stack of $G$-zips over the complex numbers. We study the existence of generalized Hasse invariants on this stack.
要約:
We introduce generalizations of global equivariant spectra which encode globally equivariant cohomology theories equipped with additional transfers, such as the deflation maps present in equivariant topological $K$-theory. We call these $\mathcal{Q}$-ambidextrous global spectra, where $\mathcal{Q}$ is a parameter encoding which additional transfers one allows.
As our main example, we prove that the tempered cohomology theory associated with an oriented $\mathbf{P}$-divisible group, constructed by Lurie, is represented by a $\pi$-ambidextrous global $\mathbf{E}_\infty$ ring spectrum, encoding transfers along all relatively $\pi$-finite maps of global spaces. This is established by means of a general parametrized decategorification process, perhaps of independent interest, that produces $\mathcal{Q}$-ambidextrous global spectra from suitable global families of stable $\infty$-categories. By allowing $\mathcal{Q}$ to vary, we are able to coherently encode the fact that non-invertible morphisms of oriented $\mathbf{P}$-divisible groups induce maps of tempered theories that only commute with certain transfers.
With these $\pi$-ambidextrous enhancements in hand, we explore the fundamental properties of tempered theories as equivariant stable homotopy types. We construct a well-behaved $F$-global homology theory for any $\pi$-finite space $F$, with good base change properties. Taking $F = \mathbf{B} H$ for a finite group $H$, this establishes general base change results for the geometric fixed points of tempered theories. We use this to compute the $H$-geometric fixed points of tempered theories, showing that they vanish for $H$ nonabelian and admit a simple algebro-geometric model when $H$ is abelian, with identifiable blueshift properties.
要約:
The deep locus of a cluster variety is defined to be the set of its points that do not belong to any cluster torus. We show that, if the cluster variety has a seed whose mutable part is a tree without multiple edges, then the deep locus can be characterized as the set of points whose stabilizer under a certain group action is nontrivial. Deep points without a stabilizer are called mysterious. We establish that many other classes of acyclic quivers (including keys) often have mysterious points. This refutes Conjecture 1.1 of arXiv:2402.16970, but establishes it in many important cases.
要約:
For any 4-variate quartic form $f\geq 0$ (i.e. $f$ nonnegative, homogeneous polynomial of degree $4$ with real coefficients) there exist quadratic forms $q$ and $q'$ so that $qq'f$ is a sum of squares (s.o.s.) of quartics, by reducing to the case of $f=au^2+2bu+c$ with $a$, $b$, $c$ $3$-variate forms of degrees 2, 3, 4, respectively, and invoking on its discriminant $\Delta=ac-b^2$ a theorem by Hilbert (1893) asserting that for any ternary sextic $h\geq 0$ there exists a quadric $q''$ so that $q''h$ is s.o.s. of quartics.
Towards deciding whether just one $q$ always suffices to make $qf$ a s.o.s, we give explicit examples of non-s.o.s. $f=au^2+2bu+c\geq 0$ with non-s.o.s. $\Delta$. However, in all these examples $af$ are s.o.s. That is, the straightforward s.o.s. decomposition via Hilbert (1893) need not be the best possible. While it remains open whether one $q$ always suffices (and we conjecture that $q=a$ suffices), we describe how the existence of such $q$ is related to particular types of s.o.s. decompositions for $\Delta$.
要約:
We present an algorithm to compute the Hodge ideals of $\mathbb{Q}$-divisors associated to any reduced effective divisor $D$. The computation of the Hodge ideals is based on an algorithm to compute parts of the $V$-filtration of Malgrange and Kashiwara on $\iota_{+}\mathscr{O}_X(*D)$ and the characterization of the Hodge ideals in terms of this $V$-filtration. In particular, this gives a new algorithm to compute the multiplier ideals and the jumping numbers of any effective divisor.
要約:
We generalize techniques by Coskun, Riedl, and Yeong, and obtain an almost optimal bound on the degree for the algebraic hyperbolicity of very general hypersurfaces in rational homogeneous varieties. As examples, we work out the cases of very general hypersurfaces in Grassmannians and products therefore, orthogonal and symplectic Grassmannians, and flag varieties.
要約:
Let $\mathcal{H}$ be a hyperplane arrangement in $\mathbb{CP}^n$. We define a quadratic form $Q$ on $\mathbb{R}^{\mathcal{H}}$ that is entirely determined by the intersection poset of $\mathcal{H}$. Using the Bogomolov-Gieseker inequality for parabolic bundles, we show that if $\mathbf{a} \in \mathbb{R}^{\mathcal{H}}$ is such that the weighted arrangement $(\mathcal{H}, \mathbf{a})$ is stable, then $Q(\mathbf{a}) \leq 0$.
As an application, we consider the symmetric case where all the weights are equal. The inequality $Q(a, \ldots, a) \leq 0$ gives a lower bound for the total sum of multiplicities of codimension $2$ intersection subspaces of $\mathcal{H}$. The lower bound is attained when every $H \in \mathcal{H}$ intersects all the other members of $\mathcal{H} \setminus \{H\}$ along $(1-2/(n+1))|\mathcal{H}| + 1$ codimension $2$ subspaces; extending from $n=2$ to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.
要約:
We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through $k$-rational points and pairs of conjugate points in quadratic field extensions $k\subset k(\sqrt{d_i})$ can be determined by counting certain tropical stable maps through vertically stretched point conditions with a suitable multiplicity. Building on the floor diagram technique in tropical geometry, we provide an algorithm to compute these numbers.
Our tropical algorithm computes not only these new quadratically enriched enumerative invariants, but simultaneously also the complex Gromov-Witten invariant, the real Welschinger invariant counting curves satisfying real point conditions only, the real Welschinger invariant of curves satisfying pairs of complex conjugate and real point conditions, and the quadratically enriched count of curves satisfying $k$-rational point conditions.
要約:
We generalize the topological description of the $\mathbb{N}$-graded Proj construction to the multigraded Proj construction for factorially graded rings that are graded by finitely generated abelian groups $D$. However, there is one big structural difference: While the classical description is given by the space of homogeneous prime ideals not containing the irrelevant ideal, we characterize the multigraded Proj setting using $D$-prime ideals, i.e.\ ideals that have the prime property, but only for homogeneous factorizations. In particular, we establish a multigraded version of the Nullstellensatz. Additionally, we present algebraic conditions for separability in terms of factorially graded rings, and observe that Proj$^D(S)$ is not separated in many cases. Finally, building on Mayeux-Riche's definition of Serre twists, we give a criterion for their freeness.
要約:
We study linear $\alpha_p$-actions on affine spaces and the associated quotient singularities, using explicit stacky resolutions. We describe when the quotient singularities are log canonical, canonical or terminal, and we compute their stringy motivic invariants. The second author and Fabio Tonini conjectured that these invariants coincide with those of linear $\mathbb{Z}/p$-quotients: our approach reduces this conjecture to an equality of explicit multi-sets, which we check for a large number of primes using a computer software. A general proof of the equality of multi-sets is given in the appendix written by Linus R\"osler.
要約:
For an $S^1$-framed modular operad $P$, we introduce its "Feynman compactification" denoted by $FP$ which is a modular operad. Let $\{\mathbb{M}^{\sf fr}(g,n)\}_{(g,n)}$ be the $S^1$-framed modular operad defined using moduli spaces of smooth curves with framings along punctures. We prove that the homology operad of $F\mathbb{M}^{\sf fr}$ is isomorphic to $H_*(\overline{M})$, the homology operad of the Deligne-Mumford operad. Using this isomorphism, we obtain an explicit formula of the fundamental class of $[\overline{M}_{g,n}/S_n]$ in terms of Sen-Zwiebach's string vertices. As an immediate application, under mild assumptions, we prove that Costello's categorical enumerative invariants of the ground field match with the Gromov-Witten invariants of a point.
要約:
We present natural conjectural generalizations of the `positivity and integrality of mirror maps' phenomenon, encompassing the mirror maps appearing in the Batyrev--Borisov construction of mirror Calabi--Yau complete intersections in Fano toric varieties as a special case. We find that, given the combinatorial data from which one constructs a mirror pair of Calabi--Yau complete intersections, there are two ways of writing down an associated `mirror map': one which is the `true mirror map', meaning the one which appears in mirror symmetry theorems; and one which is the `naive mirror map'. The two are equal under a certain combinatorial criterion which holds e.g. for the quintic threefold, but not in general. We conjecture (based on substantial computer checks, together with proofs under extra hypotheses) that the naive mirror map always has positive integer coefficients, while the true mirror map always has integer (but not necessarily positive) coefficients. Almost all previous works on the integrality of mirror maps concern the naive mirror map, and in particular, only apply to the true mirror map under the combinatorial criterion mentioned above.
要約:
Given a finite simple connected graph $\Gamma$, the graphical configuration space $\mathrm{Conf}_{\Gamma}(X)$ is the space of collections of points in $X$ indexed by the vertices of $\Gamma$, where points corresponding to adjacent vertices must be distinct. When $X=\mathbb{R}^d$ and the points are replaced by small disks, the resulting spaces for all possible graphs fit together into an algebraic structure that extends the little disks operad, called the little disks contractad $\mathcal{D}_d$. In this paper, we investigate the homotopical and algebraic properties of the little disks contractad $\mathcal{D}_d$. We construct and study Fulton-MacPherson compactifications of graphical configuration spaces, which provide a convenient model for $\mathcal{D}_d$ within the class of compact manifolds with boundary. Using these and wonderful compactifications, we prove that $\mathcal{D}_d$ is formal in the category of (Hopf) contractads for $d=1$, $d=2$, and for chordal graphs for any $d$. We also identify the first obstructions to coformality in the case of cyclic graphs. In addition, we give a combinatorial description of the cell structure of $\mathcal{D}_2$ and present applications to the study of graphical configuration spaces $\mathrm{Conf}_{\Gamma}(X)$ using the language of twisted algebras.
要約:
We present a new method for computation of the index of completely mixed equilibria in finite games, based on the work of Eisenbud et al.(1977). We apply this method to solving two questions about the relation of the index of equilibria and the index of fixed points, and the index of equilibria and payoff-robustness: any integer can be the index of an isolated completely mixed equilibrium of a finite game. In a particular class of isolated completely mixed equilibria, called monogenic, the index can be $0$, $+1$ or $-1$ only. In this class non-zero index is equivalent to payoff-robustness. We also discuss extensions of the method of computation to extensive-form games, and cases where the equilibria might be located on the boundary of the strategy set.
要約:
This paper provides a complete proof of the Kobayashi-Hitchin correspondence for nef and big classes. We introduce the notion of an adapted closed positive $(1,1)$-current $T$ lying in a nef and big class $\alpha$, and that of a $T$-adapted Hermitian-Yang-Mills metric of a holomorphic vector bundle. Then we prove that a holomorphic vector bundle $E$ over a compact K\"{a}hler manifold $X$ is slope polystable with respect to a nef and big class $\alpha$ if and only if $E$ admits a $T$-adapted Hermitian-Yang-Mills metric for every adapted current $T$ in $\alpha$. Furthermore, we also establish the uniqueness of a $T$-adapted Hermitian-Yang-Mills metric on $E$ when it exists. Our main theorem above immediately implies that the Kobayashi-Hitchin correspondence holds even in singular settings. In particular, this singular Kobayashi-Hitchin correspondence applies to reflexive sheaves over compact normal K\"{a}hler varieties with log terminal singularities endowed with singular K\"{a}hler-Einstein metrics. Furthermore, the singular Kobayashi-Hitchin correspondence proves that the graded sheaf associated to a Jordan-H${\rm \ddot{o}}$lder filtration of a semistable sheaf for a nef and big class $\alpha$ admits a $T$-adapted Hermitian-Yang-Mills metric. As an application of the Kobayashi-Hitchin correspondence, we show that if a holomorphic vector bundle ${E}$ is slope polystable with respect to a nef and big class $\alpha$ and $E$ attains the equality of the Bogomolov-Gieseker inequality with respect to $\alpha$, then ${E}$ is projectively flat on the ample locus of $\alpha$. All these results are new even if compact K\"{a}hler manifolds are projective and nef and big classes are the 1st Chern class of nef and big line bundles. One of key features of our approach is that the adapted current $T$ need not be strictly positive and its singularities need not be described explicitly.