Determinant conjecture for twisted derivations of conductor pkp^k

Let K=Q(ζ)\mathbb{K}=\mathbb{Q}(\zeta) be the pkp^kth cyclotomic number field, where kN{1}k\in\mathbb{N}\setminus\{1\} and pp is a rational prime, and let OK=Z[ζ]O_{\mathbb{K}}=\mathbb{Z}[\zeta]. Let u,vU(pk)u,v\in U(p^k) with uvu\ne v, let σ(ζ)=ζu\sigma(\zeta)=\zeta^u and τ(ζ)=ζv\tau(\zeta)=\zeta^v, and write

β=i=0pk1(p1)1biζiOK,β(τσ)(ζ)=i=0pk1(p1)1(j=0pk1(p1)1aijbj)ζi.\beta=\sum_{i=0}^{p^{k-1}(p-1)-1}b_i\zeta^i\in O_{\mathbb{K}},\qquad \beta(\tau-\sigma)(\zeta)=\sum_{i=0}^{p^{k-1}(p-1)-1}\left(\sum_{j=0}^{p^{k-1}(p-1)-1}a_{ij}b_j\right)\zeta^i.

Let A=[aij]A=[a_{ij}] and suppose vu=pe1mv-u=p^{e_1}m, where mm is positive, e1e_1 is non-negative, and pp does not divide mm. Determinant conjecture. The matrix AA is a pk1(p1)×pk1(p1)p^{k-1}(p-1)\times p^{k-1}(p-1) matrix with determinant ±ppe1\pm p^{p^{e_1}}. This conjectured determinant provides the arithmetic input for the proposed innerness criterion in the prime-power conductor case; the sign depends on the ordering of the rows.

Sources & referencesView supporting material

Primary source

Praveen Manju and Rajendra Kumar Sharma, “Twisted Derivations in Algebraic Number Fields”, arXiv:2412.03507 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.