Source author record

Manuel Blickle

Manuel Blickle appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

20works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2021arXiv

An asymptotic vanishing theorem for the cohomology of thickenings

Let $X$ be a closed equidimensional local complete intersection subscheme of a smooth projective scheme $Y$ over a field, and let $X_t$ denote the $t$-th thickening of $X$ in $Y$. Fix an ample line bundle $\mathcal{O}_Y(1)$ on $Y$. We prove the following asymptotic formulation of the Kodaira vanishing theorem: there exists an integer $c$, such that for all integers $t \geqslant 1$, the cohomology group $H^k(X_t,\mathcal{O}_{X_t}(j))$ vanishes for $k < \dim X$ and $j < -ct$. Note that there are no restrictions on the characteristic of the field, or on the singular locus of $X$. We also construct examples illustrating that a linear bound is indeed the best possible, and that the constant $c$ is unbounded, even in a fixed dimension.

preprint2021arXiv

Stabilization of the cohomology of thickenings

For a local complete intersection subvariety $X=V({\mathcal I})$ in ${\mathbb P}^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $X$, the cohomology of vector bundles on the formal completion of ${\mathbb P}^n$ along $X$ can be effectively computed as the cohomology on any sufficiently high thickening $X_t=V({\mathcal I^t})$; the main ingredient here is a positivity result for the normal bundle of $X$. Furthermore, we show that the Kodaira vanishing theorem holds for all thickenings $X_t$ in the same range of cohomological degrees; this extends the known version of Kodaira vanishing on $X$, and the main new ingredient is a version of the Kodaira-Akizuki-Nakano vanishing theorem for $X$, formulated in terms of the cotangent complex.

preprint2016arXiv

Functorial Test Modules

In this article we introduce a slight modification of the definition of test modules which is an additive functor $τ$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X \to Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ τ\cong τ\circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $τ\circ f_* \to f_* \circ τ$.

preprint2015arXiv

Bernstein-Sato polynomials and test modules in positive characteristic

In analogy with the complex analytic case, Mustaţă constructed (a family of) Bernstein-Sato polynomials for the structure sheaf $\mathcal{O}_X$ and a hypersurface $(f=0)$ in $X$, where $X$ is a regular variety over an $F$-finite field of positive characteristic (see arxiv:0711.3794). He shows that the suitably interpreted zeros of his Bernstein-Sato polynomials correspond to the jumping numbers of the test ideal filtration $τ(X,f^t)$. In the present paper we generalize Mustaţă's construction replacing $\mathcal{O}_X$ by an arbitrary $F$-regular Cartier module $M$ on $X$ and show an analogous correspondence of the zeros of our Bernstein-Sato polynomials with the jumping numbers of the associated filtration of test modules $τ(M,f^t)$ provided that $f$ is a non-zero divisor on $M$.

preprint2014arXiv

F-singularities via alterations

For a normal F-finite variety $X$ and a boundary divisor $Δ$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,Δ)$. Our description is in terms of regular alterations over $X$, and one consequence of it is a common characterization of rational singularities (in characteristic zero) and F-rational singularities (in characteristic $p$) by the surjectivity of the trace map $π_* ω_Y \to ω_X$ for every such alteration $π\: Y \to X$. Furthermore, building on work of B. Bhatt, we establish up-to-finite-map versions of Grauert-Riemenscheneider and Nadel/Kawamata-Viehweg vanishing theorems in the characteristic $p$ setting without assuming $W2$ lifting, and show that these are strong enough in some applications to extend sections.

preprint2013arXiv

Cartier Crystals

Building on our previous work "Cartier modules: finiteness results" we start in this manuscript an in depth study of the derived category of Cartier modules and the cohomological operations which are defined on them. After localizing at the sub-category of locally nilpotent objects we show that for a morphism essentially of finite type $f$ the operations $Rf_*$ and $f^!$ are defined for Cartier crystals. We show that, if $f$ is of finite type (but not necessarily proper) $Rf_*$ preserves coherent cohomology (up to nilpotence) and that $f^!$ has bounded cohomological dimension. In a sequel we will explain how Grothendieck-Serre Duality relates our theory of Cartier Crystals to the theory of $τ$-crystals as developed by Pink and the second author.

preprint2013arXiv

Local cohomology modules of a smooth Z-algebra have finitely many associated primes

Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.

preprint2012arXiv

$p^{-1}$-linear maps in algebra and geometry

In this article we survey the basic properties of $p^{-e}$-linear endomorphisms of coherent $Ø_X$-modules, i.e. of $Ø_X$-linear maps $F_* \sF \to \sG$ where $\sF,\sG$ are $Ø_X$-modules and $F$ is the Frobenius of a variety of finite type over a perfect field of characteristic $p > 0$. We emphasize their relevance to commutative algebra, local cohomology and the theory of test ideals on the one hand, and global geometric applications to vanishing theorems and lifting of sections on the other.

preprint2012arXiv

F-signature of pairs and the asymptotic behavior of Frobenius splittings

We generalize $F$-signature to pairs $(R,D)$ where $D$ is a Cartier subalgebra on $R$ as defined by the first two authors. In particular, we show the existence and positivity of the $F$-signature for any strongly $F$-regular pair. In one application, we answer an open question of I. Aberbach and F. Enescu by showing that the $F$-splitting ratio of an arbitrary $F$-pure local ring is strictly positive. Furthermore, we derive effective methods for computing the $F$-signature and the $F$-splitting ratio in the spirit of the work of R. Fedder.

preprint2012arXiv

F-signature of pairs: Continuity, p-fractals and minimal log discrepancies

This paper contains a number of observations on the {$F$-signature} of triples $(R,Δ,\ba^t)$ introduced in our previous joint work. We first show that the $F$-signature $s(R,Δ,\ba^t)$ is continuous as a function of $t$, and for principal ideals $\ba$ even convex. We then further deduce, for fixed $t$, that the $F$-signature is lower semi-continuous as a function on $\Spec R$ when $R$ is regular and $\ba$ is principal. We also point out the close relationship of the signature function in this setting to the works of Monsky and Teixeira on Hilbert-Kunz multiplicity and $p$-fractals. Finally, we conclude by showing that the minimal log discrepancy of an arbitrary triple $(R,Δ,\ba^t)$ is an upper bound for the $F$-signature.

preprint2011arXiv

Test ideals via algebras of $p^{-e}$-linear maps

Continuing ideas of a recent preprint of Schwede arXiv:0906.4313 we study test ideals by viewing them as minimal objects in a certain class of $F$-pure modules over algebras of p^{-e}-linear operators. This shift in the viewpoint leads to a simplified and generalized treatment, also allowing us to define test ideals in non-reduced settings. In combining this with an observation of Anderson on the contracting property of p^{-e}-linear operators we obtain an elementary approach to test ideals in the case of affine k-algebras, where k is an F-finite field. It also yields a short and completely elementary proof of the discreteness of their jumping numbers extending most cases where the discreteness of jumping numbers was shown in arXiv:0906.4679.

preprint2009arXiv

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.

preprint2009arXiv

Discreteness and rationality of $F$-jumping numbers on singular varieties

We prove that the $F$-jumping numbers of the test ideal $τ(X; Δ, \ba^t)$ are discrete and rational under the assumptions that $X$ is a normal and $F$-finite variety over a field of positive characteristic $p$, $K_X+Δ$ is $\bQ$-Cartier of index not divisible $p$, and either $X$ is essentially of finite type over a field or the sheaf of ideals $\ba$ is locally principal. This is the largest generality for which discreteness and rationality are known for the jumping numbers of multiplier ideals in characteristic zero.

preprint2008arXiv

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.

preprint2007arXiv

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.

preprint2007arXiv

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].

preprint2006arXiv

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$.

preprint2005arXiv

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).

preprint2005arXiv

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.