Table of Contents
Fetching ...

A lower bound on the analytic log-canonical threshold over local fields of positive characteristic

Itay Glazer, Yotam I. Hendel

TL;DR

The paper studies the $F$-analytic log-canonical threshold over local fields of positive characteristic, proving it is always positive and giving explicit uniform lower bounds in the algebro-geometric setting. The authors develop a strategy that reduces to a single function, then uses Weierstrass preparation to express it as a Weierstrass polynomial and derives small-ball estimates for monic and Weierstrass polynomials to deduce a lower bound on $\operatorname{lct}_{F}$. They prove a concrete bound $\operatorname{lct}_{F}(J;x_{0})\geq \frac{1}{d\,D^{m}}$, uniform in $x_{0}$ on smooth $F$-varieties, and show this bound is optimal via an explicit construction. These results underpin later work on integrability of pushforwards in positive characteristic and connect to the broader study of singularity invariants in this setting.

Abstract

Given a local field $F$ of positive characteristic, an $F$-analytic manifold $X$ and an analytic function $f:X\rightarrow F$, the $F$-analytic log-canonical threshold $\mathrm{lct}_{F}(f;x_{0})$ is the supremum over the values $s\geq0$ such that $\left|f\right|_{F}^{-s}$ is integrable near $x_{0}\in X$. We show that $\mathrm{lct}_{F}(f;x_{0})>0$. Moreover, if $f$ is a regular function on a smooth algebraic $F$-variety, we obtain an effective lower bound $\mathrm{lct}_{F}(f;x_{0})>C$, where $C>0$ is explicit and depends only on the complexity class of $X$ and $f$.

A lower bound on the analytic log-canonical threshold over local fields of positive characteristic

TL;DR

The paper studies the -analytic log-canonical threshold over local fields of positive characteristic, proving it is always positive and giving explicit uniform lower bounds in the algebro-geometric setting. The authors develop a strategy that reduces to a single function, then uses Weierstrass preparation to express it as a Weierstrass polynomial and derives small-ball estimates for monic and Weierstrass polynomials to deduce a lower bound on . They prove a concrete bound , uniform in on smooth -varieties, and show this bound is optimal via an explicit construction. These results underpin later work on integrability of pushforwards in positive characteristic and connect to the broader study of singularity invariants in this setting.

Abstract

Given a local field of positive characteristic, an -analytic manifold and an analytic function , the -analytic log-canonical threshold is the supremum over the values such that is integrable near . We show that . Moreover, if is a regular function on a smooth algebraic -variety, we obtain an effective lower bound , where is explicit and depends only on the complexity class of and .

Paper Structure

This paper contains 4 sections, 12 theorems, 25 equations.

Key Result

Theorem 1.2

Let $X$ be an $F$-analytic manifold, let $x_{0}\in X$ and let $f_{1},\ldots,f_{r}:X\to F$ be $F$-analytic functions generating a non-zero ideal $J$. Then there exists $\epsilon_{x_{0}}>0$ such that:

Theorems & Definitions (26)

  • Definition 1.1: see e.g. KolMus12, for $F=\mathbb{C}$
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Example 1.5
  • Remark 1.6
  • Definition 2.1: BGR84
  • Proposition 2.2: BGR84
  • Theorem 2.3: Weierstrass preparation theorem, BGR84
  • Corollary 2.4
  • ...and 16 more