要約:
Resolutions of the diagonal of toric varieties has been an active area of study since Beilinson's celebrated resolution of the diagonal for $\PP^n$ and the disproof of King's conjecture. The author generalized a cellular resolution of the diagonal given by Bayer-Popescu-Sturmfels to yield a virtual resolution of the diagonal for smooth projective toric varieties, which extends to toric Deligne-Mumford stacks which are a global quotient of a smooth projective variety by a finite abelian group. Moreover, a celebrated result of Hanlon-Hicks-Lazarev gives a symmetric, minimal resolution of the diagonal for smooth projective toric varieties. This work studies when smooth projective toric Fano varieties in dimension 5 yield exceptional collections of line bundles using a resolution of the diagonal. We give the first known count of 300 out of 866 smooth projective toric Fano 5-folds for which the Hanlon-Hicks-Lazarev resolution of the diagonal yields a full strong exceptional collection of line bundles.
要約:
The statement of item (ii) of Proposition 3.2 of the article referenced in the title is not correct. We provide a corrected version and show that, under the assumption that $\gcd(a_i, a_j, q-1)=1$ for any pair $i\neq j$ in $\{0, \cdots, n\}$ (with the notations of the paper), our initial statement becomes valid, as does the remainder of the paper.
要約:
For a fixed element $g\in SL(2,C)$ and a word $w=[x^n,y^m]$ we consider the automorphism group $Aut(S_{g})$ of the affine threefold $S_{g}=\{(x,y)\in SL(2,C)^2 \ | w(x,y)=g\}.$ We prove that Makar-Limanov invariant $ML(S_{g})=\mathcal{O}(S_{g})$ and $Aut(S_{g})$ is Jordan.
要約:
In arXiv:2407.11958, a moduli stack parametrizing $I$--indexed diagrams of Higgs bundles over a base stack $X$ was constructed for any finite simplicial set $I$, inspiring speculations about extending the non-Abelian Hodge correspondence to these moduli stacks. In the present work, we formalize the de Rham side of this conjectural extension. We construct moduli stacks parametrizing diagrams of bundles with $\lambda$--connections over a base prestack $X$, where $\lambda$ can be a fixed number or a parameter. Taking $\lambda$ to be $1$ gives a moduli stack parametrizing diagrams of bundles with connection, while taking it to be a parameter gives a version of Simpson's non-Abelian Hodge filtration for digrams of bundles with connection. We show that when $X$ is a smooth and projective scheme over an algebraically closed field $k$ of characteristic $0$, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal.
要約:
Let $G/H$ be a symmetric space of a complex linear algebraic group $G$ and let $X$ be a nonsingular equivariant compactification of $G/H$. We investigate the question: when are minimal rational curves on $X$ orbit-closures of 1-parameter subgroups of $G$? We show that this is the case if the variety of minimal rational tangents (VMRT) at a base point in $G/H \subset X$ is Gauss-nondegenerate. Our method combines algebraic geometry of minimal rational curves with differential geometry of symmetric spaces: orbits of 1-parameter subgroups arise as holomorphic geodesics of an invariant torsion-free affine connection on $G/H$. We prove furthermore that the Gauss-nondegeneracy of VMRT holds for nonsingular equivariant compactifications of simple algebraic groups regarded as symmetric spaces. In this case, we also show that the VMRT is the closure of an adjoint orbit, which generalizes a result of Brion and Fu's on wonderful compactifications to arbitrary equivariant compactifications.
要約:
We study a categorified generalization of Koszul duality that treats duality phenomena among monoidal categories. We establish Koszul duality results for stable monoidal infinity-categories associated with Artin algebras and related algebras.
要約:
This paper reviews Lacini's classification [Lac24] of log del Pezzo surfaces of rank one in characteristics different from two and three, with a focus on where and how Lacini enhanced the techniques of Keel and McKernan [KM99]. We point out that there is at most one log del Pezzo surface that may have been erroneously omitted from the list in [Lac24, \S 6.1], namely the surface in Example 3.13. We also extend the results of [Lac24 \S 4.2] to arbitrary characteristic.
要約:
Let $\V_{d,n}$ be the Severi variety of irreducible plane curves of degree $d\ge 4$ having $n$ nodes, with $0\le n \le \binom{d-1}{2}-1$. We prove that for every $[\ol C]\in \V_{d,n}$, the infinitesimal variation of the Hodge structure of the normalization $C$ of $\ol C$ is maximal as $[\ol C]$ moves in $\V_{d,n}$. As a preliminary result, we also prove that the family of curves of genus $g \ge 1$ mapping with degree $d \ge 2$ to a fixed curve $Y$ of genus $\pi$ has maximal variation if and only if $\pi = 0$.
要約:
We prove the conjecture stated by Spencer Bloch in 1975 and saying that the Albanese kernel of a smooth projective surface is 0, provided its second cohomology group is algebraic.
要約:
In this paper, we prove a Lefschetz-Riemann-Roch theorem for singular projective schemes which admit diagonalisable group scheme actions, this result generalizes P. Baum, W. Fulton and G. Quart's Lefschetz-Riemann-Roch theorem for singular varieties (cf. \cite{BFQ}) to general scheme case.
要約:
We provide the complete list of the connected components of the spaces of non-discriminant functions within standard versal deformations of function singularities of classes $X_9$ and $J_{10}$. Thus, we prove (and improve in one particular case) all corresponding conjectures from the previous work \cite{para} with the same title.
要約:
Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field and let $X\to \mathrm{Spec} (A)$ be a resolution of singularity. We prove a theorem giving a condition under which the dimension of the cohomology group of invertible sheaves on $X$ coincides with a natural lower bound. Applying this theorem, we establish upper bounds for the normal reduction number $\bar{\mathrm{r}}(A)$ of $A$. For example, we prove the inequality $\bar{\mathrm{r}}(A) \le p_a(A)+1$, where $p_a(A)$ denotes the arithmetic genus, a fundamental combinatorial (topological) invariant. We introduce the notion of almost cone singularities and give a sharper inequality $\bar{\mathrm{r}}(A) \le p_f(A)+1$ for such singularities, where $p_f(A)$ denotes the fundamental genus. We also show that $\bar{\mathrm{r}}(A)$ is not a combinatorial invariant in general.
要約:
In this paper, we study how global index formulas arise in the theory of one-dimensional holomorphic foliation from the microlocal point of view. We give short proofs and generalizations to a few exisiting index formulas concerning Schwartz, GSV and logarithmic indices.
要約:
The deformation theory of singular varieties plays a central role in understanding the geometry and moduli of algebraic varieties. For a variety $X$ with possibly singular points, the space of first-order infinitesimal deformations is given by \( T^1_X = \operatorname{Ext}^1_{\mathcal{O}_X}(\Omega_X, \mathcal{O}_X), \) which measures the Zariski tangent space to the deformation functor of $X$. When $T^1_X = 0$, the variety is said to be \emph{rigid}; otherwise, nonzero elements of $T^1_X$ correspond to nontrivial first-order deformations. We investigate the structure of $T^1_X$ for singular varieties and provide cohomological and geometric criteria ensuring non-rigidity. In particular, we show that if the sheaf of tangent fields $T_X$ possesses nonvanishing cohomology $H^1(X, T_X)$ or if the local contributions $\mathcal{E}xt^1(\Omega_X, \mathcal{O}_X)$ are supported on a positive-dimensional singular locus, then $T^1_X \neq 0$. For hypersurface singularities $X = \{ f = 0 \} \subset \mathbb{C}^{n+1}$, we recover the Jacobian criterion, \[ T^1_X \cong \frac{\mathbb{C}[x_0, \dots, x_n]}{(f, \partial f / \partial x_0, \dots, \partial f / \partial x_n)}, \] where the positivity of the Tjurina number $\tau(X)$ characterizes the existence of nontrivial deformations. Moreover, non-rigidity arises when $X$ % appears as a cone over a projectively nonrigid variety. These criteria provide effective tools for detecting non-rigidity in both local and global settings, linking the vanishing of Ext and cohomology groups to the deformation behavior of singularities. The results contribute to a deeper understanding of the interplay between singularity theory, moduli, and the rigidity properties of algebraic varieties.
要約:
The deformation theory of affine cones over polarized projective varieties, initiated by Pinkham and further developed by Schlessinger and Wahl, is central to the study of singularities and graded deformation functors. For a projective variety \(Y\) with ample line bundle \(\mathcal L\), the affine cone \(C(Y)\) carries a natural \(\mathbb Z\)-grading, and Pinkham's classical result identifies the graded pieces of its first-order deformation space: \[
T^{1}(C(Y))_m \,\cong\,
H^{1}\!\left(Y,\,T_Y \otimes \mathcal L^{\otimes m}\right). \] This expresses that deformations of \(C(Y)\) come from weighted deformations of \((Y,\mathcal L)\), with negative weights corresponding to smoothings and nonnegative weights to embedded deformations. %
We give a streamlined proof of this isomorphism for possibly singular \(Y\), using reflexive differentials and \(\mathbb G_m\)-equivariant deformations of the punctured cone. We then compute graded deformation spaces for several examples, illustrating phenomena from smoothability to rigidity. As an application, we obtain a practical rigidity criterion: if \(
H^1(Y,\,T_Y \otimes \mathcal L^{\otimes m})=0
\text{ for all } m\in\mathbb Z, \) then \(C(Y)\) is rigid. We exhibit explicit polarized varieties satisfying these vanishings, producing new rigid affine cones.
要約:
Above a Laurent polynomial f one makes grow a vector space of vanishing cycles (after the work of Sabbah, singularity setting), a graded Milnor ring (after the work of Kouchnirenko) and an orbifold cohomology ring (after the work of Borisov, Chen and Smith). Under suitable assumptions, these structures are isomorphic and these identifications are interesting because some results are more explicit in one setting than in another. In particular, and in order to understand better the real structures and the dualities appearing in the singularity setting, we first look for the counterpart of Sabbah's mixed Hodge structures, initially defined on the space of vanishing cycles, on the orbifold cohomology ring. Then, we discuss to what extent the orbifold Poincar\'e duality defined by Chen and Ruan provides a polarization of this mixed Hodge structure. We study in details the Hodge-Tate case, which can be read off from the ages of the sectors, a variation of the hard Lefschetz condition introduced by Fernandez. These notes go along with prior works of Fernandez and Wang.
要約:
We study the affine cone over a reducible nodal curve $X$ obtained by gluing three projective lines along three pairs of points to form a connected curve of arithmetic genus \(1\). We endow \(X\) with a line bundle \(L\) of multidegree \((4,3,3)\), and we show that \(L\) is very ample, giving an embedding into \( \mathbb{P}^9\). We then analyze in detail the affine cone \( C(X) \) and determine its singular locus, which consists of three singular lines meeting at the vertex.
要約:
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 the bounded derived category of it. Also, we observe that 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 prove that the Hitchin connection for $\operatorname{SL}_2$ at level four can be understood in terms of the Mumford-Welters connections on bundles of abelian theta functions for Prym torsors of all unramified double covers, and use this to show that its monodromy is finite. This builds on earlier works, for individual curves, of the last named author with Oxbury and Ramanan. The key ingredients in making this work on the level of connections are equivariant conformal embeddings, and anti-invariant level-rank duality.
要約:
We introduce a new Hermitian metric on the cohomology ring of compact K\"ahlerian manifolds with a pair $(v,w)$ satisfying certain Hodge-Riemann relations. An Hermitian metric on the exterior algebra of the cotangent bundle is also defined and we establish the corresponding theory of harmonic forms, relating the global metric and local metric. This generalizes the classical Hodge theory. As an immediate application we give a new proof of Dinh-Nguyen's theorem on the Hodge-Riemann relations for mixed K\"ahler classes. We give several other applications to the Lefschetz property and Hodge-Riemann relations of Chern classes of ample vector bundles.
要約:
The Kadomtsev-Petviashvili (KP) equation is the cornerstone of integrable systems, whose solutions reflect deep connections in algebraic geometry. Banana curves are reducible rational curves obtained as a degeneration of hyperelliptic curves. In this work, we relate the family of KP multi-solitons arising from banana curves together with non-special divisors of fixed degree to the combinatorics of the tropical theta divisor of the curve. We describe the Voronoi and Delaunay polytopes and show that the latter are combinatorially equivalent to uniform matroid polytopes. As a consequence, the combinatorics of the tropical theta divisor canonically encodes the matroid and Grassmannian structures underlying the associated KP multi-soliton solutions. We define the Hirota variety of a banana graph, which parametrizes all tau functions arising from such a graph. Starting from the matroid arising from Delaunay polytopes and the periods in the tropical limit, we construct an explicit parametrization of this variety which realizes the tau function as a multi-soliton. Our framework specializes naturally to real and positive settings.
要約:
We characterize components of the locally free locus $\operatorname{Quot}^{n,d}_{\mathbb{P}^1}(\mathcal{O}(\vec{e}))^{\circ}$ of the Quot scheme associated to any vector bundle on $\mathbb{P}^1$. Specifically, we show that the components are in bijection with certain combinatorial objects which we call strongly stable pairs. Using our explicit understanding of the components, we prove that $\operatorname{Quot}^{n,d}_{\mathbb{P}^1}(\mathcal{O}(\vec{e}))^{\circ}$ is connected, and we give an explicit bound for when $\operatorname{Quot}^{n,d}_{\mathbb{P}^1}(\mathcal{O}(\vec{e}))^{\circ}$ is irreducible. The key ingredient is a combinatorial criterion for when a triple of vector bundles on $\mathbb{P}^1$ arises in a short exact sequence. As a consequence, we prove that in codimension $2$, all integral lattice points in the Boij-S\"oderberg cone are Betti diagrams of actual modules.
要約:
We consider multiple zeta values, which are periods of mixed Tate motives over $\mathbb Z$. For a given multiple zeta value $\zeta$, there exists a unique minimal motive $M(\zeta)$ such that $\zeta$ is a period of $M(\zeta)$. In general, the motive $M(\zeta)$ is difficult to compute. In this article, we compute the minimal motive $M(a,b)$ associated to a given double zeta value $\zeta(a,b)$. We also compute the motivic Galois group $G(a,b)$ associated to $\zeta(a,b)$ and discuss its dimension. Moreover, we give a period matrix of $M(a,b)$. The period conjecture predicts that the dimension of $G(a,b)$ equals the transcendence degree of the algebra of periods of $M(a,b)$. Hence our results lead to conjectures about algebraic relations between single and double zeta values.
要約:
We define the nef complexity of a projective variety $X$. This invariant compares $\dim X+\rho(X)$ with the sum of the coefficients of nef partitions of $-K_X$. We prove that the nef complexity is non-negative and it is zero precisely for products of projective spaces. We classify smooth Fano threefolds with nef complexity at most one. In a similar vein, we prove Mukai's conjecture for smooth Fano varieties for which every extremal contraction is of fiber type and study smooth images of products of projective spaces. Along the way, we answer positively a question of J. Starr regarding the nef cone of smooth Fano varieties.
要約:
We study the integral models of meta-unitary Shimura varieties through the lens of Scholze's fiber product conjecture. Reformulating Bultel's original construction in terms of moduli stacks of Shtukas and Igusa stacks, we prove the validity of the fiber product formula for this class of non-abelian type Shimura varieties, thereby generalizing the works of Zhang and Daniels, Van Hoften, Kim, and Zhang. We utilize this geometric description to derive local-global compatibility results and, adapting the strategy of Zhu and Yang, apply the unipotent categorical local Langlands correspondence to prove a general vanishing theorem for the generic part of the cohomology of meta-unitary Shimura varieties.
要約:
We consider the problem of reconstruction of an $n\times n$ matrix with coefficients depending rationally on $x\in \mathbb P^1$ from the data of: (a) its characteristic polynomial and (b) a line bundle of degree $g+n-1$, with $g$ the geometric genus of the spectral curve, represented by a choice of $g+n+1$ points forming a (non-positive) divisor of the given degree.
We thus provide a reconstruction formula that does not involve transcendental functions; this includes formulas for the spectral projectors and for the change of line bundle, thus integrating the isospectral flows.
The formula is a single residue formula which depends rationally on the coordinates of the points involved, the coefficients of the spectral curve, and the position of the finite poles of $L$. We also discuss the canonical bi-differential associated with the Lax matrix and its relationship with other bi-differentials that appear in Topological Recursion and integrable systems.
要約:
We define a generalized Jacobian $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and a generalized Picard group $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ of a graph $\mathit{Gr}$ with respect to a modulus $ \mathfrak{m}=\sum_{i=1}^s m_iw_i$ with $w_i$ vertices of $\mathit{Gr}$ and $m_i\geq 1$. These groups occur as the component groups of N\'{e}ron models of generalized Jacobians. We prove a universal mapping property for $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and show that an Abel-Jacobi map in this context induces an isomorphism from $\mathrm{P}_\frak{m}(\mathit{Gr})$ to $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$. We also reinterpret $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ in terms of sheaves on the geometric realization $\left| \mathit{Gr}\right|$ of $\mathit{Gr}$, making a connection with tropical geometry.
要約:
In 2004, Han proposed the following conjecture: let $B$ be a finite-dimensional $k$-algebra. If $\mathrm{HH}_{n}(B)\neq 0$ for only finitely many $n\in \mathbb{Z}$, then $B$ is smooth. This conjecture can be generalized to the DG setting: let $B$ be a finite-dimensional DG $k$-algebra. If $\mathrm{HH}_{n}(B)\neq 0$ for only finitely many $n\in \mathbb{Z}$, then $B$ is smooth. In this note, we show that the DG generalization of Han's conjecture is false.
要約:
We prove the analogue of Malle's conjecture for the global function field $\F_q(t)$ with $q$ sufficiently large, including a precise formula for the leading constant. The main ingredients are the recent breakthrough of Landesman--Levy on the stable homology of Hurwitz spaces, a novel interpretation of the Frobenius fixed components of Hurwitz spaces in terms of the Brauer group of the stack $BG$ and an interpretation of the number of $\F_q$ points of configuration spaces as a certain Tamagawa volume.
要約:
We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with the universal enveloping algebra of its Lie algebra. Hence, for Lie $\infty$-groups, we consider simplicial coalgebras of point distributions. To do this properly, we first develop the homotopy theory of pointed formal $\infty$-groupoids within K. Behrend and E. Getzler's framework for higher geometric stacks. These objects are "higher" but not "derived", which is an important distinction for the geometric applications in mind. The second part of our construction relies on a careful analysis of J. Pridham's variation of the Dold-Kan adjunction for cosimplicial algebras. Our main result is a differentiation functor at the level of 1-categories from finite-dimensional Lie $\infty$-groups to finite-type Lie $\infty$-algebras that is homotopically well-behaved, coordinate-free, and explicit yet tractable. In particular, if $G_\bullet$ is a simplicial Lie group with Lie algebra $\mathfrak{g}_\bullet$, we prove that the differentiation of its classifying space $\overline{\mathscr{W}}_{\! \bullet}G$ is canonically isomorphic to the dg Lie algebra of normalized chains $N_\ast(\mathfrak{g}_\bullet)$.
要約:
We study the conjecture stated by Jensen and Len on a tropical version on Martens' theorem via the Brill--Noether rank of a tropical curve. We recall Coppens' counterexample of Martens-special chain of cycles, and we generalize the construction defining another class of graphs, Martens-special trees of cycles, for which the conjecture does not hold in a similar setting. These are not the only counterexamples. However, we prove that the conjecture holds for all metric graphs with a stricter assumption on the degree in the Brill--Noether rank.
要約:
We prove a conjecture of Odaka--Oshima, which says that there is an algebraic description of the Gromov--Hausdorff compactification of all unit-diameter hyperk\"ahler metrics on K3 surfaces. As a corollary, we obtain a classification of the Gromov--Hausdorff limits of those hyperk\"ahler K3 surfaces with a fixed complex structure or with a fixed polarization.
要約:
We consider the action of a permutation group $G$ of order $k$ on the tropical polynomial semiring in $n$ variables. We prove that the sub-semiring of invariant polynomials is finitely generated if and only if $G$ is generated by $2$-cycles. There do exist finitely many separating invariants of degree at most $\max\{n,{n\choose 2}\}$. Separating tropical invariants can be used to construct bi-Lipschitz embeddings of the orbit space ${\mathbb R}^n/G$ into Euclidean space. We also show that the invariant polynomials of degree $\leq n p_1p_2\cdots p_k$ generate the semifield of invariant rational tropical functions, where $p_1,p_2,\dots,p_k$ are the first $k$ prime numbers. Most results are also true over arbitrary semirings that are additively idempotent and multiplicatively cancellative.
要約:
Flach and Morin constructed in (Doc. Math. 23 (2018), 1425--1560) Weil-\'etale cohomology $H^i_\text{W,c} (X, \mathbb{Z} (n))$ for a proper, regular arithmetic scheme $X$ (i.e. separated and of finite type over $\operatorname{Spec} \mathbb{Z}$) and $n \in \mathbb{Z}$. In the case when $n < 0$, we generalize their construction to an arbitrary arithmetic scheme $X$, thus removing the proper and regular assumption. The construction uses \'etale motivic cohomology groups $H^i(X_\text{\'et}, \mathbb{Z}^c(n))$, as studied by Geisser (Ann. of Math. (2) 172 (2010), 1095--1126), and assumes their finite generation for $n < 0$. We give a class of X for which finite generation is known, and hence $H^i_\text{W,c} (X, \mathbb{Z} (n))$ is defined unconditionally.
要約:
Let $\mathbb{Q}$ be the field of rational numbers and let $X$ be a subset of $\mathbb{R}^n$. We say that $X$ is $\mathbb{Q}$-algebraic if it is the common zero set in $\mathbb{R}^n$ of a family of polynomials in $\mathbb{Q}[\mathtt{x}_1,\ldots,\mathtt{x}_n]$. If $X$ is $\mathbb{Q}$-algebraic and of dimension $d$, then we say that $X$ is $\mathbb{Q}$-nonsingular if, for all $a\in X$, there exist a neighborhood $U$ of $a$ in $\mathbb{R}^n$ and $f_1,\ldots,f_{n-d}\in\mathbb{Q}[\mathtt{x}_1,\ldots,\mathtt{x}_n]$ such that $\nabla f_1(a),\ldots,\nabla f_{n-d}(a)$ are linearly independent and $X\cap U=\{x\in U:f_1(x)=0,\cdots,f_{n-d}(x)=0\}$.
The celebrated Nash-Tognoli theorem asserts the following: if $M$ is a compact smooth manifold of dimension $d$ and $\psi:M\to\mathbb{R}^{2d+1}$ is a smooth embedding, then $\psi$ can be approximated by an arbitrarily close smooth embedding $\phi:M\to\mathbb{R}^{2d+1}$ whose image $\phi(M)$ is a nonsingular algebraic subset of $\mathbb{R}^{2d+1}$. In this article, we prove that $\phi$ can be chosen in such a way that $\phi(M)$ is a $\mathbb{Q}$-nonsingular $\mathbb{Q}$-algebraic subset of $\mathbb{R}^{2d+1}$. This guarantees for the first time that, up to smooth diffeomorphisms, every compact smooth manifold $M$ can be described both globally and locally by means of finitely many exact data, such as a finite system of generators of the ideal of polynomials in $\mathbb{Q}[\mathtt{x}_1,\ldots,\mathtt{x}_{2d+1}]$ vanishing on $\phi(M)$. We extend our result to the singular setting by proving that every real algebraic set with finitely many singularities is semialgebraically homeomorphic to a $\mathbb{Q}$-algebraic set with the same number of singularities.
要約:
We construct three simplicial presheaves on the site of ringed spaces, and in particular on that of complex manifolds. The descent objects for these simplicial presheaves yield Toledo--Tong's twisting cochains, simplicial twisting cochains, and complexes that appear in Green's thesis on Chern classes for coherent analytic sheaves, respectively. We thus extend the aforementioned constructions to the equivariant setting, and more generally to stacks. This is the first step in achieving push-forwards in K-theory and Riemann--Roch theorems for appropriate stacks, as was achieved by Toledo and Tong for arbitrary complex manifolds, and further pursued by O'Brian and Green.
要約:
In this work, we study inequalities and enumerative formulas for flags of Pfaff systems on $\mathbb{P}^n_{\mathbb{C}}$. More specifically, we find the number of independent Pfaff systems that leave invariant a one-dimensional holomorphic foliation and deduce inequalities relating the degrees in the flags, which can be interpreted as the Poincar\'e problem for flags. Moreover, restricting to a flag of specific holomorphic foliations/distributions, we obtain inequalities involving the degrees. As a consequence, we prove stability results for the tangent sheaf of some rank two holomorphic foliations/distributions.
要約:
We consider $A$-hypergeometric (or GKZ-)systems in the case where the grading (character) group is an arbitrary finitely generated Abelian group. Emulating the approach taken for classical GKZ-systems in arXiv:math/0406383 that allows for a coefficient module, we show that these $D$-modules are holonomic systems. For this purpose we formulate an Euler--Koszul complex in this context, built on an extension of the category of $A$-toric modules. We derive that these new systems are regular holonomic under circumstances that are similar to those that lead to regular holonomic classical GKZ-systems.
For the appropriate coefficient module, our $D$-modules specialize to the "better behaved GKZ-systems" introduced by Borisov and Horja. We certify the corresponding $D$-modules as regular holonomic, and establish a holonomic duality on the level of $D$-modules that was suggested on the level of solutions by Borisov and Horja and later shown by Borisov and Han in a special situation (arXiv:1308.2238, arXiv:2301.01374).
要約:
In this paper, we investigate K-polystability on smooth complex Fano 4-folds with Lefschetz defect at least 2, focusing on the case of Lefschetz defect 3 and on Casagrande-Druel Fano 4-folds with Lefschetz defect 2. We show that exactly 5 of the 19 families of Fano 4-folds with Lefschetz defect 3 are K-polystable. Moreover, among 175 families of Casagrande-Druel Fano 4-folds with Lefschetz defect 2, we prove that 5 are K-polystable, while 132 are K-unstable.
要約:
We give a counterexample to the Arithmetic Puncturing Conjecture and Geometric Puncturing Conjecture of Hassett-Tschinkel using symmetric powers of uniruled surfaces, and propose a corrected conjecture inspired by Campana's conjectures on special varieties. We confirm Campana's conjecture on potential density for symmetric powers of products of curves. As a by-product, we obtain an example of a surface without a potentially dense set of rational points, but for which some symmetric power does have a dense set of rational points, and even satisfies Corvaja-Zannier's version of the Hilbert property.
要約:
We construct explicit examples that are algebraic varieties in positive characteristic to show that locally trivial moduli functors do not always satisfy Schlessinger's condition $(H_1)$ in [3], in contrast to the complex/characteristic $0$ case. The first example is an algebraic curve, and the second is a normal rational projective surface with only one rational double point.
要約:
This article extends the study of cyclic ramified covers of the projective line defined by Kummer equations. We consider the most general case of such covers, allowing arbitrary orders in the roots of the generating radicant. The primary goal is the computation of the fundamental group of both the open and complete curve. We employ tools of combinatorial group theory utilizing the Smith Normal Form. This result is further visualized through the theory of foldings and $S$-graphs. Finally, we apply the theory of Alexander modules and the Crowell exact sequence to compute the abelianization of the fundamental group, $H_{1}(X, \mathbb{Z})$, and determine its Galois~module~structure over a field $k$ confirming the result using the Chevalley-Weil formula.
要約:
This is a collection of articles, written as sections, on arithmetic properties of differential equations, holomorphic foliations, Gauss-Manin connections and Hodge loci. Each section is independent from the others and it has its own abstract and introduction and the reader might get an insight to the text by reading the introduction of each section. The main connection between them is through comments in footnotes. Our major aim is to develop a theory of leaf schemes over finitely generated subrings of complex numbers, such that the leaves are also equipped with a scheme structure. We also aim to formulate a local-global conjecture for leaf schemes.
要約:
In this work, we establish two main results in the context of arithmetic and geometric properties of plane curves. First, we construct numerous new examples of arithmetic Zariski pairs and multiplets, where only a few ones were previously available. Second, we describe a faithful action of the absolute Galois group on the equisingular strata of plane curves, providing insights into the interplay between Galois representations and the geometry of singular plane curves. We conclude the paper with very concretes examples of the general results obtained.
要約:
For real polynomial maps and mixed polynomial maps $f=(f^1,\dots,f^p)$, with $f(0)=0$, we introduce the notion of \textit{Inner Khovanskii Non-Degeneracy} (IKND), which generalize a previous non-degeneracy condition for complex polynomial functions introduced by Wall Wall (J. Reine Angew. Math. 509 (1999), 1-19.). We prove that IKND is a sufficient condition that ensures the link of the singularity of $f$ at the origin is smooth and well-defined. We then study one-parameter deformations of an IKND map $f$, given by $F(\bm{x},\varepsilon)=f(\bm{x})+\theta(\bm{x},\varepsilon),\ F(0,\varepsilon)=0$. We prove that the deformation is \textit{link-constant} under suitable conditions on $f$ and $\theta$, meaning that the ambient isotopy type of the link remains unchanged along the deformation. Furthermore, by employing a strong version of this non-degeneracy, \textit{Strong Inner Khovanskii Non-Degeneracy} (SIKND), we obtain results on topological triviality. Finally, as an application of our link-constancy results, we provide a complete characterization of the links arising from IKND mixed polynomial functions in two variables, thereby extending and refining the characterization previously established by Bode (Bull. Braz. Math. Soc. (N.S.) 56 (2025), no. 4, Paper No. 55).
要約:
Let $E$ be a smooth cubic in the projective plane $\mathbb{P}^2$. Nobuyoshi Takahashi formulated a conjecture that expresses counts of rational curves of varying degree in $\mathbb{P}^2\setminus E$ as the Taylor coefficients of a particular period integral of a pencil of affine plane cubics after reparametrizing the pencil using the exponential of a second period integral.
The intrinsic mirror construction introduced by Mark Gross and the third author associates to a degeneration of $(\mathbb{P}^2, E)$ a canonical wall structure from which one constructs a family of projective plane cubics that is birational to Takahashi's pencil in its reparametrized form. By computing the period integral of the positive real locus explicitly, we find that it equals the logarithm of the product of all asymptotic wall functions. The coefficients of these asymptotic wall functions are logarithmic Gromov-Witten counts of the central fiber of the degeneration that agree with the algebraic curve counts in $(\mathbb{P}^2,E)$ in question. We conclude that Takahashi's conjecture is a natural consequence of intrinsic mirror symmetry. Our method generalizes to give similar results for log Calabi-Yau varieties of arbitrary dimension.
要約:
We study the geometry, Hodge theory and derived category of cubic fourfolds containing several planes and their associated twisted K3 surfaces. We focus on the case of two planes intersecting along a line.
要約:
We study the variation of the Enriquez connection for higher genus polylogarithms under degenerations of Riemann surfaces with marked points, and show that this connection becomes the connection constructed by the author for degenerating families of pointed Riemann surfaces. Therefore, we have an important application that the higher genus polylogarithms derived from the Enriquez connection can be described explicitly as power series in deformation parameters and their logarithms associated with the families whose coefficients are expressed by multiple zeta values.
要約:
For a wildly ramified extension $K/k$ of complete discrete valuation fields we study collections of elements of $k[G]$ (where $G=Gal(K/k)$) that fit well for constructing bases of various associated Galois modules and orders. In the case $G=(Z/pZ)^2$ (where $p$ is the characteristic of residue fields) we are able to compute the action of the elements $(\sigma_1-1)^i(\sigma_2-1)^j,\ 0\le i,j\le p-1,$ on the valuation filtration; here $\sigma_1,\sigma_2$ are generators of $G$. If the ramification jumps of $K/k$ are distinct modulo $p^2$ then these elements do yield "good enough" bases in question.
要約:
We produce a formula for the $\mathbb{Z}_2$-Betti numbers of the moduli space $M_r^d$ of stable real Higgs bundles over a real projective curve, with coprime rank $r$ and degree $d$. Our approach relies on the motivic formula for the moduli space due to Mellit, Fedorov-Soibelman-Soibelman, and Schiffmann , and the fact that the virtual $\mathbb{Z}_2$ Poincar\'e polynomial is a motivic measure over $\mathbb{R}$.
要約:
We prove non-trivial bounds for bilinear forms with hyper-Kloosterman sums with characters modulo a prime $q$ which, for both variables of length $M$, are non-trivial as soon as $M\geq q^{3/8+\delta}$ for any $\delta>0$. This range, which matches Burgess's range, is identical with the best results previously known only for simpler exponentials of monomials. The proof combines refinements of the analytic tools from our previous paper and new geometric methods. The key geometric idea is a comparison statement that shows that even when the "sum-product" sheaves that appear in the analysis fail to be irreducible, their decomposition reflects that of the "input" sheaves, except for parameters in a high-codimension subset. This property is proved by a subtle interplay between \'etale cohomology in its algebraic and diophantine incarnations. We prove a first application concerning the first moment of a family of $L$-functions of degree $3$.
要約:
We give a computability result for open Gromov-Witten invariants based on open WDVV equations. This is analogous to the result of Kontsevich-Manin for closed Gromov-Witten invariants. For greater generality, we base the argument on a formal object, the Frobenius superpotential, that generalizes several different definitions of open Gromov-Witten invariants. As an application, we prove vanishing properties for open Gromov-Witten invariants on products of projective spaces.
要約:
We study $t$-structures (on triangulated categories) that are closely related to weight structures.
A $t$-structure couple $t=(C_{t\le 0},C_{t\ge 0})$ is said to be adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge 0}=C_{w\ge 0}$.
For a category $C$ that satisfies the Brown representability property we prove that $t$ that is adjacent to $w$ exists if and only if $w$ is smashing (that is, "respects C-coproducts"). The heart $Ht$ of this $t$ is the category of those functors $Hw^{op}\to Ab$ that respect products (here $Hw$ is the heart of $w$); the result has important applications.
We prove several more statements on constructing $t$-structures starting from weight structures; we look for a strictly orthogonal $t$-structure $t$ on some $C'$ (where $C,C'$ are triangulated subcategories of a common $D$) such that $C'_{t\le 0}$ (resp. $C'_{t\ge 0}$) is characterized by the vanishing of morphisms from $C_{w\ge 1}$ (resp. $C_{w\le -1}$). Some of these results generalize properties of semi-orthogonal decompositions proved in the previous paper, and can be applied to various derived categories of (quasi)coherent sheaves on a scheme $X$ that is projective over an affine noetherian one. We also study hearts of orthogonal $t$-structures and their restrictions, and prove some statements on "reconstructing" weight structures from orthogonal $t$-structures.
要約:
We introduce a nonabelianization map for conformal blocks, which relates $c=1$ Virasoro blocks on a Riemann surface $C$ to Heisenberg blocks on a branched double cover $\widetilde{C}$ of $C$. The nonabelianization map uses the datum of a spectral network on $C$. It gives new formulas for Virasoro blocks in terms of fermion correlation functions determined by the Heisenberg block. The nonabelianization map also intertwines with the action of Verlinde loop operators, and can be used to construct eigenblocks. This leads to new Kyiv-type formulas and regularized Fredholm determinant formulas for $\tau$-functions.
要約:
This paper studies the stability of tensor ranks under field extensions. Our main contributions are fourfold: (1) We prove that the analytic rank is stable under field extensions. (2) We establish the equivalence between the partition rank vs. analytic rank conjecture and the stability conjecture for partition rank. We also prove that they are equivalent to other two important conjectures. (3) We resolve the Adiprasito-Kazhdan-Ziegler conjecture on the stability of the slice rank of linear subspaces under field extensions. (4) As an application of (1), we show that the geometric rank is equal to the analytic rank up to a constant factor.
要約:
The Eulerian tonnetz, which associates three minor chords to each major chord and three major chords to each minor chord, can be represented by a bipartite graph with twelve white vertices denoting major chords and twelve black vertices denoting minor chords. This so-called Levi graph determines a configuration of twelve points and twelve lines in $\mathbb R^2$ with the property that three points lie on each line and three lines pass through each point. Interesting features of the tonnetz, such as the existence of the four hexatonic hexacycles and the three octatonic octacycles, crucial for the understanding of nineteenth-century harmony and voice leading, can be read off rather directly as properties of this $\{12_3\}$ and its Levi graph. Analogous tone networks together with their associated Levi graphs and configurations can be constructed for pentatonic music and twelve-tone music, offering the promise of new methods of composition. When the constraints of the Eulerian tonnetz are relaxed so as to allow movements between major and minor triads with variations at exactly two tones, the resulting bipartite graph has two components, each of which generates a tessellation of the plane, of a type known to Kepler, based on hexagons, squares and dodecagons. When the same combinatorial idea is applied to tetrachords of the Tristan genus (dominant sevenths and minor sixths) the cycles of the resulting bipartite graph are sufficiently ample in girth to ensure the existence of a second geometrical configuration of type $\{12_3\}$, distinct from the Eulerian tonnetz as an incidence geometry, which can be used as the basis for a new approach to the analysis of the music of Chopin, Wagner, Tchaikovsky, Brahms and their contemporaries.
要約:
A field extension $L/K$ of characteristic $p > 0$ is formally \'etale if and only if the relative Frobenius of $L/K$ is an isomorphism. Inspired by this classical result, we explore whether the formally \'etale property for a map $R \to S$ of $\mathbf{F}_p$-algebras is characterized by isomorphism of the relative Frobenius $F_{S/R}$. While $F_{S/R}$ being an isomorphism implies $R \to S$ is formally \'etale, the converse fails in the non-Noetherian setting. Thus, following Morrow, we introduce an enhancement of the formally \'etale property that we call b-nil (bounded nil) formally \'etale, and we show that $F_{S/R}$ is an isomorphism precisely when $R \to S$ is b-nil formally \'etale. We prove this result by first establishing several structural properties of b-nil formally smooth maps, which are defined analogously to the formally smooth case. Our structural results reveal that the b-nil formally smooth (resp. \'etale) property is quite different from the formally smooth (resp. \'etale) property. For instance, we show that any b-nil formally smooth algebra over an $F$-pure ring is reduced, whereas non-reduced formally \'etale algebras exist over $\mathbf{F}_p$ by a construction of Bhatt. We also show that the b-nil formally \'etale property neither implies nor is implied by having a trivial cotangent complex. We explore when formally smooth (resp. \'etale) implies b-nil formally smooth (resp. \'etale) in prime characteristic. A satisfactory picture emerges for ideal adic completions.
要約:
We study the polynomial optimization problem of minimizing a multihomogeneous polynomial over the product of spheres. This polynomial optimization problem models the tensor optimization problem of finding the best rank one approximation of an arbitrary tensor. We show that the moment-SOS hierarchy has finite convergence in this case, for a generic multihomogeneous objective function. To show finite convergence of the hierarchy, we use a result of Huang et al. [SIAM J. Optim. 34(4) (2024), pp 3399-3428], which relies on local optimality conditions. To prove that the local optimality conditions hold generically, we use techniques from differential geometry and Morse theory. This work generalizes the main result of Huang [Optim. Lett. 17(5) (2023), pp 1263-1270], which shows finite convergence for the case of a homogeneous polynomial over a single sphere.