Generation conjecture for tensor products of cyclic algebras

Let FF be a field, let dd be a positive integer, and let

A=k=1n(αk,βk)d,F=k=1nF[xk,yk]A=\bigotimes_{k=1}^n(\alpha_k,\beta_k)_{d,F}=\bigotimes_{k=1}^n F[x_k,y_k]

be a tensor product of cyclic algebras. Define

X=k=1nx11xk11xky1yk1,Y=k=1nx11xk11y1yk.X=\sum_{k=1}^n x_1^{-1}\dots x_{k-1}^{-1}x_k y_1\dots y_{k-1},\qquad Y=\sum_{k=1}^n x_1^{-1}\dots x_{k-1}^{-1}y_1\dots y_k.

A subspace is dd-central when every element has its ddth power in FF and its lower positive powers are not central.

Generation conjecture. The algebra AA is generated by XX and YY.

The elements XX and YY span a dd-central subspace, so the conjecture would produce a finite linearization of the exponentiation form. Together with the rank monotonicity conjecture and the stated theorem, this would yield finite linearizations of unbounded high ranks for forms of degree at least four in at least two variables. The supplied text gives no proof or counterexample.

Sources & referencesView supporting material

Primary source

Adam Chapman, “p-Central Subspaces of Central Simple Algebras”, arXiv:1406.0069 (2014).

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.