要約:
We provide a geometric condition ensuring that a very general element of a complete linear system on an abelian variety is Kobayashi hyperbolic. Some related conjectures are also given.
要約:
Koszul modules and their associated resonance schemes are objects appearing in a variety of contexts in algebraic geometry, topology, and combinatorics. We present a proof of an effective version of the Chen ranks conjecture describing the Hilbert function of any Koszul module verifying natural conditions inspired by geometry. We give applications to hyperplane arrangements, describing in a uniform effective manner the Chen ranks of the fundamental group of the complement of every arrangement whose projective resonance is reduced. Finally, we formulate a sharp generic vanishing conjecture for Koszul modules and present a parallel between this statement and the Prym--Green Conjecture on syzygies of general Prym canonical curves.
要約:
Using valuative techniques, we show that a smooth affine surface with a non-elementary automorphism group and completable by a cycle of rational curves is either the algebraic torus or a smooth cubic affine surface of Markov type. Furthermore we show that smooth cubic affine surfaces of Markov type do no admit dominant endomorphisms which are not automorphisms.
要約:
Let k be a field, and let G be a simply connected semisimple k-group which is isotropic and contains a strictly proper parabolic k-subgroup P . Let D be a discrete valuation ring which is a local ring of a smooth algebraic curve over k. Let K be the fraction field of D. We show that the corresponding non-stable K 1 -functor (for G and P,, also called the Whitehead group of G) coincide over D and K.. As a consequence, K\_G^P 1 (D) coincides with the (generalized) Manin's R-equivalence class group of G(D).
要約:
We study the local rigidity of projective smooth horospherical varieties of rank one and Picard number two. These varieties have been already considered by the second author in a work where their automorphism groups are computed. The results given here are a natural continuation of this work.
要約:
We prove an unstable version of Morel's $\mathbb{A}^1$-connectivity theorem over arbitrary base schemes. In the stable setting, this recovers (and simplifies the proof of) the known connectivity bounds due to Morel, Schmidt--Strunk, Deshmukh--Hogadi--Kulkarni--Yadav, and Druzhinin, and extends them to possibly non-noetherian schemes. Using the recent work of Bachmann--Elmanto--Morrow, this also implies that the slice filtration on homotopy $K$-theory is convergent for qcqs schemes of finite valuative dimension.
要約:
We extend several geometric quantization results to the setting of big line bundles. More precisely, we prove the asymptotic isometry property for the map that associates to a metric on a big line bundle the corresponding sup-norms on the spaces of holomorphic sections of its tensor powers. Building on this, we show that submultiplicative norms on section rings of big line bundles are asymptotically equivalent to sup-norms. As an application, we show that any bounded submultiplicative filtration on the section ring of a big line bundle naturally gives rise to a Mabuchi geodesic ray, and the speed of this ray encodes the statistical invariants of the filtration.
要約:
The study of planar free curves is a very active area of research, but a structural study of such a class is missing. We give a complete classification of the possible generators of the Jacobian syzygy module of a plane free curve under the assumption that one of them is linear. Specifically, we prove that, up to similarities, there are two possible forms for the Hilbert-Burch matrix. Our strategy relies on a translation of the problem into the accurate study of the geometry of maximal segments of a suitable triangle with integer points. Following this description, we are able to determine precisely the equations of free curves and the associated Hilbert-Burch matrices.
要約:
We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a smooth quasi-projective variety over the Fargues-Fontaine curve. Namely, we show how to use their criterion to deduce an analogue for spaces of sections of a smooth Artin stack over the (schematic) Fargues-Fontaine curve obtained by taking the stack quotient of a smooth quasi-projective variety by the action of a linear algebraic group. As an application, we show various moduli stacks appearing in the Fargues-Scholze geometric Langlands program are cohomologically smooth Artin $v$-stacks and compute their $\ell$-dimensions.
要約:
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.
要約:
Let $\mathcal{T}$ be an $\mathcal{O}_K$-linear idempotent-complete, small smooth proper stable $\infty$-category, where $K$ is a finite extension of $\mathbb{Q}_p$. We give a Breuil-Kisin module structure on the topological negative cyclic homology $\pi_i{\rm TC}^-(\mathcal{T}/\mathbb{S}[z];\mathbb{Z}_p)$, and prove a $K$-theory version of Bhatt-Morrow-Scholze's comparison theorems. Moreover, using Gao's Breuil-Kisin $G_K$-module theory and Du-Liu's $(\varphi,\hat{G})$-module theory, we prove the $\mathbb{Z}_p[G_K]$-module $T_{A_{\rm inf}}(\pi_i{\rm TC}^-(\mathcal{T}/\mathbb{S}[z];\mathbb{Z}_p)^{\vee})$ is a $\mathbb{Z}_p$-lattice of a crystalline representation. As a corollary, if the generic fibre of $\mathcal{T}$ admits a geometric realization in the sense of Orlov, we prove a comparison theorem between $K(1)$-local $K$ theory of the generic fibre and topological cyclic periodic homology theory of the special fibre with $B_{\rm crys}$-coefficients, in particular, we prove the $p$-adic representation of the $K(1)$-local $K$-theory of the generic fibre is a crystalline representation, this can be regarded as a non-commutative analogue of $p$-adic Hodge theory for smooth proper varieties proved by Tsuji and Faltings. This is the full version of arXiv:2305.00292, containing additional details and results.
要約:
The purpose of this paper is to study motivic aspects of the Hitchin system for $\mathrm{GL}_n$. Our results include the following. (a) We prove the motivic decomposition conjecture of Corti-Hanamura for the Hitchin system; in particular, the decomposition theorem associated with the Hitchin system is induced by algebraic cycles. This yields an unconditional construction of the motivic perverse filtration for the Hitchin system, which lifts the cohomological/sheaf-theoretic perverse filtration. (b) We prove that the inverse of the relative Hard Lefschetz symmetry is induced by a relative algebraic correspondence, confirming the relative Lefschetz standard conjecture for the Hitchin system. (c) We show a strong perversity bound for the normalized Chern classes of a universal bundle with respect to the motivic perverse filtration; this specializes to the sheaf-theoretic result obtained earlier by Maulik-Shen. (d) We prove a $\chi$-independence result for the relative Chow motives associated with Hitchin systems.
Our methods combine Fourier transforms for compactified Jacobian fibrations associated with integral locally planar curves, nearby and vanishing cycle techniques, and a Springer-theoretic interpretation of parabolic Hitchin moduli spaces.
要約:
In this note, we give a new proof of Voisin's theorem on Green's conjecture for generic curves of odd genus resembling the first two sections of "Universal Secant Bundles and Syzygies of Canonical Curves" by the author, and so avoiding the need for difficult computations.
要約:
B. Toen defined a Riemann-Roch map from the rational algebraic K-theory of a tame Deligne-Mumford quotient stack to the \'etale K-theory of its inertia. He proved that this map is an isomorphism and that it is covariant with respect to proper maps. Moreover G. Vezzosi and A. Vistoli proved a decomposition theorem for the equivariant K-theory of a noetherian scheme. In this paper we give a geometric definition of the Vezzosi-Vistoli decomposition, interpreting the pieces as corresponding to the components of the cyclotomic inertia. When the map from the cyclotomic inertia to the stack is finite, we can define a Riemann-Roch map in Toen's style. We prove that this map is an isomorphism and it is covariant with respect to proper relatively tame maps; moreover in some favourable circumstances we explicitly compute its inverse map, and show that we can recover Toen's one when the stack is tame Deligne-Mumford.
要約:
Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to $r$-tuples of solid partitions and conjectured a formula for their weighted generating function.
We define $K$-theoretic virtual invariants of Quot schemes of 0-dimensional quotients of $\mathcal{O}_{\mathbb{C}^4}^{\oplus r}$ by realizing them as zero loci of isotropic sections of orthogonal bundles on non-commutative Quot schemes. Via the Oh-Thomas localization formula, we recover Nekrasov-Piazzalunga's weights and derive their sign rule.
Our proof passes through refining the $K$-theoretic invariants to sheaves and describing them via Clifford modules, which lets us show that they arise from a factorizable sequence of sheaves in the sense of Okounkov. Taking limits of the equivariant parameters, we then deduce the Nekrasov-Piazzalunga conjecture from its 3-dimensional analog.
要約:
We prove that the ideal of relations in the (equivariant) quantum K ring of a homogeneous space is generated by quantizations of each of the generators of the ideal in the classical (equivariant) K ring. This extends to quantum K theory a result of Siebert and Tian in quantum cohomology. We illustrate this technique in the case of the quantum K ring of partial flag manifolds, using a set of quantum K Whitney relations conjectured by the authors, and recently proved by Huq-Kuruvilla.
要約:
We compute the Chow quotient of the complete flag variety of subspaces of a four dimensional complex vector space, show that it is smooth and a Mori Dream Space, and describe in detail its birational geometry.
要約:
We prove the BPS decomposition theorem (a.k.a. cohomological integrality theorem) decomposing the cohomology of smooth symmetric stacks into the Weyl-invariant part of the cohomological Hall induction of the intersection cohomology of good moduli spaces. As a consequence, we establish the BPS decomposition theorem for the Borel--Moore homology of $0$-shifted symplectic stacks and for the critical cohomology of symmetric $(-1)$-shifted symplectic stacks, thereby generalizing the main result of Bu--Davison--Ib\'a\~nez Nu\~nez--Kinjo--P\u{a}durariu to the non-orthogonal setting.
We will present three applications of our main result. First, we confirm Halpern-Leistner's conjecture on the purity of the Borel--Moore homology of $0$-shifted symplectic stacks admitting proper good moduli spaces, extending Davison's work on the moduli stack of objects in $2$-Calabi--Yau categories. Second, we prove versions of Kirwan surjectivity for the critical cohomology of symmetric $(-1)$-shifted symplectic stacks and for the Borel--Moore homology of $0$-shifted symplectic stacks. Finally, by applying our main result to the character stacks associated with compact oriented $3$-manifolds, we reduce the quantum geometric Langlands duality conjecture for $3$-manifolds, as formulated by Safronov, from an isomorphism between infinite-dimensional critical cohomologies to a comparison of finite-dimensional BPS cohomologies.
要約:
We prove a motivic version of the Donaldson--Thomas/Pandharipande--Thomas (DT/PT) correspondence on Calabi--Yau threefolds. The proof combines Toda's wall crossing framework and the motivic integral identity recently proved by Bu. This provides a refinement of the numerical DT/PT correspondence.
要約:
We study the minimal model program on the geometric generic fiber of a fibration $f:X\to S$ such that for a Zariski dense subset $S'\subseteq S$, $X_s$ is an $\varepsilon$-lc log Calabi--Yau type for every $s\in S'$. We prove that for a fibration $f:X\to S$ of varieties, if the fibers are of $\varepsilon$-lc log Calabi--Yau type, then the geometric generic fiber $X_{\overline{\eta}}$ is pklt. In particular, for any big divisor $D$ on $X_{\overline{\eta}}$, we can run the anticanonical MMP and $D$-MMP with scaling of an ample divisor on $X_{\overline{\eta}}$.
要約:
We prove that the automorphism group $\mathrm{Aut}(X)$ of an affine spherical variety $X$ acts transitively on the set of smooth points $X^{reg}.$ If every invertible regular function on $X$ is constant, we prove that $X$ is flexible, i.e., the subgroup of $\mathrm{Aut}(X)$ generated by all $\mathbb{G}_a$-subgroups acts transitively on $X^{reg}.$
要約:
For $C/\mathbb{Q}_p$ a complete algebraically closed field, we construct a collection of non-isomorphic rank two $\mathbb{Q}_p$-local systems on $\mathbb{P}^1_C$ indexed by $C$. This implies that the de Jong fundamental group $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ depends on $C$ and, if $C$ has cardinality $>2^{\mathbb{N}}$, that $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ is not topologically countably generated. The argument in fact applies to any connected rigid analytic variety over $C$ with a non-constant function to $\mathbb{P}^1_C$.
要約:
We show the de Jong fundamental group of any non-trivial abelian variety over a complete algebraically closed extension $C/\mathbb{Q}_p$ is non-abelian. Generalizing an argument for $\mathbb{P}^1_C$, we also show the de Jong fundamental groups of positive-dimensional quasi-projective rigid analytic varieties over $C$ (including abelian varieties) depend on $C$ and can be arbitrarily large.
要約:
Reflexive dg categories were introduced by Kuznetsov and Shinder to abstract the duality between bounded and perfect derived categories. In particular this duality relates their Hochschild cohomologies, autoequivalence groups, and semiorthogonal decompositions. We establish reflexivity in a variety of settings including affine schemes, simple-minded collections, chain and cochain dg algebras of topological spaces, Ginzburg dg algebras, and Fukaya categories of cotangent bundles and surfaces as well as the closely related class of graded gentle algebras. Our proofs are based on the interplay of reflexivity with gluings, derived completions, and Koszul duality. In particular we show that for certain (co)connective dg algebras, reflexivity is equivalent to derived completeness.
要約:
The Beilinson-Bloch conjecture is a generalization of the Birch and Swinnerton-Dyer conjecture, which relates the ranks of Chow groups of smooth projective varieties over global fields to the order of vanishing of $L$-functions. We prove the conjecture for certain classes of non-isotrivial varieties over $\mathbb{F}_q(t)$, including some cubic threefolds. We deduce the Birch and Swinnerton-Dyer conjecture for their intermediate Jacobians, and use it to establish new cases of the Tate conjecture over finite fields. We also prove some additional results on the arithmetic of these intermediate Jacobians.
要約:
The wild de Rham spaces parameterize isomorphism classes of (stable) meromorphic connections, defined on principal bundles over wild Riemann surfaces. Working on the Riemann sphere, we will deformation-quantize the standard open part of de Rham spaces, which corresponds to the moduli of linear partial differential equations with meromorphic coefficients. We treat the general (typically nongeneric) untwisted/unramified case with semisimple formal residue, for any polar divisor and reductive structure group, without using parabolic/parahoric structures on the trivial bundle. The main ingredients are: (i) constructing the quantum Hamiltonian reduction of a (tensor) product of quantized coadjoint orbits in dual truncated-current Lie algebras, involving the corresponding category-O Verma modules; and (ii) establishing sufficient conditions on the coadjoint orbits, so that generically all meromorphic connections are stable, and the (semiclassical) moment map for the gauge-group action is faithfully flat.
要約:
Using the birational map between a smooth toric variety (adapted to the phase function of the oscillatory integral) and $\mathbb{R}^n\textbackslash\{0\}$, we can effectively carry out the van der Corput-type analysis in higher dimensions. This allows us to give an elegant derivation of the leading term in Varchenko's asymptotic expansion \cite{Var76}. We expect that this observation may have further applications to other problems involving oscillatory integrals.
要約:
We initiate a general quantitative study of sets of $\mathcal{M}$-points, which are special subsets of rational points, generalizing Campana points, Darmon points, and squarefree solutions of Diophantine equations. We propose an asymptotic formula for the number of $\mathcal{M}$-points of bounded height on rationally connected varieties, extending Manin's conjecture as well as its generalization to Campana points by Pieropan, Smeets, Tanimoto and V\'arilly-Alvarado. Finally, we show that the conjecture explains several previously established results in arithmetic statistics.