要約:
We develop a new method for establishing the extremality in the closed cone of effective curves on the moduli space of curves and determine the extremality of many boundary $1$-strata. As a consequence, by using a general criterion for non-semiampleness which extends Keel's argument, we demonstrate that a substantial portion of the cone of nef divisors of $\overline{\mathrm{M}}_{g,n}$ is not semiample. As an application, we construct the first explicit example of a non-contractible extremal ray of the closed cone of effective curves on $\overline{\mathrm{M}}_{3,n}$. Our method relies on two main ingredients: (1) the construction of a new collection of nef divisors on $\overline{\mathrm{M}}_{g,n}$, and (2) the identification of a tractable inductive structure on the Picard group, arising from Knudsen's construction of $\overline{\mathrm{M}}_{g,n}$.
要約:
A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincar\'{e} duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one part of $A$. We analyze its decomposition into indecomposable modules over subrings of $A$ that are generated by elements in the closure of $\mathscr{K}$, establishing structural results that parallel the decomposition theorem for morphisms of complex projective varieties. We use our theorems to recover key statements in combinatorial Hodge theory and illuminate the Hodge-theoretic aspects of the decomposition theorem in algebraic geometry.
要約:
Let $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ be the collection of elements of $\mathfrak{sl}_{n+1}(\mathbb C)$ with rank less than or equal to $1$ and with all diagonal entries equal to zero. We show that the coordinate ring $\mathbb C[\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)]$ of the scheme-theoretic intersection $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ has a flat degeneration to the ring of $(\mathbb C^{\times})^n$-equivariant cohomology of the projective toric variety associated with the fan of compatible subsets of almost positive roots of type $C_n$. Then we compute the Hilbert series of $\mathbb C[\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)]$ and prove that $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ is reduced and Gorenstein. Moreover, our proof method allows us to prove that the scheme-theoretic intersection $\overline{\mathcal{O}}_\textrm{min} \cap \mathfrak n^+$, of which the irreducible components are known as the ``orbital varieties'', is reduced and Cohen-Macaulay.
要約:
The real cycle class map $H^i(X,\underline{I}^j(\mathcal{L})) \rightarrow H^i_\text{sing}(X(\mathbb{R}),\mathbb{Z}(\mathcal{L}))$ is an isomorphism for $j\geq \dim(X)+1$ for any scheme $X$ over $\mathbb{R}$ by a result of Jacobson. It is also known to be an isomorphism for $j\geq i$, the earliest possible case, if $X$ is cellular due to Hornbostel-Wendt-Xie-Zibrowius. This paper generalizes their result to linear schemes, providing (precise) intermediate bounds on the range, where the real cycle class map is an isomorphism. Moreover, we show that Lerbet's conjectured upper bound for the exponent of the cokernel of $H^i(X,\underline{I}^i(\mathcal{L})) \rightarrow H^i_\text{sing}(X(\mathbb{R}),\mathbb{Z}(\mathcal{L}))$ cannot be improved.
This is part of the author's PhD thesis.
要約:
We determine the ring structure of the torus-equivariant cohomology of rank-one juggling varieties with rational coefficients. By realizing these varieties as cyclic quiver Grassmannians, we construct a Knutson--Tao type basis for their equivariant cohomology. Using this basis, we give an explicit description of the ring structure in terms of generators and relations, and compute the corresponding structure constants. Finally, we show that these structure constants are integral.
要約:
We prove the existence and give a classification of all $d$-tilting bundles (and thus geometric Helices) consisting of line bundles on $d$-dimensional smooth toric Fano DM stacks of Picard number one or two. Here, a $d$-tilting bundle is a tilting bundle whose endomorphism algebra has global dimension $d$ or less.
In the case of Picard number one, tilting bundles consisting of line bundles correspond bijectively to non-trivial upper sets in its Picard group equipped with a certain partial order. Moreover, all of them are $d$-tilting bundles and their endomorphisms algebras become $d$-representation infinite algebras of type $\tilde{A}$. Conversely, all such algebras arise in this way. In this sense, we can think of smooth toric Fano DM stacks with Picard number one as geometric models of higher representation infinite algebras of type $\tilde{A}$. Using this geometric model, we give a new combinatorial description to $d$-APR tilting modules of them.
In the case of Picard number two, $d$-tilting bundles consisting of line bundles correspond bijectively to pairs $(I,I')$, where $I$ and $I'$ are non-trivial upper sets in certain partially ordered sets. Here, $I$ corresponds to a non-commutative crepant resolution (NCCR) of a certain Gorenstein toric singularity with divisor class group of rank one and $I'$ corresponds to a cut of the quiver of this NCCR. Moreover, the endomorphism algebras of these $d$-tilting bundles also become $d$-representation infinite algebras.
要約:
In this paper we prove the following results: Given the Drinfeld double $\mathcal{A}^{ext}_{Q}$ of the localised preprojective $K$-theoretic Hall algebra $\mathcal{A}^{+}_{Q}$ of quiver type $Q$ with the Cartan elements, there is a $\mathbb{Q}(q,t_e)_{e\in E}$-Hopf algebra isomorphism between $\mathcal{A}^{ext}_{Q}$ and the localised Maulik-Okounkov quantum loop group $U^{MO}_{q}(\hat{\mathfrak{g}}_{Q})$ of quiver type $Q$. Moreover, we prove the isomorphism of $\mathbb{Z}[q^{\pm1},t_{e}^{\pm1}]_{e\in E}$-algebras between the negative half of the integral Maulik-Okounkov quantum loop group $U_{q}^{MO,-,\mathbb{Z}}(\hat{\mathfrak{g}}_{Q})$ with the opposite algebra of the integral nilpotent $K$-theoretic Hall algebra $\mathcal{A}^{+,nilp,\mathbb{Z}}_{Q}$ of the same quiver type $Q$. As a result, one can identify the universal $R$-matrix for the root subalgebra $\mathcal{B}_{\mathbf{m},w}$ of the slope subalgebra $\mathcal{B}_{\mathbf{m}}$ in $\mathcal{A}^{ext}_{Q}$ with the wall $R$-matrix of the wall subalgebra $U_{q}^{MO}(\mathfrak{g}_{w})$ in $U^{MO}_{q}(\hat{\mathfrak{g}}_{Q})$.
Moreover, under the integrality conjecture for the integral preprojective $K$-theoretic Hall algebra $\mathcal{A}^{+,\mathbb{Z}}_{Q}$, we prove the isomorphism of $\mathbb{Z}[q^{\pm1},t_{e}^{\pm1}]_{e\in E}$-algebras between the positive half of the integral Maulik-Okounkov quantum loop group $U_{q}^{MO,+,\mathbb{Z}}(\hat{\mathfrak{g}}_{Q})$ with the integral preprojective $K$-theoretic Hall algebra $\mathcal{A}^{+,\mathbb{Z}}_{Q}$ of the same quiver type $Q$.
要約:
Vertex algebras can be defined over any differential commutative ring. We develop the general descent theory for vertex algebras over such bases. We apply this to the classification of twisted forms of affine and Heisenberg vertex algebras, and to reinterpret and generalize a correspondence of Li.
要約:
This article concerns the computational complexity of a fundamental problem in number theory: counting points on curves and surfaces over finite fields. There is no subexponential-time algorithm known and it is unclear if it can be $\mathrm{NP}$-hard.
Given a curve, we present the first efficient Arthur-Merlin protocol to certify its point-count, its Jacobian group structure, and its Hasse-Weil zeta function. We extend this result to a smooth projective surface to certify the factor $P_{1}(T)$, corresponding to the first Betti number, of the zeta function; by using the counting oracle. We give the first algorithm to compute $P_{1}(T)$ that is poly($\log q$)-time if the degree $D$ of the input surface is fixed; and in quantum poly($D\log q$)-time in general.
Our technique in the curve case, is to sample hash functions using the Weil and Riemann-Roch bounds, to certify the group order of its Jacobian. For higher dimension varieties, we first reduce to the case of a surface, which is fibred as a Lefschetz pencil of hyperplane sections over $\mathbb{P}^{1}$. The formalism of vanishing cycles, and the inherent big monodromy, enable us to prove an effective version of Deligne's `theoreme du pgcd' using the hard-Lefschetz theorem and an equidistribution result due to Katz. These reduce our investigations to that of computing the zeta function of a curve, defined over a finite field extension $\mathbb{F}_{Q}/\mathbb{F}_{q}$ of poly-bounded degree. This explicitization of the theory yields the first nontrivial upper bounds on the computational complexity.
要約:
We introduce and study graded perfectoid rings as graded analogues of Scholze's (integral) perfectoid rings. We establish a categorical equivalence between graded perfectoid rings and graded perfect prisms, extending the Bhatt-Scholze's correspondence to the graded setting. We also construct the initial graded perfectoid cover of any graded semiperfectoid rings and prove a graded version of Andr\'e's flatness lemma. These results lay the foundations for a graded theory of perfectoid rings.
要約:
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.
要約:
In this article we study the Ekedahl-Oort types of $\Z/2\Z$-Galois covers $\pi:Y \to X$ in characteristic two. When the base curve $X$ is ordinary, we show that the Ekedahl-Oort type of $Y$ is completely determined by the genus of $X$ and the ramification of $\pi$. For a general base curve $X$, we prove bounds on the Ekedahl-Oort depending on the Ekedahl-Oort type of $X$ and the ramification of $\pi$. Along the way, we develop a theory of \emph{enhanced differentials of the second kind}. This theory allows us to study algebraic de Rham cohomology in any characteristic by working directly with differentials, in contrast to the standard \v{C}ech resolution.
要約:
We study one-parameter deformations of Calabi-Yau type Fermat polynomial singularities along degree-one directions. We show that twisted sectors in the vanishing cohomology are components of automorphic forms for certain triangular groups. We prove consequentially that genus zero Gromov-Witten generating series of the corresponding Fermat Calabi-Yau varieties are components of automorphic forms. The main tools we use are mixed Hodge structures for quasi-homogeneous polynomial singularities, Riemann-Hilbert correspondence, and genus zero mirror symmetry.
要約:
Two theorems witnessing the abundance of geometrically trivial strongly minimal autonomous differential equations of arbitrary order are shown. The first one states that a generic algebraic vector field of degree $d\geq 2$ on the affine space of dimension $n \geq 2$ is strongly minimal and geometrically trivial. The second one states that if $X_0$ is the complement of a smooth hyperplane section $H$ of a smooth projective variety $X$ of dimension $n$, then for $d$ large enough, the system of differential equations associated with a generic vector field on $X_0$ with a pole of order at most $d$ along $H$ is strongly minimal and geometrically trivial.
This produces the first examples of meromorphic functions that are new in the sense of Painlev\'e and satisfy autonomous differential equations of order $n \geq 4$.
要約:
For a curve of genus at least four which is either very general or very general hyperelliptic, we classify all ways in which a power of its Jacobian can be isogenous to a product of Jacobians of curves. As an application, we show that, for a very general principally polarized abelian variety of dimension at least four, or the intermediate Jacobian of a very general cubic threefold, no power is isogenous to a product of Jacobians of curves. This confirms some cases of the Coleman-Oort conjecture. We further deduce from our results some progress on the question whether the integral Hodge conjecture fails for such abelian varieties.
要約:
We prove two results on convex subsets of Euclidean spaces invariant under an orthogonal group action. First, we show that invariant spectrahedra admit an equivariant spectrahedral description, i.e., can be described by an equivariant linear matrix inequality. Second, we show that the bijection induced by Kostant's Convexity Theorem between convex subsets invariant under a polar representation and convex subsets of a section invariant under the Weyl group preserves the classes of convex semi-algebraic sets, spectrahedral shadows, and rigidly convex sets.
要約:
We attach a mixed Hodge structure and associate two versions of heights to a pair of Bloch higher cycles. Both these heights generalize the biextension height attached to a pair of classical algebraic cycles homologous to zero. We also prove several salient properties of these heights.
要約:
Motivated by Stanley's generalization of the chromatic polynomial of a graph to the chromatic symmetric function, we introduce the characteristic polynomial of a representation of the symmetric group, or more generally, of a symmetric function. When the representation arises from geometry, the coefficients of its characteristic polynomial tend to form a log-concave sequence. To illustrate, we investigate explicit examples, including the $n$-fold products of the projective spaces, the GIT moduli spaces of points on $\mathbb{P}^1$ and Hessenberg varieties. Our main focus lies on the cohomology of the moduli space of pointed rational curves, for which we prove asymptotic formulas of its characteristic polynomial and establish asymptotic log-concavity.
要約:
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for $F$-divided sheaves, we prove that any $\mathcal{O}_{X}$-coherent $\mathcal{D}_{X}$-module has finite dimensional $\mathcal{D}_{X}$-module cohomology.
要約:
We present a string theoretic approach to surface counting in local Calabi--Yau fourfolds via supersymmetric localization in topologically twisted four-dimensional gauge theories. This approach is based on a spectral correspondence between PT1-stable pairs on local fourfolds and twisted quasimaps with fixed two-dimensional domain associated to the ADHM quiver, or, equivalently, ADHM sheaves. For local toric fourfolds, we derive a conjectural residue formula for the K-theoretic quasimap partition function via Coulomb branch localization. As a result, in this case, we obtain a conjectural prescription fixing all usual sign ambiguities in the equivariant computation of such invariants. We present some explicit computations for local P2, extending the results available in the literature, and describe the formalism in general. This is the first instance of Coulomb branch localization for a quasimap theory in the context of four-dimensional gauge theories.
要約:
We prove a Lefschetz theorem for the Tannakian group scheme of $\mathcal{D}$-modules, in arbitrary characteristic. In characteristic $0$, We prove a K\"unneth formula for the Tannakian group scheme of regular singular integrable connections, and disprove it for the Tannakian group scheme of all integrable connections without any regularity assumption.
要約:
We show that the relation between multiplier ideals and $V$-filtration on the structure sheaf due to Budur-Musta\c{t}\u{a}-Saito generalizes to singular irreducible varieties, by replacing multiplier ideals with multiplier modules and the structure sheaf with the intersection complex Hodge module.
This is applied to a Skoda theorem for such modules as well as a $\mathcal D$-module theoretic proof of Ajit's formula relating the multiplier modules of an ideal to those of the Rees parameter in the extended Rees algebra.
Moreover, we define a Bernstein-Sato polynomial for the pair of a variety and an ideal sheaf on it. We relate the roots to the jumping numbers of the multiplier modules. If the ideal is generated by a regular sequence on a rational homology manifold, we show that the absence of integer roots of the polynomial implies that the subvariety defined by the ideal is a rational homology manifold.
要約:
We compute the classifying space of the surface category $\mathrm{Cob}_2$ whose objects are closed $1$-manifolds and whose morphisms are diffeomorphism classes of surface bordisms, and show that it is rationally equivalent to a circle. It is hence much smaller than the classifying space of the topologically enriched surface category $\mathcal{C}_2$ studied by Galatius-Madsen-Tillmann-Weiss. However, we also show that for the wide subcategory $\mathrm{Cob}_2^{\chi\le0} \subset \mathrm{Cob}_2$ that contains all morphisms without disks or spheres, the classifying space $B\mathrm{Cob}_2^{\chi\le0}$ is surprisingly large. Its rational homotopy groups contain the homology of all moduli spaces of tropical curves $\Delta_g$ as a summand. The technical key result shows that a version of positive boundary surgery applies to a large class of discrete symmetric monoidal categories, which we call labelled cospan categories. We also use this to show that the $(2,1)$-category of cospans of finite sets has a contractible classifying space.
要約:
We study birational quasi-isomorphisms between normal Noetherian domains endowed with cluster structures of geometric type. We prove an analogue of the Starfish lemma that allows one to transfer various cluster and algebraic properties of one variety onto another. In particular, we develop tools for proving that an upper cluster algebra equals the given commutative ring.
要約:
We prove the full Fock--Goncharov conjecture for $\mathcal{A}_{SL_2,\Sigma_{g,p}}$, the $\mathcal{A}$-cluster variety of the moduli of decorated twisted $SL_2$-local systems on triangulable surfaces $\Sigma_{g,p}$ with at least 2 punctures. Equivalently, we show that the tagged skein algebra $Sk^{ta}(\Sigma)$, or the middle cluster algebra $\mathrm{mid}(\mathcal{A})$, coincides with the upper cluster algebra $U(\Sigma)$. Inspired by the work of Shen--Sun--Weng, we introduce the localized cluster variety $\mathring{\mathcal{A}}$ as the algebraic version of the decorated Teichm\"uller space $\mathcal{T}^d(\Sigma)$. We show its global section $\Gamma(\mathring{\mathcal{A}},\mathcal{O}_{\mathring{\mathcal{A}}})$ equals the classical Roger-Yang skein algebra $Sk^{RY}_{q\to1}(\Sigma)$, providing a quantization of $\mathcal{T}^d(\Sigma)$ in terms of the Roger--Yang skein algebra $Sk^{RY}_q(\Sigma)$. As a consequence of our geometric characterizations, we deduce normality and the Gorenstein property of the tagged skein algebra $Sk^{ta}(\Sigma)$ and the classical Roger--Yang skein algebra $Sk^{RY}_{q\to1}(\Sigma)$, as well as finite generation of upper cluster algebra $U(\Sigma)$.
要約:
We study five pencils of projective quartic Delsarte K3 surfaces. Over finite fields, we give explicit formulas for the point counts of each family, written in terms of hypergeometric sums. Over the complex numbers, we match the periods of the corresponding family with hypergeometric differential operators and series. We also obtain a decomposition of the $L$-function of each pencil in terms of hypergeometric $L$-series and Dedekind zeta functions. This gives an explicit description of the hypergeometric motives geometrically realised by each pencil.
要約:
Open topological string partition function gives rise to open Gromov-Witten invariants, open Donaldson-Thomas invariants and 3D-5D BPS indices. Utilizing the remodelling conjecture which connects topological recursion and topological string theory, in this paper we study open topological string theory for the subclass of toric Calabi-Yau threefold known as strip geometries. For this purpose, certain new developments in the theory of topological recursion are applied as its extension to Logarithmic Topological Recursion (Log-TR) and the universal $x$--$y$ duality. Through this we derive the open topological string partition function and also the associated quantum curve. We also explain how this is related to the open Donaldson-Thomas partition function associated with certain symmetric quivers, exponential networks and $q$-Barnes type integrals. In the process, we also connect how 3D-5D wall crossing affects these partition functions as one varies $x$, in examples.