要約:
We prove stability of the kernel bundle and prove that the cohomology bundle is simple for vector bundles associated to monads on $X = (\mathbb{P}^{n_1})^2\times\cdots\times(\mathbb{P}^{n_s})^2$ for an ample line bundle $\mathscr{L}=\mathcal{O}_X(\alpha_1,\alpha_1,\cdots,\alpha_s,\alpha_s)$.
要約:
Given a projective variety $X$ and a very ample line bundle $\mathcal{L}$ on $X$, we classify for which $X$ and $\mathcal{L}$ the twisted syzygies and twisted dual syzygies bundles are Ulrich with respect to the polarizations $\mathcal{L}^a$. We obtain some partial results when considering an arbitrary polarization $H$.
要約:
The sl_2-triples play a fundamental role for the structure theory of Lie algebras, and representation theory in general. Here we investigate sl_2-triples of global vector fields on schemes X in positive characteristics p>0, and develop a general theory for actions of the corresponding height-one group scheme G=SL_2[F]. Sending a point to the Lie algebra of its stabilizer defines rational maps to various Grassmann varieties. For surfaces of general type, this yields fibrations in curves of genus g at least 2 over the projective line. Using properties of the corresponding moduli stack M_g, we prove that there are no smooth surfaces of general type with an sl_2-triple. On the other hand, employing Lefschetz pencils and Frobenius pullbacks we show that canonical surfaces of general type with such triples exist in abundance. In this connection, we classify the rational double points where the tangent sheaf is free or the evaluation pairing with K\"ahler differentials is surjetive, including characteristic two.
要約:
This paper investigates residue maps and their spanning properties for singular algebraic curves, with particular emphasis on three interconnected themes: the \emph{scheme--theoretic residue span}, the \emph{residue--balancing principle}, and \emph{residue balancing in the presence of arbitrary singularities}. Starting from the theory of dualizing sheaves on nodal curves, we reinterpret canonical and higher--order differentials as meromorphic objects on the normalization whose local principal parts are constrained by explicit residue conditions. A key result is the scheme--theoretic residue span theorem, which asserts that %
for nodal curves of geometric genus $g$ with $\delta$ nodes, when $\delta \ge g$ the residue functionals at the nodes span $H^0(C,\omega_C)^\vee$, so canonical differentials are completely determined by their residue data. This provides a concrete, linear description of $H^0(C,\omega_C)$ and yields powerful applications to deformation theory, Severi varieties, and moduli problems.
\vspace{0.1cm}
We then develop the residue--balancing principle, showing that global residue conditions on each irreducible component of a singular curve are equivalent to local balancing conditions at the singular points. This equivalence clarifies the local--to--global structure of dualizing sheaves and extends naturally to $k$--differentials. Finally, we address the case of arbitrary singularities, where nodes no longer suffice to describe local geometry. Using normalization and the conductor ideal, we formulate a refined balancing principle that replaces simple residue cancellation by higher--order and conductor--level constraints. Together, these results provide a unified framework for understanding how local singular behavior governs global differentials and their deformations.
要約:
We show that any immersion into a concentrated regular Noetherian algebraic stack with quasi-finite and locally separated diagonal satisfies the Thomason condition. In particular, the derived category of quasi-coherent sheaves on such an algebraic stack is singly compactly generated. This extends results of Hall--Rydh from separated to locally separated diagonal, under additional regularity hypotheses.
要約:
We prove the AKSZ theorem for shifted Poisson structures: if $X$ is an $n$-shifted Poisson derived stack, and $Y$ a $d$-oriented derived stack, then the mapping stack
\[\underline{\mathrm{Map}}(Y,X)\]
is naturally endowed with an $(n-d)$-shifted Poisson structure. For this, we prove that the data of an $n$-shifted Poisson structure on a derived Artin stack is equivalent to the data of an $(n+1)$-shifted Lagrangian thickening of it. We also extend the definition of shifted Poisson structures to derived prestacks having a deformation theory and give two applications, one for mapping stacks with a non-proper source and one in BV formalism.
要約:
We compute the automorphism schemes of smooth odd dimensional $(2,2)$-complete intersections in characteristic $2$. This is the only case for complete intersections having a non-trivial identity component in automorphism schemes apart from quadric hypersurfaces and genus $1$ curves.
要約:
We construct the $g=1$ sector of the open $r$-spin theory, that is, an open $r$-spin theory on the moduli space of cylinders. This is the second construction of a $g>0$ open intersection theory, which includes descendents (the first is the all genus construction of the intersection theory on moduli of open Riemann surfaces with boundaries [23,30], whose $g=1$ case equals to the $r=2$ case of our construction). Unlike the construction of [30], in order to construct the $r$-spin cylinder theory we had to overcome the foundational problem of dimension jump loci, which in analogous closed theories has been treated using virtual fundamental class techniques, that are currently absent in the open setting. For this reason our construction is much more involved, and relies on the point insertion technique developed in [31,32].
We prove that the open $g=1$ potential equals, after a coordinate change, to the $g=1$ part of the Gelfand-Dikii wave function, thus confirming a conjecture of [7]. We also prove that our $g=1$ intersection numbers satisfy a $g=1$ recursion, also predicted in [7,15]. This recursion is the $g=1$ analogue of Solomon's famous $g=0$ Open WDVV equation [25], with descendents, and is also the universal $g=1$ recursion for $F$-Cohomological field theories [1]. Again, this is first geometric construction which is not the $g=1$ sector of [23,30], proven to satisfy this universal recursion.
要約:
In this paper, we study a phenomenon concerning quasi-$F$-singularities: under suitable hypotheses, the finiteness of the quasi-$F^{\infty}$-split height ($\mathrm{ht}^{\infty}$) implies quasi-$F$-regularity, and moreover, $\mathrm{ht}^{\infty}$ coincides with the quasi-$F$-regular height ($\mathrm{ht}^{\mathrm{reg}}$). We establish this coincidence for two important classes of isolated Gorenstein singularities. First, we explicitly compute $\mathrm{ht}^{\infty}$ and $\mathrm{ht}^{\mathrm{reg}}$ for all rational double points, showing that every non-$F$-pure rational double point satisfies $\mathrm{ht}^\infty = \mathrm{ht}^{\mathrm{reg}}$. Second, for localizations of graded non-$F$-pure normal Gorenstein rings with $F$-rational punctured spectrum, we again obtain the equality $\mathrm{ht}^\infty = \mathrm{ht}^{\mathrm{reg}}$.
要約:
In this paper we establish duality theorems relating Bott-Chern and Aeppli cohomology, both with and without compact support, on non-compact complex manifolds under suitable pseudoconvexity assumptions. In particular, on Stein manifolds we obtain a full Bott-Chern-Aeppli duality extending Serre duality for Dolbeault cohomology. We also show that these results fail in general without pseudoconvexity assumptions by constructing explicit counterexamples on non-compact complex surfaces.
要約:
We prove an equivalence between filtrations of primitive bialgebras and filtrations of factorizable perverse sheaves, generalizing the results obtained by Kapranov-Schechtman. Under this equivalence, we find that the word length filtration of quantum shuffle algebras as defined in Ellenberg-Tran-Westerland corresponds to the codimension filtration of factorizable perverse sheaves. Furthermore, we find that the geometric weight filtration of factorizable perverse sheaves corresponds to a filtration on quantum shuffle algebras which has not been previously defined in the literature, and we call this the algebraic weight filtration. To apply this to Hurwitz spaces, we prove a comparison theorem between the weight filtrations for Hurwitz spaces over $\mathbb F_p$ and $\mathbb C$, generalizing the comparison theorem of Ellenberg-Venkatesh-Westerland. This allows us to determine the cohomological weights for Hurwitz spaces explicitly using the algebraic weight filtration of the corresponding quantum shuffle algebra. As a consequence, we find that most weights of Hurwitz spaces are smaller than expected from cohomological degree, and we prove explicit nontrivial upper bounds for weights in some cases, such as when $G=S_3$ and $c$ is the conjugacy class of transpositions.
要約:
We study the deformation behavior of Kobayashi hyperbolic embeddings for complements of divisors in projective toric varieties. In the toric setting, entire curves in divisor complements propagate along algebraic subtori, allowing hyperbolicity questions to be translated into combinatorial conditions on lattice-point configurations of Newton polytopes. Building on a theorem of Tiba, which guarantees hyperbolic embedding for a general divisor under suitable facewise lattice conditions, we develop an effective refinement of his argument. We construct an explicit Zariski closed exceptional locus in the coefficient parameter space, characterized by the presence of translated subtori in the support or complement of the divisor. This description makes the exceptional set amenable to explicit computation. Using this effectivity, we prove a deformation stability result: along any algebraic one--parameter family of divisors whose initial member avoids the exceptional locus, hyperbolic embedding fails for at most finitely many parameters. Under strengthened lattice-point hypotheses, we further exhibit distinguished one--parameter families for which hyperbolic embedding persists without any exceptional parameters. We also analyze deformations arising from diagonal torus reparametrizations, showing that the number of exceptional parameters in such similarity families is controlled by a simple multiplicative rank invariant of the scaling vector. Finally, we illustrate the theory through explicit examples in projective spaces and Hirzebruch surfaces, including a benchmark computation in $\mathbb{P}^3$ where the exceptional locus contains a hypersurface component of degree $126$.
要約:
This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a measure of the singularity of $X$. The conclusion holds for all positive integers $e$ when $X$ is locally complete intersection. The question of when one can take $G=\mathcal{O}_X$ is also investigated. For smooth projective complete intersections it reduces to a question of generation of the Kuznetsov component.
要約:
In this paper, we provide toric descriptions for various foliation singularities on toric varieties, especially for non-dicritical singularities and F-dlt singularities. We then show that the toric foliated minimal model program works by demonstrating that non-dicritical singularities and F-dlt singularities are preserved.
要約:
The papers [3,1,4,10] constructed an intersection theory on the moduli space of $r$-spin disks, proving mirror symmetry and relations with integrable hierarchies. That theory considered only disks with a single boundary state.In this work, we initiate the study of more general $r$-spin surfaces. We define graded $r$-spin surfaces with multiple internal and boundary states, together with their moduli spaces.
In genus zero, the disk case, we define the associated open Witten bundle and prove that it is canonically oriented relative to the moduli space. We also describe a gluing construction for moduli spaces along boundaries, show that it lifts to the Witten bundle and relative cotangent line bundles, and that the result remains canonically relatively oriented.
We then study the genus-one cylinder case. Here foundational difficulties arise because the Witten "bundle" is no longer an orbifold vector bundle. We resolve this by removing strata with incorrect fibre dimension, obtaining an orbibundle on the complement. The gluing method extends to genus one, and we prove that the Witten bundle again admits a canonical relative orientation.
In the sequel [21], we construct a family of $\lfloor r/2\rfloor$ intersection theories in genus-zero indexed by $\mathfrak h\in\{0,\ldots,\lfloor r/2\rfloor-1\}$, where the $\mathfrak h$-th theory has $\mathfrak h+1$ boundary states, and compute their intersection numbers. The case $\mathfrak h=0$ recovers the theory of [3,1].
In the sequel [20], restricting to the $\mathfrak h=0$ case, we construct an intersection theory on the moduli space of $r$-spin cylinders and show that its potential yields, after a change of variables, the genus-one part of the $r$th Gelfand-Dikii wave function, proving the genus-one case of the main conjecture of [4].
要約:
We investigate the Gopakumar-Vafa (GV) theory of local curves, namely, the total spaces of rank two vector bundles with canonical determinant on smooth projective curves. Under a certain genericity condition on the rank two bundles, we propose a general mechanism to compute the degree two GV invariants of local curves. In particular, we determine all the degree two GV invariants when the base curve has genus two. Combined with previous work by Bryan and Pandharipande, we obtain the GV/GW correspondence in this case. When the base curve has genus greater than two, we calculate GV invariants for some extremal genera, providing evidence for the GV/GW conjecture for curves of higher genus.
要約:
We describe a differential graded Lie algebra controlling infinitesimal deformations of triples $(X,\mathcal{F},\sigma)$, where $\mathcal{F}$ is a coherent sheaf on a smooth variety $X$ over an algebraically closed field of characteristic 0 and $\sigma\in H^0(X,\mathcal{F})$. Then, we apply this result to investigate deformations of pairs (variety, divisor).
要約:
We study the relative pro-$\ell$ and continuous relative completions of the algebraic fundamental groups of universal curves over the moduli stack of curves with unordered marked points in positive characteristic. Using specialization and homotopy exact sequences, we compare the ordered and unordered settings and prove that the natural projection from the relative completion of the universal curve over the unordered moduli stack admits no section in positive characteristic. This yields a non-splitting result for the corresponding projection on algebraic fundamental groups. The present paper is a sequel to our earlier work in characteristic zero.
要約:
We consider the curves $y^2=x^{2^m} -1$ and $y^2=x^{2^{d}+1}-x$ over the rationals. These curves are related via their associated Jacobian varieties in that the Jacobians of the latter appear as factors of the Jacobians of the former. One of the principal aims of this paper is to fully describe their Sato-Tate groups and distributions by determining generators of the component groups. In order to do this, we first prove the nondegeneracy of the two families of Jacobian varieties via their Hodge groups. We then use results relating Sato-Tate groups and twisted Lefschetz groups of nondegenerate abelian varieties to determine the generators of the associated Sato-Tate groups. The results of this paper add new examples to the literature of families of nondegenerate Jacobian varieties and of noncyclic component groups of Sato-Tate groups. Furthermore, we compute moment statistics associated to the Sato-Tate groups which can be used to verify the equidistribution statement of the generalized Sato-Tate conjecture by comparing them to moment statistics obtained for the traces in the normalized $L$-polynomials of the curves.
要約:
Loop invariants are properties of a program loop that hold both before and after each iteration of the loop. They are often used to verify programs and ensure that algorithms consistently produce correct results during execution. Consequently, generating invariants becomes a crucial task for loops. We specifically focus on polynomial loops, where both the loop conditions and the assignments within the loop are expressed as polynomials. Although computing polynomial invariants for general loops is undecidable, efficient algorithms have been developed for certain classes of loops. For instance, when all assignments within a while loop involve linear polynomials, the loop becomes solvable. In this work, we study the more general case, where the polynomials can have arbitrary degrees.
Using tools from algebraic geometry, we present two algorithms designed to generate all polynomial invariants within a given vector subspace, for a branching loop with nondeterministic conditional statements. These algorithms combine linear algebraic subroutines with computations on polynomial ideals. They differ depending on whether the initial values of the loop variables are specified or treated as parameters. Additionally, we present a much more efficient algorithm for generating polynomial invariants of a specific form, applicable to all initial values. This algorithm avoids expensive ideal computations.
要約:
We show that the number of lattice points in the boundary of a positive integer dilate of a Delzant integral polytope is a polynomial in the dilation parameter, analogous to the Ehrhart polynomial giving the number of lattice points in a lattice polytope. We give an explicit formula for this polynomial, analogous to the formula of Khovanskii-Pukhlikov for the Ehrhart polynomial. These counting polynomials satisfy a lacunarity principle, the vanishing of alternate coefficients, quite unlike the Ehrhart polynomial. We show that formal geometric quantization of singular Calabi Yau hypersurfaces in smooth toric varieties gives this polynomial, in analogy with the relation of the Khovanskii-Pukhlikov formula to the geometric quantization of toric varieties. The Atiyah-Singer theorem for the index of the Dirac operator gives a moral argument for the lacunarity of the counting polynomial. We conjecture that similar formulas should hold for arbitrary simple integral polytope boundaries.
要約:
In this short note we study the Hall induction of cotangent representations of reductive groups. We prove its torsion freeness in Borel-Moore homology. In K-theory we find an analog of wheel conditions verified by the image of restriction map to the fixed point and consider examples.