English

Constants of cyclotomic derivations

Commutative Algebra 2013-10-10 v1

Abstract

Let k[X]=k[x0,...,xn1]k[X]=k[x_0,...,x_{n-1}] and k[Y]=k[y0,...,yn1]k[Y]=k[y_0,...,y_{n-1}] be the polynomial rings in n3n\geqslant 3 variables over a field kk of characteristic zero containing the nn-th roots of unity. Let dd be the cyclotomic derivation of k[X]k[X], and let Δ\Delta be the factorisable derivation of k[Y]k[Y] associated with dd, that is, d(xj)=xj+1d(x_j)=x_{j+1} and Δ(yj)=yj(yj+1yj)\Delta(y_j)=y_j(y_{j+1}-y_j) for all jZnj\in\mathbb Z_n. We describe polynomial constants and rational constants of these derivations. We prove, among others, that the field of constants of dd is a field of rational functions over kk in n\f(n)n-\f(n) variables, and that the ring of constants of dd is a polynomial ring if and only if nn is a power of a prime. Moreover, we show that the ring of constants of Δ\Delta is always equal to k[v]k[v], where vv is the product y0...yn1y_0... y_{n-1}, and we describe the field of constants of Δ\Delta in two cases: when nn is power of a prime, and when n=pqn=p q.

Cite

@article{arxiv.1301.6251,
  title  = {Constants of cyclotomic derivations},
  author = {Jean Moulin Ollagnier and Andrzej Nowicki},
  journal= {arXiv preprint arXiv:1301.6251},
  year   = {2013}
}
R2 v1 2026-06-21T23:15:45.083Z