A notion of Poincaré series was introduced by A.Campillo et al. It was developed by Delgado and Gusein-Zade for a multi-index filtration corresponding to the sequence of blow-ups. The present paper suggests the way to generalize the notion of Poincaré series to the case of arbitrary locally free sheaf on the modification of complex plane $\mathbb{C}^2$.
This series is expressed through the topological invariants of the sheaf. For the sheaf of holomorphic functions the answer coincides with the Poincaré series found before.
We consider divisorial filtration on the rings of functions on hypersurface singularities associated with Newton diagrams and their analogues for plane curve singularities. We compute the multi-variable Poincaré series for the latter ones.
We adapt ideas from Ekedahl [Eke84] to prove a Serre-type duality for Witt-divisorial sheaves of $\mathbb Q$-Cartier divisors on a smooth projective variety over a perfect field of finite characteristic. We also explain its relationship to Tanaka's vanishing theorems [Tan20].
Suppose that $R$ is an excellent local domain with maximal ideal $m_R$. The theory of multiplicities and mixed multiplicities of $m_R$-primary ideals extends to (possibly non Noetherian) filtrations of $R$ by $m_R$-primary ideals, and many of the classical theorems for $m_R$-primary ideals continue to hold for filtrations. The celebrated theorems involving inequalities continue to hold for filtrations, but the good conclusions that hold in the case of equality for $m_R$-primary ideals do not hold for filtrations. In this article, we consider multiplicities and mixed multiplicities of $R$ by $m…
In this paper we prove that a classical theorem by McAdam about the analytic spread of an ideal in a Noetherian local ring continues to be true for divisorial filtrations on a two dimensional normal excellent local ring $R$, and that the Hilbert polynomial of the fiber cone of a divisorial filtration on $R$ has a Hilbert function which is the sum of a linear polynomial and a bounded function. We prove these theorems by first studying asymptotic properties of divisors on a resolution of singularities of the spectrum of $R$. The filtration of the symbolic powers of an ideal is an example of a di…
We prove that a classical theorem of McAdam about the analytic spread of an ideal in a Noetherian local ring is true for divisorial filtrations on an excellent local ring $R$ which is either of equicharacteristic zero or of dimension $\le 3$. In fact, the proof is valid whenever resolution of singularities holds.
To a plane curve singularity one associates a multi-index filtration on the ring of germs of functions of two variables defined by the orders of a function on irreducible components of the curve. The Poincare series of this filtration turnes out to coincide with the Alexander polynomial of the curve germ. For a finite set of divisorial valuations on the ring corresponding to some components of the exceptional divisor of a modification of the plane, in a previous paper there was obtained a formula for the Poincare series of the corresponding multi-index filtration similar to the one associated …
The Poincare series of a multi-index filtration on the ring of germs of functions can be written as a certain integral with respect to the Euler characteristic over the projectivization of the ring. Here this integral is considered with respect to the generalized Euler characteristic with values in the Grothendieck ring of varieties. For the filtration defined by orders of functions on the components of a plane curve singularity $C$ and for the so called divisorial filtration for a modification of $(\C^2,0)$ by a sequence of blowing-ups there are given formulae for this integral in terms of an…
This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new vanishing theorem related to divisors whose inverse is nef and has small Kodaira dimension. Finally, we give a new criterion for divisorial sheaves for being maximal Cohen-Macaulay.
The Beauville-Voisin conjecture predicts the existence of a filtration on projective hyper-Kähler manifolds opposite to the conjecture Bloch-Beilinson filtration, called the Beauivlle-Voisin filtration. Voisin has introduced a filtration on zero cycles of an arbitrary projective hyper-Kähler manifold. On moduli space of stable objects of a projective K3 surface, there are other candidates constructed by Shen-Yin-Zhao, Barros-Flapan-Marian-Silversmith and more recently by Vial from different point of views. According to the work of Vial, all of them are proved to be equivalent except Voisin's f…
In this paper we construct examples of irrational behavior of multiplicities and mixed multiplicities of divisorial filtrations. The construction makes essential use of anti-positive intersection products.
Earlier, for an action of a finite group $G$ on a germ of an analytic variety, an equivariant $G$-Poincaré series of a multi-index filtration in the ring of germs of functions on the variety was defined as an element of the Grothendieck ring of $G$-sets with an additional structure. We discuss to which extend the $G$-Poincaré series of a filtration defined by a set of curve or divisorial valuations on the ring of germs of analytic functions in two variables determines the (equivariant) topology of the curve or of the set of divisors.
We construct filtrations on homotopy invariant sheaves with transfers and show that under Ayoub's conjectures on $n$-motives, our filtration agrees with the one conjectured by Ayoub and Barbieri-Viale if the latter exists. Our construction is directly motivated by the work of Pelaez.
In a previous paper, there was defined a multi-index filtration on the ring of functions on a hypersurface singularity corresponding to its Newton diagram generalizing (for a curve singularity) the divisorial one. Its Poincaré series was computed for plane curve singularities non-degenerate with respect to their Newton diagrams. Here we use another technique to compute the Poincaré series for plane curve singularities without the assumption that they are non-degenerate with respect to their Newton diagrams. We show that the Poincaré series only depends on the Newton diagram and not on the defi…
Earlier the authors considered and, in some cases, computed Poincare series of two sorts of multi-index filtrations on the ring of germs of functions on a complex (normal) surface singularity (in particular on the complex plane). A filtration from the first class was defined by a curve (with several branches) on the surface singularity. The other one (so called divisorial filtration) was defined by a set of components of the exceptional divisor of a modification of the surface singularity. Here we define a filtration corresponding to an ideal or to a set of ideals in the ring of germs of funct…
We prove a Zariski-Nagata purity theorem for the motivic ramification filtration of a reciprocity sheaf. An important tool in the proof is a generalization of the Kato-Saito reciprocity map from geometric global class field theory to all reciprocity sheaves. As a corollary we obtain cut-by-curves and cut-by-surfaces criteria for various ramification filtrations. In some cases this reproves known theorems, in some cases we obtain new results.
Let E be a torsion-free sheaf on P2. We give an effective method which uses the Hilbert function of E to construct a weak version of the Harder-Narasimhan filtration of a torsion-free sheaf on P2 subject only to the condition that E be sufficiently general among sheaves with that Hilbert function. This algorithm uses on a generalization of Davis' decomposition lemma to higher rank.
We describe the standard and Leray filtrations on the cohomology groups with compact supports of a quasi projective variety with coefficients in a constructible complex using flags of hyperplane sections on a partial compactification of a related variety. One of the key ingredients of the proof is the Lefschetz hyperplane theorem for perverse sheaves and, in an appendix, we discuss the base change maps for constructible sheaves on algebraic varieties and their role in a proof, due to Beilinson, of the Lefschetz hyperplane theorem.
This Ph.D. thesis studies the relation between the Harder-Narasimhan filtration and a notion of GIT maximal unstability. When constructing a moduli space by using Geometric Invariant Theory (GIT), a notion of GIT stability appears, which is determined by 1-parameter subgroups. This thesis shows a correspondence between the 1-parameter subgroup giving maximal unstability from the GIT point of view and the Harder-Narasimhan filtration for different moduli problems: torsion free coherent sheaves, holomorphic pairs, Higgs sheaves, rank 2 tensors and quiver representations. The article [GSZ] contai…
We study the vanishing cycles of a one-parameter smoothing of a complex analytic space and show that the weight filtration on its perverse cohomology sheaf of the highest degree is quite close to the monodromy filtration so that its graded pieces have a modified Lefschetz decomposition. We describe its primitive part using the weight filtration on the perverse cohomology sheaves of the constant sheaves. As a corollary we show in the local complete intersection case that 1 is not an eigenvalue of the monodromy on the reduced Milnor cohomology at any points if and only if the total space and the…
This is a mostly expository paper, intended to explain a very natural relationship between two a priori distinct notions appearing in the literature: Generic Vanishing in the context of vanishing theorems and birational geometry, and Perverse Coherent Sheaves in the context of derived categories. I describe homological and commutative algebra criteria for checking either condition, and then recall applications to geometric situations. A few new results, and especially new proofs, are included as well.
We define a motivic conductor for any presheaf with transfers $F$ using the categorical framework developed for the theory of motives with modulus by Kahn-Miyazaki-Saito-Yamazaki. If $F$ is a reciprocity sheaf this conductor yields an increasing and exhaustive filtration on $F(L)$, where $L$ is any henselian discrete valuation field of geometric type over the perfect ground field. We show if $F$ is a smooth group scheme, then the motivic conductor extends the Rosenlicht-Serre conductor; if $F$ assigns to $X$ the group of finite characters on the abelianized étale fundamental group of $X$, then…
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the maximal abelian quotient $π^{\text{ab}}_1(U)$ of the étale fundamental groups $π_1(U)$ of an open subscheme $U \subseteq X$, which gives a measure of ramification along a divisor $D$ with normal crossing and $\text{Supp}(D) \subseteq X-U$. This filtration coincides with the Brylinski-Kato-Matsuda filtration in the relative dimension zero case.
We define formal vector bundles with marked sections on Hilbert modular schemes and we show how to use them to construct modular sheaves with an integrable meromorphic connection and a filtration which, in degree 0, gives to us a $p$-adic interpolation of the usual Hodge filtration. We relate it with the sheaf of overconvergent Hilbert modular forms.
We study a collection of stability conditions (in the sense of Schmitt) for complexes of sheaves over a smooth complex projective variety indexed by a positive rational parameter. We show that the Harder-Narasimhan filtration of a complex for small values of this parameter encodes the Harder-Narasimhan filtrations of the cohomology sheaves of this complex. Finally we relate a stratification into locally closed subschemes of a parameter space for complexes associated to these stability parameters with the stratification by Harder-Narasimhan types.
We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat affine line by the canonical action of the flat multiplicative group scheme. Via a Tannaka duality argument, we identify the underlying spectrum and associated graded functors with pull-backs of quasi-coherent sheaves along certain morphisms of stacks.
Let $F$ be a torsionfree semistable coherent sheaf on a polarized normal projective variety. We prove that $F$ has a unique maximal locally free subsheaf $V$ such that $F/V$ is torsionfree and $V$ admits a filtration of subbundles for which each successive quotient is stable whose slope is $μ(F)$. We also prove that $F$ has a unique maximal reflexive subsheaf $W$ such that $F/W$ is torsionfree and $W$ admits a filtration of subsheaves for which each successive quotient is a stable reflexive sheaf whose slope is $μ(F)$. We show that these canonical subsheaves behave well with respect to the pul…
For an affine toric variety X we compute the Poincare series of the multi-index filtration defined by a finite number of monomial divisorial valuations on the ring O_{X,0}. We give an alternative description of the Poincare series as an integral with respect to the Euler characteristic over the projectivization of the space of germs O_{X,0}. In particular we study divisorial valuations on the ring O_{C^d,0} that arise by considering toric constellations. We give an explicit formula for the Poincare series and a nice geometric description. This generalizes an expression of the Poincare series f…
We study filtration of quasi--coherent sheaves. We prove a version of Kaplansky Theorem for quasi--coherent sheaves, by using Drinfeld's notion of almost projective module and the Hill Lemma. We also show a Lazard-like theorem for flat quasi-coherent sheaves for quasi-compact and semi-separated schemes which satisfy the resolution property.
This paper deals with properties of filtrations on vector spaces indexed by partially ordered finitely generated abelian groups, which we call multifiltrations. We discuss the usual properties of filtrations, like exhaustivity and separatedness in the setting of multifiltrations and we introduce a new notion, regular multifiltrations, that has no analogue for classical filtrations. As applications, we provide a reinterpretation of Klyachko, Perling et al's description of torus-equivariant torsion-free coherent sheaves on a toric variety, and give a simple formula for pull-backs of such sheaves…
We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its E-infinity structure. This naturally extends the theory of mixed Hodge structures in rational homotopy to p-adic homotopy theory. The spectral sequence associated to the weight filtration gives a new family of multiplicative algebraic invariants of the varieties for any coefficient ring, carrying Steenrod operations. As a second application, we promote Deligne'…
We study the Hodge filtration on the local cohomology sheaves of a smooth complex algebraic variety along a closed subscheme Z in terms of log resolutions, and derive applications regarding the local cohomological dimension, the Du Bois complex, local vanishing, and reflexive differentials associated to Z.
A construction of tame sheaves and tame de Rham--Witt cohomology
Institut für Mathematik, Universität Heidelberg（海德堡大学数学研究所）；School of Mathematics and Natural Sciences, University of Wuppertal（伍珀塔尔大学数学与自然科学学院）；Graduate School of Mathematical Sciences, the University of Tokyo（东京大学数理科学研究科）
本文提出了一种构造 tame sheaves 的一般方法，应用于大 de Rham--Witt sheaves 和 reciprocity sheaves，并比较了 tame syntomic cohomology 与 tame de Rham--Witt 复合物上的 Nygaard 过滤。
On a group $G$, a filtration by normal subgroups is referred to as a normal series. If subsequent quotients are abelian, the filtration is referred to as an \emph{abelian-quotient normal series}, or `AQ normal series' for short. In this article we consider `sheaves of AQ normal series'. From a given AQ normal series satisfying an additional hypothesis we derive a complex whose first cohomology obstructs the resolution of an `integration problem'. These constructs are then applied to the classification of supermanifolds modelled on $(X, T^*_{X, -})$, where $X$ is a complex manifold and $T^*_{X,…
Let G=SL(E) be the special linear algebraic group on E where E is a finite dimensional vector space over a field K of characteristic zero. In this paper we study the canonical filtration of the dual G-module of global sections of a G-linearized invertible sheaf L on the grassmannian G/P where P in G is the parabolic subgroup stabilizing a subspace W in E. We classify the canonical filtration as P-module and as a consequence we recover known formulas on the P-module structure of the jet bundle J(L) on projective space. We study the incidence complex for the invertible sheaf O(d) on the projecti…
We review the notion of Gieseker stability for torsion-free Higgs sheaves. This notion is a natural generalization of the classical notion of Gieseker stability for torsion-free coherent sheaves. We prove some basic properties that are similar to the classical ones for torsion-free coherent sheaves over projective algebraic manifolds. In particular, we show that Gieseker stability for torsion-free Higgs sheaves can be defined using only Higgs subsheaves with torsion-free quotients; and we show that a classical relation between Gieseker stability and Mumford-Takemoto stability extends naturally…
In this article we study the perverse sheaf on Drinfeld's compactification obtained by applying the geometric Jacquet functor (alias nearby cycles) to a nondegenerate Whittaker sheaf. Namely, we describe its restrictions along the defect stratification in terms of the Langlands dual Lie algebra, in particular showing that this nearby cycles sheaf is tilting. We also describe the subquotients of the monodromy filtration using the Picard-Lefschetz oscillators introduced by S. Schieder, including a proof that the subquotients are semisimple without reference to any theory of weights. This argumen…
The lower central series invariants M_k of an associative algebra A are the two-sided ideals generated by k-fold iterated commutators; the M_k provide a filtration of A. We study the relationship between the geometry of X = Spec A_ab and the associated graded components N_k of this filtration. We show that the N_k form coherent sheaves on a certain nilpotent thickening of X, and that Zariski localization on X coincides with noncommutative localization of A. Under certain freeness assumptions on A, we give an alternative construction of N_k purely in terms of the geometry of X (and in particula…
