0000000000144565

AUTHOR

Axel Stäbler

showing 7 related works from this author

Functorial Test Modules

2016

In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ 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 \tau \cong \tau \circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $\tau \circ f_* \to f_* \circ \tau$.

Pure mathematicsSmooth morphismAlgebra and Number TheoryFunctor13A35 (Primary) 14F10 14B05 (Secondary)010102 general mathematicsType (model theory)Mathematics - Commutative AlgebraCommutative Algebra (math.AC)01 natural sciencesMathematics - Algebraic GeometryTransformation (function)0103 physical sciencesNatural transformationFOS: Mathematics010307 mathematical physics0101 mathematicsAlgebraic Geometry (math.AG)Mathematics
researchProduct

Test module filtrations for unit $F$-modules

2015

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.

Smooth morphismPure mathematicsAlgebra and Number Theory010102 general mathematicsDivisor (algebraic geometry)Commutative Algebra (math.AC)Mathematics - Commutative Algebra01 natural sciencesMathematics - Algebraic GeometryMathematics::Algebraic GeometryMathematics::K-Theory and Homology0103 physical sciencesPrimary 13A35 Secondary 14B05 14F10Filtration (mathematics)FOS: Mathematics010307 mathematical physics0101 mathematicsUnit (ring theory)Algebraic Geometry (math.AG)Mathematics
researchProduct

Complexity of gauge bounded Cartier algebras

2019

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.Communicated by Graham J. Leuschke

Pure mathematicsAlgebra and Number TheoryMathematics::Commutative AlgebraHigh Energy Physics::Lattice010102 general mathematics010103 numerical & computational mathematicsGauge (firearms)Commutative Algebra (math.AC)Mathematics - Commutative Algebra01 natural sciencesMathematics::Algebraic GeometryBounded functionConverseFOS: Mathematics0101 mathematicsAlgebra over a fieldMathematics
researchProduct

$V$-filtrations in positive characteristic and test modules

2013

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 \'etale morphisms. We also derive corresponding transformation rules for test modules generalizing previous results by Schwede and Tucker in the \'etale case (cf. ar…

Primary 13A35 Secondary 14B05General MathematicsType (model theory)Commutative Algebra (math.AC)01 natural sciencesCombinatoricsMathematics - Algebraic GeometryMathematics::Algebraic GeometryMathematics::K-Theory and HomologyMathematics::Category Theory0103 physical sciencesFiltration (mathematics)FOS: MathematicsClosed immersionIdeal (ring theory)0101 mathematicsAlgebraic Geometry (math.AG)MathematicsRing (mathematics)FunctorMathematics::Commutative AlgebraApplied Mathematics010102 general mathematicsMathematics - Commutative AlgebraHypersurface010307 mathematical physicsConstant sheaf
researchProduct

Dagger closure and solid closure in graded dimension two

2013

We introduce a graded version of dagger closure and prove that it coincides with solid closure for homogeneous ideals in two-dimensional N \mathbb {N} -graded domains of finite type over a field.

DaggerPure mathematicsHomogeneousApplied MathematicsGeneral MathematicsDimension (graph theory)Closure (topology)Field (mathematics)Type (model theory)MathematicsTransactions of the American Mathematical Society
researchProduct

On a question of Mehta and Pauly

2013

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.

Mathematics - Algebraic GeometryPure mathematicsMathematics::Algebraic GeometryFiltration (mathematics)FOS: MathematicsVector bundleGeneral MedicineAlgebraic Geometry (math.AG)Mathematics14H60
researchProduct

The associated graded module of the test module filtration

2017

We show that each direct summand of the associated graded module of the test module filtration $\tau(M, f^\lambda)_{\lambda \geq 0}$ admits a natural Cartier structure. If $\lambda$ is an $F$-jumping number, then this Cartier structure is nilpotent on $\tau(M, f^{\lambda -\varepsilon})/\tau(M, f^\lambda)$ if and only if the denominator of $\lambda$ 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$-…

Pure mathematicsAlgebra and Number TheoryMathematics::Commutative Algebra010102 general mathematicsGraded ring010103 numerical & computational mathematicsMathematics - Commutative AlgebraCommutative Algebra (math.AC)01 natural sciencesMathematics - Algebraic GeometryMathematics::Algebraic GeometryFiltration (mathematics)FOS: Mathematics0101 mathematicsAlgebraic Geometry (math.AG)Mathematics
researchProduct