Searcharxiv⌕ Search

arXiv subjects

Manuel Blickle

Publications and source records attributed to Manuel Blickle.

36 records · Page 2Linked to original sources
arXiv2009

Cartier Modules: finiteness results

On a locally Noetherian scheme X over a field of positive characteristic p we study the category of coherent O_X-modules M equipped with a p^{-e}-linear map, i.e. an additive map C: O_X \to O_X satisfying rC(m)=C(r^{p^e}m) for all m in M, r in O_X. The notion of nilpotence, meaning that some power of the map C is zero, is used to rigidify this category. The resulting quotient category, called Cartier crystals, satisfies some strong finiteness conditions. The main reasult in this paper states that, if the Frobenius morphism on X is a finite map, i.e. if X is F-finite, then all Cartier crystals have finite length. We further show how this and related results can be used to recover and generalize other finiteness results of Hartshorne-Speiser, Lyubeznik, Sharp, Enescu-Hochster, and Hochster about the structure of modules with a left action of the Frobenius. For example, we show that over any regular F-finite scheme X Lyubeznkik's F-finite modules have finite length.

math.AG↗
arXiv2008

F-thresholds of hypersurfaces

We continue our study of F-thresholds begun in math/0607660 by an in depth analysis of the hypersurface case. We use the D--module theoretic description of generalized test ideals which allows us to show that in any F--finite regular ring the F-thresholds of hypersurfaces are discrete and rational (in math/0607660 the finite type over a field case was shown for arbitrary ideals). Furthermore we show that any limit of F-pure thresholds of principal ideals in bouneded dimension is again an F-pure-threshold, hence in particular the limit is rational. The study of the set of F-pure-thresholds leads to natural analogs of conjectures of Shokurov and Kollár (for log canonical thresholds) in the case of F-pure-thresholds.

math.AG↗
arXiv2007

Minimal $γ$--sheaves

In this note we show that finitely generated unit $O_X[σ]$--modules for $X$ regular and $F$--finite have a minimal root (in the sense of [Lyubeznik, F-modules] Definition~3.6). This problem was posed by Lyubeznik and answered by himself in the case that $X=\Spec R$ is a complete local ring. One immediate consequence of this result is that the parameter test module of tight closure theory commutes with localization. As a further application of the methods in this paper we give new proofs of the results on discreteness and rationality of $F$--thresholds [arXiv:0705.1210] and on $D$-module generation [arXiv:math/0502405v1]. The new proofs are valid in a slightly more general setting such that they also party cover the generalizations recently obtained in [arXiv:0706.3028].

math.AG↗
arXiv2007

Discreteness and rationality of F-thresholds

The F-thresholds are characteristic p analogs of the jumping coefficients for multiplier ideals in characteristic zero. In this article we give an alternative description of the F-thresholds of an ideal in a regular and F--finite ring $R$. This enables us to settle two open questions posed in [Mustata, Takagi, Watanabe: F-thresholds and Bernstein-Sato polynomials], namely we show that the F-thresholds are rational and discrete.

math.AG↗
arXiv2006

Local cohomology multiplicities in in terms of étale cohomolgy

We give a description of certain local cohomology invariants (introduced by Lyubeznik) for a class of mildly singular varieties in positive characteristic. The novelty of our approuch lies in using the new Riemann-Hilbert type correspondenc of Emerton and Kisin to express these invariants in terms of 'etale cohomology with ZZ/pZZ coefficients. Thus we are able to obtain results in positive characteristic whereas earlier approaches were restricted (due to the use of de Rham theory) to the analytic case.

math.AG↗
arXiv2006

Rational Singularities and Rational Points

If $X$ is a projective, geometrically irreducible variety defined over a finite field $\F_q$, such that it is smooth and its Chow group of 0-cycles fulfills base change, i.e. $CH_0(X\times_{\F_q}\bar{\F_q(X)})=\Q$, then the second author's theorem asserts that its number of rational points satisfies $|X(\F_q)| \equiv 1$ modulo $q$. If $X$ is not smooth, this is no longer true. Indeed J. Kollár constructed an example of a rationally connected surface over $\F_q$ without any rational points. Based on the work by Berthelot-Bloch and the second author computing the slope $<1$ piece of rigid cohomology, we define a notion of Witt-rational singularities in characteristic $p>0$. The theorem is then that if $X/\F_q$ is a projective, geometrically irreducible variety, such that it has Witt-rational singularities and its Chow group of 0-cycles fulfills base change, then $|X(\F_q)| \equiv 1$ modulo $q$.

math.NT↗
arXiv2005

Characteristic 0 and p analogies, and some motivic cohomology

The purpose of this survey is to explain some recent results about analogies between characteristic 0 and characteristic $p>0$ geometry, and to discuss an infinitesimal variant of motivic cohomology. More specifically, we review results showing that the big de Rham Witt complex of a field is a complex of 0-cycles (section 2), as well as results showing analogies between char. $p>0$ and char. 0 geometry. Some of those results determine local cohomology invariants of singular varieties (section 3) and others are concerned with congruences modulo $q$-powers for the number of rational points of varieties defined over $\F_q$ (section 1).

math.AG↗
arXiv2005

A short course on geometric motivic integration

These notes grew out of several introductory talks I gave during the years 2003--2005 on motivic integration. They give a short but thorough introduction to the flavor of motivic integration which nowadays goes by the name of geometric motivic integration. As an illustration of the theory some applications to birational geometry are also included.

math.AG↗
arXiv2005

Lyubeznik's invariants for cohomologically isolated singularities

In this note I give a description of Lyubeznik's local cohomology invariants for a certain natural class of local rings, namely the ones which have the same local cohomology vanishing as one expects from an isolated singularity. This strengthens the results of Bondu and myself in math.AG/0406265 while at the same time somewhat simplifying the proofs. Through examples I further point out the bad behavior of these invariants under reduction to positive characteristic.

math.AG↗
arXiv2005

Generators of D-modules in positive characteristic

Let R be either a polynomial or a formal power series ring in a finite number of variables over a field k of characteristic p > 0 and let D be the ring of klinear differential operators of R. In this paper we prove that if f is a non-zero element of R then R[1/f], obtained from R by inverting f, is generated as a D-module by 1/f . This is very much in contrast to the characteristic zero situation where the corresponding statement is false (there the generation is governed by the roots of the Bernstein polynomial of f). In fact we prove analogs of the above result for a considerably wider class of rings R and a considerably wider class of D-modules.

math.AC↗
arXiv2004

D-module generation in positive characteristic via Frobenius descent

In this short note I give an alternative proof of a generalization of the result in math.AC/0407464. Namely I show that for most regular rings R, the localization R[1/f] at an element f of R is generated as a module over the ring of differential operators of R by 1/f itself. Due to the greater generality this answers some questions raised in math.AC/0407464. Some further generalizations and a brief discussion of the main technique (Frobenius descent) are also included.

math.AC↗
arXiv2004

The intersection homology D-module in finite characteristic

For Y a closed normal subvariety of codimension c of a smooth complex variety X, Brylinski and Kashiwara showed that the local cohomology module H^c_Y(X,O_X) contains a unique simple D_X-submodule, denoted by L(Y,X). In this paper the analogous result is shown for X and Y defined over a perfect field of finite characteristic. Moreover, a local construction of Ll(Y,X) is given, relating it to the theory of tight closure. From the construction one obtains a criterion for the D_X-simplicity of H^c_Y(X).

math.AG↗
arXiv2003

An informal introduction to multiplier ideals

Multiplier ideals, and the vanishing theorems they satisfy, have found many applications in recent years. In the global setting they have been used to study pluricanonical and other linear series on a projective variety. More recently, they have led to the discovery of some surprising uniform results in local algebra. The present notes aim to provide a gentle introduction to the algebraically-oriented local side of the theory. They follow closely a short course on multiplier ideals given in September 2002 at the Introductory Workshop of the program in commutative algebra at MSRI.

math.AG↗
arXiv2003

On rings with small Hilbert-Kunz multiplicity

A result of Watanabe and Yoshida says that an unmixed local ring of positive characteristic is regular if and only if its Hilbert-Kunz multiplicity is one. We show that, for fixed $p$ (characteristic) and $d$ (dimension), there exist a number $ε(d,p) > 0$ such that any nonregular unmixed ring $R$ has Hilbert-Kunz multiplicity at least $1+ε(d,p)$. We also show that local rings with sufficiently small Hilbert-Kunz multiplicity are Cohen-Macaulay and $F$-rational.

math.AC↗
arXiv2003

The D-Module structure of R[F]-modules

Let R be a regular ring essentially of finite type over a perfect field k. An R-module M is called a unit R[F]-module if it comes equipped with an isomorphism F*M-->M where F denotes the Frobenius map on Spec R, and F* is the associated pullback functor. It is well known that M then carries a natural D-module structure. In this paper we investigate the relation between the unit R[F]-structure and the induced D-structure on M. In particular, it is shown that, if k is algebraically closed and M is a simple finitely generated unit R[F]-module, then it is also simple as a D-module. An example showing the necessity of k being algebraically closed is also given.

math.AG↗
arXiv2001

The intersection homology D--module in finite characteristic

Let R be a regular, local and F-finite ring defined over a field of finite characteristic. Let I be an ideal of height c with normal quotient $A=R/I$. It is shown that the local cohomology module H^c_I(R) contains a unique simple D_R--submodule L(A,R). This should be viewed as a finite characteristic analog of the Kashiwara--Brylinski D_R--module in characteristic zero which corresponds to the intersection cohomology complex via the Riemann--Hilbert correspondence. Besides the existence of L(A,R), more importantly, we give its construction as a certain dual of the tight closure of zero in $H^d_m(A)$. We obtain a precise D_R--simplicity criterion for H^c_I(R), namely H^c_I(R) is D_R--simple if and only if the tight closure of zero in H^d_m(A) is Frobenius nilpotent, in particular this is the case if A is F--rational. Furthermore, the techniques developed imply a result in tight closure theory, saying that the parameter test module commutes with completion.

math.AG↗