double Ore H
- Relations
- \(x_2 x_1 - x_1 x_2 - x_1^2\)
- \(x_4 x_3 + x_3 x_4\)
- \(x_3 x_1 - h x_1 x_4\)
- \(x_3 x_2 - h f x_1 x_4 - h x_2 x_4\)
- \(x_4 x_1 - h x_1 x_3\)
- \(x_4 x_2 - h f x_1 x_3 - h x_2 x_3\)
- Parameters
- \(f\) — scalar parameter
- \(h\) — deformation parameter (generic scalar)
- Point scheme
- a union of 4 lines (dimension \(1\)).
- Normal elements
- normal locus dimension \(0\) (degree 1), \(0\) (degree 2).
- Hochschild cohomology
- \(\mathrm{HH}^\bullet_0(A)\) \(= (1, 3, 3, 1)\)
\(\mathrm{HH}^\bullet(\operatorname{qgr} A)\) \(= (1, 3, 6, 8)\) - Kodaira–Spencer
- rank \(2\); injective: yes; surjective: no.
- Introduced
- 2009, MR2529094 . Family H among the double extension regular algebras of type (14641) classified by Zhang–Zhang.
Code
The presentation, ready to paste into a computer algebra system:
needsPackage "AssociativeAlgebras"
K = frac(QQ[f, h]);
A = K<|x1,x2,x3,x4|>;
I = ideal {
x2*x1 - x1*x2 - x1^2,
x4*x3 + x3*x4,
x3*x1 - h*x1*x4,
x3*x2 - h*f*x1*x4 - h*x2*x4,
x4*x1 - h*x1*x3,
x4*x2 - h*f*x1*x3 - h*x2*x3
};
B = A/I;PolyRing := FunctionField(Rationals, ["f", "h"]);;
indets := IndeterminatesOfFunctionField(PolyRing);;
f := indets[1];;
h := indets[2];;
kQ := FreeKAlgebra(PolyRing, 4, "x");;
x1 := kQ.x1;; x2 := kQ.x2;; x3 := kQ.x3;; x4 := kQ.x4;;
rels := [
x2*x1 - x1*x2 - x1^2,
x4*x3 + x3*x4,
x3*x1 - h*x1*x4,
x3*x2 - h*f*x1*x4 - h*x2*x4,
x4*x1 - h*x1*x3,
x4*x2 - h*f*x1*x3 - h*x2*x3
];;
A := kQ / rels;;// untested (Magma not available here)
K<f, h> := RationalFunctionField(Rationals(), 2);
F<x1,x2,x3,x4> := FreeAlgebra(K, 4);
rels := [
x2*x1 - x1*x2 - x1^2,
x4*x3 + x3*x4,
x3*x1 - h*x1*x4,
x3*x2 - h*f*x1*x4 - h*x2*x4,
x4*x1 - h*x1*x3,
x4*x2 - h*f*x1*x3 - h*x2*x3
];
A := quo< F | rels >;