A note on integrating group scheme actions

TL;DR

This paper investigates the limitations of integrating iterative derivations on the projective line when the iterative rule is defined by a non-algebraic formal group, revealing non-integrability under these conditions.

Contribution

It provides a non-integrability result for iterative derivations governed by non-algebraic formal groups on the projective line, extending understanding of formal group actions.

Findings

Proves non-integrability of certain iterative derivations

Identifies conditions where formal group actions cannot be integrated

Extends theoretical understanding of formal group actions on algebraic varieties

Abstract

We prove a non-integrability result concerning iterative derivations on projective line, where the iterative rule is given by a non-algebraic formal group.