[Paper Review] Restrictions of log canonical algebras of general type

Florin Ambro|ArXiv.org|Oct 11, 2005

Algebraic Geometry and Number Theory9 references3 citations

TL;DR

This paper establishes a precise description of the restriction of a log canonical algebra of general type to a log canonical center of codimension one, introducing a novel diophantine property of log canonical algebras and showing that the restricted algebra coincides with a log canonical algebra on a birational model, defined by a threshold divisor $Θ$. The key result identifies the image of the restriction map via a limit of fixed parts, with equality in high degrees under mild singularities and rational coefficient assumptions.

ABSTRACT

We introduce a diophantine property of a log canonical algebra, and use it to describe the restriction of a log canonical algebra of general type to a log canonical center of codimension one.

Motivation & Objective

• To describe the image of the restriction map of a log canonical algebra of general type to a log canonical center of codimension one.
• To address the failure of the restriction map to be surjective in the logarithmic case, where the inclusion may be strict in all degrees.
• To introduce a new diophantine property of log canonical algebras, inspired by Shokurov and Viehweg, to control asymptotic behavior of fixed parts.
• To extend previous results on invariance of plurigenera and finite generation to the log canonical setting, particularly for varieties of general type.
• To establish conditions under which the restricted algebra is isomorphic to a log canonical algebra on a birational model, using a threshold divisor $Θ$.

Proposed method

• Introduce a new diophantine property of log canonical algebras (Lemma 1.5), combining ideas from Shokurov and Viehweg to control the asymptotic behavior of fixed parts of linear systems.
• Define the threshold divisor $Θ = \max(B_Y - \lim_{i\to\infty} \frac{(\mathbf{F}ix(iK+iB)|_Y)_Y}{i}, 0)$, which captures the limiting effect of fixed divisors on the restriction to $Y$.
• Use Kawamata-Viehweg vanishing and relative bigness to ensure surjectivity of pushforwards in the proof of equality in high degrees.
• Apply a birational modification $\mu: \tilde{X} \to X$ to resolve singularities and ensure the mobile part of $i(K+B)$ is relatively free, enabling precise control of the fixed part trace on $\tilde{Y}$.
• Leverage the existence of Zariski decomposition for $K_Y + \Theta$ to prove finite generation of the restricted algebra when coefficients are rational.
• Use induction and Siu’s method, adapted to the log setting, by replacing the boundary with a canonical sequence satisfying arithmetic conditions to propagate properties from $n-1$ to $n$.

Experimental results

Research questions

• RQ1 Under what conditions does the restriction of a log canonical algebra of general type to a codimension-one log canonical center coincide with a log canonical algebra on a birational model of the center?
• RQ2 How can the image of the restriction map be precisely described when the inclusion is not surjective in the logarithmic case?
• RQ3 What diophantine property of log canonical algebras governs the asymptotic behavior of fixed parts in the restriction process?
• RQ4 When is the graded algebra $\bigoplus_{n=0}^\infty \pi_*\mathcal{O}_Y(nK_Y + n\Theta)$ finitely generated?
• RQ5 What role does the Zariski decomposition of $K_Y + \Theta$ play in ensuring finite generation and rationality of $\Theta$?

Key findings

• The image of the restriction map $\operatorname{Im}(\pi_*\mathcal{O}_X(nK+nB) \to \pi_*\mathcal{O}_Y(nK_Y+nB_Y))$ is contained in $\pi_*\mathcal{O}_Y(nK_Y+n\Theta)$ for all $n \geq 1$, with equality holding for $n \geq 2$ under the condition $\{nB\} \leq B$.
• Equality holds for $n=1$ if $\pi(Y) \neq \pi(X)$, even when $\{B\} \not\leq B$, showing the restriction map is surjective in degree one under this geometric condition.
• When $B$ has rational coefficients and $K_Y + \Theta$ admits a Zariski decomposition relative to $S$, the divisor $\Theta$ has rational coefficients and the algebra $\bigoplus_{n=0}^\infty \pi_*\mathcal{O}_Y(nK_Y + n\Theta)$ is finitely generated.
• The threshold divisor $\Theta$ is defined as the componentwise maximum of $B_Y$ minus the limit of normalized fixed parts of $i(K+B)$ restricted to $Y$, capturing the asymptotic base locus behavior.
• The construction of $\Theta$ via a birational model ensures that the restricted algebra is isomorphic to a log canonical algebra on that model, resolving the failure of the naive restriction to be log canonical.
• The proof relies on a new diophantine property (Lemma 1.5) that guarantees the existence of infinitely many $n$ with $\{nB\} \leq B$, enabling inductive arguments in the logarithmic setting.