---
title: Log-Ozone Group in Poisson Algebras
url: https://www.emergentmind.com/topics/log-ozone-group
type: topic
---

# Log-Ozone Group in Poisson Algebras

The log-ozone group is a Poisson-algebraic invariant introduced for Poisson algebras over fields of positive characteristic. It is defined not as a group of automorphisms, but as the collection of Poisson derivations of the form \(f^{-1}\{-,f\}\) arising from regular Poisson normal elements \(f\). This construction was introduced as a Poisson-theoretic analogue of the associative ozone group, while correcting a mismatch that appears in positive characteristic if one works only with derivations annihilating the Poisson center [2507.06940]. In the associative literature, by contrast, the ozone group means the subgroup of automorphisms fixing the center pointwise, \(\mathrm{Oz}(A)=\mathrm{Aut}_{Z(A)}(A)\) [2302.11471, 2312.13014, 2512.21056].

## 1. Terminology, provenance, and conceptual placement

The term “ozone group” first appears in the associative setting. For an algebra \(A\) with center \(Z(A)\), the ozone group is
\[
\mathrm{Oz}(A):=\{\sigma\in \mathrm{Aut}(A)\mid \sigma(z)=z\text{ for all }z\in Z(A)\},
\]
so it records center-fixing automorphisms [2302.11471]. In PI Artin–Schelter regular contexts, this invariant became structurally significant: it controls normal elements, characterizes skew polynomial rings in maximal-rank cases, and in the PI AS-regular setting is finite abelian [2312.13014, 2512.21056].

The log-ozone group is a later, distinct notion. It belongs to Poisson algebra, not to associative automorphism theory, and it was introduced precisely because the earlier Poisson notion of an “ozone derivation” was too weak in positive characteristic: every Hamiltonian derivation annihilates the Poisson center, so vanishing on \(Z(P)\) does not isolate the correct structure [2507.06940]. The new construction instead mirrors the associative viewpoint in which ozone symmetries are induced by normal elements. In the Poisson setting, the analogue of a normal element is a Poisson normal element, and the associated derivation is logarithmic in form.

This terminological distinction matters. Several associative papers explicitly do not define or use a log-ozone group, only the ozone group itself [2302.11471, 2312.13014, 2512.21056]. The same distinction is reiterated in the study of the Calabi–Yau family \(B_q(f)\), where the relevant noncommutative object is the ozone group of automorphisms, whereas the logarithmic variant appears only in the Poisson analogue \(A(f)\) discussed at the end of that paper [2512.09766].

## 2. Formal definition in Poisson algebra

Let \(A\) be a Poisson algebra over a field \(\Bbbk\) of characteristic \(p>0\). Its Poisson center is
\[
Z(A)=\{z\in A:\{z,a\}=0\text{ for all }a\in A\}.
\]
An element \(f\in A\) is Poisson normal if
\[
\{a,f\}\in fA\qquad \text{for all }a\in A.
\]
The set of Poisson normal elements is denoted
\[
P(A)=\{f\in A:\{a,f\}\in fA\text{ for all }a\in A\}.
\]
For a regular Poisson normal element \(f\), the associated log-ozone derivation is
\[
\delta_f:=f^{-1}\{-,f\},
\qquad
\delta_f(a)=f^{-1}\{a,f\}.
\]
The log-ozone group is then defined by
\[
\loz(A)=\{\delta_f\mid f\in P(A)\text{ is regular}\}.
\]
These are the paper’s exact basic definitions [2507.06940].

The adjective “log” refers to the formal resemblance
\[
\delta_f(-)\sim \{-,\log f\},
\]
so \(\delta_f\) behaves like a logarithmic Hamiltonian derivation. When \(f\) is a unit, the paper identifies \(\delta_f\) with the standard log-Hamiltonian form [2507.06940].

No separate “log-center” is introduced. Instead the paper defines
\[
C_{\loz}(P):=\bigcap_{\delta\in \loz(P)}\ker \delta,
\]
the common kernel of all log-ozone derivations. One always has \(Z(P)\subseteq C_{\loz}(P)\), and for skew-symmetric polynomial Poisson algebras these two algebras coincide [2507.06940].

## 3. Elementary structure and algebraic properties

The first structural fact is multiplicativity of Poisson normal elements and additivity of the associated derivations. If \(f,g\in P(A)\), then
\[
fg\in P(A),
\qquad
\delta_{fg}=\delta_f+\delta_g.
\]
In characteristic \(p\), one also has
\[
\delta_{f^p}=0,
\qquad
-\delta_f=\delta_{f^{p-1}}.
\]
Consequently, \(\loz(A)\) is not merely a set: it is an additive subgroup of \(\mathrm{PDer}(A)\), and in fact an elementary abelian \(p\)-group, equivalently an \(\mathbb F_p\)-vector space [2507.06940].

In graded polynomial Poisson settings, Poisson normal elements interact particularly well with the grading. If \(A=\Bbbk[x_1,\dots,x_n]\) is graded and \(f\in P(A)\) decomposes into homogeneous summands of distinct degrees,
\[
f=f_1+\cdots+f_m,
\]
then each \(f_i\) is again Poisson normal and satisfies
\[
\delta_{f_i}=\delta_f.
\]
This allows reduction to homogeneous Poisson normal elements in many arguments [2507.06940].

The same paper proves further compatibility statements. For connected graded Poisson domains,
\[
\loz(A\otimes B)\cong \loz(A)\times \loz(B),
\]
and in particular
\[
\loz(A[t])\cong \loz(A).
\]
For Poisson Ore extensions \(B=A[t;\alpha,\beta]_P\), the log-ozone group can also be described explicitly in terms of \(\alpha\), \(\beta\), and divisibility conditions on \(\alpha(f)\) or \(\beta(f)\) for Poisson normal \(f\) [2507.06940].

A further graded phenomenon underlies the later classification theory. If \(f,g\in P(A)\) in a graded polynomial Poisson algebra, then
\[
\{f,g\}=qfg\quad\text{for some }q\in \Bbbk,
\]
and the corresponding log-ozone derivations commute:
\[
\delta_f\delta_g=\delta_g\delta_f.
\]
This commuting, often diagonalizable, family of derivations is what makes \(\loz(A)\) usable as a recognition invariant [2507.06940].

## 4. Maximal log-ozone groups and skew-symmetric Poisson structures

The central structural class is the skew-symmetric polynomial Poisson algebra
\[
P_C=\Bbbk[x_1,\dots,x_n],
\qquad
\{x_i,x_j\}=c_{ij}x_ix_j,
\]
where \(C=(c_{ij})\) is skew-symmetric [2507.06940]. In this setting every generator \(x_i\) is Poisson normal, hence determines a log-ozone derivation \(\delta_{x_i}\). These derivations act diagonally on \(A_1\):
\[
\delta_{x_i}(x_j)=c_{ji}x_j.
\]

The paper introduces three auxiliary notions for graded polynomial Poisson algebras. An algebra is “inferable” if every \(\delta\in\loz(A)\) acts diagonalizably on \(A\); “quasi-inferable” if every nonzero \(\delta\in\loz(A)\) has some nonzero eigenvalue; and “loz-decomposable” if
\[
A_{\loz}=\bigoplus_{\delta\in\loz(A)}A_\delta,
\qquad
A_\delta=\{0\}\cup\{f\in A:\delta_f=\delta\}.
\]
These conditions organize the main recognition theorem [2507.06940].

The principal classification statement is Theorem 2.12. For an algebraically closed field \(\Bbbk\) and a graded polynomial Poisson algebra \(A=\Bbbk[x_1,\dots,x_n]\), the following are equivalent:

\[
A\cong P_C\text{ for some skew-symmetric matrix }C;
\]
\[
|\loz(A)|=\operatorname{rk}_{Z}(A)\text{ and }A\text{ is inferable;}
\]
\[
|\loz(A)|=\operatorname{rk}_{Z}(A)\text{ and }A\text{ is quasi-inferable;}
\]
\[
|\loz(A)|=\operatorname{rk}_{Z}(A)\text{ and }A\text{ is loz-decomposable.}
\]

Thus the log-ozone group is maximal exactly on the skew-symmetric class, once one adds the relevant eigenspace-decomposability hypothesis [2507.06940]. This is the Poisson analogue of earlier associative characterizations of skew polynomial rings via ozone groups [2312.13014].

For \(P_C\), the Poisson center admits an explicit monomial description. If
\[
M=\{v\in \mathbb N^n\mid \varphi_C(v)=0\},
\]
then
\[
Z(P_C)=\Bbbk[M].
\]
Concretely, a monomial \(x^v=x_1^{v_1}\cdots x_n^{v_n}\) lies in the center exactly when
\[
Cv\equiv 0 \pmod p.
\]
In the same skew-symmetric setting, the common kernel of all log-ozone derivations recovers the center:
\[
C_{\loz}(P_C)=Z(P_C).
\]
This makes \(\loz(A)\) a direct tool for detecting central structure [2507.06940].

## 5. Examples and explicit computations

The two-variable skew-symmetric case is the model example. Let \(p\neq 2\), \(c\in \Bbbk^\times\), and
\[
P=\Bbbk[x_1,x_2],
\qquad
\{x_1,x_2\}=cx_1x_2.
\]
Then
\[
Z(P)=\Bbbk[x_1^p,x_2^p],
\]
and \(\loz(P)\) is generated by \(\delta_{x_1}\) and \(\delta_{x_2}\). Its size is
\[
|\loz(P)|=p^2=\operatorname{rk}_{Z(P)}(P),
\]
while the center can be recovered as
\[
Z(P)=\ker\delta_{x_1}\cap \ker\delta_{x_2}.
\]
This is the clearest illustration of the maximal-rank phenomenon [2507.06940].

A contrasting example is the Poisson Jordan plane,
\[
P=\Bbbk[x_1,x_2],
\qquad
\{x_1,x_2\}=x_1^2.
\]
Here
\[
Z(P)=\Bbbk[x_1^p,x_2^p],
\]
but
\[
\loz(P)=\{\delta_{x_1}\}\cong \mathbb F_p,
\qquad
|\loz(P)|=p<p^2=\operatorname{rk}_{Z(P)}(P).
\]
Moreover,
\[
C_{\loz}(P)=\ker \delta_{x_1}=\Bbbk[x_1,x_2^p].
\]
This shows that a large center alone does not force maximality of the log-ozone group [2507.06940].

Three-dimensional Jacobian-type examples sharpen this contrast. For the unimodular skew-symmetric case
\[
\Omega=2x_1x_2x_3,
\]
the paper computes
\[
\loz(P_\Omega)=\langle \delta_{x_1},\delta_{x_2},\delta_{x_3}\rangle
=\langle \delta_{x_1},\delta_{x_2}\rangle
\cong \mathbb F_p^{\oplus 2},
\]
and \(P_\Omega\) is inferable. By contrast, if \(\Omega\) is irreducible, then
\[
\loz(P_\Omega)=0.
\]
Other examples show intermediate behavior: loz-decomposable but not quasi-inferable, or quasi-inferable without the skew-symmetric form [2507.06940].

## 6. Unimodularity, centers, and relation to the broader ozone framework

The log-ozone group is closely tied to unimodularity. For a polynomial Poisson algebra \(P=\Bbbk[x_1,\dots,x_n]\), the modular derivation is
\[
\phi(f)=\sum_{j=1}^n \frac{\partial}{\partial x_j}\{x_j,f\}.
\]
For a skew-symmetric algebra \(P_C\),
\[
\phi(x_i)=\left(\sum_{j=1}^n c_{ij}\right)x_i,
\]
so \(P_C\) is unimodular exactly when
\[
\sum_{j=1}^n c_{ij}=0\qquad \forall i.
\]
The paper proves that if \(P_C\) is unimodular, then \(Z(P_C)\) is Gorenstein. It also proves a dimension-three extension: if \(p>3\) and \(P\) is a graded polynomial Poisson algebra of dimension \(3\), then unimodularity implies that \(Z(P)\) is Gorenstein [2507.06940].

Vanishing of the log-ozone group has a sharp three-dimensional description. Assuming \(p>3\), for
\[
P=\Bbbk[x_1,x_2,x_3],
\]
one has
\[
\loz(P)=0
\]
if and only if \(P\) is unimodular and isomorphic to \(P_\Omega\) where \(\Omega\) is irreducible or \(\Omega=x_1^3\). A key mechanism is that if \(P\) is not unimodular, then its modular derivation lies in \(\loz(P)\); hence triviality of \(\loz(P)\) forces unimodularity [2507.06940].

This places the log-ozone group within a broader ozone-theoretic sequence. In associative algebra, ozone groups encode center-fixing automorphisms and, in the PI AS-regular case, are finite abelian [2312.13014, 2512.21056]. In the Poisson setting, the logarithmic variant replaces automorphisms by derivations induced from Poisson normal elements [2507.06940]. The connection is explicit in the study of the Poisson analogues
\[
A(f)=k[u,v,w],
\qquad
\{u,v\}=uv,\quad \{w,u\}=uw+f(v),\quad \{v,w\}=vw+f(u),
\]
where the relevant analogue is again log-ozone derivations rather than an associative ozone group. That paper notes that \(A(t^2)\) is the semiclassical limit of \(B_q(t^2)\), recalls that the log-ozone group of \(A(t^2)\) is trivial, and asks whether the log-ozone group of \(A(f)\) is trivial for general \(f\) [2512.09766].

In this sense, the log-ozone group is the positive-characteristic Poisson counterpart of the associative ozone-group program, but with a distinctly differential rather than automorphic character. It packages Poisson normality, center structure, eigenspace decompositions, unimodularity, and Gorenstein properties into a single invariant that is both computable in examples and strong enough to characterize the skew-symmetric polynomial Poisson class [2507.06940].

Source: https://www.emergentmind.com/topics/log-ozone-group