Search arXiv⌕ Search

arXiv · 2610.25541

The four-dimensional Sklyanin algebras revisited

Abstract

We give a theta-function and projective-geometric account of the four-dimensional Sklyanin algebras. We define a family of quadratic algebras by declaring that their relations are precisely the two-tensors vanishing on the graph of a translation automorphism on a quartic complex elliptic curve and the vertex pairs where the vertices are the singular points of the four singular quadrics that contain it. We then use Jacobi's addition formulas for theta functions to produce a set of six explicit relations that coincide with Sklyanin's RLL-relations associated to Baxter's elliptic solutions to the 2 x 2 Yang-Baxter equation. We use the geometric definition to show that these algebras coincide with Feigin and Odesskii's four-dimensional elliptic algebras. Our approach agrees with that of Rains-Ruijsenaars theta function perspective on the four-dimensional Sklyanin agebras. For example, the rank-two secant-line relations of Levasseur-Smith coincide with their two-variable theta function relations. We give explicit theta-function formulas for the degree-two central elements, previously obtained by Levassuer-Smith, that annihilate various families of line modules.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

S. Paul Smith. 2026-10-18. The four-dimensional Sklyanin algebras revisited. https://arxiv.org/abs/2610.25541

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Root of the generic cubic as a power series in the discriminant

An observation of J-P.~Serre implies that the generic monic cubic polynomial, unique among generic monic polynomials of degree at least two, has a root that is a power series in the discriminant; Serre asked for a formula. We give formulas that work over any field with an absolute value and in every characteristic. Over a complete non-archimedean field we identify the root intrinsically: it is the isolated root, the one farthest from the others. We also answer the next case of Serre's question, computing explicitly the distinguished ramified quadratic factor of the generic monic quartic. The methods combine Hensel's lemma, identities for generalized binomial series, and elementary non-archimedean analysis.

math.RA↗

A parity obstruction to completeness of object cotorsion pairs

Fu, Guil Asensio, Herzog and Torrecillas asked whether a complete ideal cotorsion pair of object ideals in an exact category always induces a complete cotorsion pair of objects. We show that it need not, even in a Hom-finite, weakly idempotent complete Frobenius exact category. Our example consists of bounded complexes of finite-dimensional vector spaces with even total cohomology dimension. We characterize special object approximations by parity and identify the obstruction as a non-split idempotent in the stable category. For cohereditary pairs, a criterion of Saor\'ın and Šťov\'ıček gives an affirmative answer when the stable category is idempotent complete.

math.RA↗

The Finite Basis Problem for Multiplicatively Idempotent Semirings

The variety of semirings satisfying $x^2\approx x$ is hereditarily finitely based in the signature consisting of addition and multiplication, without designated constants. Multiplication may be noncommutative, and the semirings need not be finite. A subdirect decomposition reduces the proof to the subvarieties defined by $3x\approx x$ and $3x\approx2x$. In the latter case, we express each polynomial identity using a common doubled part and isolated word occurrences. Four fixed identities align the first- and last-occurrence words of these occurrences. Induction on their content extracts protected identities. The associated word identities define a band variety, to which the finite basis theorem for bands applies.

math.RA↗