要約:
We construct an explicit normal singular affine toric variety X of dimension five over an algebraically closed field of characteristic three such that the normalized Nash blowup of X already contains an open affine subset isomorphic to X. Combined with previously known examples, this yields one-step counterexamples in every dimension greater than or equal to five and every characteristic. The characteristic-three case is the most delicate: the previously known counterexample in dimension four requires a two-step iteration of the normalized Nash blowup, and our example demonstrates that in dimension five and higher the minimal number of iterations needed to produce a loop is one.
要約:
In this note, given a family of relative dimension one over a smooth curve, we determine the parity of the restriction of a relative theta characteristic to an arbitrary multiple of a fiber in terms of the parity of the restriction to a general fibre.
This result can be regarded as a variant of the well-known theorem on the invariance of the parity of theta characteristics in families.
As a corollary, we obtain that the torsion subsheaf of the first higher direct image sheaf of a relative theta characteristic splits as a direct sum of two isomorphic sheaves.
要約:
We give extensive characterizations for an open subset of an affine space of arbitrary dimension, resp. of an inverse limit of prime spectra to be quasi-compact. Among other things weak stability, retro-compactness, and cylinder sets provide equivalent criteria in both settings. We also exhibit an example of a non-quasi-compact affine space.
要約:
For prime Fano threefolds $X$ of genus $g=12$, $10$ or $9$, and for totally disjoint pairs of lines $Z_1$, $Z_2$ in $X$, we establish links from the blowups of $X$ along $Z_1$ and $Z_2$. If $g=12$, then the links end with the blowups of Fano threefolds of type 2.21 along bi-cubic curves; if $g=10$, then the links end with the blowups of the projectivization of the tangent bundle of the projective plane along genus $2$ bi-quintic curves with a mild condition; if $g=9$, then the links end with conic bundles over the product of two projective lines with the discriminant loci of bidegree $(3,3)$. When $g=12$ or $g=10$, we also establish the converses of the above links. Moreover, we especially focus on the links when $g=12$ and the links are $\mathbb{G}_m$-equivariant.
要約:
Consider a log canonical pair $(X,B)$ such that there is a Cartier divisor $D$ for which $T_X(-\log B) \otimes \mathcal O(D)$ is locally free and globally generated. Let $\mathcal F$ be a log canonical foliation of rank 1 on $X$. We prove that there exists a divisor $\Gamma$ such that $(X, \Gamma)$ is log canonical and $K_X + \Gamma \sim K_{\mathcal F} + D$.
We then apply this result to prove several statements on the birational geometry of rank 1 log canonical foliations on log homogeneous varieties.
要約:
A descent conjecture of Wittenberg predicts that if all the twists of a rationally connected torsor over a smooth base satisfy weak approximation with Brauer--Manin obstruction, then the base also has weak approximation with Brauer--Manin obstruction. We give a proof of Wittenberg's conjecture via Cao's descent formula.
要約:
We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the derived jet and arc spaces. We show that the derived constructions agree with the classical versions when the base scheme is smooth, or more generally for local complete intersection log canonical singularities, giving a derived interpretation to a theorem of Musta\c{t}\u{a}. For more singular spaces we get new singularity invariants in the form of higher homotopy groups. We also study cotangent complexes for derived jet and arc spaces, generalizing previous formulas for sheaves of differentials of classical jet and arc spaces. Several applications are obtained. Specifically, we revisit recent results on the local structure of arc spaces from the lens of cotangent complexes, giving more unified proofs and removing unnecessary hypotheses. In particular, we extend a version of Reguera's curve selection lemma for arc spaces to the case of non-perfect base fields.
要約:
We study numerical invariants associated with the reduction of singularities of holomorphic foliation germs on $(\mathbb{C}^2, 0)$. Building on our previous work on generalized curve foliations, we extend explicit formulas for several fundamental invariants to arbitrary foliations. In particular, we provide general expressions for the discrepancy vector, the Milnor and intrinsic Milnor numbers, and classical indices along a separatrix as Camacho-Sad, Variation, G\'omez-Mont-Seade-Verjovsky and also the Baum-Bott index. These extensions require a careful analysis of the contributions of saddle-nodes arising in the desingularization process. As applications, we recover results of Brunella and Cavalier-Lehmann, as well as a related statement appearing in [8], within a unified and purely numerical framework. Furthermore, we obtain intrinsic characterizations of generalized curve foliations in terms of indices and of second type foliations in terms of the discrepancy vector.
要約:
We analyze the fixed-angle high-energy ($\alpha' \to \infty$) structure of $n$-point tree-level string amplitudes from complementary perspectives: locally via saddle-point expansions, algebraically via difference equations and their asymptotic structure, analytically via Aomoto-Gauss-Manin connection and Mellin-Barnes representation, and geometrically via twisted intersection theory and Lefschetz thimbles. Using, in turn, saddle-point analysis and finite-difference equations in the kinematic variables, we show that the perturbative coefficients in the resulting asymptotic series in $1/\alpha'$ are organized by Bernoulli-number data, rather than by the multiple zeta values characteristic of the low-energy $\alpha' \to 0$ regime. Resurgence theory allows upgrading these divergent series to transseries whose Stokes data capture the analytic continuation between unphysical and physical kinematic regions in the form of non-perturbative monodromy contributions. We derive the transseries for four-point open string amplitudes explicitly. We also construct a differential and Mellin formulation which place their low- and high-energy expansions in a common analytic framework and unifies them as asymptotic sectors of the same underlying object. We extend the difference-equation analysis to $n \geq 5$, where it yields perturbative high-energy asymptotic expansions and leads naturally to a higher-rank connection problem. Finally, translating our asymptotic analysis into the language of twisted de Rham theory, we derive an alternative double-copy representation of the high-energy limit of closed-string amplitudes in terms of Lefschetz thimbles for any $n$.
要約:
In this paper, we consider some variations on Mann's definition $\infty$-categorical definition of abstract six-functor formalisms. We consider Nagata six-functor formalisms, that have the additional requirement of having Grothendieck and Wirthm\"uller contexts. We also consider local six-functor formalisms, which in addition to this, take values in presentable stable $\infty$-categories, and have recollements. Using Nagata's compactification theorem, we show that Nagata six-functor formalism on varieties can be given by just specifying adjoint triples for open immersions and for proper morphisms, satisfying certain compatibilities. The existence of recollements is (almost) equivalent to a hypersheaf condition for a Grothendieck topology on the category of ``varieties and spans consisting of an open immersion and a proper map''. Using this characterisation, we show that the category of local six-functor formalisms embeds faithfully into the category of lax symmetric monoidal functors from the category of smooth and complete varieties to the category of presentable stable $\infty$-categories and adjoint triples. We characterise which lax symmetric monoidal functors on complete varieties, taking values in the category of presentable stable $\infty$-categories and adjoint triples, extend to local six-functor formalisms.
要約:
In this paper, we prove a refinement of the Katsura theorem on finite group actions on abelian surfaces such that the quotient is birational to a $K3$ surface. As an application, we compute traces of Frobenius on the Neron--Severi groups of supersingular generalized Kummer surfaces over finite fields.
要約:
We compute the genus-0 permutation-equivariant quantum K-theory of Fermat singularities, in parallel with the Givental-Lee theory for projective varieties. We extend Givental-Tonita's formalism of adelic Lagrangian cones to the singularity theory, and we obtain explicit $I$-functions for the invariants, which satisfy the same $q$-difference equation as Givental's $I$-function of the associated hypersurface. This can be regarded as an extension of the Landau-Ginzburg/Calabi-Yau correspondence, although a discrepancy between the two sides sides emerges in K-theory. In the case of the quintic threefold, both generating functions satisfy a $q$-difference equation of degree $25$; the hypersurface $I$-function only spans a $5$-dimensional subspace of solutions, while the singularity $I$-function spans the full space of solutions.
要約:
In this paper, we see several basic properties of graded linear series. We firstly see that, if a graded linear series contains an ample series, then so are the pullbacks of the system under birational morphisms. Using this proposition, we define the refinements of graded linear series with respects to primitive flags. Moreover, we give several formulas to compute the $S$-invariant of those refinements. Secondly, we introduce the notion of coupled stability thresholds for graded linear series, which is a generalization of the notion introduced by Rubinstein--Tian--Zhang. We see that, over the interior of the support for finite numbers of graded linear series containing an ample series, the coupled stability threshold function can be uniquely extended continuously, which generalizes the work by Kewei Zhang. Thirdly, we get a product-type formula for coupled stability thresholds, which generalizes the work of Zhuang. Fourthly, we see Abban--Zhuang's type formulas for estimating local coupled stability thresholds.
要約:
Asgarli, Ghioca, and Reichstein proved that if $K$ is a field with $|K|>2$, then for any positive integers $d$ and $n$, and separable field extension $L/K$ with degree $m=\binom{n+d}{d}$, there exists a point $P\in \mathbb{P}^n(L)$ which does not lie on any degree $d$ hypersurface defined over $K$. They asked whether the result holds when $|K| = 2$. We answer their question in the affirmative by combining various ideas from arithmetic geometry. More generally, we show that for each positive integer $r$ and separable field extension $L/K$ with degree $r$, there exists a point $P \in \mathbb{P}^n(L)$ such that the vector space of degree $d$ forms over $K$ that vanish at $P$ has the expected dimension. We also discuss applications to linear systems of hypersurfaces with special properties.
要約:
Let $X$ be a conical symplectic variety admitting a crepant resolution $Y$. Based on the theory of universal Poisson deformations, we construct a complex manifold called the principal twistor model associated with $Y$. We prove a universality theorem for this model: if the regular locus of $X$ admits a hyperk\"ahler cone metric, then the twistor space of any algebraic hyperk\"ahler metric on $Y$ asymptotic to this cone metric is uniquely recovered by slicing the principal twistor model. As an application, we use this universality to study the moduli space of hyperk\"ahler structures with asymptotic behavior, and show that it admits an inclusion into a finite-dimensional real vector space.
要約:
We construct integral models of Shimura varieties of abelian type with parahoric level structure over odd primes. These models are \'etale locally isomorphic to corresponding local models.
要約:
We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $\Gamma \subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(\Gamma) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. We then ask whether the same additive rigidity holds for arbitrary abelian varieties, and prove that this is indeed the case when the morphism $f$ is compatible with the decomposition of $A$ into simple factors. The proof uses the uniform Mordell-Lang conjecture.
要約:
Polylab is a MATLAB toolbox for multivariate polynomial scalars and polynomial matrices with a unified symbolic-numeric interface across CPU and GPU-oriented backends. The software exposes three aligned classes: MPOLY for CPU execution, MPOLY_GPU as a legacy GPU baseline, and MPOLY_HP as an improved GPU-oriented implementation. Across these backends, Polylab supports polynomial construction, algebraic manipulation, simplification, matrix operations, differentiation, Jacobian and Hessian construction, LaTeX export, CPU-side LaTeX reconstruction, backend conversion, and interoperability with YALMIP and SOSTOOLS. Versions 3.0 and 3.1 add two practically important extensions: explicit variable identity and naming for safe mixed-variable expression handling, and affine-normal direction computation via automatic differentiation, MF-logDet-Exact, and MF-logDet-Stochastic. The toolbox has already been used successfully in prior research applications, and Polylab Version 3.1 adds a new geometry-oriented computational layer on top of a mature polynomial modeling core. This article documents the architecture and user-facing interface of the software, organizes its functionality by workflow, presents representative MATLAB sessions with actual outputs, and reports reproducible benchmarks. The results show that MPOLY is the right default for lightweight interactive workloads, whereas MPOLY-HP becomes advantageous for reduction-heavy simplification and medium-to-large affine-normal computation; the stochastic log-determinant variant becomes attractive in larger sparse regimes under approximation-oriented parameter choices.