[Paper Review] The Lemma on b-functions in Positive Characteristic

Theodore J. Stadnik|arXiv (Cornell University)|Jun 18, 2012

Polynomial and algebraic computation10 references3 citations

TL;DR

This paper establishes the existence of b-functions for locally finitely generated unit F-modules on F-finite smooth schemes over a perfect field in positive characteristic. Using Euler operators and list test modules, it proves that the b-function has rational roots and is locally determined in the étale topology, generalizing the Bernstein-Sato polynomial to positive characteristic via Frobenius structures and F-jumping exponents.

ABSTRACT

Let $X$ be an $F$-finite smooth scheme of essentially finite type over a perfect field. This article proves the existence of $b$-functions for locally finitely generated unit $F$-modules when equipped with their induced $\mathbb{D}_X$-module structure. It is shown that the $b$-function has rational roots and is determined locally in the étale topology.

Motivation & Objective

• To extend the theory of b-functions—central in D-module theory in characteristic zero—to positive characteristic settings.
• To define and characterize b-functions for unit F-modules equipped with their induced D_X-module structure.
• To show that b-functions in positive characteristic have rational roots and are locally determined in the étale topology.
• To generalize Mustață's work on Bernstein-Sato polynomials in positive characteristic by linking b-functions to F-jumping exponents.
• To establish a global b-function via minimal root morphisms in the context of unit F-modules.

Proposed method

• Uses the V-filtration and D_X-module structure on unit F-modules to define b-functions via the action of the Euler operator −∂_t t.
• Applies the theory of list test modules and minimal generators to analyze the action of Euler operators on filtered components of D_X-modules.
• Employs Frobenius powers and [1/q^e] operations on submodules to study the behavior of differential operators in positive characteristic.
• Introduces the concept of minimal root morphisms A_min to define a global b-function b_M(s) = b_{A_min}(s) for unit F-modules.
• Leverages the étale topology to show local determination of the b-function.
• Uses jumping numbers of list test modules to compute roots of the b-function, particularly linking them to F-jumping exponents in [0,1).

Experimental results

Research questions

• RQ1 Does a b-function exist for locally finitely generated unit F-modules in positive characteristic, analogous to the Bernstein-Sato polynomial in characteristic zero?
• RQ2 Are the roots of the b-function rational, and do they correspond to F-jumping exponents in [0,1)?
• RQ3 Can the b-function be globally defined and locally determined in the étale topology for such modules?
• RQ4 How does the action of the Euler operator −∂_t t on generators of unit F-modules relate to the b-function?
• RQ5 What is the role of minimal root morphisms in defining a canonical global b-function?

Key findings

• The b-function exists for all locally finitely generated unit F-modules on F-finite smooth schemes over a perfect field.
• The b-function has rational roots, and these roots are contained in the set of F-jumping exponents of the defining function in [0,1).
• The b-function is locally determined in the étale topology, meaning its definition is compatible with local data.
• For the pushforward of a tame local system on A^1, the b-function is b_A(s) = (s − 1/m), independent of the index j, with roots determined by the ramification index m.
• In the case of a wildly ramified Artin-Schreier cover, the b-function divides ∏_{0≤a<q}(s − a/q), showing rational roots related to q-adic valuations.
• The global b-function is defined as b_M(s) = b_{A_min}(s), where A_min is the unique minimal coherent root morphism, ensuring uniqueness and global coherence.