We study the geometry of spaces of fitrations on a Noetherian local domain. We introduce a metric $d_1$ on the space of saturated filtrations, inspired by the Darvas metric in complex geometry, such that it is a geodesic metric space. In the toric case, using Newton-Okounkov bodies, we identify the space of saturated monomial filtrations with a subspace of $L^1_\mathrm{loc}$. We also consider several other topologies on such spaces and study the semi-continuity of the log canonical threshold function in the spirit of Kollár-Demailly. Moreover, there is a natural lattice structure on the space of saturated filtrations, which is a generalization of the classical result that the ideals of a ring form a lattice.
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…
Let $(A, \mathfrak{m})$ be a Noetherian local ring and $\mathfrak{F}=(I_{n})_{n\geq 0}$ a filtration. In this paper, we study the Gorenstein properties of the fiber cone $F(\mathfrak{F})$, where $\mathfrak{F}$ is a Hilbert filtration. Suppose that $F(\mathfrak{F})$ and $G(\mathfrak{F})$ are Cohen-Macaulay. If in addition, the associated graded ring $G(\mathfrak{F})$ is Gorenstein; similarly to the $I$-adic case, we obtain a necessary and sufficient condition, in terms of lengths and minimal number of generators of ideals, for Gorensteiness of the fiber cone. Moreover, we find a description of …
Let I be an m-primary ideal of a Noetherian local ring (R,m) of positive dimension. The coefficient $e_1(A)$ of the Hilbert polynomial of an I-admissible filtration A is called the Chern number of A. The Positivity Conjecture of Vasconcelos for the Chern number of the integral closure filtration ${\bar{I^n}}$ is proved for a 2-dimensional complete local domain and more generally for any analytically unramified local ring R whose integral closure in its total ring of fractions is Cohen-Macaulay as an R-module. It is proved that if I is a parameter ideal then the Chern number of the I-adic filtr…
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.
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.
This paper investigates the existence and properties of a Bernstein-Sato functional equation in nonregular settings. In particular, we construct $D$-modules in which such formal equations can be studied. The existence of the Bernstein-Sato polynomial for a direct summand of a polynomial over a field is proved in this context. It is observed that this polynomial can have zero as a root, or even positive roots. Moreover, a theory of $V$-filtrations is introduced for nonregular rings, and the existence of these objects is established for what we call differentially extensible summands. This famil…
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…
We offer a new approach to a definition of an equivariant version of the Poincaré series. This Poincaré series is defined not as a power series, but as an element of the Grothendieck ring of $G$-sets with an additional structure. We compute this Poincaré series for natural filtrations on the ring of germs of functions on the plane $(\C^2,0)$ with a finite group representation.
In this paper, we consider $\mathbb{Z}^{r}-$graded modules on the $\mathrm{Cl}(X)$ $-$graded Cox ring $\mathbb{C}[x_{1},\dotsc,x_{r}]$ of a smooth complete toric variety $X$. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive $\mathbb{Z}^{s+r+2}$-graded modules over non-standard bigraded polynomial rings $\mathbb{C}[x_{0},\dotsc,x_{s},y_{0},\dotsc,y_{r}]$. In this case, we give sharp bounds for the multigraded regularity index of their multig…
For the Grothendieck group of a split simple linear algebraic group, the twisted gamma-filtration provides a useful tool for constructing torsion elements in gamma-rings of twisted flag varieties. In this paper, we construct a non-trivial torsion element in the gamma-ring of a complete flag variety twisted by means of a PGO-torsor. This generalizes the construction in the HSpin case previously obtained by Zainoulline. We use this torsion element to study algebras with orthogonal involutions.
An $F$-nilpotent local ring is a local ring $(R, \mathfrak{m})$ of prime characteristic defined by the nilpotence of the Frobenius action on its local cohomology modules $H^i_{\mathfrak{m}}(R)$. A singularity in characteristic zero is said to be of $F$-nilpotent type if its modulo $p$ reduction is $F$-nilpotent for almost all $p$. In this paper, we give a Hodge-theoretic interpretation of three-dimensional normal isolated singularities of $F$-nilpotent type. In the graded case, this yields a characterization of these singularities in terms of divisor class groups and Brauer groups.
Let $n$ be a positive integer. The main result of this manuscript is a construction of a filtration on the cohomology ring of a regular nilpotent Hessenberg variety in $GL(n,{\mathbb{C}})/B$ such that its associated graded ring has graded pieces (i.e., homogeneous components) isomorphic to rings which are related to the cohomology rings of Hessenberg varieties in $GL(n-1,{\mathbb{C}})/B$, showing the inductive nature of these rings. In previous work, the first two authors, together with Abe and Masuda, gave an explicit presentation of these cohomology rings in terms of generators and relations…
We define a new equivariant (with respect to a finite group $G$ action) version of the Poincaré series of a multi-index filtration as an element of the power series ring ${\widetilde{A}}(G)[[t_1, \ldots, t_r]]$ for a certain modification ${\widetilde{A}}(G)$ of the Burnside ring of the group $G$. We give a formula for this Poincaré series of a collection of plane valuations in terms of a $G$-resolution of the collection. We show that, for filtrations on the ring of germs of functions in two variables defined by the curve valuations corresponding to the irreducible components of a plane curve s…
In previous papers, there were computed the Poincare series of some (multi-index) filtrations on the ring of germs of functions on a rational surface singularity. These Poincare series were written as the integer parts of certain fractional power series, an interpretation of whom was not given. Here we show that, up to a simple change of variables, these fractional power series are specializations of the equivariant Poincare series for filtrations on the ring of germs of functions on the universal abelian cover of the surface singularity. We compute these equivariant Poincare series.
We study the first Hilbert coefficient (after the multiplicity) $e_1$ of a local ring $(A,\m). $ Under various circumstances, it is also called the {\bf Chern number} of the local ring $A.$ Starting from the work of D.G. Northcott in the 60's, several results have been proved which give some relationships between the Hilbert coefficients, but always assuming the Cohen-Macaulayness of the basic ring. Recent papers of S. Goto, K. Nishida, A. Corso and W. Vasconcelos pushed the interest toward a more general setting. In this paper we extend an upper bound on $e_1$ proved by S. Huckaba and T. Marl…
Many slope filtrations occur in algebraic geometry, asymptotic analysis, ramification theory, p-adic theories, geometry of numbers... These functorial filtrations, which are indexed by rational (or sometimes real) numbers, have a lot of common properties. We propose a unified abstract treatment of slope filtrations, and survey how new ties between different domains have been woven by dint of deep correspondences between different concrete slope filtrations.
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 define a natural filtration on the ring ${\cal O}_{V,0}$ of germs of functions on a germ of a complex analytic variety $(V,0)$ related with the geometry of arcs on the variety and describe some properties of it.
We define and study new filtrations called of stratification of a perverse sheaf on a scheme; beside the cases of the weight or monodromy filtrations, these filtrations are available whatever are the ring of coefficients. We illustrate these constructions in the geometric situation of the simple unitary Shimura varieties of Harris and Taylor's book for the perverse sheaves of Harris-Taylor and the complex of vanishing cycles, introduced and studied in my 2009 paper at inventiones. In the situation studied in loc. cit., we show how to use these filtrations to simplify the principal step of this…
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.
For a smooth projective variety X, let CH(X) be the Chow ring (with rational coefficients) of algebraic cycles modulo rational equivalence. The conjectures of Bloch and Beilinson predict the existence of a functorial ring filtration of CH(X). We want to investigate for which varieties this filtration splits, that is, comes from a graduation on CH(X) -- this occurs for K3 surfaces and, conjecturally, for abelian varieties. We observe that, though the Bloch-Beilinson filtration is only conjectural, the fact that it splits has some simple consequences which can be tested in concrete examples. Nam…
In this paper we define and explore properties of mixed multiplicities of (not necessarily Noetherian) filtrations of $m_R$-primary ideals in a Noetherian local ring $R$, generalizing the classical theory for $m_R$-primary ideals. We construct a real polynomial whose coefficients give the mixed multiplicities. This polynomial exists if and only if the dimension of the nilradical of the completion of $R$ is less than the dimension of $R$, which holds for instance if $R$ is excellent and reduced. We show that many of the classical theorems for mixed multiplicities of $m_R$-primary ideals hold fo…
The goal of the current text is to study non-archimedean analytic derived de Rham cohomology by means of formal completions. Our approach is inspired by the deformation to the normal cone provided in \cite{Gaitsgory_Study_II}. More specifically, given a morphism $f \colon X \to Y$ of (derived) $k$-analytic spaces we construct the \emph{non-archimedean deformation to the normal cone} associated to $f$. The latter can be thought as an $\mathbf A^1_k$-parametrized deformation whose fiber at $1 \in \mathbf A^1_k$ coincides with the formal completion of $f$ and the fiber at $0 \in \mathbf A^1_k$ wi…
Using a filtration on the Grothendieck ring of triangulated categories, we define the categorical dimension of a birational map between smooth projective varieties. We show that birational automorphisms of bounded categorical dimension form subgroups, which provide a nontrivial filtration of the Cremona group. We discuss some geometrical aspect and some explicit example. In the case of threefolds, we can moreover recover the genus of a birational automorphism, and the filtration defined by Frumkin.
We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multiplicative, and the associated graded ring under the perverse filtration is a degeneration of the ring of functions on a moduli space of maps $\mathbb{P}^{1}\to C_{q/p}$. We also propose several conjectur…
We classify complactly generated t-structures on the derived category of modules over a commutative Noetherian ring R in terms of decreasing filtrations by supports on Spec(R). A decreasing filtration by supports ϕ: Z -> Spec(R) satisfies the weak Cousin condition if for any integer i \in Z, the set ϕ(i) contains all the inmediate generalizations of each point in ϕ(i+1). Every t-structure on D^b_fg(R) (equivalently, on D^-_fg(R)) is induced by complactly generated t-structures on D(R) whose associated filtrations by supports satisfy the weak Cousin condition. If the ring R has dualizing comple…
Numerical invariants of a minimal free resolution of a module $M$ over a regular local ring $(R,\n)$ can be studied by taking advantage of the rich literature on the graded case. The key is to fix suitable $\n$-stable filtrations ${\mathbb M} $ of $M $ and to compare the Betti numbers of $M$ with those of the associated graded module $ gr_{\mathbb M}(M). $ This approach has the advantage that the same module $M$ can be detected by using different filtrations on it. It provides interesting upper bounds for the Betti numbers and we study the modules for which the extremal values are attained. Am…
Let $X$ be a Noetherian separated scheme of finite Krull dimension. We show that the layers of the slice filtration in the motivic stable homotopy category $\stablehomotopy$ are strict modules over Voevodsky's algebraic cobordism spectrum. We also show that the zero slice of any commutative ring spectrum in $\stablehomotopy$ is an oriented ring spectrum in the sense of Morel, and that its associated formal group law is additive. As a consequence, we get that with rational coefficients the slices are in fact motives in the sense of Cisinski-D{é}glise \cite{mixedmotives}, and have transfers if t…
We introduce a strengthening of K-stability, based on filtrations of the homogeneous coordinate ring. This allows for considering certain limits of families of test-configurations, which arise naturally in several settings. We prove that if a manifold with no automorphisms admits a cscK metric, then it satisfies this stronger stability notion. We also discuss the relation with the birational transformations in the definition of b-stability.
We define a multi-index filtration on the ring of germs of functions on a hypersurface singularity associated with its Newton diagram and compute the multivariable Poincaré series of this filtration in some cases.
We the study of the monodromy of local systems with bounded ramification on a punctured disc defined over a non-archimedean valued field of characteristic zero. First, we construct the local Fourier transforms and we establish their main properties. Also, we show that the Fourier transform of a "perverse sheaf" with bounded ramification on the affine line, is again a "perverse sheaf" with bounded ramification (we put that in quotes, because actually the language of perversity is not used). These foundations are then used to exhibit a natural break decomposition for local systems with bounded r…
We describe a 3-step filtration on all logarithmic abelian varieties with constant degeneration. The obstruction to descending this filtration, as a variegated extension, from logarithmic geometry to algebraic geometry is encoded in a bilinear pairing valued in the characteristic monoid of the base. This pairing is realized as the monodromy pairing in p-adic, l-adic, and Betti cohomolgies, and recovers the Picard-Lefschetz transformation in the case of Jacobians. The Hodge realization of the filtration is the monodromy weight filtration on the limit mixed Hodge structure.
We give a generalisation of the theory of optimal destabilizing 1-parameter subgroups to non-algebraic complex geometry. Consider a holomorphic action $G\times F\to F$ of a complex reductive Lie group $G$ on a finite dimensional (possibly non-compact) Kähler manifold $F$. Using a Hilbert type criterion for the (semi)stability of symplectic actions, we associate to any non semistable point $f\in F$ a unique optimal destabilizing vector in $\g$ and then a naturally defined point $f_0$ which is semistable for the action of a certain reductive subgroup of $G$ on a submanifold of $F$. We get a natu…
We study the K-stability of a polarised variety with non-reductive automorphism group. We associate a canonical filtration of the co-ordinate ring to each variety of this kind, which destabilises the variety in several examples which we compute. We conjecture this holds in general. This is an algebro-geometric analogue of Matsushima's theorem regarding the existence of constant scalar curvature Kähler metrics. As an application, we give an example of an orbifold del Pezzo surface without a Kähler-Einstein metric.
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 …
