Sheafiness of Strongy Rigid-Noetherian Huber Pairs

Bogdan Zavyalov

DOI: https://doi.org/10.48550/arXiv.2102.02776

2022-06-12

Abstract:We show that any strongly rigid-noetherian Huber ring $A$ is sheafy. In particular, we positively answer Problem~$31$ in the Nonarchimedean Scottish Book.

Algebraic Geometry

What problem does this paper attempt to address?

Adic Sheafiness of $A_{\text{inf}}$ Witt Vectors over Perfectoid Rings

Zongze Liu

2024-11-06

Abstract:For $(R, R^{+})$ an analytic perfectoid ring in char $p$, let $A_{\text{inf}}(R^{+})$ be the ring of Witt vectors with the induced topology from $(R, R^{+})$. We prove that $\text{Spa}(A_{\text{inf}}(R^{+}),A_{\text{inf}}(R^{+}))$ is sheafy and its structure sheaf is acyclic. We first show $A_{\text{inf}}(R^{+})$ is a stably uniform Banach ring using elements from the theory of prisms. The "stably uniform implies sheafy" argument is applied to Tate Huber rings in Buzzard-Verberkmoes(2015) and is generalized to analytic Huber rings in Kedlaya(2019). Here we show that the "stably uniform implies sheafy" argument in Kedlaya(2019) can be applied to general stably uniform Banach rings whose underlying topological ring is a Huber ring. Finally we show the equivalence of categories of vector bundles over $\text{Spa}(A_{\text{inf}}(R^{+}),A_{\text{inf}}(R^{+}))$ and finite projective modules over $A_{\text{inf}}(R^{+})$.

Number Theory,Algebraic Geometry
Weak Brill-Noether on Abelian Surfaces

Izzet Coskun,Howard Nuer,Kota Yoshioka

2024-08-12

Abstract:We study the cohomology of a general stable sheaf on an abelian surface. We say that a moduli space satisfies weak Brill-Noether if the general sheaf has at most one non-zero cohomology group. Let $(X,H)$ be a polarized abelian surface and let $\mathbf{v}=(r,\xi,a)$ be a Mukai vector on $X$ with $\mathbf{v}^2\ge 0$,$r>0$, and $\xi\cdot H>0$. We show that if $\rho(X)=1$ or $\rho(X)=2$ and $X$ contains an elliptic curve, then all the moduli spaces $M_{X,H}(\mathbf{v})$ satisfy weak Brill-Noether. Conversely, if $\rho(X)>2$ or $\rho(X)=2$ and $X$ does not contain an elliptic curve, we show that there are infinitely many moduli spaces $M_{X,H}(\mathbf{v})$ that fail weak Brill-Noether. As a consequence, we classify Chern classes of Ulrich bundles on abelian surfaces.

Algebraic Geometry
Almost coherent modules and almost coherent sheaves

Bogdan Zavyalov

2024-05-21

Abstract:We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes. We show that these sheaves satisfy many properties similar to usual coherent sheaves, i.e. the Almost Proper Mapping Theorem, the Formal GAGA, etc. We also construct an almost version of the Grothendieck twisted image functor $f^!$ and verify its properties. Lastly, we study sheaves of $p$-adic nearby cycles on admissible formal models of rigid spaces and show that these sheaves provide examples of almost coherent sheaves. This gives a new proof of the finiteness result for étale cohomology of proper rigid spaces obtained before in the work of Peter Scholze "$p$-adic Hodge Theory For Rigid-Analytic Varieties".

Algebraic Geometry,Commutative Algebra
Mixed modular perverse sheaves on affine flag varieties and Koszul duality

Simon Riche

2024-11-04

Abstract:Under some technical assumptions, and building on joint work with Bezrukavnikov, we prove a multiplicity formula for indecomposable tilting perverse sheaves on affine flag varieties, with coefficients in a field of characteristic $p$, in terms of $p$-Kazhdan--Lusztig polynomials. Under the same assumptions, we also explain the construction of a "degrading functor" relating mixed modular perverse sheaves (as defined in joint work with Achar) on such varieties to ordinary perverse sheaves.

Representation Theory
Hartshorne's questions and weakly cofiniteness

Hajar Roshan-Shekalgourabi,Marzieh Hatamkhani

DOI: https://doi.org/10.48550/arXiv.1801.07768

2018-01-24

Abstract:Let $R$ be a commutative Noetherian ring, $\fa$ be an ideal of $R$ and $M$ be an $R$-module. The main purpose of this paper is to answer the Hartshorn's questions in the class of weakly Laskerian modules. It is shown that if $s\geq 1$ is a positive integer such that $\Ext^j_R(R/\fa, M)$ is weakly Laskerian for all $j\leq s$ and the $R$-module $H^i_\fa(M)$ is $FD_{\leq 1}$ for all $i < s$, then the $R$-module $H^i_\fa(M)$ is $\fa$-weakly cofinite for all $i <s$. In addition, we show that the category of all $\fa$-weakly cofinite $FD_{\leq 1}$ $R$-modules is an Abelian subcategory of the category of all $R$-modules. Also, we prove that if $\Ext^i_R(R/\fa,M)$ is weakly Laskerian for all $i\leq \dim M$, then the $R$-module $\Ext^i_R(N,M)$ is weakly Laskerian for all $i\geq 0$ and for any finitely generated $R$-module $N$ with $\Supp_R(N) \subseteq V (\fa)$ and $\dim N \leq 1$.

Commutative Algebra
Ringel duality for perverse sheaves on hypertoric varieties

Tom Braden,Carl Mautner

DOI: https://doi.org/10.48550/arXiv.1709.03004

2017-09-10

Abstract:Motivated by the polynomial representation theory of the general linear group and the theory of symplectic singularities, we study a category of perverse sheaves with coefficients in a field $k$ on any affine unimodular hypertoric variety. Our main result is that this is a highest weight category whose Ringel dual is the corresponding category for the Gale dual hypertoric variety. On the way to proving our main result, we confirm a conjecture of Finkelberg-Kubrak in the case of hypertoric varieties. We also show that our category is equivalent to representations of a combinatorially-defined algebra, recently introduced in a related paper.

Algebraic Geometry,Representation Theory
The strong Lefschetz property of certain modules over Clements-Lindström rings

Bek Chase

2024-06-23

Abstract:We introduce a method for studying the Lefschetz properties for $k[x,y]$-modules based on the Lindström-Gessel-Viennot Lemma. In particular, we prove that certain modules over Artinian Clements-Lindström rings in characteristic zero have the strong Lefschetz property. In particular, we show that every homogeneous idea in a Clements-Lindström ring of embedding dimension two has the strong Lefschetz property. As an application, we study the strong Lefschetz property of type two monomial ideals of codimension three.

Commutative Algebra
The asymptotic Hecke algebra and rigidity

Stefan Dawydiak

2024-08-17

Abstract:We reprove the surjectivity statement of Braverman-Kazhdan's spectral description of Lusztig's asymptotic Hecke algebra $J$ in the context of $p$-adic groups. The proof is based on Bezrukavnikov-Ostrik's description of $J$ in terms of equivariant $K$-theory. As a porism, we prove that the action of $J$ extends from the non-strictly positive unramified characters to the complement of a finite union of divisors, and that the trace pairing between the Ciubotaru-He rigid cocentre of an affine Hecke algebra with equal parameters and the rigid quotient of its Grothendieck group is perfect whenever the parameter $q$ is not a root of the Poincaré polynomial of the finite Weyl group. Without recourse to $K$-theory, we prove a weak version of Xi's description of $J$ in type $A$. As an application of relationship between $J$ and the rigid cocentre, we prove that if the formal degree of a unipotent discrete series representation of a connected reductive $p$-adic group $G$ with a split inner form has denominator dividing the Poincaré polynomial of the Weyl group of $G$. Additionally, we give formulas for $t_w$ in terms of inverse and spherical Kazhdan-Lusztig polynomials for $w$ in the lowest cell.

Representation Theory
Secant varieties of curves, Ulrich bundles and the arithmetic writhe

Daniele Agostini,Mario Kummer

2023-07-14

Abstract:We establish a connection between the theory of Ulrich sheaves and $\mathbb{A}^1$-homotopy theory. For instance, we prove that the $\mathbb{A}^1$-degree of a morphism between projective varieties, that is relatively oriented by an Ulrich sheaf, is constant on the target even when it is not $\mathbb{A}^1$-connected. Further if an embedded projective variety is the support of a symmetric Ulrich sheaf of rank one, the $\mathbb{A}^1$-degree of all its linear projections can be read off in an explicit way from the free resolution of the Ulrich sheaf. Finally, we construct an Ulrich sheaf on the secant variety of a curve and use this to define an arithmetic version of Viro's encomplexed writhe for curves in $\mathbb{P}^3$. This can be considered to be an arithmetic analogue of a link invariant.

Algebraic Geometry,Algebraic Topology
Cohomological integrality for symmetric quotient stacks

Lucien Hennecart

2024-08-28

Abstract:In this paper, we establish the sheafified version of the cohomological integrality conjecture for stacks obtained as a quotient of a smooth affine symmetric algebraic variety by a reductive algebraic group equipped with an invariant function. A crucial step is the definition of the BPS sheaf as a complex of monodromic mixed Hodge modules. We prove the purity of the BPS sheaf when the situation arises from a smooth affine weakly symplectic algebraic variety with a weak moment map. This situation gives local models for 1-Artin derived stacks with self-dual cotangent complex. We then apply these results to prove a conjecture of Halpern-Leistner predicting the purity of the Borel-Moore homology of $0$-shifted symplectic stacks (or more generally, derived stacks with self-dual cotangent complex) having a proper good moduli space. One striking application is the purity of the Borel--Moore homology of the moduli stack of principal Higgs bundles over a smooth projective curve for a reductive group.

Algebraic Geometry
A Note on Numerical Perverse Sheaves

David B. Massey

2024-07-09

Abstract:We define and describe the properties of a class of perverse sheaves which is very useful when the base ring is not a field.

Algebraic Geometry
Strongly A^1-invariant sheaves (after F. Morel)

Tom Bachmann

2024-06-17

Abstract:Strongly (respectively strictly) A1-invariant sheaves are foundational for motivic homotopy theory over fields. They are sheaves of (abelian) groups on the Nisnevich site of smooth varieties over a field k, with the property that their zeroth and first Nisnevich cohomology sets (respectively all Nisnevich cohomology groups) are invariant under replacing a variety X by the affine line over X. A celebrated theorem of Fabien Morel states that if the base field k is perfect, then any strongly A1-invariant sheaf of abelian groups is automatically strictly A1-invariant. The aim of these lecture notes is twofold: (1) provide a complete proof if this result, and (2) outline some of its applications.

Algebraic Geometry,Algebraic Topology,K-Theory and Homology
On the sheafyness property of spectra of Banach rings

Federico Bambozzi,Kobi Kremnizer

DOI: https://doi.org/10.1112/jlms.12855

2024-01-15

Journal of the London Mathematical Society

Abstract:Abstract Let be a non‐Archimedean Banach ring, satisfying some mild technical hypothesis that we will specify later on. We prove that it is possible to associate to a homotopical Huber spectrum via the introduction of the notion of derived rational localization. The spectrum so obtained is endowed with a derived structural sheaf of simplicial Banach algebras for which the derived C̆ech–Tate complex is strictly exact. Under some hypothesis, we can prove that there is a canonical morphism of underlying topological spaces that is a homeomorphism in some well‐known examples of non‐sheafy Banach rings, where is the usual Huber spectrum of . This permits the use of the tools from derived geometry to understand the geometry of in cases when the classical structure sheaf is not a sheaf.

mathematics
Affine root systems, stable tubes and a conjecture by Geiss-Leclerc-Schröer

Zengqiang Lin, Xiuping Su

2024-02-20

Abstract:Associated to a symmetrisable Cartan matrix $C$, Geiss-Lerclerc-Schr\"{o}er constructed and studied a class of Iwanaga-Gorenstein algebras $H$. They proved a generalised version of Gabriel's Theorem, that is, the rank vectors of $\tau$-locally free $H$-modules are the positive roots of type $C$ when $C$ is of finite type, and conjectured that this is true for any $C$. In this paper, we look into this conjecture when $C$ is of affine type. We construct explicitly stable tubes, some of which have rigid mouth modules, while others not. We deduce that any positive root of type $C$ is the rank vector of some $\tau$-locally free $H$-module. However, the converse is not true in general. Our construction shows that there are $\tau$-locally free $H$-modules whose rank vectors are not roots, when $C$ is of type $\widetilde{\mathbb{B}}_n$, $\widetilde{\mathbb{CD}}_n$, $\widetilde{\mathbb{F}}_{41}$ and $\widetilde{\mathbb{G}}_{21}$, and so the conjecture fails in these four types.

Representation Theory
Algebraization Techniques and Rigid-Analytic Artin-Grothendieck Vanishing

Ofer Gabber,Bogdan Zavyalov

2024-05-27

Abstract:First, we prove an algebraization result for rig-smooth algebras over a general noetherian ring; this positively answers the question raised in [Sta24, Tag 0GAX]. Then we prove a general partial algebraization result in non-archimedean geometry. The result says that we can always algebraize a geometrically reduced affinoid rigid-analytic space in "one direction" in an appropriate sense. As an application of this result, we show the remaining cases of the Artin-Grothendieck Vanishing for affinoid algebras, which were previously conjectured in [BM21, §7]. This allows us to deduce a stronger version of the rigid-analytic Artin-Grothendieck Vanishing Conjecture (see [Han20, Conj. 1.2]) over a field of characteristic 0. Using a completely different set of ideas, we also obtain a weaker version of this conjecture over a field of characteristic p>0.

Algebraic Geometry,Commutative Algebra,Number Theory
Henselian schemes in positive characteristic

Sheela Devadas

2024-06-24

Abstract:The global analogue of a Henselian local ring is a Henselian pair: a ring A and an ideal I which satisfy a condition resembling Hensel's lemma regarding lifting coprime factorizations of polynomials over A/I to factorizations over A. The geometric counterpart is the notion of a Henselian scheme, which is an analogue of a tubular neighborhood in algebraic geometry. In this paper we revisit the foundations of the theory of Henselian schemes. The pathological behavior of quasi-coherent sheaves on Henselian schemes in characteristic 0 makes them poor models for an "algebraic tube" in characteristic 0. We show that such problems do not arise in positive characteristic, and establish good properties for analogues of smooth and étale maps in the general Henselian setting.

Algebraic Geometry,Number Theory
Perverse sheaves on varieties with large fundamental groups

Donu Arapura,Botong Wang

2023-09-26

Abstract:We conjecture that any perverse sheaf on a compact aspherical Kähler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the Kähler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid local system. The first result is proved by expressing the Euler characteristic as an intersection number involving the characteristic cycle, and then using the curvature conditions to deduce non-negativity. For the second result, we have that the local system underlies a complex variation of Hodge structure. We then deduce the desired inequality from the curvature properties of the image of the period map.

Algebraic Geometry,Differential Geometry
Strong Franchetta Conjecture for Linear Systems

Matthew Woolf

DOI: https://doi.org/10.48550/arXiv.1402.2128

2014-02-10

Algebraic Geometry

Abstract:In this paper, we study rational sections of the relative Picard variety of a linear system on a smooth projective variety. Specifically, we prove that if the linear system is basepoint-free and the locus of non-integral divisors has codimension at least two, then all rational sections of the relative Picard variety come from restrictions of line bundles on the variety.
Moduli spaces of sheaves via affine Grassmannians

Daniel Halpern-Leistner,Andres Fernandez Herrero,Trevor Jones

2024-02-02

Abstract:We develop a new method for analyzing moduli problems related to the stack of pure coherent sheaves on a polarized family of projective schemes. It is an infinite-dimensional analogue of geometric invariant theory. We apply this to two familiar moduli problems: the stack of $\Lambda$-modules and the stack of pairs. In both examples, we construct a $\Theta$-stratification of the stack, defined in terms of a polynomial numerical invariant, and we construct good moduli spaces for the open substacks of semistable points. One of the essential ingredients is the construction of higher dimensional analogues of the affine Grassmannian for the moduli problems considered.

Algebraic Geometry
Mixed $\ell$-adic complexes for schemes over number fields

Sophie Morel

2024-09-16

Abstract:If $X$ is a variety over a number field, Annette Huber has defined a category of "horizontal" (or "almost everywhere unramified") $\ell$-adic complexes and $\ell$-adic perverse sheaves on $X$. For such objects, the notion of weights makes sense (in the sense of Deligne), just as in the case of varieties over finite fields. However, contrary to what happens in that last case, mixed perverse sheaves (or mixed locally constant sheaves) on $X$ do not have a weight filtration in general, even when $X$ is a point. The goal of this paper is to show how to avoid this problem by working directly in the derived category of the abelian category of perverse sheaves that do admit a weight filtration. As an application, the methods of a previous paper of the author to calculate the intermediate extension of a pure perverse sheaf apply over any finitely generated field, and not just over a finite field.

Algebraic Geometry

Sheafiness of Strongy Rigid-Noetherian Huber Pairs

Adic Sheafiness of $A_{\text{inf}}$ Witt Vectors over Perfectoid Rings

Weak Brill-Noether on Abelian Surfaces

Almost coherent modules and almost coherent sheaves

Mixed modular perverse sheaves on affine flag varieties and Koszul duality

Hartshorne's questions and weakly cofiniteness

Ringel duality for perverse sheaves on hypertoric varieties

The strong Lefschetz property of certain modules over Clements-Lindström rings

The asymptotic Hecke algebra and rigidity

Secant varieties of curves, Ulrich bundles and the arithmetic writhe

Cohomological integrality for symmetric quotient stacks

A Note on Numerical Perverse Sheaves

Strongly A^1-invariant sheaves (after F. Morel)

On the sheafyness property of spectra of Banach rings

Affine root systems, stable tubes and a conjecture by Geiss-Leclerc-Schröer

Algebraization Techniques and Rigid-Analytic Artin-Grothendieck Vanishing

Henselian schemes in positive characteristic

Perverse sheaves on varieties with large fundamental groups

Strong Franchetta Conjecture for Linear Systems

Moduli spaces of sheaves via affine Grassmannians

Mixed $\ell$-adic complexes for schemes over number fields