要約:
We provide a bound for $m$ such that the zero locus of a very general section of an $m$-multiple of some ample line bundle on a weighted projective space with isolated singularities is algebraically hyperbolic.
要約:
Suppose $R$ is an excellent ring of dimension $3$ and has rational singularities. Let $\pi:X \longrightarrow \mathrm{Spec} \ R$ be a blow-up and $\phi: W \longrightarrow X$ be any projective, birational morphism such that $X$ and $W$ are both normal, Cohen-Macaulay, and have pseudorational singularities in codimension $2$. Then $R^{i}\phi_{*}\omega_{W}=0 \ \text{ and }R^{i}\pi_{*}\omega_{X} = 0$ for all $i>0$ and $X$ has rational singularities. We use this result to prove Lipman's vanishing conjecture in dimension $3$ for arbitrary characteristics and provide a few applications.
要約:
In this paper, which is a follow-up of our first paper "Normal forms for ordinary differential operators, I", we extend the theory of normal forms for non-commuting operators, and obtain as an application a commutativity criterion for operators in the Weyl algebra or, more generally, in the ring of ordinary differential operators, which we prove in the case when operators have a normal form with the restriction top line (for details see Introduction).
要約:
Following Krah's method, we construct new examples of phantom categories as semiorthogonal components of the derived categories of two types of rational surfaces: the blowup of the plane at 11 points in general position, and the blowup of the second Hirzebruch surface at 9 points in general position. We also pose conjectures about the existence of phantom subcategories in the derived categories of other rational surfaces, obtained as the blowups of the other Hirzebruch surfaces.
要約:
Given a symplectic (respectively, orthogonal) parabolic vector bundle over a compact Riemann surface, we prove that its pullback and direct image through a map between compact Riemann surfaces inherit a natural symplectic (respectively, orthogonal) structure. If the parabolic bundle is endowed with a parabolic Higgs field or a parabolic connection which are compatible with the symplectic (respectively, orthogonal) structure, then its pullback and direct image are also compatible with the resulting symplectic (respectively, orthogonal) structure. We also show that these constructions are preserved through the Nonabelian Hodge Correspondence.
要約:
We propose an elementary tropical analogue of a reductive group that combines the datum of a Weyl group and the tropicalization of a fixed maximal torus. For the classical groups, as well as $G_2$, these tropical reductive groups admit descriptions as tropical matrix groups that resemble their classical counterparts. Employing this perspective, we introduce tropical principal bundles on metric graphs and study their explicit presentations as pushforwards of line bundles along covers with symmetries and extra data. Our main result identifies the essential skeleton of the moduli space of semistable principal bundles on a Tate curve with its tropical analogue.
要約:
In this paper, we investigate groupoids coming from configurations of lines in three-dimensional space. Given a point and two skew lines in $\mathbb{P}^{3}_{K}$ over a field $K$, there exists a unique line containing the given point and meeting the two given lines. We use this construction to define a projection function from one line to another by using a skew line as an auxiliary. This way, we may create a groupoid whose objects are lines in a configuration, and whose morphisms are induced by these projection functions. We look at specific configurations for $K=\mathbb{C}$ that yield groupoids with finite automorphism groups.
要約:
We study the algebraic hyperbolicity of certain subvarieties of homogeneous varieties, building on the techniques introduced by Coskun-Riedl, Yeong and Mioranci. This generalizes earlier known results for hypersurfaces to higher codimensions. In particular, we observe that if $X=X_1\cap\cdots\cap X_k$ is a very general complete intersection of degree $d_j$ hypersurfaces $X_j$ in $\mathbb{P}^n$ with $k\leq n-2$, then $X$ is algebraically hyperbolic if $\sum d_j\ge 2n-k$, and $X$ is not algebraically hyperbolic if $\sum d_j\le 2n-k-2$.
要約:
By restricting to (a linear subspace of) an affine chart in projective space, a complex stably rational or unirational manifold of dimension $m$ is meromorphically dominable by $\mathbb C^m$, i.e., admits a meromorphic dominating map from $\mathbb C^m$. So are varieties that are birational to abelian varieties and Kummer K3 surfaces. G. Buzzard and the second author have shown that elliptic K3 surfaces are holomorphically dominable by $\mathbb C^2$, i.e. admitting a holomorphic map with nontrivial Jacobian. In this paper we explore various examples and criteria for meromorphic and holomorphic dominability by $\mathbb C^m$ of certain hyperk\"ahler manifolds, generalizing some known results about K3 surfaces. Anti-hyperbolicity has several interpretations in the sense of vanishing of the Kobayashi-Royden metrics, admitting dense entire holomorphic curves, or dominating holomorphic or meromorphic maps from the complex affine space of the same dimension.
要約:
Grothendieck defined a group that represents the local obstruction for an abelian variety to have semi-stable reduction. These groups were studied by Silverberg and Zarhin and more recently by the author in order to give a group theoretic characterization of them depending only on the dimension. We give an overview of the developments since Grothendieck's definition with the added novelty of the case of equal characteristic local fields.
要約:
In this paper we study the stability of variations of Kato-Kuzumaki's $C_i^q$ property under transcendental and algebraic field extensions. As an application, we obtain the $C_n^1$ property for the field ${\bf F}_p(x_1,\dots,x_n)$.
要約:
We present a randomised algorithm to compute the local zeta function of a fixed smooth, projective surface over $\mathbb{Q}$, at any large prime $p$ of good reduction. The runtime of our algorithm is polynomial in $\log p$, resolving a conjecture of Couveignes and Edixhoven.
要約:
If $E$ is an elliptic curve, defined over $\mathbb{Q}$ or a number field having at least one real embedding, then Elkies proved that $E$ has supersingular reduction at infinitely many primes $p$. Baba and Granath extended this result to certain curves $C$ of genus $2$ with field of moduli $\mathbb{Q}$, under a condition on the endomorphism ring of the Jacobian. In this paper, we extend these results to certain curves of genus $4$ having an automorphism of order $5$, proving that the Jacobians of these curves have basic reduction (as defined by Kottwitz) for infinitely many primes $p$.
To do this, we study the complex uniformization of the Deligne--Mostow Shimura variety $\mathrm{Sh}$ associated with the one dimensional family of these curves. By analyzing the real points on $\mathrm{Sh}$, we compute three geodesics in the upper half plane that are edges of a fundamental triangle for the action of the unitary similitude group. Using representations of quadratic forms, we determine the points on $\mathrm{Sh}$ which represent curves whose Jacobians have complex multiplication by certain quadratic extensions of the cyclotomic field $\mathbb{Q}(\zeta_5)$. We conclude by studying the equidistribution of these points and the reduction of these CM cycles on the Shimura variety.
要約:
We construct universal local deformations (Kuranishi families) for pairs consisting of a compact complex curve and a meromorphic 1-form.
Each pair is assumed to be locally planar, a condition which in particular forces the periods of the meromorphic differential to be preserved by local deformations. The hyperelliptic case yields universal local deformations for the spectral data of integrable systems such as simply-periodic solutions of the KdV equation or of the sinh-Gordon equation (cylinders of constant mean curvature). This is the first of two papers in which we shall develop a deformation theory of the spectral curve data of an integrable system.
要約:
In this paper we show that iterating Nash blowups or normalized Nash blowups does not resolve the singularities of algebraic varieties of dimension four or higher over an algebraically closed field of arbitrary characteristic.
要約:
In this paper, we prove that two normal complex surface germs that are inner bilipschitz--but not necessarily orientation-preserving--homeomorphic, have in fact the same oriented topological type and the same minimal plumbing graph. Along the way, we show that the oriented homeomorphism type of an isolated complex surface singularity germ determines the oriented homeomorphism type of its link, providing a converse to the classical Conical Structure Theorem. These results require to study the topology first, and the inner lipschitz geometry later, of Hirzebruch-Jung and cusp singularities, the normal surface singularities whose links are lens spaces and fiber bundles over the circle.
要約:
We show that any quasismooth Fano threefold weighted complete intersections of type $(12, 14)$ in $\mathbb{P} (1, 2, 3, 4, 7, 11)$ is birationally solid.
要約:
In this paper, which is a follow-up of our first paper "Normal forms for ordinary differential operators, I", we extend the explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups obtained earlier to analogous parametrisation of torsion free sheaves of arbitrary rank with vanishing cohomology groups on projective irreducible curves.
As an illustration of our theorem we calculate one explicit example of such parametrisation, namely for rank two sheaves on a Weierstrass cubic curve.
要約:
The aim of this work is to give a description of the locally trivial monodromy group of irreducible symplectic varieties arising from moduli spaces of semistable sheaves on Abelian surfaces with non-primitive Mukai vector. The outcome is that the locally trivial monodromy group of a singular moduli space of this type is isomorphic to the monodromy group of a smooth moduli space, extending Markman's and Mongardi's description to the non-primitive case. As a consequence, we also prove the SYZ conjecture for any singular moduli space of this type.
要約:
The logarithmic tangent sheaf associated to an algebraically independent sequence of homogeneous polynomials - defined as the kernel of the associated Jacobian matrix - naturally generalizes the classical logarithmic tangent sheaf of a divisor in a projective space to the case of subvarieties defined by more than one equation. As is the case for divisors, one may investigate the freeness of such sequences, and other weaker notions.
The present work focuses on sequences of two homogeneous polynomials in four variables. We introduce two positive discrete invariants: the invariant m and the Bourbaki degree of a sequence, inspired by the framework of the Bourbaki degree recently developed for projective plane curves by Jardim-Nejad-Simis. The invariant m plays the role of the Tjurina number of plane projective curves and is bounded by a quadratic relation. We establish results concerning the interplay of minimal degree for syzygies of the Jacobian matrix and the introduced discrete invariants. Our approach uses tools from foliation theory, taking advantage of the fact that the logarithmic sheaf is, up to a twist, the tangent sheaf of a codimension one foliation in projective three-space.
We provide examples and classification results for pencils of cubics and for pairs of a quadric and a cubic polynomials, relating stability and Chern classes with the discrete invariants introduced, while classifying free and nearly-free cases. In particular, one of the nearly-free examples induces an unstable, non-split tangent sheaf for a codimension one foliation of degree 3, answering, in the negative, a conjecture of Calvo-Andrade, Correa and Jardim from 2018.
要約:
We study G-graded Artinian algebras having Poincar\'e duality, considering in particular their Lefschetz properties. We also prove a correspondence between the toric setup and the G-graded one, provide an application to toric geometry, and prove a Hessian criterion in the G-graded setup
要約:
Let $K$ be a perfectoid field. We describe all quotient fields of the perfectoid Tate algebra\begin{equation*}T_{n,K}^{\text{perfd}}=K\langle X_{1}^{1/p^{\infty}},\dots, X_{n}^{1/p^{\infty}}\rangle\end{equation*}in any number $n\geq1$ of variables in terms of (completed perfections of) the nonarchimedean fields $K_{r_1,\dots,r_l}$ occuring in Berkovich geometry. We prove that every quotient field\begin{equation*}L=T_{n,K}^{\text{perfd}}/\mathfrak{m}\end{equation*}is a so-called \textit{semi-immediate} extension of $K_{r_1,\dots,r_l}^{\text{perfd}}$ for some\begin{equation*}l\leq\min(n-\text{ht}(\mathfrak{m}^{\flat}\cap (T_{n,K^{\flat}})^{\text{coperf}}),n-1), \end{equation*}which pins down the value groups and the residue fields of the possible quotient fields $L$. Moreover, we show that if\begin{equation*}\mathfrak{m}^{\flat}\cap(T_{n,K^{\flat}})^{\text{coperf}}\neq 0,\end{equation*} at least one of the radii $r_{i}$ has to be irrational, i.e.,\begin{equation*}r_{i}\not\in\sqrt{|K^{\times}|}.\end{equation*} The main ingredient in our proof is the notion of \textit{topologically simple} valuations, which generalize type (IV) points in the classification of points on $\text{Spa}(K\langle T\rangle)$ to the case of higher-dimensional polydisks. We also consider \textit{rational Abhyankar} valuations and \textit{irrational Abhyankar} valuations, which generalize type (II) and (III) points, respectively. We deduce our main result from a description of topologically simple absolute values and of Abhyankar absolute values on usual Tate algebra. Along the way, we also show that our topologically simple valuations are the same as Pr\"ufer-Manis valuations in the sense of Knebusch-Zhang.
Finally, we also show that all allowed possibilities for the quotient fields $L$ do indeed occur (i.e., the above bound $l\leq n-1$ is optimal) by generalizing an example of Gleason.
要約:
We show, using the techniques developed in arXiv:2504.06444 and arXiv:2305.11139, that dagger algebras and Tate algebras in the sense of Berkovich in prime characteristic $p > 0$ have intersection flat Frobenius. Equivalently, if $S$ is such a ring, then $S^{1/p}$ is a flat and Mittag-Leffler $S$-module. As a consequence, we deduce that any ideal-adic completion of a reduced ring that is essentially of finite type over a dagger algebra or a Berkovich Tate algebra in prime characteristic has big test elements from tight closure theory.