arXiv subjects
Publications and source records attributed to Axel Stäbler.
We prove that a homomorphism of rings of prime characteristic is b-nil formally unramified if and only if its relative Frobenius is an epimorphism. We specialize this result under different finiteness conditions such as (relative) $F$-finiteness and Noetherianity. We give an example where the absolute Frobenius is an epimorphism but is not surjective, as well as an example of a formally unramified homomorphism that is not b-nil formally unramified.
We provide a transformation rule for adjoint test modules along Cohen--Macaulay maps between Cohen--Macaulay varieties that have $F$-rational geometric fibers. This is, in part, an effective version of Enescu's theorem on the ascent of $F$-rationality under local maps with $F$-rational geometric fibers.
We introduce a framework for pulling back Cartier modules and their associated invariants along regular $F$-finite morphisms. To achieve this, we construct a relative Cartier isomorphism and operator for an arbitrary regular $F$-finite map of locally noetherian schemes. As an application, we obtain new results on the constancy regions of mixed test ideals, based on the work of Felipe Pérez.
We investigate flat morphisms of schemes of positive characteristic whose relative Frobenius is an isomorphism, which we call pristine. We show that these give rise to a natural Grothendieck topology that is fine tuned for the localization of Cartier modules.
Let $S$ be KLT threefold singularity over an algebraically closed field of positive characteristic $p>5$. We prove that its local étale fundamental group is tame and finite. Further, we show that every finite unipotent torsor over a big open of $S$ is realized as the restriction of a finite unipotent torsor over $S$.
We give a comprehensive treatment on how $F$-signatures, splitting primes, splitting ratios, and test modules behave under finite covers. To this end, we expand on the notion of transposability along a section section of the relative canonical module as first introduced by K.~Schwede and K.~Tucker.
Let $(R,\mathfrak{m}, k)$ be a strictly local normal $k$-domain of positive characteristic and $P$ be a prime divisor on $X=\text{Spec } R$. We study the Galois category of finite covers over $X$ that are at worst tamely ramified over $P$ in the sense of Grothendieck--Murre. Assuming that $(X,P)$ is a purely $F$-regular pair, our main result is that every Galois cover $f \: Y \to X$ in that Galois category satisfies that $\bigl(f^{-1}(P)\bigr)_{\text{red}}$ is a prime divisor. We shall explain why this should be thought as a (partial) generalization of a classical theorem due to S.S.~Abhyankar regarding the étale-local structure of tamely ramified covers between normal schemes with respect to a divisor with normal crossings. Additionally, we investigate the formal consequences this result has on the structure of the fundamental group representing the Galois category. We also obtain a characteristic zero analog by reduction to positive characteristics following Bhatt--Gabber--Olsson's methods.
We show that a gauge bounded Cartier algebra has finite complexity. We also give an example showing that the converse does not hold in general.
We show that each direct summand of the associated graded module of the test module filtration $τ(M, f^λ)_{λ\geq 0}$ admits a natural Cartier structure. If $λ$ is an $F$-jumping number, then this Cartier structure is nilpotent on $τ(M, f^{λ-\varepsilon})/τ(M, f^λ)$ if and only if the denominator of $λ$ is divisible by $p$. We also show that these Cartier structures coincide with certain Cartier structures that are obtained by considering certain $\mathcal{D}$-modules associated to $M$ that were used to construct Bernstein-Sato polynomials. Moreover, we point out that the zeros of the Bernstein-Sato polynomial $b_{M,f}$ attached to an \emph{$F$-regular} Cartier module correspond to its $F$-jumping numbers. This generalizes Theorem 5.4 of arXiv:1402.1333 where a stronger version of $F$-regularity was used. Finally, we develop a basic theory of \emph{non-$F$-pure modules} and prove a weaker connection between Bernstein-Sato polynomials $b_{M,f}$ and Cartier modules $(M, κ)$ for which $M_f$ is $F$-regular and certain jumping numbers attached to $M$.
Assume $X$ is a variety over $\mathbb{C}$, $A \subseteq \mathbb{C}$ is a finitely generated $\mathbb{Z}$-algebra and $X_A$ a model of $X$ (i.e. $X_A \times_A \mathbb{C} \cong X$). Assuming the weak ordinarity conjecture we show that there is a dense set $S \subseteq \text{Spec } A$ such that for every closed point $s$ of $S$ the reduction of the maximal non-lc ideal filtration $\mathcal{J}'(X, Δ, \mathfrak{a}^λ)$ coincides with the non-$F$-pure ideal filtration $σ(X_s, Δ_s, \mathfrak{a}_s^λ)$ provided that $(X, Δ)$ is klt or if $(X, Δ)$ is log canonical, $\mathfrak{a}$ is principal and the non-klt locus is contained in $\mathfrak{a}$.
We prove that intermediate extensions of perverse constructible $\mathbb{F}_p$-sheaves commute with smooth pullbacks for schemes admitting a closed embedding into a smooth scheme over a field of characteristic $p$ (embeddable schemes for short). Along the way we also prove that the equivalence of categories of Cartier crystals with unit $R[F]$-modules commutes with $f^!$ for a smooth morphism $f: X \to Y$ of embeddable schemes.
We prove that the top mixed characteristic Lyubeznik number of a ring $S$ that is a quotient of a complete unramified regular local ring of mixed characteristc with algebraically closed residue field is $1$ provided that depth $S \geq 2$ and dim $S \geq 3$ using a second vanishing theorem in mixed characteristic proved in arXiv:1609.05846
We extend the notion of test module filtration introduced by Blickle for Cartier modules. We then show that this naturally defines a filtration on unit $F$-modules and prove that this filtration coincides with the notion of $V$-filtration introduced by Stadnik in the cases where he proved existence of his filtration. We also show that these filtrations do not coincide in general. Moreover, we show that for a smooth morphism $f: X \to Y$ test modules are preserved under $f^!$. We also give examples to show that this is not the case if $f$ is finite flat and tamely ramified along a smooth divisor.
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 τ$.
In this short note we provide explicit examples in characteristic $p$ on certain smooth projective curves where for a given semistable vector bundle $\mathcal{E}$ the length of the Harder-Narasimhan filtration of $F^\ast \mathcal{E}$ is longer than $p$. This answers a question of Mehta and Pauly raised in arXiv:math/0607565.
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$.
Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this coincides with the test module filtration. We also show that the associated graded induces a functor $Gr^{[0,1]}$ from Cartier crystals to Cartier crystals supported on $V(\mathfrak{a})$. This functor commutes with finite pushforwards for principal ideals and with pullbacks along essentially étale morphisms. We also derive corresponding transformation rules for test modules generalizing previous results by Schwede and Tucker in the étale case (cf. arXiv:1003.4333). If $\mathfrak{a} = (f)$ defines a smooth hypersurface and $R$ is in addition regular then for a Cartier crystal corresponding to a locally constant sheaf on $\Spec R_{\acute{e}t}$ the functor $Gr^{[0,1]}$ corresponds, up to a shift, to $i^!$, where $i: V(\mathfrak{a}) \to \Spec R$ is the closed immersion.
We provide for all prime numbers $p$ examples of smooth projective curves over a field of characteristic $p$ for which base change of the fundamental group scheme fails. This is intimately related to how $F$-trivial vector bundles, i.e. bundles trivialized by a power of the Frobenius morphism, behave in (trivial) families. We conclude with a study of the behavior of $F$-triviality in (not necessarily trivial) families.