要約:
Given a $\mathbb{G}_\mathrm{a}$-action on an affine variety $X$, we show that the complement of the union of all principal invariant cylinders in $X$ is equal to the zero locus of the plinth ideal of the corresponding locally nilpotent derivation.
要約:
This work explores the geometry of stable wild Vafa-Witten bundles over the complex projective plane $\mathbb{P}^2$. Specifically, we consider stable rank-two pairs $(E,\Phi)$, with $E\to\mathbb{P}^2$ a rank-two holomorphic vector bundle and $\Phi\in H^0(\mathbb{P}^2,\mathrm{End}_0E\otimes\mathcal{O}(d))$ for $d\geq0$, and compute the dimension of the moduli space of such stable pairs. Moreover, we classify stable pairs $(E,\Phi)$ when the underlying rank-two bundle $E$ splits or is the push-forward of a line bundle on $\mathbb{P}^1\times\mathbb{P}^1$. Lastly, we examine the fixed point locus of the natural $\mathbb{C}^*$-action on the moduli space.
要約:
In this paper, we show that for a given degenerate bivector $\pi= y^n\partial_x \wedge \partial_y$ with $n>1$, the classical Poisson cohomology group and the logarithmic Poisson cohomology group along the ideal $\mathcal{I}=y^n\mathbb{F}[x,y] $ are isomorphics in every d\'egr\'ee. This result follows from determination of the logarithmic Hamiltonian operator and the logarithmic Poisson cochain complexe in order to compute the cohomological invariants associated to $\pi$. $\mathbb{F}$ is the field of characteristic 0.
要約:
We study holomorphic foliations on normal crossings varieties arising as semistable degenerations. We do so by we exploring the notion of foliated d-semistability using the language of logarithmic structures in the sense of Fontaine-Illusie. First, we identify both local and global obstructions to d-semistability. In order to analyze the existence of smoothings, we develop a logarithmic deformation theory of foliations and show that the corresponding moduli functor admits a versal hull.
要約:
We announce an explicit description of the strictly semistable boundary of the GIT moduli space of quintic threefolds. For the natural action of \(\mathrm{SL}(5)\) on \(\mathbb P(\mathrm{Sym}^5\mathbb C^5)\), we classify the 38 boundary components arising from maximal strictly semistable supports and construct closed-orbit normal forms for the general polystable representative in each component. We also determine the singular loci of these general representatives and compute their local and global minimal exponents. The isolated boundary singularities are quasi-homogeneous and fall into eleven analytic types, all with local minimal exponent equal to \(1\). Consequently, the global minimal exponent of a general closed-orbit representative in every boundary component is \(1=(4+1)/5\), the critical value in the stability criterion for quintic hypersurfaces in \(\mathbb P^4\). We further announce the pairwise non-inclusion of the 38 quotient-side boundary families and compute the codimension-one wall-adjacency graph, which has 38 vertices and 184 edges, is connected, and has diameter 4. Detailed proofs and complete case-by-case computations will appear in a forthcoming full-length paper.
要約:
For a normal surface singularity, the discrepancy between the ordinary and dual middle-perversity intersection complexes over \(\mathbb Z\) is measured by a finite group \(E\). In previous work, \(E\) was identified with link torsion, the exceptional-lattice discriminant group \(\Lambda^\vee/\Lambda\), a resolution-neighborhood boundary quotient, and, in the hypersurface case, \(\operatorname{coker}(T-\mathrm{id})_{\mathrm{tors}}\). This paper tracks the trajectory of this torsion from local singularity data to global obstruction theory. We follow the discriminant package \((E,q)\) through support cohomology, excision, global torsion, Brauer comparison, Bloch--Ogus residues, and rationalization. The method is example-driven: trajectory tables are computed for \(A_1\), \(A_k\), \(D_4\), \(E_8\), a non-ADE Brieskorn singularity, the threefold ordinary double point, nodal threefolds, nodal quintics, and the Benoist--Ottem benchmark. The computations reveal a sharp distinction: a surface \(A_1\) singularity has local \(\mathbb Z/2\)-torsion, whereas a threefold ordinary double point has torsion-free link \(S^2\times S^3\) and contributes free vanishing-cycle data instead. Thus finite discriminant torsion is naturally a codimension-two phenomenon, not a generic feature of nodes. The resulting pattern motivates a specialization problem: whether the Enriques \(2\)-torsion in Benoist--Ottem integral Hodge counterexamples is genuinely global, or can arise after degeneration from transverse \(A_1\)-type discriminant data along codimension-two strata.
要約:
Given a polarised maximal degeneration of compact Calabi-Yau manifolds, assuming there exists a canonical basis of the section ring for the polarisation line bundle, satisfying the valuative independence condition, we will prove the metric SYZ conjecture.
要約:
We analyze a new family of weighted double Hurwitz numbers that was introduced as a notable example in the context of the $x-y$ duality for logarithmic topological recursion. We use this family to systematically demonstrate, refine and develop techniques that play a crucial role in the interaction of hypergeometric (Orlov--Scherbin) KP tau functions and intersection theory of moduli spaces of curves. In particular, we discuss the subtleties related to the derivation of the ELSV-type formulas in this context and derive a new, explicit ELSV-type formula in terms of the so-called $\Omega$-classes.
要約:
We provide an explicit description of the smallest filtered sub-isocrystal generated by the Hodge filtered piece of the crystalline cohomology for an abelian scheme over a $p$-adic ring. Our method is based on the theory of arithmetic jet spaces and delta characters associated to the abelian scheme, introduced by Buium and later studied by Borger and Saha using a functor of points approach. In particular, we prove that the delta isocrystal constructed by Borger and Saha is indeed isomorphic to the fundamental smallest sub-isocrystal of the crystalline cohomology in the category of filtered $F$-isocrystals. As an application, we establish a comparison isomorphism between the delta isocrystal and the crystalline cohomology of abelian schemes, which is governed by the group of order $1$ delta characters of the abelian scheme.
要約:
For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. We show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings, namely the maximal number of variables for a polynomial or formal power series extension over a subring. For the top exterior power, we introduce the top differential trace and prove that it precisely defines the singular locus of reduced equidimensional local or graded rings. Motivated by this, we introduce and investigate nearly regular rings, which are Noetherian rings whose top differential trace contains the maximal ideal.
要約:
We show that the Hurwitz problem for sums of squares can depend on the base field. More precisely, we construct an explicit formula of type $[12,12,18]$ over every field of characteristic different from $2$ in which $-1$ is a square, whereas no such formula exists over any formally real field. This settles, in the negative, a longstanding conjecture of Shapiro. In particular, a formula of this type exists over $\mathbb Q(i)$ and over $\mathbb C$, but not over $\mathbb Q$ or over $\mathbb R$.
要約:
Given an immersion of a circle in a punctured surface $\Sigma$, we give an explicit (and finite) computation of the $A_\infty$-algebra associated with this curve when viewed as an object in a (relative) Fukaya category of $\Sigma$ in terms of the signed Gauss word recording the double points in a traversal of the curve and the visible polygons that it bounds in $\Sigma$. We illustrate our computational technique by fully determining the $A_\infty$-products for immersions with up to three self-intersections. In particular, it is proved that all associative algebras of dimension $\leq 4$ except one, over an algebraically closed field, can be realized as the (degree 0) endomorphism algebra of some Lagrangian immersion of a circle equipped with a bounding cochain computed in some relative Fukaya category $\mathcal{F}(\Sigma,D)$.
要約:
Building on \cite{daworrpap,dawpap}, we prove two Zilber-Pink-type statements in $Y(1)^n$, assuming a weak form of the Lang-Trotter conjecture for pairs of elliptic curves.
要約:
We give a complete classification of finite groups acting symplectically on supersingular K3 surfaces of Artin invariant one. Using work of Dolgachev and Keum, this provides the full classification of tame finite symplectic automorphism groups on any K3 surface, and in particular of all finite symplectic automorphism groups on K3 surfaces in characteristic p>11.
要約:
We establish a semi-orthogonal decomposition for the weighted blowup of an algebraic stack along a Koszul-regular weighted centre, generalising the classic result of Orlov. Our approach is based on the work of Bergh-Schn\"urer.
要約:
The Cremona dimension of a group $G$ is the minimal $n$ such that $G$ is isomorphic to a subgroup of the Cremona group of birational transformations of an $n$-dimensional rational variety. In this survey article, we give many examples that gives evidence to the conjecture that the Cremona dimension of a finite group over the field of complex numbers is less than or equal to the essential dimension of the group.
要約:
In this paper we continue the program to develop the algebraic foundations of tropical (algebraic) geometry. We give strong characterizations of prime congruences containing a given congruence on a toric semiring. We give four applications of this result. (1) We prove an analogue of the strong Nullstellensatz for congruences with finite tropical basis. This extends the existing result of Jo\'o-Mincheva to cases, such as the bend congruence of a tropical(ized) ideal, where the congruence is not finitely generated. (2) We show that, if $I$ is the ideal of an affine variety not contained in the coordinate hyperplanes, then $\mathbb{T}[x_1, \dots, x_n]/\sqrt{\operatorname{Bend}(\operatorname{trop} I)}$ is cancellative. This result has applications to the integral closure (as per Tolliver) of $\mathbb{T}[x_1, \dots, x_n]/\operatorname{Bend}(\operatorname{trop} I)$ which we explore in a forthcoming paper. (3) We show that $\mathbb{T}[x_1, \dots, x_n]/\sqrt{\operatorname{Bend}(\operatorname{trop} I)}$ is the tropical function semiring on $\operatorname{trop} V(I)$, which creates a bridge between the algebraic approach to non-embedded tropicalization in the work of J. Song and the bend congruence approach of Giansiracusa-Giansiracusa and Maclagan-Rinc\'on. (4) As a consequence of one of our lemmas, we describe the closure of a polyhedron in a tropical toric variety even when the polyhedron is not compatible with the fan defining the tropical toric variety.
要約:
In this paper we consider the problem of recovering a signal $x \in \mathbb{R}^N$ from its power spectrum assuming that the signal is sparse with respect to a generic basis for $\mathbb{R}^N$. Our main result is that if the sparsity level is at most $\sim\! N/2$ in this basis then the generic sparse vector is uniquely determined up to sign from its power spectrum. We also prove that if the sparsity level is $\sim\! N/4$ then every sparse vector is determined up to sign from its power spectrum. Analogous results are also obtained for the power spectrum of a vector in $\mathbb{C}^N$ which extend earlier results of Wang and Xu \cite{arXiv:1310.0873}.
要約:
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.
要約:
We show that the faithful highest weight hearts in an algebraic triangulated category are the serially faithful glued hearts, equivalently the hearts containing a dual pair of full exceptional collections in the sense of Bodzenta--Bondal (arXiv:2601.22004). We then characterise faithful highest weight categories of perverse sheaves on topologically stratified spaces algebraically, in terms of the exactness of certain functors, and topologically, in terms of the vanishing of certain cohomology groups of pairwise links.
We prove that the global dimension of a faithful category of perverse sheaves on a topologically stratified space $X$ with finitely many strata is bounded by the dimension of $X$. Finally, we show that in this setting the hypercohomology of a perverse sheaf can be computed from a projective resolution of the constant sheaf, and conversely that the multiplicities of the terms in a minimal projective resolution of the constant sheaf can be computed as intersection cohomology groups.