要約:
We construct minimal resolutions of pushforwards of structure sheaves of toric substacks of smooth toric stacks by line bundles as strong deformation retracts of cellular resolutions constructed by Hanlon, Hicks and Lazarev. We also provide a canonical and combinatorial description of the differentials of such minimal resolutions. Two key ingredients are the homological perturbation lemma and the Moore-Penrose inverses.
要約:
Platonov in 1991 conjectured that adjoint groups are rational as varieties over arbitrary infinite fields, and as a consequence have weak approximation. The rationality part of the conjecture was disproved by Merkurjev in 1996, but the question about weak approximation remained open. We settle this in the negative.
要約:
Oriented cohomology theories provide a general framework to perform intersection-theory-type calculus. The Chow ring, algebraic $K$-theory, and Levine--Morel's algebraic cobordism are all instances of such theories satisfying $\mathbb A^1$-invariance. Topological Hochschild homology, topological cyclic homology, and Hodge cohomology are important examples of theories without $\mathbb A^1$-invariance. In this paper, we prove an additive blowup formula for oriented cohomology theories in the non-$\mathbb A^1$-invariant category of motivic spectra, developed by Annala, Hoyois, and Iwasa. Then, we specialize to $\mathbb A^1$-invariant theories and give presentations of oriented cohomology rings of the blowup of a smooth scheme along a smooth center. We compute explicit examples of such presentations for the cases of del Pezzo surfaces, the blowup of $\mathbb P^3$ along the twisted cubic, and the blowup of $\mathbb P^5$ along the Veronese surface, which can be identified with the moduli space of complete conics. We demonstrate that one can recover solutions to classical enumerative geometry problems, such as Steiner's $3264$ conics, using arbitrary oriented cohomology theories. Finally, we give a presentation of oriented cohomology rings of $\overline M_{0,n}$, which generalizes Keel's presentation of the Chow ring.
要約:
In this article, we develop a positive characteristic analogue of the Bernstein--Sato theory for holonomic D-modules in the complex setting. We work with D-modules on a Noetherian regular $F$-finite $\mathbb{F}_p$-scheme $X$, and define their Bernstein--Sato roots as $p$-adic integers. When the D-module is the structure sheaf $O_X$, this recovers Bitoun's definition.
When the D-module arises from a locally finitely generated unit $F^e$-module and $X$ is of finite type over an $F$-finite field, we show that the roots are finite and rational, generalizing Bitoun's result. In the course of the proof, we also develop a related theory for Cartier modules.
要約:
Let $(X, \bf 0)$ be the germ of a hypersurface in $(\mathbb C^n,\bf 0)$ with an ordinary singularity of multiplicity $m$ at the origin $\bf 0$. A natural question to ask is whether $X$ and its tangent cone at the origin are analytically isomorphic. The answer is negative in general, in view of a theorem of Kioji Saito.
However
there is an integer $D(n,m)>m$ such that, given a \emph{regular} homogeneous polynomial $f(x_1,\ldots, x_n)$ of degree $m$
(this means that $\{ f=0\}$ is a smooth hypersurface in $\PP^{n-1}$) then, for all $d\geq D(n,m)$, any convergent power series of the form $g=f+ o(d)$ (here, as usual, $o(d)$ stays for a power series of order at least $d$),
defines a germ $\{ g=0\}$ which is analytically equivalent to the germ $\{ f=0\}$. In this note we compute $D(n,m)$
explicitly. We also give an extension to the case in which $f$ is a quasihomogeneous polynomial.
要約:
Collino proved that the fundamental group of a certain Zariski open set of the symmetric square of a hyperelliptic curve is isomorphic to the integral Heisenberg group. We compute the mixed Hodge structure on this fundamental group, and show that the second extension class is expressed by the Abel-Jacobi invariant of the canonical class and the marked points of the hyperelliptic curve, together with a certain F_2-linear map.
要約:
We establish Grauert--Riemenschneider vanishing for $F$-pure threefolds over a perfect field $k$ of characteristic $p>5$. We apply this to prove Steenbrink vanishing for three-dimensional sharply $F$-pure pairs in characteristic $p>5$. As a consequence, we obtain the logarithmic extension for one-forms in this setting.
要約:
We show that the very general Verra fourfold is irrational, using the Hodge atom framework of Katzarkov--Kontsevich--Pantev--Yu. Two novel points are: a refined analysis of Hodge atoms, based on the involution on the cohomology of $X$, and a derivation of the quantum multiplication matrix from the quantum differential operator. This gives the first successful application of the method of Hodge atoms to a space with Picard rank greater than one.
要約:
We present a method to construct explicit degenerations of higher-dimensional generalized Kummer varieties. We start with a simple degeneration $f: \mathcal Y \to C$ of abelian surfaces. Then $ \mathcal{Y} \setminus \mathcal{Y}_0$ is an abelian scheme over $C \setminus 0$ and we can form the relative generalized Kummer variety $K^{n-1}_{\circ} = \mathrm{Kum}^{n-1}(\mathcal{Y} \setminus \mathcal{Y}_0) \to C \setminus 0$. This is naturally a closed subscheme of the relative Hilbert scheme $\mathrm{Hilb}^{n}(\mathcal{Y} \setminus \mathcal{Y}_0) \to C \setminus 0$. In previous work (joint with Gulbrandsen) we had constructed a compactification $I^n_{\mathcal{Y}/C}$ over $C$ of the latter scheme. The closure $K^{n-1}_{\mathcal{Y}/C}$ of $K^{n-1}_{\circ}$ inside $I^n_{\mathcal{Y}/C}$ yields a canonical way to degenerate the family of generalized Kummer varieties, and is the degeneration we propose. This paper contains a detailed study of the geometry of the scheme $K^{n-1}_{\mathcal{Y}/C}$ and its natural stratification. For $n=2$ we obtain a projective Kulikov model of Kummer surfaces, whereas already for $n=3$ new phenomena occur. We study in detail the dual complex of $K^{2}_{\mathcal{Y}/C}$ and show that this is PL-homeomorphic to the standard $2$-simplex.
要約:
Algebraic surfaces in the complex projective space with a high number of A-type singularities have been presented in a recent paper. We extend the construction in order to obtain lower bounds for the maximal number of A singularities for certain additional cases.
要約:
We describe the indecomposable components of the tangent bundle of the punctual Hilbert scheme of a smooth projective surface. As an application, we prove a recent conjecture about classification of products of punctual Hilbert schemes of smooth projective surfaces. We also determine when two products of symmetric powers of a smooth variety can be isomorphic.
要約:
Symplectic and complex toric quasifolds are a generalization of toric manifolds and orbifolds to the nonrational case. In this paper, we reframe these notions from the viewpoint of algebraic geometry.
要約:
We define and study the rational analytic syntomification $X^{\mathrm{Syn}}$ of a partially proper rigid-analytic variety $X$ over $\mathbb{Q}_p$. We establish Poincar\'e duality and a theory of first Chern classes for the resulting cohomology theory, identify vector bundles on $X^{\mathrm{Syn}}$ with de Rham bundles on the Fargues--Fontaine curve of $X^{\diamondsuit}$ and recover several classical comparison theorems in $p$-adic Hodge theory. We also develop analogues of our results and constructions over $\mathbb{C}_p$.
要約:
Let X be a set definable in a sharply o-minimal structure. We consider the problem of counting the number of points where X intersects algebraic varieties V over Q of dimension k < codim X, as a function of T := deg(V) + h(V), where h(V) is the log-height of V. In particular, we conjecture that after removing a suitable "algebraic part", this number grows polynomially in T -- a generalization of Wilkie's conjecture. We show that this full conjecture implies some open problems in algebraic independence theory. We also formulate a weaker conjecture stating that all intersections above are contained in a poly(T) amount of balls of radius e^{-T}.
We then consider the case where X (subset of C^n) is a (compact piece of a) trajectory of a polynomial differential equation satisfying a variant of Nesterenko's D-property. Our main theorem is a proof of the weakened conjecture for such curves when k < sqrt(n) - 1.
要約:
We prove a fundamental theorem for tropical partial differential equations, analogous to the fundamental theorem of tropical geometry in this context. We extend results from Aroca et al., Falkensteiner et al. and from Fink and Toghani for the case of trivial valuation as introduced by Grigoriev to differential equations with power series coefficients over any valued field. Crucial ingredients are the framework for tropical partial differential equations introduced by Giansiracusa and Mereta and a result on infinite intersections of projections of fibers of tropicalizations, which we prove using Hrushovski and Loeser's model-theoretic interpretation of Berkovich analytification. As a corollary of the fundamental theorem, we show that the radius of convergence of solutions of an ordinary differential equation over a nontrivially valued field can be computed tropically.
要約:
We consider a one-dimensional family of rational surfaces with automorphisms. In a degeneration of this family, the limiting map is the identity map on a special fiber. We check that the map on the total space of the family has indeterminacy in the special fiber. However, we show that after blowing-up at an indeterminate curve, there is an induced birational map on the exceptional divisor over the indeterminate curve. Moreover, we show that this map has dynamical degree 16.
要約:
One of the ultimate goals of the Hassett-Keel program is the determination of the log canonical models of the moduli spaces of pointed rational curves $\overline{M}_{0,n}$. In this paper, we study log canonical models of $\overline{M}_{0,5}$ with \textit{asymmetric} boundary divisors. Our results generalize previous work by Alexeev-Swinarski, Fedorchuk-Smyth, Kiem-Moon and Simpson for the first non-trivial case, namely $n=5$. We prove that all moduli spaces of weighted pointed rational curves $\overline{M}_{0,A}$ arise as log canonical models of $\overline{M}_{0,5}$ for suitable choices of boundary coefficients, thereby also recovering a theorem of Fedorchuk and Moon. In addition, we relate these moduli spaces to Deligne-Mostow ball quotients. We further study log canonical models of the moduli spaces $\overline{M}_{0,n\cdot (1/k)}$ with symmetric weight, which differ from $\overline{M}_{0,n}$. The case $n=5$ can be viewed as an explicit guiding example in a very general program and the paper can thus also serve as an expository introduction.
要約:
We explicitly describe the tropicalization of a type C cluster variety by identifying it with the space of axially symmetric phylogenetic trees. We also study the signed tropicalizations of this cluster variety, realizing them as subfans of the tropicalization that are dual to either associahedra or cyclohedra.
要約:
We prove gap theorems for entropy norms on automorphism groups of K3 surfaces, Enriques surfaces, and irreducible holomorphic symplectic manifolds. We also study the achirality of automorphisms of K3 surfaces and Enriques surfaces in terms of genus-one fibrations.
要約:
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.
要約:
Non-commutative crepant resolutions (NCCRs) are non-commutative versions of classical crepant resolutions in algebraic geometry. For 3-dimensional terminal Gorenstein singularities Iyama and Wemyss proved that all NCCRs are connected by mutations, which may be viewed as a non-commutative analogue of Kawamata's result that all crepant resolutions are connected by flops. In this paper we prove the corresponding result for a class of canonical Gorenstein singularities which are not terminal, namely anticanonical cones over del Pezzo surfaces. More precisely, we first obtain a classification of NCCRs of anticanonical del Pezzo cones, showing that every NCCR arises from a geometric helix on the corresponding del Pezzo surface. We then prove that all such geometric helices are connected to each other by mutations, up to simple operations which include tensoring by line bundles and shifts.
A crucial ingredient in our proofs is the polygons that can be associated to exceptional collections on del Pezzo surfaces following the works of Hille and Perling. We obtain some interesting observations about these polygons which may be of independent interest.
要約:
The main result of this article is a fantastic generalization of a classical result in graded ring theory. In fact, our result states that if $S$ is a multiplicative set of homogeneous elements of an $M$-graded commutative ring $R=\bigoplus\limits_{m\in M}R_{m}$ with $M$ a commutative monoid, then the localization ring $S^{-1}R=\bigoplus\limits_{x\in G}(S^{-1}R)_{x}$ is a $G$-graded ring where $G$ is the Grothendieck group of $M$ and each homogeneous component $(S^{-1}R)_{x}$ is the set of all fractions $f\in S^{-1}R$ such that $f=0$ or it is of the form $f=r/s$ where $r$ is a homogeneous element of $R$ and $x=[\dg(r),\dg(s)]$. As an application, ...
要約:
For a polynomial dynamical system, we study the problem of computing the minimal differential equation satisfied by a chosen coordinate (in other words, projecting the system on the coordinate). This problem can be viewed as a special case of the general elimination problem for systems of differential equations and appears in applications to modeling and control. We give a bound for the Newton polytope of such minimal equation. Our bound depends on the dimension of the model and the degrees $d$ and $D$ of the polynomials defining the dynamics of the chosen coordinate and the remaining coordinates, respectively. We show that our bound is sharp if $d \leqslant D$ or the model is planar. We further use this bound to design an algorithm for computing the minimal equation following the evaluation-interpolation paradigm. We demonstrate that our implementation of the algorithm can tackle problems which are out of reach for the state-of-the-art software for differential elimination.
要約:
For a finite extension $F$ of $\mathbb{Q}_p$ and $n \geq 1$, we show that the category of Lubin-Tate bundles on the $(n-1)$-dimensional Drinfeld symmetric space is equivalent to the category of finite-dimensional smooth representations of the group of units of the division algebra of invariant $1/n$ over $F$.
要約:
Let $(R,M,k)$ be a complete local ring (not necessarily Noetherian). As the first main result of this article, we prove that in the unequal characteristic case $\Char(R)\neq\Char(k)$, the natural surjective map between the groups of units $R^{\ast}\rightarrow k^{\ast}$ admits a splitting. \\ Next, we reprove by a new method that in the equi-characteristic case $\Char(R)=\Char(k)$, the natural surjective ring map $R\rightarrow k$ admits a splitting. In our proof there is no need for the existence of the coefficient fields for equi-characteristic complete local rings, whose existence is the most difficult part of the known proof. \\ As an application, we show that for any complete local ring $(R,M,k)$ the following short exact sequence of Abelian groups: $$\xymatrix{1\ar[r]&1+M\ar[r]& R^{\ast}\ar[r]&k^{\ast} \ar[r]&1}$$ is always split. In particular, we have an isomorphism of Abelian groups $R^{\ast}\simeq(1+M)\times k^{\ast}$. We also show with an example that the above exact sequence does not split for many incomplete local rings.
要約:
For any extension of commutative rings $A\subseteq B$, by using invertible ideals, we first define an Abelian group $\Cl(A,B)$, that we call the ideal class group of this extension. Then we study the main properties of this group. Among them, we prove that the group $\Cl(A,B)$ is indeed the kernel of the natural group morphism $\Pic(A)\rightarrow \Pic(B)$ which is given by $L\mapsto L\otimes_{A}B$. Then we show that both the classical ideal class group and, surprisingly, the Picard group are special cases of this structure. Next, we prove that ...
要約:
We study the strong approximation for classifying stacks $BG$, where $G$ is a linear algebraic group over a number field $k$. More specifically, we prove that the \'etale Brauer-Manin obstruction is the only obstruction to strong approximation for $BG$. To prove the result, we formulate the theory of torsors and Galois twists for algebraic stacks.
要約:
We prove the dynamical Mordell-Lang conjecture for product of endomorphisms of an affine curve and a projective curve over $\overline{\mathbb{Q}}$.
要約:
We establish two useful lemmas in complex geometry. First, we investigate the homological properties of differential operators intertwined by the Dolbeault Laplacian on compact Hermitian manifolds. By utilizing the mapping cone of Koszul complexes, we prove that the analytical obstructions to solving specific overdetermined PDE systems reduce entirely to the finite-dimensional Dolbeault cohomology. Second, for a compact Kobayashi hyperbolic manifold fibered over $\mathbb{P}^1$, we prove that a continuous, fiber-wise holomorphic map of degree $1$ to a projective variety is a bi-holomorphic isomorphism, provided it is injective on a very ample hypersurface.