Finite noncommutative geometries related to F_p[x]

Hopf algebras and their applications (16T05) Noncommutative differential geometry (46L87) Geometry of quantum groups (58B32) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50)

Abstract: It is known that irreducible noncommutative differential structures over

B b b F_{p} [x]

are classified by irreducible monics

m

. We show that the cohomology

H_{m d R}^{0} (B b b F_{p} [x]; m) = B b b F_{p} [g_{d}]

if and only if

m T r (m) e 0

, where

g_{d} = x^{p^{d}} - x

and

d

is the degree of

m

. This implies that there are

p - 1 o v e r p d s u m_{k | d, p m i d k} m u_{M} (k) p^{d o v e r k}

such noncommutative differential structures (

m u_{M}

the M"obius function). Motivated by killing this zero'th cohomology, we consider the directed system of finite-dimensional Hopf algebras

A_{d} = B b b F_{p} [x] / (g_{d})

as well as their inherited bicovariant differential calculi

O m e g a (A_{d}; m)

. We show that

A_{d} = C_{d} o t i m e s_{c} h i A_{1}

a cocycle extension where

C_{d} = A_{d}^{p} s i

is the subalgebra of elements fixed under

p s i (x) = x + 1

. We also have a Frobenius-fixed subalgebra

B_{d}

of dimension

f r a c 1 d s u m_{k | d} p h i (k) p^{f} r a c d k

(

p h i

the Euler totient function), generalising Boolean algebras when

p = 2

. As special cases,

A_{1} c o n g B b b F_{p} (B b b Z / p B b b Z)

, the algebra of functions on the finite group

B b b Z / p B b b Z

, and we show dually that

B b b F_{p} B b b Z / p B b b Z c o n g B b b F_{p} [L] / (L^{p})

for a `Lie algebra' generator

L

with

e^{L}

group-like, using a truncated exponential. By contrast,

A_{2}

over

B b b F_{2}

is a cocycle modification of

B b b F_{2} ((B b b Z / 2 B b b Z)^{2})

and is a 1-dimensional extension of the Boolean algebra on 3 elements. In both cases we compute the Fourier theory, the invariant metrics and the Levi-Civita connections within bimodule noncommutative geometry.

Recommendations

Cites work

Cited in

(4)

Describes a project that uses

Uses Software

This page was built for publication: Finite noncommutative geometries related to \(\mathbb{F}_p[x]\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2180606)