4D Sklyanin Algebras

• Four-dimensional Sklyanin algebras are connected, N-graded quadratic algebras defined by six relations on four generators and parameterized by elliptic curve data.
• They feature two central quadrics that underpin a twisted homogeneous coordinate ring structure with a Hilbert series of (1-t)⁻⁴.
• Their intricate PI and Poisson structures enrich representation theory through explicit classifications of line and fat point modules and symmetry actions.

Four-dimensional Sklyanin algebras are connected $\mathbb{N}$-graded quadratic algebras on four degree-one generators that occupy a central position in noncommutative projective geometry, elliptic algebras, and PI representation theory. In the standard presentation, a 4-dimensional Sklyanin algebra $S=S(\alpha,\beta,\gamma)$ is generated by $x_0,x_1,x_2,x_3$ subject to six quadratic relations involving commutators and anticommutators, with parameters satisfying $\alpha+\beta+\gamma+\alpha\beta\gamma=0$ and standard nondegeneracy exclusions; equivalently, one may describe it by geometric data $(E,\sigma)$, where $E\subset \mathbb{P}^3$ is an elliptic curve and $\sigma$ is translation by a point $\tau\in E$ (Walton et al., 2018). For admissible parameters, these algebras are noetherian domains of global dimension $4$, Artin–Schelter regular/Gorenstein, Auslander-regular, Cohen–Macaulay, and have Hilbert series $(1-t)^{-4}$ (Walton et al., 2018). Their structure is governed by two central quadrics, a twisted homogeneous coordinate factor ring attached to $S=S(\alpha,\beta,\gamma)$0, a pencil of noncommutative quadric surfaces, and, in the finite-order case, a rich PI center equipped with a nontrivial Poisson bracket whose symplectic stratification controls irreducible representations (Smith et al., 2011, Walton et al., 2018).

1. Definition and parameterizations

A 4-dimensional Sklyanin algebra $S=S(\alpha,\beta,\gamma)$1 is the connected $S=S(\alpha,\beta,\gamma)$2-graded $S=S(\alpha,\beta,\gamma)$3-algebra generated by degree-one variables $S=S(\alpha,\beta,\gamma)$4 subject to

$S=S(\alpha,\beta,\gamma)$5

$S=S(\alpha,\beta,\gamma)$6

$S=S(\alpha,\beta,\gamma)$7

where the parameters satisfy

$S=S(\alpha,\beta,\gamma)$8

equivalently

$S=S(\alpha,\beta,\gamma)$9

together with the exclusions

$x_0,x_1,x_2,x_3$0

in the regular setting (Walton et al., 2018). In a common nondegenerate regime one also requires $x_0,x_1,x_2,x_3$1 (Davies, 2015, Herrera et al., 26 Jul 2025).

The associated projective geometry is encoded by an elliptic curve

$x_0,x_1,x_2,x_3$2

cut out by two quadrics

$x_0,x_1,x_2,x_3$3

together with an automorphism $x_0,x_1,x_2,x_3$4 realized as translation by a point $x_0,x_1,x_2,x_3$5 (Walton et al., 2018). The point scheme of $x_0,x_1,x_2,x_3$6 is the union of $x_0,x_1,x_2,x_3$7 and the four coordinate points

$x_0,x_1,x_2,x_3$8

(Walton et al., 2018).

A complementary analytic presentation writes the algebra as $x_0,x_1,x_2,x_3$9 over $\alpha+\beta+\gamma+\alpha\beta\gamma=0$0, with relations expressed in terms of Jacobi theta functions evaluated at $\alpha+\beta+\gamma+\alpha\beta\gamma=0$1; in that form the standing assumption is that $\alpha+\beta+\gamma+\alpha\beta\gamma=0$2 is not $\alpha+\beta+\gamma+\alpha\beta\gamma=0$3-torsion (Smith, 2018). The theta-function model and the $\alpha+\beta+\gamma+\alpha\beta\gamma=0$4-presentation are two realizations of the same family.

2. Central quadrics, quotient geometry, and regularity

A decisive structural feature is the existence of two central degree-two elements

$\alpha+\beta+\gamma+\alpha\beta\gamma=0$5

and a surjective homomorphism

$\alpha+\beta+\gamma+\alpha\beta\gamma=0$6

whose kernel is generated by $\alpha+\beta+\gamma+\alpha\beta\gamma=0$7 and $\alpha+\beta+\gamma+\alpha\beta\gamma=0$8 (Walton et al., 2018). Thus

$\alpha+\beta+\gamma+\alpha\beta\gamma=0$9

the pair $(E,\sigma)$0 is a central regular sequence, and $(E,\sigma)$1 is the twisted homogeneous coordinate ring attached to $(E,\sigma)$2; its graded localization is isomorphic to $(E,\sigma)$3 (Walton et al., 2018).

In this form the standard homological package is especially rigid: $(E,\sigma)$4 and $(E,\sigma)$5 are noetherian domains of global dimension $(E,\sigma)$6, AS-regular/Gorenstein, Auslander-regular, Cohen–Macaulay, with Hilbert series $(E,\sigma)$7 (Walton et al., 2018). Other treatments add that the algebra is Koszul and strongly noetherian in the nondegenerate case (Davies, 2015, Laet, 2016).

The generic center is already visible from the central quadrics. For generic parameters, equivalently $(E,\sigma)$8 of infinite order, the center is generated by two algebraically independent central quadrics $(E,\sigma)$9, and

$E\subset \mathbb{P}^3$0

(Laet, 2016). In the notation of the PI analysis this is the statement that if $E\subset \mathbb{P}^3$1, then

$E\subset \mathbb{P}^3$2

and $E\subset \mathbb{P}^3$3 is not module-finite over its center (Walton et al., 2018). Moreover,

$E\subset \mathbb{P}^3$4

so the central quadrics recover the annihilator ideal of all point modules on the elliptic point scheme (Laet, 2016).

A further connection with lower-dimensional Sklyanin geometry is provided by Van den Bergh’s noncommutative quadrics: the second Veronese of a cubic 3-dimensional Sklyanin algebra is a quotient of a 4-dimensional quadratic Sklyanin algebra, and the kernel is generated by a central quadratic lying in the span of the two central quadrics (Laet, 2016). This places the 4-dimensional theory at an intersection point between noncommutative $E\subset \mathbb{P}^3$5, twisted homogeneous coordinate rings, and noncommutative quadric hypersurfaces.

3. Noncommutative quadrics, line modules, and symmetry

The degree-two center defines a pencil of noncommutative quadrics. For a basis $E\subset \mathbb{P}^3$6 of the central two-dimensional subspace in degree $E\subset \mathbb{P}^3$7, one sets

$E\subset \mathbb{P}^3$8

Its base locus is the elliptic curve $E\subset \mathbb{P}^3$9, directly paralleling a generic pencil of quadrics in commutative $\sigma$0 (Smith et al., 2011). Labeling the pencil by points $\sigma$1 via the corresponding central quadratic $\sigma$2, one obtains

$\sigma$3

and the smoothness criterion

$\sigma$4

Equivalently, there are exactly four singular quadrics in the pencil, namely

$\sigma$5

(Smith et al., 2011).

Line modules supply the ruling structure. For $\sigma$6, the secant line $\sigma$7 determines a line module $\sigma$8, and for fixed $\sigma$9 the two rulings on a smooth quadric are

$\tau\in E$0

When $\tau\in E$1, these two families coincide, so the singular quadric has only one ruling (Smith et al., 2011). This recasts the classical geometry of rulings on a quadric surface in categorical terms.

For a smooth noncommutative quadric $\tau\in E$2, one has

$\tau\in E$3

with generators $\tau\in E$4 coming from the two rulings and hyperplane class $\tau\in E$5 (Smith et al., 2011). The intersection pairing defined from alternating sums of Ext-dimensions satisfies

$\tau\in E$6

exactly as for $\tau\in E$7 (Smith et al., 2011). At the same time, the noncommutative setting exhibits an additional phenomenon: certain fat point objects have Euler self-pairing $\tau\in E$8, corresponding to a self-intersection number $\tau\in E$9 under the geometric sign convention (Smith et al., 2011).

Heisenberg symmetry is another recurrent feature. The Heisenberg group $4$0 acts by degree-preserving automorphisms on $4$1, with degree-one part the $4$2-dimensional simple $4$3-representation (Laet, 2016). This representation theory organizes the quadratic relation space, the proof of existence of two central quadrics, and the explicit quotient map to the second Veronese of a cubic 3-dimensional Sklyanin algebra (Laet, 2016). In related constructions built from $4$4, finite quantum-group symmetries tied to the Heisenberg group act by autoequivalences and control point and line module incidence (Chirvasitu et al., 2015).

4. PI structure, enlarged centers, and Poisson geometry

Let $4$5 be the order of the elliptic translation automorphism. Then $4$6 and its twisted homogeneous coordinate factor $4$7 are module-finite over their centers, hence PI, if and only if $4$8; in that case

$4$9

(Walton et al., 2018). Writing

$(1-t)^{-4}$0

one obtains the parity parameter governing the even/odd dichotomy in the finite-order case (Walton et al., 2018).

Smith–Tate’s description of the center becomes explicit in this regime: $(1-t)^{-4}$1 is generated by four degree-$(1-t)^{-4}$2 elements $(1-t)^{-4}$3 together with the degree-two central elements $(1-t)^{-4}$4, subject to two relations $(1-t)^{-4}$5 of degree $(1-t)^{-4}$6 (Walton et al., 2018). For odd $(1-t)^{-4}$7, the relations take the form

$(1-t)^{-4}$8

while for even $(1-t)^{-4}$9 they acquire additional linear terms in the $S=S(\alpha,\beta,\gamma)$00-variables (Walton et al., 2018). The resulting affine variety

$S=S(\alpha,\beta,\gamma)$01

is the central geometric object in the PI theory.

Walton–Wang–Yakimov construct on every PI 4-dimensional Sklyanin algebra a nontrivial Poisson $S=S(\alpha,\beta,\gamma)$02-order structure in the sense of Brown–Gordon (Walton et al., 2018). The construction proceeds by specialization from a formal deformation $S=S(\alpha,\beta,\gamma)$03 and yields a nonzero induced Poisson bracket on $S=S(\alpha,\beta,\gamma)$04. Crucially,

$S=S(\alpha,\beta,\gamma)$05

so $S=S(\alpha,\beta,\gamma)$06 and $S=S(\alpha,\beta,\gamma)$07 lie in the Poisson center (Walton et al., 2018). Under the hypotheses verified in the paper, the bracket on $S=S(\alpha,\beta,\gamma)$08 is of Jacobian type: $S=S(\alpha,\beta,\gamma)$09 for some $S=S(\alpha,\beta,\gamma)$10 (Walton et al., 2018).

This Poisson structure controls the symplectic-core decomposition of $S=S(\alpha,\beta,\gamma)$11. For fixed scalars $S=S(\alpha,\beta,\gamma)$12, the slices

$S=S(\alpha,\beta,\gamma)$13

have smooth loci that are $S=S(\alpha,\beta,\gamma)$14-dimensional symplectic cores, while the singular points of all slices form the $S=S(\alpha,\beta,\gamma)$15-dimensional cores (Walton et al., 2018). One obtains

$S=S(\alpha,\beta,\gamma)$16

and the Azumaya locus of $S=S(\alpha,\beta,\gamma)$17 coincides with the smooth locus

$S=S(\alpha,\beta,\gamma)$18

(Walton et al., 2018).

The singular locus itself depends sharply on the parity of $S=S(\alpha,\beta,\gamma)$19. If $S=S(\alpha,\beta,\gamma)$20 is odd, then

$S=S(\alpha,\beta,\gamma)$21

is the union of $S=S(\alpha,\beta,\gamma)$22 cuspidal curves

$S=S(\alpha,\beta,\gamma)$23

meeting only at the origin, and $S=S(\alpha,\beta,\gamma)$24 contains two additional cuspidal curves per $S=S(\alpha,\beta,\gamma)$25-torsion point $S=S(\alpha,\beta,\gamma)$26 (Walton et al., 2018). If $S=S(\alpha,\beta,\gamma)$27 is even, then $S=S(\alpha,\beta,\gamma)$28 is the union of two rational surfaces $S=S(\alpha,\beta,\gamma)$29, depending on a chosen $S=S(\alpha,\beta,\gamma)$30-torsion automorphism $S=S(\alpha,\beta,\gamma)$31, and over $S=S(\alpha,\beta,\gamma)$32 these surfaces contain the cuspidal curves $S=S(\alpha,\beta,\gamma)$33 that parametrize supports of fat point modules of multiplicity at most $S=S(\alpha,\beta,\gamma)$34 (Walton et al., 2018). A useful contrast is that, unlike the 3-dimensional root-of-unity case, the symplectic cores of maximal dimension have codimension $S=S(\alpha,\beta,\gamma)$35 in the 4-dimensional PI setting, making Poisson geometry essential in the Azumaya analysis (Walton et al., 2018).

5. Representation theory, fat points, and discriminants

The finite-order case admits a detailed representation theory. If $S=S(\alpha,\beta,\gamma)$36 has order $S=S(\alpha,\beta,\gamma)$37, then every simple $S=S(\alpha,\beta,\gamma)$38-module has dimension at most $S=S(\alpha,\beta,\gamma)$39, and “almost all” have dimension precisely $S=S(\alpha,\beta,\gamma)$40; moreover, finite-dimensional simple modules separate elements, so for every nonzero $S=S(\alpha,\beta,\gamma)$41 there exists a simple module $S=S(\alpha,\beta,\gamma)$42 with $S=S(\alpha,\beta,\gamma)$43 (Smith, 2018). Consequently, $S=S(\alpha,\beta,\gamma)$44 satisfies the standard polynomial identity of degree $S=S(\alpha,\beta,\gamma)$45 and none of lower degree, is a maximal order, and is finite over its center (Smith, 2018). The associated degree-zero fraction division algebra has rational center and degree

$S=S(\alpha,\beta,\gamma)$46

over that center (Smith, 2018).

Fat point modules organize the exceptional fibers. In the finite-order setting, for each $S=S(\alpha,\beta,\gamma)$47 and each $S=S(\alpha,\beta,\gamma)$48 there is a fat point $S=S(\alpha,\beta,\gamma)$49 of multiplicity $S=S(\alpha,\beta,\gamma)$50, characterized by exact sequences

$S=S(\alpha,\beta,\gamma)$51

whenever $S=S(\alpha,\beta,\gamma)$52 (Smith, 2018). These are all intermediate-multiplicity fat points. There are also infinitely many multiplicity-$S=S(\alpha,\beta,\gamma)$53 fat points, and their parameter space is a rational $S=S(\alpha,\beta,\gamma)$54-fold (Smith, 2018).

Walton–Wang–Yakimov sharpen this picture by classifying irreducible representations via the Poisson geometry of $S=S(\alpha,\beta,\gamma)$55, the algebro-geometric structure of the elliptic curve, and the theory of line and fat point modules (Walton et al., 2018). If $S=S(\alpha,\beta,\gamma)$56, then

$S=S(\alpha,\beta,\gamma)$57

so there is a unique $S=S(\alpha,\beta,\gamma)$58-dimensional simple representation with central character $S=S(\alpha,\beta,\gamma)$59; if $S=S(\alpha,\beta,\gamma)$60, the unique simple is the trivial $S=S(\alpha,\beta,\gamma)$61-dimensional representation (Walton et al., 2018). Over $S=S(\alpha,\beta,\gamma)$62 the remaining simple modules are described in terms of Sklyanin’s theta-function representations $S=S(\alpha,\beta,\gamma)$63 and their scalar twists.

For odd $S=S(\alpha,\beta,\gamma)$64, the map from $S=S(\alpha,\beta,\gamma)$65-dimensional simples to $S=S(\alpha,\beta,\gamma)$66 is bijective, and for each $S=S(\alpha,\beta,\gamma)$67 there is a $S=S(\alpha,\beta,\gamma)$68 map

$S=S(\alpha,\beta,\gamma)$69

(Walton et al., 2018). Thus $S=S(\alpha,\beta,\gamma)$70 has irreducible representations of every dimension

$S=S(\alpha,\beta,\gamma)$71

For even $S=S(\alpha,\beta,\gamma)$72, the smooth locus again parametrizes the $S=S(\alpha,\beta,\gamma)$73-dimensional simples, while a generic point of the singular surfaces supports two $S=S(\alpha,\beta,\gamma)$74-dimensional simples, and the cuspidal curves $S=S(\alpha,\beta,\gamma)$75 carry the intermediate-dimensional simples through $S=S(\alpha,\beta,\gamma)$76 maps

$S=S(\alpha,\beta,\gamma)$77

for $S=S(\alpha,\beta,\gamma)$78 (Walton et al., 2018). In particular, over $S=S(\alpha,\beta,\gamma)$79 the possible dimensions are

$S=S(\alpha,\beta,\gamma)$80

in the even case (Walton et al., 2018).

This representation-theoretic stratification is reflected exactly in the discriminant ideals over the center. If $S=S(\alpha,\beta,\gamma)$81 is the reduced trace, then for the discriminant ideals $S=S(\alpha,\beta,\gamma)$82 and modified discriminants $S=S(\alpha,\beta,\gamma)$83 one has

$S=S(\alpha,\beta,\gamma)$84

and the lower zero sets are unions of the same cuspidal curves, rational surfaces, or the origin, depending on $S=S(\alpha,\beta,\gamma)$85 and the parity of $S=S(\alpha,\beta,\gamma)$86 (Walton et al., 2018). The paper interprets these strata as recording the square-sum of dimensions of irreducible representations in the central fiber.

6. Twists, adjacent families, and later developments

Several later developments clarify both the robustness and the rigidity of the 4-dimensional Sklyanin class. Davies studied cocycle twists by the Klein four-group $S=S(\alpha,\beta,\gamma)$87 and showed that the twist $S=S(\alpha,\beta,\gamma)$88 of a 4-dimensional Sklyanin algebra remains generated in degree $S=S(\alpha,\beta,\gamma)$89, strongly noetherian, AS-regular of global dimension $S=S(\alpha,\beta,\gamma)$90, Auslander regular, Cohen–Macaulay, Koszul, with Hilbert series $S=S(\alpha,\beta,\gamma)$91 (Davies, 2015). At the same time, the geometry changes drastically: when $S=S(\alpha,\beta,\gamma)$92, the point scheme of $S=S(\alpha,\beta,\gamma)$93 consists of exactly $S=S(\alpha,\beta,\gamma)$94 points, while the twist has infinitely many fat point modules of multiplicity $S=S(\alpha,\beta,\gamma)$95 parametrized by the quotient elliptic curve $S=S(\alpha,\beta,\gamma)$96 (Davies, 2015). The corresponding twisted homogeneous coordinate factor $S=S(\alpha,\beta,\gamma)$97 is described as a twisted ring attached to a sheaf of maximal orders on $S=S(\alpha,\beta,\gamma)$98, with

$S=S(\alpha,\beta,\gamma)$99

(Davies, 2015).

Chirvasitu–Smith analyzed a larger 3-parameter class $x_0,x_1,x_2,x_3$00 with the same six formal relations but without imposing the Sklyanin constraint (Chirvasitu et al., 2017). Within that ambient family, the genuine 4-dimensional Sklyanin algebras are characterized precisely by

$x_0,x_1,x_2,x_3$01

together with the standard nondegeneracy assumptions (Chirvasitu et al., 2017). Outside the Sklyanin locus, and under $x_0,x_1,x_2,x_3$02 and $x_0,x_1,x_2,x_3$03, the point scheme becomes a zero-dimensional scheme of degree $x_0,x_1,x_2,x_3$04, in fact a graph of a bijection between two $x_0,x_1,x_2,x_3$05-point subsets of $x_0,x_1,x_2,x_3$06, and all four squares

$x_0,x_1,x_2,x_3$07

are central (Chirvasitu et al., 2017). This provides an objective criterion for distinguishing true 4-dimensional Sklyanin algebras from Sklyanin-like $x_0,x_1,x_2,x_3$08-generator, $x_0,x_1,x_2,x_3$09-relator algebras.

The Sklyanin algebra also serves as input for other elliptic constructions. In the exotic elliptic algebra

$x_0,x_1,x_2,x_3$10

where $x_0,x_1,x_2,x_3$11, one again obtains a noetherian AS-regular algebra of dimension $x_0,x_1,x_2,x_3$12 with the same Hilbert series as the polynomial ring in four variables; its point modules form a $x_0,x_1,x_2,x_3$13-point scheme and its line modules are parametrized by a degree-$x_0,x_1,x_2,x_3$14 curve in $x_0,x_1,x_2,x_3$15 that is the union of four disjoint plane conics and three disjoint quartic elliptic curves isomorphic to $x_0,x_1,x_2,x_3$16 for the three nonzero $x_0,x_1,x_2,x_3$17-torsion points $x_0,x_1,x_2,x_3$18 (Chirvasitu et al., 2015). The finite quantum group related to the Heisenberg group of size $x_0,x_1,x_2,x_3$19 acts by autoequivalences and governs much of the incidence theory (Chirvasitu et al., 2015).

A different specialization arises when $x_0,x_1,x_2,x_3$20. In that case, after normalizing to parameters $x_0,x_1,x_2,x_3$21 and imposing a $x_0,x_1,x_2,x_3$22-structure, Nikolaev proved that the quotient by a specific two-sided ideal $x_0,x_1,x_2,x_3$23 is $x_0,x_1,x_2,x_3$24-isomorphic to the algebraic noncommutative torus: $x_0,x_1,x_2,x_3$25 with $x_0,x_1,x_2,x_3$26, $x_0,x_1,x_2,x_3$27, $x_0,x_1,x_2,x_3$28, $x_0,x_1,x_2,x_3$29 (Nikolaev, 2011). This yields a covariant functor from elliptic curves to noncommutative tori in that normalization (Nikolaev, 2011).

Recent work has also emphasized a limitation of the 4-dimensional theory from the viewpoint of noncommutative differential geometry. Although the nondegenerate 4-dimensional Sklyanin algebras are regular graded algebras of dimension $x_0,x_1,x_2,x_3$30 with Hilbert series $x_0,x_1,x_2,x_3$31 and are noetherian domains outside the exceptional parameter values, none of them admits a connected integrable differential calculus of suitable dimension in the sense of Brzeziński–Sitarz (Herrera et al., 26 Jul 2025). This contrasts sharply with the nondegenerate 3-dimensional Sklyanin algebras, all of which are differentially smooth in that framework (Herrera et al., 26 Jul 2025). A plausible implication is that homological smoothness and AS-regularity are strictly weaker than differential smoothness for elliptic algebras of global dimension $x_0,x_1,x_2,x_3$32.