Professional Documents
Culture Documents
2402 15685
2402 15685
SMOOTH VARIETIES
arXiv:2402.15685v1 [math.AG] 24 Feb 2024
YUJIRO KAWAMATA
Contents
1. Introduction 1
2. NC deformations of smooth varieties 3
References 14
1. Introduction
We will develop a formal non-commutative (NC) deformation theory of
smooth algebraic varieties X defined over a field k. This is an extension
of the theory in [5] where the first order deformations are considered. We
will describe infinitesimal extensions of NC deformations by usingVthe tan-
gent space T 1 and the obstruction space T 2 given by T 1 ∼= H 0 (X,
2
TX ) ⊕
H 1 (X, TX ) and T 2 ∼= H 0 (X,
3
TX ) ⊕ H 1 (X, 2 TX ) ⊕ H 2 (X, TX ), where
V V
TX is the tangent sheaf of X (Theorem 2.2). We will prove that our NC
deformation functor satisfies the conditions of Schlessinger ([2]) so that it
has a semi-universal formal deformation (Theorem 2.7).
The following are the main results:
Theorem 1.1 (= Theorem 2.2). Let X be a smooth variety, let 0 → J →
R′ → R → 0 be a small extension of Artin local algebras (i.e., J is killed by
the maximal ideal), and let A be an NC deformation of X over R. Then the
following hold.
(1) There is a class ξ (3,0) ∈ J ⊗ H 0 (X, 3 TX ). If ξ (3,0) = 0, then there
V
Since we consider only NC deformations of the space X and not the category
of sheaves on it, we only have part of them. We plan to consider the category
of coherent sheaves in a subsequent paper.
[5] considered NC deformations of smooth projective varieties over the
ring k[t]/(t2 ) explicitly. Since it considered the category of twisted sheaves,
the whole space HH 2 (X) appears as T 1 . On the other hand, since only
the first order deformations are considered, the obstruction space does not
appear. Our argument is also down to earth and explicit.
The outline of the proof is as follows. We cover the variety X by affine
open subsets Ui = Spec(Ai ), deform the coordinate rings Ai by changing
the multiplications, and glue them. The gluing is done only by homomor-
phisms between NC deformed coordinate rings Ai → Aj which are related
by inclusions Uj ⊂ Ui , because localization is not possible in general due to
the non-commutativity of the associative rings Ai . The associativity of the
multiplication and the compatibility with the gluing are translated to the
vanishing of certain Čech cocycles on Hochschild cocycles. They are first de-
fined only for configurations of open subsets which are related by inclusions.
Moreover we need to consider Hochschild cocycles with coefficients. For ex-
ample, we consider a Hochschild cocycle on Ai with coefficients in J ⊗ Aj
for Uj ⊂ Ui , and a Čech 2-cocycle is defined on the overlap Ui ∩ Uj ∩ Uk only
in the case where Uk ⊂ Uj ⊂ Ui . Then we extend the cocycles for general
triple Ui , Uj , Uk , which are unrelated by inclusions, using some formula.
The author would like to thank Alexey Bondal, Anya Nordskova, Shinno-
suke Okawa and Michel Van den Bergh for suggestions and encouragements.
He would also like to thank NCTS of National Taiwan University where the
2
work was partly done while the author visited there. This work is partly
supported by JSPS Kakenhi 21H00970.
(3) The obstruction classes ξ (3,0) , ξ (2,1) , ξ (1,2) are functorially determined
in the following sense. Let
0 −−−−→ J −−−−→ R′ −−−−→ R −−−−→ 0
(2.2) βJ y β′y βy
Proof. (1)
because
x((yz)w − y(zw)) − (((xy)z)w − (xy)(zw)) + (x(yz))w − x((yz)w)
− ((xy)(zw) − x(y(zw))) + ((xy)z − x(yz))w = 0
φ′kj φ′ji (x ·R′i y) = φ′kj (φ′ji (x) ·R′j φ′ji (y) + gji (x̄, ȳ))
= φ′kj φ′ji (x) ·R′k φ′kj φ′ji (y) + gkj (φ0ji (x̄), φ0ji (ȳ)) + φ0kj gji (x̄, ȳ)
= (φ′ki (x) + hkji (x̄)) ·R′k (φ′ki (y) + hkji (ȳ))
+ gkj (φ0ji (x̄), φ0ji (ȳ)) + φ0kj gji (x̄, ȳ)
= φ′ki (x ·R′i y) − gki (x̄, ȳ) + φ0ki (x̄)hkji (ȳ) + hkji (x̄)φ0ki (ȳ)
+ gkj (φ0ji (x̄), φ0ji (ȳ)) + φ0kj gji (x̄, ȳ).
Hence
dhkji (x̄, ȳ) = φ0ki (x̄)hkji (ȳ) − hkji (x̄ȳ) + hkji (x̄)φ0ki (ȳ)
= −gkj (φ0ji (x̄), φ0ji (ȳ)) + gki (x̄, ȳ) − φ0kj gji (x̄, ȳ).
6
(4)
φ0lk hkji (x̄) − hlji (x̄) + hlki (x̄) − hlkj (φ0ji (x̄))
= φ′lk (φ′kj φ′ji (x) − φ′ki (x)) − (φ′lj φ′ji (x) − φ′li (x))
+ (φ′lk φ′ki (x) − φ′li (x)) − (φ′lk φ′kj φ′ji (x) − φ′lj φ′ji (x))
= 0.
A different choice of multiplication on A′i can be written as
(x, y) 7→ x ·R′i y + bi (x̄, ȳ)
for x, y ∈ A′i , where bi (x̄, ȳ) ∈ J ⊗R′ A′i = J ⊗k Ai depends only on x̄, ȳ ∈ Ai ,
since M ′ J = 0. At the same time, a different gluing of the A′i can be written
as
x 7→ φ′ji (x) + cji (x̄)
for x ∈ A′i , where cji (x̄) ∈ J ⊗R′ A′j = J ⊗k Aj .
Lemma 2.4. Assume that fi , gji , hkji are changed to fi′ , gji
′ , h′
kji under these
new multiplications and gluing. Then the following hold.
(1) fi′ = fi − dbi .
′ = g + φ0 b − b (φ0 )⊗2 − dc .
(2) gji ji ji i j ji ji
′ 0 0
(3) hkji = hkji + φkj cji − cki + ckj φji .
Proof. (1)
fi′ (x̄, ȳ, z̄)
= (x ·R′i y + bi (x̄, ȳ)) ·R′i z + bi (x̄ȳ, z̄)
− x ·R′i (y ·R′i z + bi (ȳ, z̄)) − bi (x̄, ȳ z̄)
= fi (x̄, ȳ, z̄) − x̄bi (ȳ, z̄) + bi (x̄ȳ, z̄) − bi (x̄, ȳ z̄) + bi (x̄, ȳ)z̄
= fi (x̄, ȳ, z̄) − dbi (x̄, ȳ, z̄).
(2)
′
gji (x̄, ȳ)
= φ′ji (x ·R′i y + bi (x̄, ȳ)) + cji (x̄ȳ)
− ((φ′ji (x) + cji (x̄)) ·R′j (φ′ji (y) + cji (ȳ)) + bj (φ0ji (x̄), φ0ji (ȳ))
= gji (x̄, ȳ) + φ0ji bi (x̄, ȳ) − bj (φ0ji (x̄), φ0ji (ȳ))
− φ0ji (x̄)cji (ȳ) + cji (x̄ȳ) − cji (x̄)φ0ji (ȳ)
= gji (x̄, ȳ) + φ0ji bi (x̄, ȳ) − bj (φ0ji (x̄), φ0ji (ȳ)) − dcji (x̄, ȳ).
(3)
h′kji (x̄) = φ′kj (φ′ji (x) + cji (x̄)) + ckj (φ0ji (x̄)) − (φ′ki (x) + cki (x̄))
= hkji (x̄) + φ0kj (cji (x̄)) − cki (x̄) + ckj (φ0ji (x̄)).
7
By Lemma 2.3 (1) and Lemma 2.4 (1), the Hochschild cochain fi is closed
and is determined up to the Hochschild
V3 coboundary dbi . Thus the cohomol-
ogy class v(fi ) := [fi ] ∈ J ⊗ Γ( TUi ) is well-defined in the sense that it
is independent of the choice of the multiplication on A′i . Moreover, Lemma
2.3 (2) implies that the v(fi ) glue together to define a global cohomology
class ξ (3,0) = v(f ) ∈ J ⊗ Γ( 3 TX ). ξ (3,0) = 0 is equivalent to saying that
V
v(fi ) = 0 for all i, and in turn to that fi′ = 0 for suitable choices of the
bi . Thus we have ξ (3,0) = 0 if and only if there are choices of associative
multiplications on the A′i extending those on the Ai .
and v(bi ) ∈ J ⊗ Γ( 2 TUi ). From Lemma 2.3 (3), the Čech 1-cochain v(gji )
V
satisfies the cocycle condition that v(gki ) = v(gkj ) + v(gji )|Uk . Moreover by
Lemma 2.4 (2), the Čech cocycles v(gji ) and v(gji ′ ) are equivalent up to the
where
Lemma 2.5. The relation (hkji − hhji + hhki − hhkj )|Uw = 0 also holds for
unordered indexes i, j, k, h,
9
Proof. We calculate, where we omit |Uw ,
0 = Vwtli − Vwtlj + Vwtmj − Vwtmk + Vwtnk − Vwtni
− (Vwsli − Vwslj + Vwspj − Vwsph + Vwsqh − Vwsqi )
+ Vwuni − Vwunk + Vwuok − Vwuoh + Vwuqh − Vwuqi
− (Vwvmj − Vwvmk + Vwvok − Vwvoh + Vwvph − Vwvpj )
= htli − hwli + hwti − hwtl − (htlj − hwlj + hwtj − hwtl )
+ htmj − hwmj + hwtj − hwtm − (htmk − hwmk + hwtk − hwtm )
+ htnk − hwnk + hwtk − hwtn − (htni − hwni + hwti − hwtn )
− (hsli − hwli + hwsi − hwsl ) + hslj − hwlj + hwsj − hwsl
− (hspj − hwpj + hwsj − hwsp ) + hsph − hwph + hwsh − hwsp
− (hsqh − hwqh + hwsh − hwsq ) + hsqi − hwqi + hwsi − hwsq
+ huni − hwni + hwui − hwun − (hunk − hwnk + hwuk − hwun )
+ huok − hwok + hwuk − hwuo − (huoh − hwoh + hwuh − hwuo )
+ huqh − hwqh + hwuh − hwuq − (huqi − hwqi + hwui − hwuq )
− (hvmj − hwmj + hwvj − hwvm ) + hvmk − hwmk + hwvk − hwvm
− (hvok − hwok + hwvk − hwvo ) + hvoh − hwoh + hwvh − hwvo
− (hvph − hwph + hwvh − hwvp ) + hvpj − hwpj + hwvj − hwvp
= htli − htlj + htmj − htmk + htnk − htni
− (hsli − hslj + hspj − hsph + hsqh − hsqi )
+ huni − hunk + huok − huoh + huqh − huqi
− (hvmj − hvmk + hvok − hvoh + hvph − hvpj )
= hkji − hhji + hhki − hhkj .
Lemma 2.6. ξ (1,2) = 0 if and only if there is a suitable choice of the cji
such that h′kji = 0 for i < j < k.
(2) We assume that ξ (3,0) = ξ (2,1) = ξ (1,2) = 0. The argument in the proof
of (1) showed that the set of choices of the multiplications and gluing for
which fi = gij = hijk = 0 hold corresponds bijectively to the set of the bi
and cji which satisfy the following conditions
dbi = 0, dcji = 0,
φ0ji bi (x̄, ȳ) − bj (φ0ji (x̄), φ0ji (ȳ)) = 0,
φ0kj (cji (x̄)) − cki (x̄) + ckj (φ0ji (x̄)) = 0
where we have i < j < k. Since dbi = dcji = 0, the bi and the cji determine
classes v(bi ) ∈ J ⊗ Γ( 2 TUi ) and v(cji ) ∈ J ⊗ Γ(TUj ). They satisfy the
V
There exist such ei ’s which sends (bi , cji ) to (b̃i , c̃ji ) through (2.3) and
((2.4) if and only if v(b) = v(b̃) ∈ J ⊗ H 0 ( 2 TX ) and v(c) = v(c̃) ∈
V
J ⊗ Ȟ 1 (TX ). Thus the part (2) is proved.
(3) Let ·R′i and φ′ij be a choice of multiplications and gluing over R′ ,
and let ξ (p,q) ∈ J ⊗ H q (X, p TX ) be the corresponding obstruction classes
V
determined by the cochains fi , gji , hkji . Then the map β ′ induces a choice
of multiplications and gluing ·R′1,i and φ′1,ij over R1′ . The corresponding
(p,q)
cochains satisfy (f1,i , g1,ji , h1,kji ) = β ′ (fi , gji , hkji ). Hence ξ1 = βJ (ξ (p,q) ).
are finite. Then there exists a semi-universal deformation for the NC defor-
mation functor DefX over
R := k[[t1 , . . . , tn ]]/(f1 , . . . , fm )
for some formal power series fi of degrees in [2, ∞].
Proof. We need to check the conditions (H̃) and (He ) of [3] Chapter 2 (cf.
[4] Theorem 4.1). (H̃) says that a natural map
DefX (R1 ×R0 R2 ) → DefX (R1 ) ×DefX (R0 ) DefX (R2 )
is surjective for morphisms Ri → R0 in (Art), while (He ) says that it is
bijective when R0 = k and R1 = k[ǫ]/(ǫ2 ). (H̃) is proved in the following
lemma. This map can be non-injective because an automorphism of a defor-
mation over R0 can be non-extendable to a deformation over R1 . If R0 = k,
then there is no automorphism by definition, hence (He ) holds.
Lemma 2.8. Let P = k[[t1 , . . . , tn ]], Ri = P/Ii ∈ (Art) for i = 1, 2, and
let R0 = P/(I1 + I2 ) and R′ = P/(I1 ∩ I2 ). Assume that there are NC
deformations A(i) of X over Ri such that R0 ⊗R1 A(1) ∼ = R0 ⊗R2 A(2) :=
A(0) . Then there exists an NC deformation A′ of X over R′ such that
Ri ⊗R′ A′ ∼
= A(i) .
12
Proof. We claim that P/I1 ×P/(I1 +I2 ) P/I2 ∼ = P/(I1 ∩ I2 ). Indeed there is
a natural map from the right hand side to the left hand side which sends
a mod I1 ∩ I2 to (a mod I1 , a mod I2 ). It is injective, because a ∈ I1 and
a ∈ I2 implies that a ∈ I1 ∩ I2 .
We prove that it is surjective. Suppose that ai + Ii for ai ∈ P give the
same class a1 + I1 + I2 = a2 + I1 + I2 . Then there are elements bi , b′i ∈ Ii such
that a1 + b1 + b2 = a2 + b′1 + b′2 . Thus a1 + b1 − b′1 = a2 + b′2 − b2 = a ∈ P .
Then a mod I1 ∩ I2 is mapped to (a1 mod I1 , a2 mod I2 ).
Similarly, we obtain
as P -modules. Then A′ = A(1) ×A(0) A(2) with ring structures and gluing.
is the desired NC deformation.
Proof. (1) We will prove the right flatness. The left flatness is similarly
proved. We need to prove that TorA ∼
m (Aj , M ) = 0 for any left Ai -module M
i
Aj ⊗Ai M ∼
= Aj ⊗Ai M
for m > 0.
References
[1] Dinh Van, Hoang; Liu, Liyu; Lowen, Wendy. Non-commutative deformations and
quasi-coherent modules. Selecta Math. 23 (2016), 1061–1119.
[2] Schlessinger, Michael. Functors of Artin rings. Trans. Amer. Math. Soc. 130, No. 2
(Feb., 1968), pp. 208–222.
[3] Sernesi, Edoardo. Deformations of Algebraic Schemes. Grundlehren math. Wis-
senshaften 334 (2006), Springer.
[4] Kawamata, Yujiro. Deformations over non-commutative base. to appear in C. R. Math.
[5] Toda, Yukinobu. Deformations and Fourier-Mukai transforms. J. Differential Geom.
81(1): 197–224 (January 2009). DOI: 10.4310/jdg/1228400631.
[6] Lowen, Wendy; Van den Bergh, Michel. Deformation theory of abelian categories.
Trans. Amer. Math. Soc. 358 (2006), 5441–5483.
[7] Weibel, Charles. An Introduction to Homological Algebra. Cambridge St. Adv. Math.
38 (1994), Cambridge U. P.
Graduate School of Mathematical Sciences, University of Tokyo, Komaba,
Meguro, Tokyo, 153-8914, Japan.
kawamata@ms.u-tokyo.ac.jp
14