Introduction
In this work we study certain families of vector bundles over noncommutative bases. More precisely, our framework is the theory of NC-schemes over
$\mathbb{C}$
, developed by Kapranov in [Reference KapranovKap98]. These are analogs of the usual schemes based on algebras that are close to being commutative: any expression containing sufficiently many commutators in such rings vanishes. More precisely, these are NC-nilpotent algebras; one also considers NC-complete algebras which are complete with respect to the commutator filtration.
In this theory there is a natural notion of NC-smoothness, which is analogous to the notion of quasi-free algebra from [Reference Cuntz and QuillenCQ95]. Kapranov proves the existence and uniqueness of an NC-smooth thickening for any smooth affine scheme
$X$
. By definition, such a thickening corresponds to an NC-smooth algebra whose abelianization is the algebra of functions on
$X$
. The problem of determining which nonaffine smooth schemes admit such extensions seems to be quite hard. There are very few known examples of such thickenings. For example, there are explicit constructions for Grassmannians and abelian varieties (see [Reference KapranovKap98, Reference Polishchuk and TuPT14]). In both cases the relevant NC-smooth thickenings represent natural functors on the category
${\mathcal{N}}$
of NC-nilpotent algebras. On the other hand, there is no smooth scheme for which we would know that there is no NC-smooth thickening.
One of the constructions considered in [Reference KapranovKap98] is that of a natural functor of families of vector bundles over NC-nilpotent bases, which on the commutative level are induced by a given family of vector bundles on a fixed projective variety with a base
$B$
. More precisely, we consider the following situation. Let
$Z$
be a projective algebraic variety,
$B$
a smooth variety, and let
${\mathcal{E}}^{\text{ab}}$
be a vector bundle over
$B\times Z$
. We denote by
$\unicode[STIX]{x1D70C}:B\times Z\rightarrow B$
the natural projection.
Definition 0.0.1. We say that
${\mathcal{E}}^{\text{ab}}$
is an excellent family of bundles on
$Z$
if:
(a)
${\mathcal{O}}_{B}\rightarrow \unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}^{\text{ab}})$
is an isomorphism;(b) the Kodaira–Spencer map
$\unicode[STIX]{x1D705}:T_{B}\rightarrow R^{1}\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}^{\text{ab}})$
is an isomorphism;(c)
$R^{2}\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}^{\text{ab}})=0$
;(d)
$R^{d}\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}^{\text{ab}})$
is locally free for
$d\geqslant 3$
.
For example, if
$Z$
is a projective curve then conditions (c) and (d) are automatic. Condition (a) is satisfied for a family of simple bundles (see [Reference Huybrechts and LehnHL10, Lemma 4.6.3]). Condition (b) is satisfied if the map from
$B$
to the moduli stack of vector bundles on
$Z$
is étale.
Following [Reference KapranovKap98], we consider the natural functor
$h_{B}^{NC}$
on the category
${\mathcal{N}}$
of noncommutative families of vector bundles compatible with
${\mathcal{E}}^{\text{ab}}$
(see Definition 1.5.1 for details). It was claimed in [Reference KapranovKap98] that this functor is representable by an NC-smooth thickening of
$B$
. However, the proof contained a gap.
In the present paper we prove that whenever
$\dim B\geqslant 1$
, the functor
$h_{B}^{NC}$
is not representable by an NC-scheme (see Theorem 1.5.6). The reason for this is rather silly: we observe that
$h_{B}^{NC}$
factors through the quotient category
$a{\mathcal{N}}$
of
${\mathcal{N}}$
in which conjugate homomorphisms are identified (see § 1.2).
The natural idea then is to ask the representability question in this new category
$a{\mathcal{N}}$
. Our main technical result is that this is true locally: the functor of families over NC-nilpotent bases is representable in the case where
$B$
is affine (see Theorem 2.2.1). We use this local representability of
$h_{B}^{NC}$
in
$a{\mathcal{N}}$
to construct in the general case a
$\mathbb{C}$
-algebroid
Footnote
1
over
$B$
in the sense of [Reference KontsevichKon01], [Reference Kashiwara and SchapiraKS12, §2.1], given locally by an NC-smooth thickening of
$B$
. We call such a structure an NC-smooth algebroid thickening of
$B$
(see Definition 1.3.2 for details).
Theorem A (See Theorems 1.3.8 and 2.2.1).
Let
$B$
be a (smooth) base of an excellent family of vector bundles. Assume that
$B$
is connected and
$\dim B\geqslant 2$
. Then there exists an NC-smooth algebroid thickening of
$B$
.
Note that the case
$\dim B=1$
is of no interest since any smooth commutative scheme of dimension
$1$
is already NC-smooth.
In the case where
$B$
is quasi-projective, so that there exists an open affine covering
$(U_{i})$
of
$B$
, such that all intersections
$U_{i}\cap U_{j}$
are distinguished affine opens in both
$U_{i}$
and
$U_{j}$
, the algebroid in Theorem A can be described in more down-to-earth terms as follows. We have an NC-smooth thickening of
$U_{i}$
for each
$i$
; over
$U_{i}\cap U_{j}$
we have isomorphisms between the two induced NC-smooth thickenings; and over
$U_{i}\cap U_{j}\cap U_{k}$
the isomorphisms agree up to an inner automorphism (furthermore, the corresponding invertible elements are chosen and satisfy the natural compatibility condition over
$U_{i}\cap U_{j}\cap U_{k}\cap U_{l}$
).
Note that algebroids were introduced by Kontsevich in connection with deformation quantization of algebraic varieties (see [Reference KontsevichKon01, Reference Kashiwara and SchapiraKS12]). NC-smooth thickenings are in some ways similar to deformation quantization algebras (in particular, the construction of NC-smooth thickenings from torsion-free connections in [Reference Polishchuk and TuPT14] is somewhat reminiscent of Fedosov’s deformation quantization procedure in [Reference FedosovFed94]). Thus, it is not very surprising that algebroids made their appearance in the theory of NC-smooth thickenings. In light of Theorem A, it seems that rather than asking which smooth schemes admit NC-smooth thickenings, it is more natural to ask which smooth schemes admit NC-smooth algebroid thickenings.
In fact, in the proof of Theorem A we construct a canonical algebroid (up to an equivalence). Since there is a well-defined notion of a module over an algebroid, one natural problem is whether there is a universal family of modules over our algebroid, extending the original family over
$B$
. One can also try to study the higher-rank analog of the Fourier–Mukai transform picture for NC Jacobians considered in [Reference Polishchuk and TuPT14, §4]. We leave these questions for a future study.
Motivated by Toda’s work [Reference TodaTod17], we also consider the similar picture for representations of quivers. Namely, starting with an excellent family (see Definition 2.4.2) of representations of a finite quiver
$Q$
(with no relations), we consider the functor of compatible families of representations of
$Q$
over NC-nilpotent affine schemes. We show that the situation is completely similar to (and somewhat easier than) the picture discussed above.
Theorem B (See Theorems 1.3.8 and 2.4.4).
Let
$B$
be a (smooth) base of an excellent family of representations of
$Q$
. Assume that
$B$
is connected and
$\dim B\geqslant 2$
. Then there exists an NC-smooth algebroid thickening of
$B$
.
For example, this result applies to the moduli space of stable quiver representations corresponding to an indivisible dimension vector.
Note that for the proof of Theorem B we develop a version of nonabelian hypercohomology
$\mathbb{H}^{1}$
for a sheaf of groups acting on a sheaf of sets, which may be of independent interest (see § 2.3).
Toda also constructs in [Reference TodaTod17] local (non-NC-smooth) NC-thickenings for some obstructed families of vector bundles (and for representations of quivers with relations). It would be interesting to study whether these thickenings glue into an algebroid.
The paper is organized as follows. In § 1 we discuss the category
$a{\mathcal{N}}$
of affine almost NC (aNC) schemes in which conjugate homomorphisms are identified. We prove in § 1.3 that any formally smooth functor on
$a{\mathcal{N}}$
, that is locally representable, leads to an NC-smooth algebroid thickening (see Theorem 1.3.8). Then in § 1.5 we show that the functor of NC-families extending the given excellent family of vector bundles factors through
$a{\mathcal{N}}$
, and as a consequence, is not representable except in trivial cases (see Theorem 1.5.6).
In § 2 we prove local representability results for formally smooth functors on
$a{\mathcal{N}}$
. First, we give a technical representability criterion for such a functor extending the functor on commutative algebras representable by a smooth affine scheme (see Proposition 2.1.3). Then we apply this criterion to the functor of NC-families extending a given excellent family of vector bundles (see Theorem 2.2.1) and then to the functor of NC-families of quiver representations (see Theorem 2.4.4).
Conventions. All algebras we consider are over
$\mathbb{C}$
, and all schemes are assumed to be of finite type over
$\mathbb{C}$
. The expression
$[a,b]$
always denotes the commutator in an associative algebra:
$[a,b]=ab-ba$
.
1 Affine aNC-schemes and the nonrepresentability of the functor of NC-families of vector bundles
1.1 Generalities on NC-schemes
For a ring
$R$
, we define the decreasing filtration
${\mathcal{I}}_{n}R$
by
$$\begin{eqnarray}{\mathcal{I}}_{n}R=\mathop{\sum }_{i_{1}\geqslant 2,\ldots ,i_{m}\geqslant 2,~i_{1}+\cdots +i_{m}\geqslant n}R\cdot R_{i_{1}}^{\operatorname{Lie}}\cdot R\cdot \ldots \cdot R\cdot R_{i_{m}}^{\operatorname{Lie}}\cdot R,\end{eqnarray}$$
where
$R_{n}^{\operatorname{Lie}}$
is the
$n$
th term of the lower central series of
$R$
viewed as a Lie algebra. Note that
$R/{\mathcal{I}}_{2}R$
is precisely
$R^{\text{ab}}$
, the abelianization of
$R$
.
We define the category
${\mathcal{N}}_{d}$
of NC-nilpotent algebras of degree
$d$
as the category of algebras
$R$
for which
${\mathcal{I}}_{d+2}R=0$
. Thus,
${\mathcal{N}}_{0}=\operatorname{Com}$
is the category of commutative algebras. A ring
$R$
is in
${\mathcal{N}}_{1}$
if and only if it is a central extension of a commutative algebra. Here we say that an extension of algebras
$$\begin{eqnarray}0\rightarrow I\rightarrow R\rightarrow \overline{R}\rightarrow 0\end{eqnarray}$$
is a central extension if
$I$
is a central ideal in
$R$
with
$I^{2}=0$
.
We denote by
${\mathcal{N}}=\bigcup _{d\geqslant 0}{\mathcal{N}}_{d}$
the category of NC-nilpotent algebras. For
$A\in {\mathcal{N}}$
we denote by
$h_{A}$
the corresponding representable covariant functor on
${\mathcal{N}}:h_{A}(B)=\operatorname{Hom}_{\text{alg}}(A,B)$
.
An algebra
$R$
is called NC-complete if it is complete with respect to the filtration
$({\mathcal{I}}_{n}R)$
. We denote by
${\mathcal{N}}{\mathcal{C}}$
the category of NC-complete algebras. For an NC-complete algebra
$R$
we denote by
$h_{R}$
the functor on
${\mathcal{N}}$
given by
$h_{R}(B)=\operatorname{Hom}_{\text{alg}}(R,B)$
. Note that the restriction
$h_{R}|_{{\mathcal{N}}_{d}}$
is naturally isomorphic to the representable functor
$h_{R/{\mathcal{I}}_{d+2}R}$
. This easily implies that the functor
$$\begin{eqnarray}{\mathcal{N}}{\mathcal{C}}^{\text{op}}\rightarrow \operatorname{Fun}({\mathcal{N}},\operatorname{Sets}):R\mapsto h_{R}\end{eqnarray}$$
is fully faithful.
An NC-complete algebra
$R$
is called NC-smooth if the functor
$h_{R}$
is formally smooth, that is, for any central extension in
${\mathcal{N}}$
,
$B^{\prime }\rightarrow B$
, the induced map
$h_{R}(B^{\prime })\rightarrow h_{R}(B)$
is surjective. An NC-nilpotent algebra
$A$
of degree
$d$
is called
$d$
-smooth if the same is true for the functor
$h_{A}|_{{\mathcal{N}}_{d}}$
.
Kapranov defines NC-nilpotent schemes (over
$\mathbb{C}$
) as locally ringed spaces locally isomorphic to the spectrum of an NC-nilpotent algebra, with its natural structure sheaf, which is defined similarly to the commutative case. General NC-schemes are similarly modeled on formal spectra of NC-complete algebras (see [Reference KapranovKap98, §2] for details). One can view an NC-scheme
$X$
as an underlying usual scheme
$X^{\text{ab}}$
equipped with a sheaf of noncommutative algebras
${\mathcal{O}}_{X}$
such that its abelianization is
${\mathcal{O}}_{X^{\text{ab}}}$
. In this case we say that
$X$
is an NC-thickening of
$X^{\text{ab}}$
. In the case where
$X$
is NC-smooth, we say that it is an NC-smooth thickening of
$X^{\text{ab}}$
.
Lemma 1.1.1.
(i) Let
$R$
be a
$d$
-smooth algebra, such that
$\dim R^{\text{ab}}\geqslant 2$
and
$R^{\text{ab}}$
is connected. Assume that
$d\geqslant 1$
. Then the center of
$R$
is
$\mathbb{C}+{\mathcal{I}}_{d+1}R$
.(ii) Let
${\mathcal{O}}_{X}^{NC}$
be an NC-smooth thickening of a smooth connected scheme
$X$
with
$\dim X\geqslant 2$
. Then the center of
${\mathcal{O}}_{X}^{NC}$
is the constant sheaf
$\mathbb{C}_{X}$
.
Proof. (i) Let
$Z(R)$
denote the center of
$R$
. We have a central extension of algebras
$$\begin{eqnarray}0\rightarrow {\mathcal{I}}_{d+1}R\rightarrow R\rightarrow R^{\prime }=R/{\mathcal{I}}_{d+1}R\rightarrow 0,\end{eqnarray}$$
hence, we have the inclusion
$\mathbb{C}+{\mathcal{I}}_{d+1}R\subset Z(R)$
. In the case
$d=1$
we have
$R^{\prime }=R^{\text{ab}}$
and the commutator pairing associated with the above extension is
$$\begin{eqnarray}[\widetilde{f},\widetilde{g}]=df\wedge dg\in \unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{2}\simeq {\mathcal{I}}_{2}R,\end{eqnarray}$$
where
$\widetilde{f},\widetilde{g}\in R$
are lifts of
$f,g\in R^{\prime }=R^{\text{ab}}$
. This easily implies that an element of
$Z(R)$
projects to
$\mathbb{C}\subset R^{\prime }$
.
In the case
$d>1$
, by the induction assumption, we can assume that
$Z(R^{\prime })=\mathbb{C}+{\mathcal{I}}_{d}R^{\prime }$
. Hence, it is enough to investigate elements of
$Z(R)$
that project to elements of
${\mathcal{I}}_{d}R^{\prime }\subset R^{\prime }$
. Let us consider the commutator pairing
$$\begin{eqnarray}{\mathcal{I}}_{d}R^{\prime }\times R^{\text{ab}}\rightarrow {\mathcal{I}}_{d+1}R:(\unicode[STIX]{x1D6FC},f)\mapsto [\widetilde{\unicode[STIX]{x1D6FC}},\widetilde{f}],\end{eqnarray}$$
where
$\widetilde{\unicode[STIX]{x1D6FC}},\widetilde{f}\in R$
are lifts of
$\unicode[STIX]{x1D6FC}$
and
$f$
. We claim that this pairing is induced by the natural commutator pairing
$$\begin{eqnarray}U({\mathcal{L}}\text{ie}_{+}(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1}))_{d}\times \unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1}\rightarrow U({\mathcal{L}}\text{ie}_{+}(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1}))_{d+1},\end{eqnarray}$$
where we use the notation of [Reference Polishchuk and TuPT14, §2.1] (in particular,
${\mathcal{L}}\text{ie}_{+}(?)$
denotes the degree
${\geqslant}2$
part of the free Lie algebra) and an isomorphism
$$\begin{eqnarray}\operatorname{gr}_{{\mathcal{I}}}^{n}(R)\simeq U({\mathcal{L}}\text{ie}_{+}(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1}))_{n}\end{eqnarray}$$
for
$n\leqslant d+1$
(see [Reference Polishchuk and TuPT14, Corollary 2.3.15]). More precisely, we claim that
$$\begin{eqnarray}[\widetilde{\unicode[STIX]{x1D6FC}},\widetilde{f}]=-[\unicode[STIX]{x1D6FC},df]_{U},\end{eqnarray}$$
where we view
$\unicode[STIX]{x1D6FC}$
as an element of
${\mathcal{I}}_{d}R^{\prime }=\operatorname{gr}_{{\mathcal{I}}}^{d}(R)$
, and on the right-hand side we take the commutator in the algebra
$U({\mathcal{L}}\text{ie}_{+}(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1}))$
. Indeed, by [Reference Polishchuk and TuPT14, Corollary 2.3.9], we can realize
$R$
as a subalgebra in
$T(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1})/T^{{\geqslant}d+2}(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1})$
(where
$T(?)$
denotes the tensor algebra over
$R^{\text{ab}}$
), so that the projection
$R\rightarrow R^{\text{ab}}$
is induced by the projection to
$T^{0}=R^{\text{ab}}$
. Furthermore, the elements in the image of
$R$
have tensor components of the form
$(f,-df,\ldots )$
. Since
$T^{0}$
is in the center of the tensor algebra, this immediately implies formula (1.1.1). Thus, if
$\unicode[STIX]{x1D6FC}\in {\mathcal{I}}_{d}R^{\prime }$
lifts to an element of
$Z(R)$
then
$[\unicode[STIX]{x1D6FC},df]_{U}=0$
for any
$f$
. Since
$U({\mathcal{L}}\text{ie}_{+}(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1}))$
is a subalgebra in the tensor algebra
$T(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1})$
, this implies that
$\unicode[STIX]{x1D6FC}$
is in the center of
$T(\unicode[STIX]{x1D6FA}_{R^{\text{ab}}}^{1})$
, hence,
$\unicode[STIX]{x1D6FC}=0$
(since
$\dim R^{\text{ab}}\geqslant 2$
). This implies that
$Z(R)=\mathbb{C}+{\mathcal{I}}_{d+1}R$
.
(ii) It is enough to check this in the case where
$X$
is affine, that is,
$X$
is the formal spectrum of an NC-smooth algebra
$R$
such that
$R^{\text{ab}}$
is connected. Now the assertion easily follows from (i).◻
By a vector bundle
$E$
on an NC-nilpotent scheme
$X$
we mean a sheaf of right
${\mathcal{O}}$
-modules which is locally free of finite rank. We denote by
$E^{\text{ab}}$
the induced vector bundle on
$X^{\text{ab}}$
.
Lemma 1.1.2. Assume that
$X\subset X^{\prime }$
is a nilpotent extension of affine NC-nilpotent schemes, that is,
${\mathcal{O}}_{X}$
is a quotient of
${\mathcal{O}}_{X^{\prime }}$
by a nilpotent ideal. Let
$E^{\prime }$
be a vector bundle over
$X^{\prime }$
, and
$E$
the induced vector bundle over
$X$
. Let
$\unicode[STIX]{x1D711}:{\mathcal{O}}_{X}^{n}\rightarrow E$
be a trivialization. Then
$\unicode[STIX]{x1D711}$
extends to a trivialization
${\mathcal{O}}_{X^{\prime }}^{n}\rightarrow E$
.
Proof. It is enough to consider the case where
$0\rightarrow {\mathcal{I}}\rightarrow {\mathcal{O}}_{X^{\prime }}\rightarrow {\mathcal{O}}_{X}\rightarrow 0$
is a central extension. Then
${\mathcal{I}}$
is a quasicoherent sheaf over
${\mathcal{O}}_{X^{\text{ab}}}$
, so
$$\begin{eqnarray}H^{1}(X^{\prime },E^{\prime }\otimes {\mathcal{I}})=H^{1}(X^{\text{ab}},E^{\text{ab}}\otimes {\mathcal{I}})=0.\end{eqnarray}$$
Thus, the
$n$
global sections of
$E$
defining the trivialization can be lifted to global sections of
$E^{\prime }$
. It is easy to see (arguing locally) that they give a trivialization of
$E^{\prime }$
.◻
1.2 The category of affine aNC-schemes
The category
$a{\mathcal{N}}$
has the same objects as
${\mathcal{N}}$
, while the morphisms in
$a{\mathcal{N}}$
are equivalence classes of homomorphisms
$A\rightarrow B$
, where
$f_{1},f_{2}:A\rightarrow B$
are equivalent if there exists
$b\in B^{\ast }$
such that
$f_{2}=bf_{1}b^{-1}$
. We denote by
$a{\mathcal{N}}_{d}\subset a{\mathcal{N}}$
the full subcategory of NC-nilpotent algebras of degree
$d$
.
Given a ring
$A$
in
${\mathcal{N}}$
and a multiplicative set
$\overline{S}\subset A^{\text{ab}}$
, let
$S$
denote the preimage of
$\overline{S}$
under the projection
$A\rightarrow A^{\text{ab}}$
. Then
$S$
satisfies Ore conditions and
$S^{-1}A$
is again NC-nilpotent (see [Reference KapranovKap98, §2.1]). For any
$B\in {\mathcal{N}}$
the composition with the localization morphism
$\unicode[STIX]{x1D704}:A\rightarrow A[S^{-1}]$
induces an embedding
$\operatorname{Hom}_{{\mathcal{N}}}(A[S^{-1}],B){\hookrightarrow}\operatorname{Hom}_{{\mathcal{N}}}(A,B)$
with the image consisting of
$[f]$
such that
$f(S)\subset B^{\ast }$
. Since the latter condition is invariant with respect to our equivalence relation on
$\operatorname{Hom}_{{\mathcal{N}}}(A,B)$
, the composition with
$[\unicode[STIX]{x1D704}]$
gives an embedding
$$\begin{eqnarray}\operatorname{Hom}_{a{\mathcal{N}}}(A[S^{-1}],B){\hookrightarrow}\operatorname{Hom}_{a{\mathcal{N}}}(A,B)\end{eqnarray}$$
with the same characterization of the image.
Note also that for
$B\in {\mathcal{N}}$
an element
$b\in B$
is invertible if and only if its image in
$B^{\text{ab}}$
is invertible. Thus, a homomorphism
$f:A\rightarrow B$
factors through
$A[S^{-1}]$
if and only if the induced homomorphism
$f^{\text{ab}}:A^{\text{ab}}\rightarrow B^{\text{ab}}$
factors through
$A^{\text{ab}}[\overline{S}^{-1}]$
, where
$\overline{S}\subset A^{\text{ab}}$
is the image of
$S$
. It follows that we have a cartesian square of sets
Now let
$R$
be an NC-complete algebra and let
$T\in R^{\text{ab}}$
be a multiplicative subset. Following Kapranov [Reference KapranovKap98, Definition (2.1.8)], we set
$$\begin{eqnarray}R[\![T^{-1}]\!]:=\varprojlim (R/{\mathcal{I}}_{d}R)[T_{d}^{-1}],\end{eqnarray}$$
where
$T_{d}\subset R/{\mathcal{I}}_{d}R$
is the preimage of
$T$
. In the case where
$T=\{f^{n}\mid n\geqslant 0\}$
, for some element
$f\in R^{\text{ab}}$
, we denote the above algebra simply by
$R[\![f^{-1}]\!]$
.
For an NC-complete algebra
$R$
we denote by
$\overline{h}_{R}$
the corresponding functor on
$a{\mathcal{N}}:\overline{h}_{R}(B)$
is the set of conjugacy classes of algebra homomorphisms
$R\rightarrow B$
. Since the images of both horizontal arrows in the above cartesian square are stable under the action of inner automorphisms of
$B$
, we deduce that the similar square
is still cartesian for any
$B\in {\mathcal{N}}$
.
Let
$a{\mathcal{N}}{\mathcal{C}}$
denote the category of NC-complete algebras with morphisms given by algebra homomorphisms viewed up to conjugation, that is, up to post-composing with an inner automorphism. We denote by
$a{\mathcal{N}}{\mathcal{C}}{\mathcal{S}}_{\text{is}}$
the subcategory in
$a{\mathcal{N}}{\mathcal{C}}$
, whose objects are NC-smooth algebras, with isomorphisms in
$a{\mathcal{N}}{\mathcal{C}}$
as morphisms.
Lemma 1.2.1. The functor
$$\begin{eqnarray}a{\mathcal{N}}{\mathcal{C}}{\mathcal{S}}_{\text{is}}^{\text{op}}\rightarrow \operatorname{Fun}_{\text{is}}(a{\mathcal{N}},\operatorname{Sets}):R\mapsto \overline{h}_{R}\end{eqnarray}$$
is fully faithful, where
$\operatorname{Fun}_{\text{is}}$
is the category of functors and natural isomorphisms between them.
Proof. Note that for any
$d\geqslant 0$
, the restriction
$\overline{h}_{R}|_{a{\mathcal{N}}_{d}}$
is naturally isomorphic to the representable functor
$\overline{h}_{R/{\mathcal{I}}_{d+2}R}$
. Thus, for NC-complete algebras
$R$
and
$R^{\prime }$
, we have a natural identification
$$\begin{eqnarray}\operatorname{Iso}(\overline{h}_{R^{\prime }},\overline{h}_{R})\simeq \mathop{\varprojlim }\nolimits_{d}\operatorname{Iso}_{a{\mathcal{N}}}(R/{\mathcal{I}}_{d+2}R,R^{\prime }/{\mathcal{I}}_{d+2}R^{\prime }),\end{eqnarray}$$
where
$\operatorname{Iso}_{a{\mathcal{N}}}(?,?)$
denotes the set of isomorphisms in the category
$a{\mathcal{N}}$
. Thus, it suffices to prove that if
$R$
and
$R^{\prime }$
are NC-smooth then the natural map
$$\begin{eqnarray}\operatorname{Iso}_{a{\mathcal{N}}{\mathcal{C}}}(R,R^{\prime })\rightarrow \mathop{\varprojlim }\nolimits_{d}\operatorname{Iso}_{a{\mathcal{N}}}(R/{\mathcal{I}}_{d+2}R,R^{\prime }/{\mathcal{I}}_{d+2}R^{\prime })\end{eqnarray}$$
is a bijection. To check surjectivity, assume we are given a collection of algebra homomorphisms
$$\begin{eqnarray}f_{d}:R/{\mathcal{I}}_{d+2}R\rightarrow R^{\prime }/{\mathcal{I}}_{d+2}R^{\prime },\end{eqnarray}$$
which are compatible up to conjugation, that is, the homomorphism
$f_{d+1,d}:R/{\mathcal{I}}_{d+2}R\rightarrow R^{\prime }/{\mathcal{I}}_{d+2}R^{\prime }$
induced by
$f_{d+1}$
is equal to
$\unicode[STIX]{x1D703}_{u_{d}}f_{d}$
, where
$\unicode[STIX]{x1D703}_{u_{d}}$
is the inner automorphism associated with a unit
$u_{d}\in R^{\prime }/{\mathcal{I}}_{d+2}R^{\prime }$
. Now, starting from
$d=0$
, we can recursively correct
$f_{d+1}$
by an inner automorphism of
$R^{\prime }/{\mathcal{I}}_{d+3}R^{\prime }$
, so that the homomorphisms
$(f_{d})$
become compatible on the nose (not up to an inner automorphism). Since
$R^{\prime }$
is NC-complete, this defines a unique homomorphism
$f:R\rightarrow R^{\prime }$
inducing
$(f_{d})$
. Furthermore, since
$R$
is NC-complete, we see that
$f$
is an isomorphism if and only if all
$f_{d}$
are isomorphisms.
It remains to check that (1.2.2) is injective. Thus, given two isomorphisms
$f,f^{\prime }:R\rightarrow R^{\prime }$
such that the induced isomorphisms
$f_{d}$
and
$f_{d}^{\prime }$
are conjugate for each
$d$
, we have to check that
$f$
and
$f^{\prime }$
are conjugate. By considering
$f^{-1}f^{\prime }$
, we reduce the problem to checking that if we have an automorphism
$f:R\rightarrow R$
such that
$f_{d}$
is an inner automorphism of
$R/{\mathcal{I}}_{d+2}R$
for each
$d$
, then
$f$
is inner. For any algebra
$A$
, let us denote by
$\operatorname{Inn}(A)$
the group of inner automorphisms of
$A$
. Note that we have an exact sequence of groups
$$\begin{eqnarray}1\rightarrow Z(A)^{\ast }\rightarrow A^{\ast }\rightarrow \operatorname{Inn}(A)\rightarrow 1.\end{eqnarray}$$
Applying this to each algebra
$R/{\mathcal{I}}_{d+2}R$
, and passing to projective limits, we have an exact sequence
We claim that the arrow
$\unicode[STIX]{x1D70C}$
in this sequence is surjective. Indeed, it is enough to check that the inverse system
$(Z(R/{\mathcal{I}}_{d+2}R)^{\ast })$
satisfies the Mittag-Leffler condition. But by Lemma 1.1.1(i), for
$d\geqslant 1$
, the image of the projection
$$\begin{eqnarray}Z(R/{\mathcal{I}}_{d+2}R)^{\ast }\rightarrow Z(R/{\mathcal{I}}_{d+1}R)^{\ast }\end{eqnarray}$$
is equal to
$\mathbb{C}^{\ast }$
, which implies the required stabilization. Thus, the map
$\unicode[STIX]{x1D70C}$
is surjective. Note that the source of this map can be identified with
$R^{\ast }$
. Thus, we deduce the surjectivity of the natural map
$$\begin{eqnarray}R^{\ast }\rightarrow \mathop{\varprojlim }\nolimits_{d}\operatorname{Inn}(R/{\mathcal{I}}_{d+2}R).\end{eqnarray}$$
Hence, we can compose
$f$
with an inner automorphism
$\unicode[STIX]{x1D703}_{u}$
of
$R$
, such that
$f^{\prime }=\unicode[STIX]{x1D703}_{u}f$
induces the identity automorphism of
$R/{\mathcal{I}}_{d+2}R$
for each
$d$
. It follows that
$f^{\prime }=\operatorname{id}$
, that is,
$f$
is inner.◻
1.3 Gluing
We can define the Zariski topology on
$a{\mathcal{N}}^{\text{op}}$
naturally. However, this is not a subcanonical topology, that is, representable functors are not necessarily sheaves with respect to this topology. Namely, suppose
$f_{1},f_{2}:A\rightarrow B$
are a pair of homomorphisms, inducing the same homomorphism
$A^{\text{ab}}\rightarrow B^{\text{ab}}$
. Assume also that we have a covering of
$\operatorname{Spec}(A^{\text{ab}})$
by distinguished affine opens,
$\operatorname{Spec}(A_{\overline{g}_{i}})$
, such that
$f_{1}$
and
$f_{2}$
become conjugate as morphisms from
$A_{g_{i}}$
to
$B_{g_{i}}$
. It may happen that
$f_{1}$
and
$f_{2}$
are still not conjugate by an element of
$B^{\ast }$
.
Example 1.3.1. Let
$R:=k[x,y]$
. For any ideal
$I\subset R$
we can consider the central extension
$A$
of
$R$
by
$\unicode[STIX]{x1D6FA}_{R/k}^{2}\otimes _{R}R/I$
, obtained from the universal central extension via the natural homomorphism
$\unicode[STIX]{x1D6FA}_{R/k}^{2}\rightarrow \unicode[STIX]{x1D6FA}_{R/k}^{2}\otimes _{R}R/I$
. We consider a pair of homomorphisms
$$\begin{eqnarray}f_{1}=\operatorname{id},\quad f_{2}=\operatorname{id}+\unicode[STIX]{x1D6FF}:A\rightarrow A,\end{eqnarray}$$
where
$\unicode[STIX]{x1D6FF}:A\rightarrow R\rightarrow \unicode[STIX]{x1D6FA}_{R/k}^{2}\otimes _{R}R/I$
is a derivation given by
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}(r)=\unicode[STIX]{x1D714}\wedge dr\quad \operatorname{mod}I\unicode[STIX]{x1D6FA}_{R/k}^{2},\end{eqnarray}$$
for some
$1$
-form modulo
$I$
,
$\unicode[STIX]{x1D714}\in \unicode[STIX]{x1D6FA}_{R/k}^{1}\otimes _{R}R/I$
. We will prove that for
$I=(xy-1)$
, there exists a
$1$
-form
$\unicode[STIX]{x1D714}$
such that
$f_{1}$
and
$f_{2}$
are locally conjugate, but not globally conjugate. Note that if
$R_{g}$
is a localization of
$R$
then the corresponding localization of
$A$
is a central extension of
$R_{g}$
by
$\unicode[STIX]{x1D6FA}_{R_{g}/k}^{2}\otimes _{R_{g}}(R/I)_{g}$
. It is easy to see that the condition for
$f_{1}$
and
$f_{2}$
to be conjugate over
$\operatorname{Spec}(R_{g})$
is that for some
$r\in R_{g}^{\ast }$
one has
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}(r^{\prime })=r^{-1}dr\wedge dr^{\prime }\quad \operatorname{mod}I\unicode[STIX]{x1D6FA}_{R_{g}/k}^{2}\end{eqnarray}$$
for any
$r^{\prime }\in R$
. Since the morphism
$\unicode[STIX]{x1D702}\mapsto \unicode[STIX]{x1D702}\wedge ?$
gives an isomorphism
$$\begin{eqnarray}\unicode[STIX]{x1D6FA}_{R_{g}/k}^{1}\otimes _{R_{g}}(R/I)_{g}\simeq \operatorname{Hom}_{R_{g}}(\unicode[STIX]{x1D6FA}_{R_{g}/k}^{1},\unicode[STIX]{x1D6FA}_{R_{g}/k}^{2}\otimes _{R_{g}}(R/I)_{g}),\end{eqnarray}$$
this is equivalent to the condition
$$\begin{eqnarray}\unicode[STIX]{x1D714}\equiv r^{-1}\,dr\quad \operatorname{mod}I\unicode[STIX]{x1D6FA}_{R_{g}/k}^{1}.\end{eqnarray}$$
Let us consider the homomorphism of sheaves on
$\operatorname{Spec}(R)=\mathbb{A}_{k}^{2},$
$$\begin{eqnarray}\unicode[STIX]{x1D70F}:{\mathcal{O}}^{\ast }\rightarrow \unicode[STIX]{x1D6FA}^{1}\otimes _{{\mathcal{O}}}{\mathcal{O}}/I,\end{eqnarray}$$
induced by
$\unicode[STIX]{x1D719}\mapsto \unicode[STIX]{x1D719}^{-1}\,d\unicode[STIX]{x1D719}$
. Thus, the condition on
$\unicode[STIX]{x1D714}$
means that it comes from a global section of the sheaf image
$\operatorname{im}(\unicode[STIX]{x1D70F})$
, but is not in the image of the induced morphism on global sections. Since
$H^{0}(\mathbb{A}^{2},{\mathcal{O}}^{\ast })=k$
, the latter condition is equivalent to
$\unicode[STIX]{x1D714}\neq 0$
. Now we observe that the sheaf
$\unicode[STIX]{x1D6FA}^{1}\otimes _{{\mathcal{O}}}{\mathcal{O}}/I$
is supported on the curve
$xy=1$
which is contained in the affine open subset
$x\neq 0$
. Hence, the
$1$
-form
$dx/x$
gives a well-defined nonzero global section of
$\operatorname{im}(\unicode[STIX]{x1D70F})$
, as required.
Because of this we do not try to glue affine aNC-schemes using sheaves on
$a{\mathcal{N}}$
. Instead, we show that a locally representable formally smooth functor on
$a{\mathcal{N}}$
always leads to an algebroid over the underlying commutative smooth scheme
$X$
, that corresponds locally to an NC-smooth thickening of
$X$
.
Recall that a
$\mathbb{C}$
-algebroid
${\mathcal{A}}$
over a topological space
$X$
is a stack of
$\mathbb{C}$
-linear categories over
$X$
, such that
${\mathcal{A}}$
is locally nonempty and any two objects of
${\mathcal{A}}(U)$
are locally isomorphic. We refer to [Reference Kashiwara and SchapiraKS12, §2.1] for basic results on algebroids.
Definition 1.3.2. Let
$X$
be a smooth scheme. An NC-smooth algebroid thickening of
$X$
is a
$\mathbb{C}$
-algebroid
${\mathcal{A}}$
over
$X$
such that for every object
$\unicode[STIX]{x1D70E}\in {\mathcal{A}}(U)$
over an open subset
$U\subset X$
the sheaf of algebras
${\mathcal{E}}\text{nd}_{{\mathcal{A}}}(\unicode[STIX]{x1D70E})$
is an NC-smooth thickening of
$U$
.
For a sheaf of
$\mathbb{C}$
-algebras
$A$
over
$X$
we have the corresponding
$\mathbb{C}$
-algebroid with a fixed global object
$\unicode[STIX]{x1D70E}$
such that
$A$
is the endomorphism algebra of
$\unicode[STIX]{x1D70E}$
.
Definition 1.3.3. For a
$\mathbb{C}$
-algebroid
${\mathcal{A}}$
, we define the center of
${\mathcal{A}}$
as the sheaf
$$\begin{eqnarray}{\mathcal{Z}}_{{\mathcal{A}}}:={\mathcal{E}}\text{nd}(\operatorname{Id}_{{\mathcal{A}}})\end{eqnarray}$$
of endomorphisms of the identity functor on
${\mathcal{A}}$
. We say that a
$\mathbb{C}$
-algebroid
${\mathcal{A}}$
has trivial center if the natural map of sheaves
$\mathbb{C}_{X}\rightarrow {\mathcal{Z}}_{{\mathcal{A}}}$
is an isomorphism.
It is easy to see that for any local object
$\unicode[STIX]{x1D70E}\in {\mathcal{A}}(U)$
one has a natural identification of
${\mathcal{Z}}_{{\mathcal{A}}}|_{U}$
with the center of the sheaf of algebras
${\mathcal{E}}\text{nd}_{{\mathcal{A}}}(\unicode[STIX]{x1D70E})$
. Thus, by Lemma 1.1.1(ii), any NC-smooth algebroid thickening has trivial center.
We will prove a general gluing result for sheaves of
$\mathbb{C}$
-algebras with trivial centers and then apply it to construct NC-smooth algebroid thickenings.
Lemma 1.3.4.
(i) Let
${\mathcal{A}}$
and
${\mathcal{A}}^{\prime }$
be a pair of
$\mathbb{C}$
-algebroids with trivial centers over an irreducible scheme
$X$
, and let
$F,G:{\mathcal{A}}\rightarrow {\mathcal{A}}^{\prime }$
be a pair of equivalences. Assume that for an open covering
$(U_{i})$
of
$X$
we have an isomorphism
$F|_{U_{i}}\simeq G|_{U_{i}}$
. Then there exists an isomorphism
$F\simeq G$
.(ii) Let
${\mathcal{A}}$
and
${\mathcal{A}}^{\prime }$
be a pair of
$\mathbb{C}$
-algebroids with trivial centers over an irreducible scheme
$X$
. Assume that for an open covering
$(U_{i})$
of
$X$
we have an equivalence and that for each pair$$\begin{eqnarray}F_{i}:{\mathcal{A}}|_{U_{i}}\rightarrow {\mathcal{A}}^{\prime }|_{U_{i}}\end{eqnarray}$$
$i,j$
, we have an isomorphism where$$\begin{eqnarray}F_{i}|_{U_{ij}}\simeq F_{j}|_{U_{ij}},\end{eqnarray}$$
$U_{ij}=U_{i}\cap U_{j}$
. Then there exists an equivalence
$F:{\mathcal{A}}\rightarrow {\mathcal{A}}^{\prime }$
such that
$F|_{U_{i}}\simeq F_{i}$
. Such an equivalence is unique up to an isomorphism.(iii) Let
$U_{i}$
be an open covering of an irreducible scheme
$X$
, and for each
$i$
let
${\mathcal{A}}_{i}$
be a
$\mathbb{C}$
-algebroid with trivial center over
$U_{i}$
. Assume that for every
$i,j$
, we have an equivalence such that for every$$\begin{eqnarray}F_{ij}:{\mathcal{A}}_{i}|_{U_{ij}}\rightarrow {\mathcal{A}}_{j}|_{U_{ij}},\end{eqnarray}$$
$i,j,k$
, there is an isomorphism where$$\begin{eqnarray}F_{jk}|_{U_{ijk}}\circ F_{ij}|_{U_{ijk}}\simeq F_{ik}|_{U_{ijk}},\end{eqnarray}$$
$U_{ijk}=U_{i}\,\cap \,U_{j}\,\cap \,U_{k}$
. Then there exist a
$\mathbb{C}$
-algebroid
${\mathcal{A}}$
over
$X$
and equivalences
$F_{i}:{\mathcal{A}}|_{U_{i}}\rightarrow {\mathcal{A}}_{i}$
, such that for every
$i,j$
, there is an isomorphism Furthermore, such$$\begin{eqnarray}F_{ij}\circ F_{i}|_{U_{ij}}\simeq F_{j}|_{U_{ij}}.\end{eqnarray}$$
${\mathcal{A}}$
is unique up to an equivalence.
Proof. (i) Let us choose for each
$i$
an isomorphism
$\unicode[STIX]{x1D719}_{i}:F|_{U_{i}}\rightarrow G|_{U_{i}}$
. Then for each
$i,j$
, we have
$$\begin{eqnarray}\unicode[STIX]{x1D719}_{j}|_{U_{ij}}=\unicode[STIX]{x1D719}_{i}|_{U_{ij}}\circ c_{ij},\end{eqnarray}$$
where
$c_{ij}$
is an autoequivalence of
$F_{i}|_{U_{ij}}$
. Since
$F_{i}$
is an equivalence, we have
$\text{}\underline{\operatorname{Aut}}(F)\simeq \text{}\underline{\operatorname{Aut}}(\operatorname{id}_{{\mathcal{A}}})$
. Locally, the sheaf
$\text{}\underline{\operatorname{Aut}}(\operatorname{id}_{{\mathcal{A}}})$
is given by the center of
$\operatorname{End}_{{\mathcal{A}}}(\unicode[STIX]{x1D70E})$
, where
$\unicode[STIX]{x1D70E}$
is an object of
${\mathcal{A}}$
. Hence, by Lemma 1.1.1, the natural morphism of sheaves
$\mathbb{C}_{X}^{\ast }\rightarrow \text{}\underline{\operatorname{Aut}}(\operatorname{id}_{{\mathcal{A}}})$
is an isomorphism. Thus,
$c_{ij}$
is a Cech
$1$
-cocycle with values in
$\mathbb{C}_{X}^{\ast }$
. Since
$X$
is irreducible, the corresponding Cech cohomology is trivial, so we can multiply
$\unicode[STIX]{x1D719}_{i}$
by appropriate constants in
$\mathbb{C}^{\ast }$
, to make them compatible on double intersections. The corrected isomorphisms glue into a global isomorphism
$F\rightarrow G$
.
(ii) Let us choose for each
$i,j$
an isomorphism
$\unicode[STIX]{x1D719}_{ij}:F_{i}|_{U_{ij}}\rightarrow F_{j}|_{U_{ij}}$
. Then for each
$i,j,k$
, the composition
$c_{ijk}=\unicode[STIX]{x1D719}_{ki}\unicode[STIX]{x1D719}_{jk}\unicode[STIX]{x1D719}_{ij}$
is an autoequivalence of
$F_{i}|_{U_{ijk}}$
, where
$c_{ijk}$
is a Cech
$2$
-cocycle with values in
$\mathbb{C}_{X}^{\ast }$
. As above, choosing representation of
$c_{ijk}$
as a coboundary allows to correct
$\unicode[STIX]{x1D719}_{ij}$
by constants in
$\mathbb{C}^{\ast }$
, so that the isomorphisms
$\unicode[STIX]{x1D719}_{ij}$
are compatible on triple intersections. Hence, we can glue
$(F_{i})$
into the required global equivalence
$F:{\mathcal{A}}\rightarrow {\mathcal{A}}^{\prime }$
. The fact that
$F$
is unique up to an isomorphism follows from (i).
(iii) For every
$i,j,k$
, let us choose an isomorphism
$$\begin{eqnarray}g_{ijk}:F_{jk}|_{U_{ijk}}\circ F_{ij}|_{U_{ijk}}\rightarrow F_{ik}|_{U_{ijk}}.\end{eqnarray}$$
Then for every
$i,j,k,l$
, we have over
$U_{ijkl}$
,
$$\begin{eqnarray}g_{ikl}(F_{kl}\ast g_{ijk})=c_{ijkl}g_{ijl}(g_{jkl}\ast F_{ij})\end{eqnarray}$$
for some
$c_{ijkl}\in \text{}\underline{\operatorname{Aut}}(F_{il})(U_{ijkl})=\mathbb{C}^{\ast }$
. Furthermore,
$(c_{ijkl})$
is a Cech
$3$
-cocycle with values in
$\mathbb{C}_{X}^{\ast }$
. Hence, we can multiply
$g_{ijk}$
with appropriate constants to make them compatible on quadruple intersections. This allows us to glue
$({\mathcal{A}}_{i})$
into a global
$\mathbb{C}$
-algebroid
${\mathcal{A}}$
over
$X$
(see [Reference Kashiwara and SchapiraKS12, Proposition 2.1.13]). The uniqueness of
${\mathcal{A}}$
up to an equivalence follows from (ii).◻
Proposition 1.3.5. Let
$(U_{i})$
be an open covering of an irreducible scheme
$X$
. Assume that for each
$i$
we are given a sheaf of
$\mathbb{C}$
-algebras
$A_{i}$
with trivial center over
$U_{i}$
, and for each pair
$i<j$
, a covering
$(V_{k}=V_{ij,k})$
of
$U_{ij}$
, together with isomorphisms of sheaves of
$\mathbb{C}$
-algebras
$$\begin{eqnarray}\unicode[STIX]{x1D6FC}_{ij,V_{k}}:A_{i}|_{V_{k}}\rightarrow A_{j}|_{V_{k}}\end{eqnarray}$$
for all
$k$
. We assume that the restrictions of
$\unicode[STIX]{x1D6FC}_{ij,V_{k}}$
and
$\unicode[STIX]{x1D6FC}_{ij,V_{l}}$
to
$V_{k}\cap V_{l}$
differ by an inner automorphism. Also, we assume that for
$i<j<k$
there exists a covering
$(W_{l}=W_{ijk,l})$
of
$U_{ijk}$
such that
$\unicode[STIX]{x1D6FC}_{jk}|_{W_{l}}\circ \unicode[STIX]{x1D6FC}_{ij}|_{W_{l}}$
and
$\unicode[STIX]{x1D6FC}_{ik}|_{W_{l}}$
differ by an inner automorphism. Then there exists a
$\mathbb{C}$
-algebroid
${\mathcal{A}}$
over
$X$
, together with equivalences of
$\mathbb{C}$
-algebroids,
$$\begin{eqnarray}F_{i}:{\mathcal{A}}|_{U_{i}}\rightarrow {\mathcal{A}}_{i},\end{eqnarray}$$
where
${\mathcal{A}}_{i}$
is the
$\mathbb{C}$
-algebroid over
$U_{i}$
associated with
$A_{i}$
, such that for
$i<j$
there exist isomorphisms
$$\begin{eqnarray}\unicode[STIX]{x1D6FC}_{ij,V_{k}}\circ F_{i}|_{V_{k}}\simeq F_{j}|_{V_{k}}\end{eqnarray}$$
over the covering
$(V_{k})$
of
$U_{ij}$
. Such an algebroid
${\mathcal{A}}$
is unique up to an equivalence.
Proof. Each isomorphism
$\unicode[STIX]{x1D6FC}_{ij,V_{k}}$
gives an equivalence
$$\begin{eqnarray}F_{ij,V_{k}}:{\mathcal{A}}_{i}|_{V_{k}}\rightarrow {\mathcal{A}}_{j}|_{V_{k}}.\end{eqnarray}$$
Since the local autoequivalence of
${\mathcal{A}}_{i}$
associated with an inner automorphism of
$A_{i}$
is isomorphic to the identity, we get that
$F_{ij,V_{k}}$
and
$F_{ij,V_{l}}$
induce isomorphic equivalences over
$V_{k}\cap V_{l}$
. By Lemma 1.3.4(ii), we obtain an equivalence defined over
$U_{ij}$
,
$$\begin{eqnarray}F_{ij}:{\mathcal{A}}_{i}|_{U_{ij}}\rightarrow {\mathcal{A}}_{j}|_{U_{ij}},\end{eqnarray}$$
such that
$F_{ij}|_{V_{k}}\simeq \unicode[STIX]{x1D6FC}_{ij,V_{k}}$
.
Furthermore, we claim that over
$U_{ijk}$
there is an isomorphism
$$\begin{eqnarray}F_{jk}|_{U_{ijk}}\circ F_{ij}|_{U_{ijk}}\simeq F_{ik}|_{U_{ijk}}.\end{eqnarray}$$
Indeed, by assumption, we have a similar isomorphism over each open subset from the covering
$(W_{l})$
of
$U_{ijk}$
. Thus, our claim follows from Lemma 1.3.4(i), applied to the equivalences on both sides of (1.3.1).
Finally, we can apply Lemma 1.3.4(iii) to conclude the existence and uniqueness of the required NC-smooth algebroid
${\mathcal{A}}$
over
$X$
.◻
We will now apply the above general result to NC-smooth thickenings.
For a functor
$h$
on
$a{\mathcal{N}}$
such that
$h_{\operatorname{Com}}=h_{X}$
and an open subset
$U\subset X$
, we define the subfunctor
$h_{/U}\subset h$
by
$$\begin{eqnarray}h_{/U}(\unicode[STIX]{x1D6EC})=h(\unicode[STIX]{x1D6EC})\times _{h_{X}(\unicode[STIX]{x1D6EC}^{\text{ab}})}h_{U}(\unicode[STIX]{x1D6EC}^{\text{ab}}),\end{eqnarray}$$
where we use the identification
$h(\unicode[STIX]{x1D6EC}^{\text{ab}})\simeq h_{X}(\unicode[STIX]{x1D6EC}^{\text{ab}})$
.
Lemma 1.3.6. Let
$h=\overline{h}_{R}$
, where
$R$
is an NC-complete algebra. Then for any distinguished affine
$D(f)\subset \operatorname{Spec}(A^{\text{ab}})$
we have an equality of subfunctors
$h_{/D(f)}=\overline{h}_{A[\![f^{-1}]\!]}$
.
Proof. This follows immediately from the cartesian square (1.2.1) with
$T=\{f^{n}\mid n\geqslant 0\}$
.◻
Lemma 1.3.7. Let
$h$
be a functor on
$a{\mathcal{N}}$
such that
$h|_{\operatorname{Com}}=h_{X}$
for some scheme
$X$
. Assume that
$(U_{i})$
is an affine covering of
$X$
, such that for every
$i$
we have an isomorphism
$h_{/U_{i}}\simeq \overline{h}_{A_{i}}$
for some
$A_{i}\in {\mathcal{N}}$
. Let us denote also by
$A_{i}$
the corresponding sheaf of algebras over
$U_{i}$
. Then for every open subset
$V\subset U_{i}\cap U_{j}$
, which is distinguished in both
$U_{i}$
and
$U_{j}$
, we have an isomorphism
$$\begin{eqnarray}\unicode[STIX]{x1D6FC}_{ij,V}:A_{i}|_{V}\simeq A_{j}|_{V}\end{eqnarray}$$
compatible with the isomorphisms
$\overline{h}_{A_{i}(V)}\simeq h_{/V}\simeq \overline{h}_{A_{j}(V)}$
. Furthermore, for another such open
$V^{\prime }\subset U_{i}\,\cap \,U_{j}$
the isomorphisms
$\unicode[STIX]{x1D6FC}_{ij,V}|_{V\cap V^{\prime }}$
and
$\unicode[STIX]{x1D6FC}_{ij,V^{\prime }}|_{V\cap V^{\prime }}$
differ by an inner automorphism. Also, for any open
$V\subset U_{i}\cap U_{j}\cap U_{k}$
, distinguished in
$U_{i}$
,
$U_{j}$
and
$U_{k}$
, we have
$$\begin{eqnarray}\unicode[STIX]{x1D6FC}_{jk}|_{V}\circ \unicode[STIX]{x1D6FC}_{ij}|_{V}=\unicode[STIX]{x1D6FC}_{ik}|_{V}\circ \operatorname{Ad}(u_{ijk})\end{eqnarray}$$
for some
$u_{ijk}\in A_{i}(V)^{\ast }$
.
Proof. Let us fix an isomorphism
$h_{/U_{i}}\simeq \overline{h}_{A_{i}}$
for each
$i$
. Suppose
$V\subset U_{i}\cap U_{j}$
is a distinguished affine open in both
$U_{i}$
and
$U_{j}$
. Then
$$\begin{eqnarray}\overline{h}_{A_{i},/V}\simeq h_{/V}\simeq \overline{h}_{A_{j},V}.\end{eqnarray}$$
Thus, by Lemmas 1.3.6 and 1.2.1, we have an isomorphism between the corresponding localizations of
$A_{i}$
and
$A_{j}$
in
$a{\mathcal{N}}$
, and hence, an isomorphism
$\unicode[STIX]{x1D6FC}_{ij}:A_{i}|_{V}\simeq A_{j}|_{V}$
, defined uniquely up to an inner automorphism. For
$V\subset U_{i}\cap U_{j}\cap U_{k}$
the compatibility between
$\unicode[STIX]{x1D6FC}_{ij}$
,
$\unicode[STIX]{x1D6FC}_{jk}$
and
$\unicode[STIX]{x1D6FC}_{ik}$
, up to an inner automorphism, follows from the compatibility of all of these isomorphisms with the isomorphisms of
$\overline{h}_{A_{i},/V}$
,
$\overline{h}_{A_{j},/V}$
and
$\overline{h}_{A_{k},/V}$
with
$h_{/V}$
.◻
Theorem 1.3.8. Let
$h$
be a formally smooth functor on
$a{\mathcal{N}}$
such that
$h|_{\operatorname{Com}}=h_{X}$
, where
$X$
is a smooth connected scheme with
$\dim X\geqslant 2$
. Assume that
$h$
is locally representable, that is, there exist an open affine covering
$(U_{i})$
of
$X$
, and isomorphisms
$$\begin{eqnarray}h_{/U_{i}}\simeq \overline{h}_{A_{i}},\end{eqnarray}$$
where
$A_{i}$
is an NC-smooth thickening of
$U_{i}$
. Then there exist an NC-smooth algebroid
${\mathcal{A}}$
over
$X$
and equivalences of algebroids
$$\begin{eqnarray}F_{i}:{\mathcal{A}}|_{U_{i}}\rightarrow A_{i},\end{eqnarray}$$
such that for every open subset
$V\subset U_{i}\cap U_{j}$
, distinguished in both
$U_{i}$
and
$U_{j}$
, there is an isomorphism
$$\begin{eqnarray}g_{ij}\circ F_{i}|_{V}\simeq F_{j}|_{V},\end{eqnarray}$$
where
$g_{ij}:A_{i}|_{V}\rightarrow A_{j}|_{V}$
is a representative (up to conjugation) of the isomorphism
$\overline{h}_{A_{i}|_{V}}\simeq h_{/V}\simeq \overline{h}_{A_{j}|_{V}}$
.
Proof. First, we apply Lemma 1.3.7 and obtain isomorphisms
$$\begin{eqnarray}\unicode[STIX]{x1D6FC}_{ij,V}:A_{i}|_{V}\rightarrow A_{j}|_{V}\end{eqnarray}$$
for every open
$V\subset U_{i}\cap U_{j}$
, distinguished in both
$U_{i}$
and
$U_{j}$
, such that these isomorphisms for
$V$
and
$V^{\prime }$
and for
$V\subset U_{i}\cap U_{j}\cap U_{k}$
, are compatible up to an inner automorphism. Hence, we are in the setup of Proposition 1.3.5, where as open coverings of
$U_{ij}$
(respectively,
$U_{ijk}$
) we take the covering by all open affines which are distinguished in
$U_{i}$
and
$U_{j}$
(respectively,
$U_{i}$
,
$U_{j}$
and
$U_{k}$
). Note that the centers of
$A_{i}$
are trivial by Lemma 1.1.1(ii). Thus, applying Proposition 1.3.5, we get the required NC-smooth algebroid over
$X$
.◻
1.4 Recollections on nonabelian
$H^{1}$
We will use some basic constructions involving nonabelian cohomology, which we recall here. The comprehensive reference is Giraud’s book [Reference GiraudGir71] (more specifically, we use [Reference GiraudGir71, §§3.3, 3.4]). A more explicit treatment in terms of Cech cocycles is given in [Reference ManinMan97, §2.6.8]; however, it contains one mistake that we will correct.
For a sheaf of groups
${\mathcal{G}}$
on a topological space
$X$
and an open covering
${\mathcal{U}}=(U_{i})$
of
$X$
, the set of
$1$
-cocycles
$Z^{1}({\mathcal{U}},{\mathcal{G}})$
consists of
$g_{ij}\in {\mathcal{G}}(U_{ij})$
, such that
$g_{ii}=1$
,
$g_{ij}g_{ji}=1$
and
$$\begin{eqnarray}g_{ij}|_{U_{ijk}}g_{jk}|_{U_{ijk}}=g_{ik}|_{U_{ijk}}.\end{eqnarray}$$
Two such
$1$
-cocycles
$(g_{ij})$
and
$(\widetilde{g}_{ij})$
are cohomologous if
$$\begin{eqnarray}\widetilde{g}_{ij}=h_{i}|_{U_{ij}}g_{ij}h_{j}^{-1}|_{U_{ij}},\end{eqnarray}$$
for some
$h_{i}\in {\mathcal{G}}(U_{i})$
. We denote by
$H^{1}({\mathcal{U}},{\mathcal{G}})$
the corresponding set of equivalence classes (pointed by the class of the trivial cocycle). The nonabelian cohomology set
$H^{1}(X,{\mathcal{G}})$
is obtained by taking the limit over all open coverings. Note that our convention for nonabelian
$1$
-cocycles is the same as in [Reference GiraudGir71] and differs from that of [Reference ManinMan97, §2.6.8] by passing to inverses. For brevity, we will no longer write explicitly the restrictions to the intersections in formulas involving sections defined over different open subsets.
For a homomorphism
${\mathcal{G}}_{1}\rightarrow {\mathcal{G}}_{2}$
the induced map of pointed sets
$H^{1}(X,{\mathcal{G}}_{1})\rightarrow H^{1}(X,{\mathcal{G}}_{2})$
is defined in an obvious way. Now assume we are given an abelian extension of sheaves of groups
This means that
${\mathcal{A}}$
is a sheaf of abelian groups, which is a normal subsheaf in
${\mathcal{G}}^{\prime }$
, and
${\mathcal{G}}$
is the corresponding quotient. Then we have a natural connecting map
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{0}:H^{0}(X,{\mathcal{G}})\rightarrow H^{1}(X,{\mathcal{A}})\end{eqnarray}$$
such that
$\unicode[STIX]{x1D6FF}_{0}(g)=1$
if and only if
$g$
lifts to a global section of
${\mathcal{G}}^{\prime }$
. Namely, for an open covering
$U_{i}$
we can find
$g_{i}^{\prime }\in {\mathcal{G}}^{\prime }(U_{i})$
such that
$p(g_{i}^{\prime })=g$
, and set
$\unicode[STIX]{x1D6FF}_{0}(g)$
to be the class of the
$1$
-cocycle
$(g_{i}^{\prime })^{-1}g_{j}^{\prime }\in {\mathcal{A}}(U_{ij})$
. Note that
$\unicode[STIX]{x1D6FF}_{0}$
is not a homomorphism in general. Rather, it satisfies
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{0}(g_{1}g_{2})=g_{2}^{-1}(\unicode[STIX]{x1D6FF}_{0}(g_{1}))+\unicode[STIX]{x1D6FF}_{0}(g_{2}),\end{eqnarray}$$
where we write the group structure in
$H^{1}(X,{\mathcal{A}})$
additively and use the natural action of
$H^{0}(X,{\mathcal{G}})$
on
$H^{1}(X,{\mathcal{A}})$
induced by the adjoint action of
${\mathcal{G}}$
on
${\mathcal{A}}$
. (This means that
$g\mapsto \unicode[STIX]{x1D6FF}_{0}(g^{-1})$
is a crossed homomorphism.) An equivalent restatement of (1.4.1) is that there is a twisted action of
$H^{0}(X,{\mathcal{G}})$
on
$H^{1}(X,{\mathcal{A}})$
given by
$$\begin{eqnarray}g\times a=g(a)+\unicode[STIX]{x1D6FF}_{0}(g^{-1}),\quad \text{where }g\in H^{0}(X,{\mathcal{G}}),~a\in H^{1}(X,{\mathcal{A}}).\end{eqnarray}$$
Explicitly, the usual action of
$g\in H^{0}(X,{\mathcal{G}})$
on the class of a Cech
$1$
-cocycle
$(a_{ij})$
with values in
${\mathcal{A}}$
is given by
$g_{i}^{\prime }a_{ij}(g_{i}^{\prime })^{-1}$
, where
$g_{i}^{\prime }\in {\mathcal{G}}^{\prime }(U_{i})$
are liftings of
$g$
. On the other hand, the twisted action of
$g$
on
$a_{ij}$
is given by
$g_{i}^{\prime }a_{ij}(g_{j}^{\prime })^{-1}$
.
Next, starting from a class
$g\in H^{1}(X,{\mathcal{G}})$
, we can construct a class
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{1}(g)\in H^{2}(X,{\mathcal{A}}^{g})\end{eqnarray}$$
such that
$\unicode[STIX]{x1D6FF}_{1}(g)=0$
if and only if
$g$
is in the image of the map
$H^{1}(X,{\mathcal{G}}^{\prime })\rightarrow H^{1}(X,{\mathcal{G}})$
. Here
${\mathcal{A}}^{g}$
is the sheaf obtained from
${\mathcal{A}}$
by twisting with
$g$
. Namely, if
$g$
is represented by a Cech
$1$
-cocycle
$g_{ij}\in {\mathcal{G}}(U_{i})$
then we have isomorphisms
$\unicode[STIX]{x1D713}_{i}:{\mathcal{A}}|_{U_{i}}\rightarrow {\mathcal{A}}^{g}|_{U_{i}}$
such that
$\unicode[STIX]{x1D713}_{j}=\unicode[STIX]{x1D713}_{i}\circ g_{ij}$
over
$U_{ij}$
. To construct
$\unicode[STIX]{x1D6FF}_{1}(g)$
, for some covering
$(U_{i})$
, we can choose liftings
$g_{ij}^{\prime }\in {\mathcal{G}}^{\prime }(U_{ij})$
for a
$1$
-cocycle
$(g_{ij})$
representing
$g$
(such that
$g_{ij}^{\prime }g_{ji}^{\prime }=1$
and
$g_{ii}^{\prime }=1$
). Then
$\unicode[STIX]{x1D6FF}_{1}(g)$
is the class of the
$2$
-cocycle
$(\unicode[STIX]{x1D713}_{i}(g_{ij}^{\prime }g_{jk}^{\prime }g_{ki}^{\prime }))$
with values in
${\mathcal{A}}^{g}$
.
Finally, for a given class
$g\in H^{1}(X,{\mathcal{G}})$
, we need the following description of the fiber of the map
over
$g$
. Assume that this fiber is nonempty and let us choose an element
$g^{\prime }\in H^{1}(X,{\mathcal{G}}^{\prime })$
projecting to
$g$
. Then we have an exact sequence of twisted groups
$$\begin{eqnarray}1\rightarrow {\mathcal{A}}^{g}\rightarrow ({\mathcal{G}}^{\prime })^{g^{\prime }}\rightarrow {\mathcal{G}}^{g}\rightarrow 1.\end{eqnarray}$$
Thus, as before we have two actions of the group
$H^{0}(X,{\mathcal{G}}^{g})$
on
$H^{1}(X,{\mathcal{A}}^{g})$
. Now we can construct a surjective map
$$\begin{eqnarray}H^{1}(X,{\mathcal{A}}^{g})\rightarrow H^{1}(p)^{-1}(g),\end{eqnarray}$$
such that the fibers of this map are the orbits of the twisted action of
$H^{0}(X,{\mathcal{G}}^{g})$
on
$H^{1}(X,{\mathcal{A}}^{g})$
(see (1.4.2)). Namely, let
$(g_{ij}^{\prime })$
be a Cech
$1$
-cocycle representing
$g^{\prime }$
, and let
$a_{ij}\in {\mathcal{A}}(U_{ij})$
be the
$g$
-twisted
$1$
-cocycle, so that
$\unicode[STIX]{x1D713}_{i}(a_{ij})$
is a
$1$
-cocycle with values in
${\mathcal{A}}^{g}$
. This means that over
$U_{ijk}$
one has
$$\begin{eqnarray}a_{ij}\operatorname{Ad}(g_{ij})(a_{jk})=a_{ik}.\end{eqnarray}$$
Then our map (1.4.3) sends
$(a_{ij})$
to the class of
$(a_{ij}g_{ij}^{\prime })$
.
In the particular case where the (usual) action of
$H^{0}(X,{\mathcal{G}}^{g})$
on
$H^{1}(X,{\mathcal{A}}^{g})$
is trivial, the corresponding connecting map
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{0}:H^{0}(X,{\mathcal{G}}^{g})\rightarrow H^{1}(X,{\mathcal{A}}^{g})\end{eqnarray}$$
is a group homomorphism, and the map (1.4.3) induces an identification of the cokernel of this homomorphism with
$H^{1}(p)^{-1}(g)$
. Equivalently, in this case the map (1.4.3) corresponds to a transitive action of
$H^{1}(X,{\mathcal{A}}^{g})$
on
$H^{1}(p)^{-1}(g)$
, such that the stabilizer of any element is the image of
$\unicode[STIX]{x1D6FF}_{0}$
. (In [Reference ManinMan97, §2.6.8] it is stated incorrectly that such an action exists in the general case.)
1.5 The functor of NC-families extending a given excellent family
Let
$Z$
be a projective algebraic variety,
$B$
a smooth algebraic variety, and let
${\mathcal{E}}$
be an excellent family of bundles on
$Z$
with the base
$B$
(see Definition 0.0.1). Note that our definition is slightly stronger than [Reference KapranovKap98, Definition (5.4.1)] in that we add condition (d), which is used crucially in the base change calculations.
For an NC-nilpotent scheme
$X$
and a usual scheme
$Z$
there is a natural product operation which gives an NC-nilpotent scheme
$X\times Z$
, so that functions on
$Z$
become central in
${\mathcal{O}}_{X\times Z}$
. In the affine case this corresponds to the operation of extension of scalars
$R\mapsto R\otimes _{\mathbb{C}}S$
from NC-nilpotent
$\mathbb{C}$
-algebras to NC-nilpotent
$S$
-algebras, where
$S$
is a commutative
$\mathbb{C}$
-algebra.
Following [Reference KapranovKap98], we consider the following functor of noncommutative families of vector bundles compatible with
${\mathcal{E}}$
.
Definition 1.5.1. For an excellent family
${\mathcal{E}}$
over a smooth (commutative) base
$B$
, we define the functor
$h_{B}^{NC}:{\mathcal{N}}\rightarrow Sets$
sending
$\unicode[STIX]{x1D6EC}\in {\mathcal{N}}$
to the isomorphism classes of objects in the following category
${\mathcal{C}}_{\unicode[STIX]{x1D6EC}}$
. Consider NC-schemes
$X=\operatorname{Spec}(\unicode[STIX]{x1D6EC})$
and
$X\times Z$
. Let us denote by
$X_{0}^{\text{ab}}=\operatorname{Spec}(\unicode[STIX]{x1D6EC}_{0}^{\text{ab}})$
the reduced scheme associated with the abelianization of
$X$
. Then the objects of
${\mathcal{C}}_{\unicode[STIX]{x1D6EC}}$
are the triples
$(f,E_{\unicode[STIX]{x1D6EC}},\unicode[STIX]{x1D719})$
consisting of:
(i) a morphism
$f:X_{0}^{\text{ab}}\rightarrow B$
of schemes;(ii) a locally free sheaf of right
${\mathcal{O}}_{X\times Z}$
-modules
$E_{\unicode[STIX]{x1D6EC}}$
;(iii) an isomorphism
$\unicode[STIX]{x1D719}:{\mathcal{O}}_{X_{0}^{\text{ab}}\times Z}\otimes E_{\unicode[STIX]{x1D6EC}}\overset{{\sim}}{\rightarrow }(f\times \operatorname{id})^{\ast }{\mathcal{E}}$
.
A morphism
$(f_{1},E_{1},\unicode[STIX]{x1D719}_{1})\rightarrow (f_{2},E_{2},\unicode[STIX]{x1D719}_{2})$
exists only if
$f_{1}=f_{2}$
and is given by an isomorphism
$E_{1}\rightarrow E_{2}$
commuting with the
$\unicode[STIX]{x1D719}_{i}$
. On morphisms
$h_{B}^{NC}$
is the usual pullback.
The following result is stated in [Reference KapranovKap98] (see [Reference KapranovKap98, Proposition (5.4.3)(a)(b)]). However, we believe our stronger assumptions on the family
${\mathcal{E}}$
, including condition (d), are needed for it to hold, and we will give a complete proof below.
Proposition 1.5.2. The functor
$h_{B}^{NC}$
is formally smooth and the natural morphism of functors
$h_{B}\rightarrow h_{B}^{NC}|_{\operatorname{Com}}$
is an isomorphism.
Lemma 1.5.3. For any commutative algebra
$\unicode[STIX]{x1D6EC}$
and any
$(f,E_{\unicode[STIX]{x1D6EC}},\unicode[STIX]{x1D719})\in h_{B}^{NC}(\unicode[STIX]{x1D6EC})$
the natural map
$$\begin{eqnarray}\unicode[STIX]{x1D6EC}\rightarrow \operatorname{End}(E_{\unicode[STIX]{x1D6EC}})\end{eqnarray}$$
is an isomorphism.
Proof. We prove this by the degree of nilpotency of the nilradical of
$\unicode[STIX]{x1D6EC}$
. Assume first that
$\unicode[STIX]{x1D6EC}$
is reduced. Then we have
$E_{\unicode[STIX]{x1D6EC}}=(f\times \operatorname{id})^{\ast }{\mathcal{E}}$
. Hence, by the base change theorem,
$$\begin{eqnarray}\displaystyle H^{0}(X\times Z,(f\times \operatorname{id})^{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}})) & \simeq & \displaystyle H^{0}(X,Rp_{X,\ast }(f\times \operatorname{id})^{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}))\nonumber\\ \displaystyle & \simeq & \displaystyle H^{0}(X,{\mathcal{H}}^{0}(Lf^{\ast }R\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}))),\nonumber\end{eqnarray}$$
where
$X=\operatorname{Spec}(\unicode[STIX]{x1D6EC})$
. Since
$R^{i}\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}})$
are locally free for
$i\geqslant 1$
, we have
$$\begin{eqnarray}{\mathcal{H}}^{0}(Lf^{\ast }R\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}))\simeq f^{\ast }\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}})\simeq {\mathcal{O}}_{X},\end{eqnarray}$$
where in the last isomorphism we used assumption (a). This shows that our assertion holds for such
$\unicode[STIX]{x1D6EC}$
.
Next, assume we have a central extension
$0\rightarrow I\rightarrow \unicode[STIX]{x1D6EC}^{\prime }\rightarrow \unicode[STIX]{x1D6EC}\rightarrow 0$
of commutative algebras, such that
$I$
is a module over
$\unicode[STIX]{x1D6EC}_{0}$
, the quotient of
$\unicode[STIX]{x1D6EC}$
by its nilradical. Assume that
$\unicode[STIX]{x1D6EC}\rightarrow \operatorname{End}(E_{\unicode[STIX]{x1D6EC}})$
is an isomorphism for any
$(f,E_{\unicode[STIX]{x1D6EC}},\unicode[STIX]{x1D719})\in h_{B}^{NC}(\unicode[STIX]{x1D6EC})$
and let us prove a similar statement over
$\unicode[STIX]{x1D6EC}^{\prime }$
. Given
$(f,E_{\unicode[STIX]{x1D6EC}^{\prime }},\unicode[STIX]{x1D719}^{\prime })\in h_{B}^{NC}(\unicode[STIX]{x1D6EC}^{\prime })$
, let
$E_{\unicode[STIX]{x1D6EC}}$
be the induced locally free sheaf over
$\operatorname{Spec}(\unicode[STIX]{x1D6EC})\times Z$
. Then we have an exact sequence of coherent sheaves on
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })\times Z$
,
$$\begin{eqnarray}0\rightarrow {\mathcal{E}}_{\unicode[STIX]{x1D6EC}_{0}}\otimes p_{1}^{\ast }{\mathcal{I}}\rightarrow {\mathcal{E}}_{\unicode[STIX]{x1D6EC}^{\prime }}\rightarrow {\mathcal{E}}_{\unicode[STIX]{x1D6EC}}\rightarrow 0,\end{eqnarray}$$
where
${\mathcal{I}}$
is the ideal sheaf on
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })$
corresponding to
$I$
. Taking sheaves of homomorphisms from
${\mathcal{E}}_{\unicode[STIX]{x1D6EC}^{\prime }}$
we get an exact sequence
$$\begin{eqnarray}0\rightarrow {\mathcal{E}}\text{nd}({\mathcal{E}}_{\unicode[STIX]{x1D6EC}_{0}})\otimes p_{1}^{\ast }{\mathcal{I}}\rightarrow {\mathcal{E}}\text{nd}({\mathcal{E}}_{\unicode[STIX]{x1D6EC}^{\prime }})\rightarrow {\mathcal{E}}\text{nd}({\mathcal{E}}_{\unicode[STIX]{x1D6EC}})\rightarrow 0.\end{eqnarray}$$
Passing to global sections, we obtain a morphism of exact sequences
Note that
${\mathcal{E}}_{\unicode[STIX]{x1D6EC}_{0}}\simeq (f\times \operatorname{id})^{\ast }{\mathcal{E}}$
, so, as before, we get
$$\begin{eqnarray}\displaystyle H^{0}(X^{0}\times Z,{\mathcal{E}}\text{nd}({\mathcal{E}}_{\unicode[STIX]{x1D6EC}_{0}})\otimes p_{1}^{\ast }{\mathcal{I}}) & \simeq & \displaystyle H^{0}(X^{0},{\mathcal{I}}\otimes {\mathcal{H}}^{0}(Lf^{\ast }R\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}})))\nonumber\\ \displaystyle & \simeq & \displaystyle H^{0}(X^{0},{\mathcal{I}}\otimes f^{\ast }\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}))\simeq I,\nonumber\end{eqnarray}$$
where
$X^{0}=\operatorname{Spec}(\unicode[STIX]{x1D6EC}_{0})$
. Thus, in the above morphism of exact sequences the leftmost and the rightmost vertical arrows are isomorphisms. Hence, the middle vertical arrow is also an isomorphism.◻
Proof of Proposition 1.5.2.
Assume we are given a central extension
$$\begin{eqnarray}0\rightarrow I\rightarrow \unicode[STIX]{x1D6EC}^{\prime }\rightarrow \unicode[STIX]{x1D6EC}\rightarrow 0\end{eqnarray}$$
in
${\mathcal{N}}$
and an element
$(f,E_{\unicode[STIX]{x1D6EC}},\unicode[STIX]{x1D719})\in h_{B}^{NC}(\unicode[STIX]{x1D6EC})$
, so that
$E_{\unicode[STIX]{x1D6EC}}$
is a locally free sheaf of right
${\mathcal{O}}_{X\times Z}$
-modules of rank
$r$
, where
$X=\operatorname{Spec}(\unicode[STIX]{x1D6EC})$
. We have to check that it lifts to a locally free sheaf of right
${\mathcal{O}}_{X^{\prime }\times Z}$
-modules, where
$X^{\prime }=\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })$
. Furthermore, it is enough to consider central extensions as above, where the nilradical of
$\unicode[STIX]{x1D6EC}^{\text{ab}}$
acts trivially on
$I$
, so that
$I$
is a
$\unicode[STIX]{x1D6EC}_{0}^{\text{ab}}$
-module.
We have a natural abelian extension of sheaves of groups on
$X^{\text{ab}}\times Z$
,
$$\begin{eqnarray}1\rightarrow \operatorname{Mat}_{r}({\mathcal{O}}_{X^{\text{ab}}\times Z})\otimes p_{1}^{\ast }{\mathcal{I}}\rightarrow \operatorname{GL}_{r}({\mathcal{O}}_{X^{\prime }\times Z})\rightarrow \operatorname{GL}_{r}({\mathcal{O}}_{X\times Z})\rightarrow 1,\end{eqnarray}$$
where
${\mathcal{I}}$
is the coherent sheaf on
$X^{\text{ab}}$
corresponding to
$I$
. The isomorphism class of
$E_{\unicode[STIX]{x1D6EC}}$
corresponds to an element of the nonabelian cohomology
$H^{1}(X^{\text{ab}}\times Z,\operatorname{GL}_{r}({\mathcal{O}}_{X\times Z}))$
. By the standard formalism (see § 1.4) the obstruction to lifting this class to a class in
$H^{1}(X^{\text{ab}}\times Z,\operatorname{GL}_{r}({\mathcal{O}}_{X^{\prime }\times Z}))$
lies in
$H^{2}(X^{\text{ab}}\times Z,{\mathcal{E}}\text{nd}(E_{\unicode[STIX]{x1D6EC}_{0}^{\text{ab}}})\otimes p_{1}^{\ast }{\mathcal{I}})$
, where
$E_{\unicode[STIX]{x1D6EC}_{0}^{\text{ab}}}$
is induced by
$E_{\unicode[STIX]{x1D6EC}}$
. We claim that this group
$H^{2}$
vanishes. Indeed, we have
$E_{\unicode[STIX]{x1D6EC}_{0}^{\text{ab}}}\simeq (f\times \operatorname{id})^{\ast }{\mathcal{E}}$
. Applying the base change theorem, we get an isomorphism
$$\begin{eqnarray}R\unicode[STIX]{x1D6E4}(X_{0}^{\text{ab}}\times Z,(f\times \operatorname{id})^{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}})\otimes p_{1}^{\ast }{\mathcal{I}})\simeq R\unicode[STIX]{x1D6E4}(X_{0}^{\text{ab}},{\mathcal{I}}\otimes Lf^{\ast }R\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}})).\end{eqnarray}$$
It remains to observe that by our assumptions (c) and (d), the complex of sheaves
$Lf^{\ast }R\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}})$
has no cohomology in degrees
$2$
or higher (recall that
$X_{0}^{\text{ab}}$
is an affine scheme).
To prove the second assertion we argue by induction on the degree of nilpotency of the nilradical of a test algebra
$\unicode[STIX]{x1D6EC}$
. Thus, we consider a square zero extension (1.5.1) of commutative algebras, where
$I$
is a
$\unicode[STIX]{x1D6EC}_{0}^{\text{ab}}$
-module, and study the corresponding commutative square
We assume that the right vertical arrow is an isomorphism and we would like to prove the same about the left vertical arrow. We know that both horizontal arrows are surjective. Furthermore, using the interpretation in terms of nonabelian
$H^{1}$
and the exact sequence (1.5.2), we can get a description of the preimage of an element
$E_{\unicode[STIX]{x1D6EC}}\in h_{B}^{NC}(\unicode[STIX]{x1D6EC})$
under the bottom arrow. Namely, the corresponding sequence of twisted sheaves is
$$\begin{eqnarray}0\rightarrow {\mathcal{E}}\text{nd}(E^{\text{ab}})\otimes p_{1}^{\ast }{\mathcal{I}}\rightarrow \text{}\underline{\operatorname{Aut}}(E_{\unicode[STIX]{x1D6EC}^{\prime }})\rightarrow \text{}\underline{\operatorname{Aut}}(E_{\unicode[STIX]{x1D6EC}})\rightarrow 1.\end{eqnarray}$$
By Lemma 1.5.3, we have
$\operatorname{Aut}(E_{\unicode[STIX]{x1D6EC}})=\unicode[STIX]{x1D6EC}^{\ast }$
, and it is easy to see that this group acts trivially on
$H^{1}(X^{\text{ab}}\times Z,{\mathcal{E}}\text{nd}(E_{\unicode[STIX]{x1D6EC}^{\text{ab}}})\otimes p_{1}^{\ast }{\mathcal{I}})$
(since
$\unicode[STIX]{x1D6EC}^{\prime }$
is in the center of
$\text{}\underline{\operatorname{Aut}}(E_{\unicode[STIX]{x1D6EC}^{\prime }})$
). It follows that the preimage of
$E_{\unicode[STIX]{x1D6EC}}$
in
$h_{B}^{NC}(\unicode[STIX]{x1D6EC}^{\prime })$
is the principal homogeneous space for the abelian group
where
$\unicode[STIX]{x1D6FF}_{0}$
is the connecting homomorphism associated with (1.5.4). However, by Lemma 1.5.3, fixing a lifting
$E_{\unicode[STIX]{x1D6EC}^{\prime }}\in h_{B}^{NC}(\unicode[STIX]{x1D6EC}^{\prime })$
, we get that the previous map in the long exact sequence,
$\operatorname{Aut}(E_{\unicode[STIX]{x1D6EC}^{\prime }})\rightarrow \operatorname{Aut}(E_{\unicode[STIX]{x1D6EC}})$
, is just the projection
$(\unicode[STIX]{x1D6EC}^{\prime })^{\ast }\rightarrow \unicode[STIX]{x1D6EC}^{\ast }$
, so it is surjective. This implies that the preimage of
$E_{\unicode[STIX]{x1D6EC}}$
is the principal homogeneous space for
$$\begin{eqnarray}H^{1}(X^{\text{ab}}\times Z,{\mathcal{E}}\text{nd}(E_{\unicode[STIX]{x1D6EC}_{0}^{\text{ab}}})\otimes p_{1}^{\ast }{\mathcal{I}})\simeq H^{0}(X_{0}^{\text{ab}},{\mathcal{I}}\otimes {\mathcal{H}}^{1}(Lf^{\ast }R\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}))).\end{eqnarray}$$
By our assumptions (c) and (d), we have
$$\begin{eqnarray}{\mathcal{H}}^{1}(Lf^{\ast }R\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}))\simeq f^{\ast }R^{1}\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}),\end{eqnarray}$$
thus, the above group is
$H^{0}(X_{0}^{\text{ab}},I\otimes f^{\ast }R^{1}\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}}))$
.
On the other hand, different extensions of
$\operatorname{Spec}(\unicode[STIX]{x1D6EC})\rightarrow B$
to
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })\rightarrow B$
correspond to
$H^{0}(B,f_{\ast }I\otimes {\mathcal{T}}_{B})$
. It is easy to check that the map
$h_{B}(\unicode[STIX]{x1D6EC}^{\prime })\rightarrow h_{B}^{NC}(\unicode[STIX]{x1D6EC}^{\prime })$
is compatible with the Kodaira–Spencer map
$$\begin{eqnarray}H^{0}(B,f_{\ast }{\mathcal{I}}\otimes {\mathcal{T}}_{B})\simeq H^{0}(X_{0}^{\text{ab}},{\mathcal{I}}\otimes f^{\ast }{\mathcal{T}}_{B})\rightarrow H^{0}(X_{0}^{\text{ab}},{\mathcal{I}}\otimes f^{\ast }R^{1}\unicode[STIX]{x1D70C}_{\ast }{\mathcal{E}}\text{nd}({\mathcal{E}})),\end{eqnarray}$$
which is an isomorphism by assumption (b). It follows that the map
$h_{B}(\unicode[STIX]{x1D6EC}^{\prime })\rightarrow h_{B}^{NC}(\unicode[STIX]{x1D6EC}^{\prime })$
is an isomorphism.◻
We have the following simple observation.
Proposition 1.5.4. The functor
$h_{B}^{NC}:{\mathcal{N}}\rightarrow Sets$
factors through
$a{\mathcal{N}}$
.
Proof. Suppose we have two homomorphisms
$f_{1},f_{2}:\unicode[STIX]{x1D6EC}^{\prime }\rightarrow \unicode[STIX]{x1D6EC}$
in
${\mathcal{N}}$
such that they are conjugate, that is,
$f_{2}=\unicode[STIX]{x1D703}f_{1}$
, where
$\unicode[STIX]{x1D703}=\unicode[STIX]{x1D703}_{u}$
is an inner automorphism of
$\unicode[STIX]{x1D6EC}$
:
$\unicode[STIX]{x1D703}_{u}(x)=uxu^{-1}$
for some unit
$u$
in
$\unicode[STIX]{x1D6EC}$
. We have to check that
$f_{1}$
and
$f_{2}$
induce the same map
$h(\unicode[STIX]{x1D6EC}^{\prime })\rightarrow h(\unicode[STIX]{x1D6EC})$
. Equivalently, we have to check that the map
$h(\unicode[STIX]{x1D703}):h(\unicode[STIX]{x1D6EC})\rightarrow h(\unicode[STIX]{x1D6EC})$
is equal to the identity. Note that
$\unicode[STIX]{x1D703}_{u}$
induces an automorphism of the NC-scheme
$X=\operatorname{Spec}(\unicode[STIX]{x1D6EC})$
, which we still denote by
$\unicode[STIX]{x1D703}$
, and the map
$h(\unicode[STIX]{x1D703})$
sends a right
${\mathcal{O}}_{X\times Z}$
-module
$E_{\unicode[STIX]{x1D6EC}}$
to
$(\unicode[STIX]{x1D703}\times \operatorname{id}_{Z})^{\ast }E_{\unicode[STIX]{x1D6EC}}$
. Now we observe that the automorphism
$\unicode[STIX]{x1D703}\times \operatorname{id}$
of
$X\times Z$
acts trivially on the underlying topological space and is given by the inner automorphism
$\unicode[STIX]{x1D703}_{u}$
of the structure sheaf
${\mathcal{O}}={\mathcal{O}}_{X\times Z}$
associated with
$u$
, which we view as a global section of
${\mathcal{O}}^{\ast }$
. Thus, the operation
$(\unicode[STIX]{x1D703}\times \operatorname{id}_{Z})^{\ast }$
is given by tensoring on the right with the
${\mathcal{O}}-{\mathcal{O}}$
bimodule
$\text{}_{\unicode[STIX]{x1D703}_{u}}{\mathcal{O}}$
(which is the structure sheaf with the left
${\mathcal{O}}$
-action twisted by
$\unicode[STIX]{x1D703}_{u}$
).
We now use the general fact that twisting by an inner automorphism does not change the isomorphism class of a bimodule. Namely, if
$M$
is an
$R-S$
bimodule and
$\unicode[STIX]{x1D703}_{u}$
is the inner automorphism of
$R$
associated with
$u\in R^{\ast }$
, then we have an isomorphism of
$R-S$
bimodules,
This construction also works for bimodules over sheaves of rings and an inner automorphism associated with a global unit. This implies that in our situation the functor
$(\unicode[STIX]{x1D703}\,\times \,\operatorname{id}_{Z})^{\ast }$
is isomorphic to the identity, and our claim follows.◻
Remark 1.5.5. In fact, our proof of Proposition 1.5.4 shows a little more. We can enhance
$h_{B}^{NC}$
to a functor with values in groupoids, by considering the category of the data as in Definition 1.5.1 and isomorphisms between them. On the other hand, we can consider a
$2$
-category of algebras in
${\mathcal{N}}$
with the usual
$1$
-morphisms and with
$2$
-morphisms between
$f_{1},f_{2}:\unicode[STIX]{x1D6EC}^{\prime }\rightarrow \unicode[STIX]{x1D6EC}$
given by
$u\in \unicode[STIX]{x1D6EC}^{\ast }$
such that
$f_{2}=\unicode[STIX]{x1D703}_{u}f_{1}$
. Then the functor
$h_{B}^{NC}$
lifts to a
$2$
-functor from this
$2$
-category to the
$2$
-category of groupoids.
Theorem 1.5.6. If
$\dim B\geqslant 1$
then for any
$d\geqslant 1$
the functor
$h_{B}^{NC}|_{{\mathcal{N}}_{d}}$
is not representable by an NC-nilpotent scheme of degree
$d$
.
Proof. It is enough to consider the case
$d=1$
. Suppose
$h_{B}^{NC}|_{{\mathcal{N}}_{1}}$
is representable by an NC-nilpotent scheme
$X$
of degree
$1$
. Then by Proposition 1.5.2,
$X$
is
$1$
-smooth and
$X^{\text{ab}}\simeq B$
. Let
$U=\operatorname{Spec}(A)\subset X$
be an affine NC-subscheme corresponding to an open affine subscheme of
$B$
of dimension at least
$1$
. Then
$A$
is a
$1$
-smooth algebra with
$\dim A^{\text{ab}}\geqslant 1$
, and
$h_{A}$
is a subfunctor of
$h_{B}^{NC}|_{{\mathcal{N}}_{1}}$
. Since the latter functor factors through
$a{\mathcal{N}}_{1}$
, this would imply that
$h_{A}$
also factors through
$a{\mathcal{N}}_{1}$
.
It remains to prove that for any
$1$
-smooth algebra
$A$
with
$\dim A^{\text{ab}}\geqslant 1$
the functor
$h_{A}$
does not factor through
$a{\mathcal{N}}_{1}$
. To this end we will give an example of two conjugate homomorphisms
$f_{1},f_{2}:A\rightarrow A^{\prime }$
such that
$f_{1}\neq f_{2}$
. Set
$$\begin{eqnarray}A^{\prime }=(A\ast \mathbb{C}[z,z^{-1}])_{[\![ab]\!]}/{\mathcal{I}}_{3}.\end{eqnarray}$$
It is easy to see that
$A^{\prime }$
is
$1$
-smooth and
$(A^{\prime })^{\text{ab}}=A^{\text{ab}}\otimes \mathbb{C}[z,z^{-1}]$
. Therefore, by Lemma 1.1.1(i), the element
$z$
is not in the center of
$A^{\prime }$
. Hence, we can take
$f_{1}:A\rightarrow A^{\prime }$
to be the natural homomorphism and set
$f_{2}(a)=zf_{1}(a)z^{-1}$
.◻
2 Representability results
2.1 Local representability in
$a{\mathcal{N}}$
Kapranov gives the following criterion for a formally smooth functor on
${\mathcal{N}}_{d}$
to be representable by an NC-scheme.
Proposition 2.1.1 [Reference KapranovKap98, Theorem (2.3.5)].
Let
$M$
be a smooth algebraic variety. A formally smooth functor
$h:{\mathcal{N}}_{d}\rightarrow Sets$
, such that
$h|_{\operatorname{Com}}=h_{M}$
, is representable by a
$d$
-smooth NC-scheme if and only if for any pair of central extensions in
${\mathcal{N}}_{d}$
,
$\unicode[STIX]{x1D6EC}_{1}\rightarrow \unicode[STIX]{x1D6EC}$
,
$\unicode[STIX]{x1D6EC}_{2}\rightarrow \unicode[STIX]{x1D6EC}$
, the natural map
$$\begin{eqnarray}h(\unicode[STIX]{x1D6EC}_{1}\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}_{2})\rightarrow h(\unicode[STIX]{x1D6EC}_{1})\times _{h(\unicode[STIX]{x1D6EC})}h(\unicode[STIX]{x1D6EC}_{2})\end{eqnarray}$$
is an isomorphism.
We will prove an analogous representability criterion for affine aNC-schemes. As in the case of NC-schemes the main idea is to study fibers of the map
$h(p):h(\unicode[STIX]{x1D6EC}^{\prime })\rightarrow h(\unicode[STIX]{x1D6EC})$
for a central extension
(cf. the proof of [Reference KapranovKap98, Lemma (2.3.6)]).
For
$d\geqslant 1$
, let
$h:a{\mathcal{N}}_{d}\rightarrow Sets$
be a functor such that
$h|_{a{\mathcal{N}}_{d-1}}$
is representable by
$A\in a{\mathcal{N}}_{d-1}$
. The key new ingredient we have to use is the following. Given a central extension (2.1.1) with
$\unicode[STIX]{x1D6EC}^{\prime }\in {\mathcal{N}}_{d}$
,
$\unicode[STIX]{x1D6EC}\in {\mathcal{N}}_{d-1}$
, and a homomorphism
$f:A\rightarrow \unicode[STIX]{x1D6EC}$
, we set
$$\begin{eqnarray}U(f):=\{u\in \unicode[STIX]{x1D6EC}^{\ast }\mid uf(a)u^{-1}=f(a)\forall a\in A\}.\end{eqnarray}$$
Then we have a natural map
$$\begin{eqnarray}\unicode[STIX]{x1D6E5}_{f}:U(f)\rightarrow \operatorname{Der}(A,I)=\operatorname{Der}(A^{\text{ab}},I)\end{eqnarray}$$
where
$$\begin{eqnarray}\unicode[STIX]{x1D6E5}_{f}(u):A\rightarrow I:a\mapsto [u,f(a)]_{\unicode[STIX]{x1D6EC}^{\prime }}u^{-1}.\end{eqnarray}$$
Here for
$l_{1},l_{2}\in \unicode[STIX]{x1D6EC}$
, we define
$[l_{1},l_{2}]_{\unicode[STIX]{x1D6EC}^{\prime }}\in \unicode[STIX]{x1D6EC}^{\prime }$
by
$$\begin{eqnarray}[l_{1},l_{2}]_{\unicode[STIX]{x1D6EC}^{\prime }}:=[\widetilde{l_{1}},\widetilde{l_{2}}],\end{eqnarray}$$
where
$\widetilde{l_{i}}$
is a lifting of
$l_{i}$
to
$\unicode[STIX]{x1D6EC}^{\prime }$
. Note that
$[u,f(a)]_{\unicode[STIX]{x1D6EC}^{\prime }}\in I$
.
Furthermore, one can check that the image of
$\unicode[STIX]{x1D6E5}_{f}$
depends only on the image of
$f$
in
$\operatorname{Hom}_{a{\mathcal{N}}}(A,\unicode[STIX]{x1D6EC})=h(\unicode[STIX]{x1D6EC})$
. Also, using the fact that
$I$
is central, we immediately check that
$\unicode[STIX]{x1D6E5}_{f}$
is a group homomorphism. The next result shows that in the case where
$h$
itself is representable, the cokernel of
$\unicode[STIX]{x1D6E5}_{f}$
maps bijectively to
$h(p)^{-1}(f)$
.
Lemma 2.1.2. Let
$A^{\prime }$
be an NC-nilpotent algebra of degree
$d$
such that
$A=A^{\prime }/I_{d+1}A^{\prime }$
. Then for any central extension (2.1.1), with
$\unicode[STIX]{x1D6EC}^{\prime }\in {\mathcal{N}}_{d}$
and
$\unicode[STIX]{x1D6EC}\in {\mathcal{N}}_{d-1}$
, and any algebra homomorphism
$f:A^{\prime }\rightarrow \unicode[STIX]{x1D6EC}$
, there exists a natural transitive action of the group
$\operatorname{Der}(A,I)$
on the fiber
$h_{A^{\prime }}(p)^{-1}(f)$
of the map
$h_{A^{\prime }}(p):h_{A^{\prime }}(\unicode[STIX]{x1D6EC}^{\prime })\rightarrow h_{A^{\prime }}(\unicode[STIX]{x1D6EC})$
, such that the action of
$\operatorname{Der}(A,I)$
on any element of this fiber induces a bijection
Proof. It is well known that the difference between two homomorphisms
$A^{\prime }\rightarrow \unicode[STIX]{x1D6EC}^{\prime }$
lifting
$f:A^{\prime }\rightarrow \unicode[STIX]{x1D6EC}$
is a derivation
$A^{\prime }\rightarrow I$
, and that this induces a simply transitive action of
$\operatorname{Der}(A^{\prime },I)=\operatorname{Der}(A,I)$
on the set of such liftings. Now assume that we have two homomorphisms
$f_{1}^{\prime },f_{2}^{\prime }:A\rightarrow \unicode[STIX]{x1D6EC}^{\prime }$
, such that both
$p\circ f_{1}^{\prime }$
and
$p\circ f_{2}^{\prime }$
are conjugate to
$f$
. Then, replacing
$f_{1}^{\prime }$
and
$f_{2}^{\prime }$
by conjugate homomorphisms, we can assume that
$p\circ f_{1}^{\prime }=p\circ f_{2}^{\prime }=f$
. Now it is easy to see that if
$f_{2}^{\prime }$
and
$f_{1}^{\prime }$
are conjugate by
$u\in (\unicode[STIX]{x1D6EC}^{\prime })^{\ast }$
then
$u\in U(f)$
, and the difference
$f_{2}^{\prime }-f_{1}^{\prime }$
is the derivation
$a\mapsto [u,f(a)]_{\unicode[STIX]{x1D6EC}^{\prime }}u^{-1}$
. This establishes the required bijection.◻
Next, we return to the situation where only
$h|_{a{\mathcal{N}}_{d-1}}$
is representable. Recall (see [Reference KapranovKap98, Proposition (1.2.5)]) that for any central extension (2.1.1) there is a natural isomorphism
where
$x\rightarrow x^{\text{ab}}$
is the projection
$\unicode[STIX]{x1D6EC}^{\prime }\rightarrow \unicode[STIX]{x1D6EC}^{\text{ab}}$
, and
$\unicode[STIX]{x1D6EC}^{\text{ab}}\oplus I$
is the trivial commutative algebra extension of
$\unicode[STIX]{x1D6EC}^{\text{ab}}$
by
$I$
(such that
$I^{2}=0$
and
$\unicode[STIX]{x1D6EC}^{\text{ab}}$
is a subalgebra). Let us assume in addition that
$h$
commutes with pull-backs by commutative nilpotent extension, so that
$$\begin{eqnarray}h(\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}^{\text{ab}}}(\unicode[STIX]{x1D6EC}^{\text{ab}}\oplus I))\simeq h(\unicode[STIX]{x1D6EC}^{\prime })\times _{h(\unicode[STIX]{x1D6EC}^{\text{ab}})}h(\unicode[STIX]{x1D6EC}^{\text{ab}}\oplus I).\end{eqnarray}$$
Combining this with the above isomorphism, we get a natural map
$$\begin{eqnarray}h(\unicode[STIX]{x1D6EC}^{\prime })\times _{h(\unicode[STIX]{x1D6EC}^{\text{ab}})}h(\unicode[STIX]{x1D6EC}^{\text{ab}}\oplus I)\simeq h(\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}^{\prime })\rightarrow h(\unicode[STIX]{x1D6EC}^{\prime })\times _{h(\unicode[STIX]{x1D6EC})}h(\unicode[STIX]{x1D6EC}^{\prime }).\end{eqnarray}$$
Now assume that
$\unicode[STIX]{x1D6EC}^{\prime }\in {\mathcal{N}}_{d}$
,
$\unicode[STIX]{x1D6EC}\in {\mathcal{N}}_{d-1}$
and that we are given an element
$f^{\prime }\in h(\unicode[STIX]{x1D6EC}^{\prime })$
lifting
$f\in h(\unicode[STIX]{x1D6EC})$
. Since
$h|_{a{\mathcal{N}}_{d-1}}\simeq h_{A}$
, we have a natural identification of the fiber of
$h(\unicode[STIX]{x1D6EC}^{\text{ab}}\oplus I)\rightarrow h(\unicode[STIX]{x1D6EC}^{\text{ab}})=\operatorname{Hom}_{\text{alg}}(A,\unicode[STIX]{x1D6EC}^{\text{ab}})$
over
$f^{\text{ab}}$
with
$\operatorname{Der}(A,I)$
. Thus, for any
$D\in \operatorname{Der}(A,I)$
, we can consider a pair
$(f^{\prime },f^{\text{ab}}+D)$
on the left-hand side of (2.1.5). Let us define
$f^{\prime }+D\in h(p)^{-1}(f)$
, so that
$(f^{\prime },f^{\prime }+D)$
is the image of
$(f^{\prime },f^{\text{ab}}+D)$
under (2.1.5). In this way we get a map
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{f^{\prime }}:\operatorname{Der}(A,I)\rightarrow h(p)^{-1}(f):D\mapsto f^{\prime }+D.\end{eqnarray}$$
It is easy to see (by considering
$\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}^{\prime }$
) that in this way we get an action of the group
$\operatorname{Der}(A,I)$
on
$h(p)^{-1}(f)$
. Note that in the case where
$h$
is representable by some
$A^{\prime }\in {\mathcal{N}}_{d}$
, this operation is exactly that of adding a derivation
$A^{\prime }\rightarrow A\rightarrow I$
to a homomorphism
$A^{\prime }\rightarrow \unicode[STIX]{x1D6EC}^{\prime }$
.
We can now prove the following local aNC version of Proposition 2.1.1.
Proposition 2.1.3. Let
$A$
be a
$(d-1)$
-smooth algebra in
$a{\mathcal{N}}_{d-1}$
, and let
$h:a{\mathcal{N}}_{d}\rightarrow Sets$
be a formally smooth functor such that
$h|_{a{\mathcal{N}}_{d-1}}\simeq h_{A}$
. Then
$h$
is representable by a
$d$
-smooth algebra in
$a{\mathcal{N}}_{d}$
if and only if the following two conditions hold.
(i) For any nilpotent extension
$\unicode[STIX]{x1D6EC}^{\prime }\rightarrow \unicode[STIX]{x1D6EC}$
with
$\unicode[STIX]{x1D6EC}^{\prime }\in a{\mathcal{N}}_{d}$
and
$\unicode[STIX]{x1D6EC}\in \operatorname{Com}$
, and any commutative nilpotent extension
$\unicode[STIX]{x1D6EC}^{\prime \prime }\rightarrow \unicode[STIX]{x1D6EC}$
, the natural map is a bijection.$$\begin{eqnarray}h(\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}^{\prime \prime })\rightarrow h(\unicode[STIX]{x1D6EC}^{\prime })\times _{h(\unicode[STIX]{x1D6EC})}h(\unicode[STIX]{x1D6EC}^{\prime \prime })\end{eqnarray}$$
(ii) For every central extension (2.1.1), for any
$f^{\prime }\in h(\unicode[STIX]{x1D6EC}^{\prime })$
extending
$f\in h(\unicode[STIX]{x1D6EC})$
, the map
$\unicode[STIX]{x1D6FF}_{f^{\prime }}$
, which is well defined due to condition (i), induces a bijection
Proof. Assume first that
$h$
is representable by
$A^{\prime }\in a{\mathcal{N}}_{d}$
. To check condition (i) for
$h=h_{A^{\prime }}$
we first note that since
$\unicode[STIX]{x1D6EC}$
and
$\unicode[STIX]{x1D6EC}^{\prime \prime }$
are commutative, the set
$h(\unicode[STIX]{x1D6EC}^{\prime })\times _{h(\unicode[STIX]{x1D6EC})}h(\unicode[STIX]{x1D6EC}^{\prime \prime })$
can be described as pairs of homomorphisms
$f^{\prime }:A\rightarrow \unicode[STIX]{x1D6EC}^{\prime }$
and
$f^{\prime \prime }:A\rightarrow \unicode[STIX]{x1D6EC}^{\prime \prime }$
lifting the same homomorphism
$f:A\rightarrow \unicode[STIX]{x1D6EC}$
, up to the equivalence replacing
$f^{\prime }$
by a conjugate homomorphism. Clearly, this is the same as giving a homomorphism
$A^{\prime }\rightarrow \unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}^{\prime \prime }$
up to conjugacy. On the other hand, condition (ii) for
$h_{A^{\prime }}$
follows from Lemma 2.1.2.
Now assume that conditions (i) and (ii) hold, and let
$A^{\prime }\rightarrow A$
be a
$d$
-smooth thickening of
$A$
(it exists by [Reference KapranovKap98, Proposition (1.6.2)]). Let
$e\in h(A)$
be the family corresponding to the isomorphism
$h|_{a{\mathcal{N}}_{d-1}}\simeq h_{A}$
. Since
$h$
is formally smooth, there exists an element
$e^{\prime }\in h(A^{\prime })$
lifting
$e$
. Let
$h_{A^{\prime }}\rightarrow h$
be the induced morphism of functors. We already know that it is an isomorphism on
$a{\mathcal{N}}_{d-1}$
, and we claim that it is an isomorphism on
$a{\mathcal{N}}_{d}$
. The argument is similar to that of Proposition 1.5.2. Given
$\unicode[STIX]{x1D6EC}^{\prime }\in {\mathcal{N}}_{d}$
, we can fit it into a central extension (2.1.1) with
$\unicode[STIX]{x1D6EC}\in {\mathcal{N}}_{d-1}$
. Then we consider the commutative square
Since
$h_{A^{\prime }}(\unicode[STIX]{x1D6EC})\simeq h_{A}(\unicode[STIX]{x1D6EC})\simeq h(\unicode[STIX]{x1D6EC})$
, we know that the right vertical arrow is an isomorphism. Also, both horizontal arrows are surjective. Let us fix a homomorphism
$f\in h_{A}(\unicode[STIX]{x1D6EC})$
, and its lifting
$f^{\prime }\in h_{A^{\prime }}(\unicode[STIX]{x1D6EC}^{\prime })$
. As we have seen in Lemma 2.1.2, the fiber of the top horizontal arrow over
$f$
is identified with
$\operatorname{coker}(\unicode[STIX]{x1D6E5}_{f})$
. The same is true for the fiber of the bottom horizontal arrow over
$f$
, by condition (ii). It remains to observe that both isomorphisms are induced by the operation (2.1.6) of adding a derivation in
$\operatorname{Der}(A,I)$
, which is compatible with morphisms of functors on
$a{\mathcal{N}}_{d}$
, extending
$h_{A}$
on
$a{\mathcal{N}}_{d-1}$
. Thus, the left vertical arrow induces an isomorphism between the fibers of the horizontal arrows over
$f$
. Since
$f$
was arbitrary, we deduce that the left vertical arrow is an isomorphism.◻
Remark 2.1.4. All the fiber products of algebras above are taken in
${\mathcal{N}}_{d}$
. Fiber products in
$a{\mathcal{N}}_{d}$
usually do not exist (unless one of the factors is commutative).
2.2 Local representability of the functor of NC-families by an aNC-scheme
Assume we are in the situation of § 1.5. By Proposition 1.5.4, we can view
$h_{B}^{NC}$
as a functor on the category
$a{\mathcal{N}}$
. Our main goal is to prove the local representability of the corresponding functor
$h_{B}^{NC}|_{a{\mathcal{N}}_{d}}$
by a
$d$
-smooth NC-algebra.
Theorem 2.2.1. Assume that the base
$B$
of an excellent family is affine. Then for every
$d\geqslant 0$
the functor
$h_{B}^{NC}|_{a{\mathcal{N}}_{d}}$
is representable by a
$d$
-smooth thickening of
$B$
. Hence, the functor
$h_{B}^{NC}$
is representable by an NC-smooth thickening of
$B$
.
The proof will proceed by induction on
$d$
. We need two technical lemmas (the second of which is a noncommutative extension of Lemma 1.5.3).
Lemma 2.2.2. Assume that
$h_{B}^{NC}|_{a{\mathcal{N}}_{d-1}}$
is representable by
$A\in {\mathcal{N}}_{d-1}$
. Then for any central extension (2.1.1) with
$\unicode[STIX]{x1D6EC}\in a{\mathcal{N}}_{d-1}$
,
$\unicode[STIX]{x1D6EC}^{\prime }\in a{\mathcal{N}}_{d}$
, and any homomorphism
$f:A\rightarrow \unicode[STIX]{x1D6EC}$
, there is a commutative square
Here
$\unicode[STIX]{x1D6E5}_{f}$
is given by (2.1.2);
$E_{\unicode[STIX]{x1D6EC}}=E_{f}$
is the family in
$h_{B}^{NC}(\unicode[STIX]{x1D6EC})$
induced by
$f$
; the map KS is induced by the Kodaira–Spencer map; and the homomorphism
$U(f)\rightarrow \operatorname{Aut}(E_{f})$
associates with
$u\in \unicode[STIX]{x1D6EC}^{\ast }$
an automorphism of
$E_{f}$
induced by left multiplication by
$u$
on
$\unicode[STIX]{x1D6EC}$
. The map
$\unicode[STIX]{x1D6FF}_{0}$
is the connecting map associated with the exact sequence of sheaves (1.5.4), where
$E_{\unicode[STIX]{x1D6EC}^{\prime }}$
is a vector bundle over
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })\times Z$
lifting
$E_{\unicode[STIX]{x1D6EC}}$
. In particular, in this situation
$\unicode[STIX]{x1D6FF}_{0}$
is a group homomorphism.
Proof. We will compute the maps in the square (2.2.1) using local trivializations. Let us denote by
${\mathcal{E}}^{\text{ab}}$
the original family over
$B\times Z$
, and let
${\mathcal{E}}$
be the family over
$\operatorname{Spec}(A)\times Z$
corresponding to the element
$\operatorname{id}_{A}\in h_{A}(A)\simeq h_{B}^{NC}(A)$
. We denote by
$f^{\text{ab}}$
the homomorphism
$A^{\text{ab}}\rightarrow \unicode[STIX]{x1D6EC}^{\text{ab}}$
induced by
$f$
and the corresponding morphism of affine schemes
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\rightarrow \operatorname{Spec}(A^{\text{ab}})=B$
. Note that, by Proposition 1.5.2, we have an isomorphism
$E^{\text{ab}}=(f^{\text{ab}}\times \operatorname{id})^{\ast }{\mathcal{E}}^{\text{ab}}$
.
Step 1: computation of
$\unicode[STIX]{x1D6FF}_{0}:\operatorname{Aut}(E_{f})\rightarrow H^{1}(\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\times Z,{\mathcal{E}}\text{nd}(E^{\text{ab}})\otimes p_{1}^{\ast }{\mathcal{I}})$
. Let us fix an open affine covering
$(U_{i})$
of
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\,\times \,Z$
such that
$E_{f^{\prime }}$
is trivial over
$U_{i}$
. Then, given an automorphism
$\unicode[STIX]{x1D6FC}\in \operatorname{Aut}(E_{f})$
over
$U_{i}$
, we can lift
$\unicode[STIX]{x1D6FC}$
to an automorphism
$\unicode[STIX]{x1D6FC}_{i}$
of
$E_{\unicode[STIX]{x1D6EC}^{\prime }}$
. Now over
$U_{i}\cap U_{j}$
the endomorphism
$\unicode[STIX]{x1D6FC}_{i}^{-1}\unicode[STIX]{x1D6FC}_{j}-\operatorname{id}$
of
$E_{\unicode[STIX]{x1D6EC}^{\prime }}$
factors through the kernel of the projection
$E_{f^{\prime }}\rightarrow E_{f}$
, that is,
$E^{\text{ab}}\,\otimes \,p_{1}^{\ast }{\mathcal{I}}$
. This gives the Cech
$1$
-cocycle with values in
${\mathcal{E}}\text{nd}(E^{\text{ab}})\,\otimes \,p_{1}^{\ast }{\mathcal{I}}$
, representing the class
$\unicode[STIX]{x1D6FF}_{0}(\unicode[STIX]{x1D6FC})$
.
Step 2: computation of the KS map
$$\begin{eqnarray}\operatorname{Der}(A^{\text{ab}},I)\rightarrow H^{1}(\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\times Z,{\mathcal{E}}\text{nd}(E^{\text{ab}})\otimes p_{1}^{\ast }{\mathcal{I}}).\end{eqnarray}$$
Note that we have an identification
$$\begin{eqnarray}\operatorname{Der}(A^{\text{ab}},I)\simeq H^{0}(B,{\mathcal{T}}_{B}\otimes f_{\ast }^{\text{ab}}{\mathcal{I}}).\end{eqnarray}$$
Let us fix trivializations
$\unicode[STIX]{x1D711}_{i}^{\text{ab}}:{\mathcal{O}}^{n}\rightarrow {\mathcal{E}}^{\text{ab}}$
over an affine open covering
$(U_{i})$
of
$B\times Z$
, and let
$g_{ij}^{\text{ab}}=(\unicode[STIX]{x1D711}_{i}^{\text{ab}})^{-1}\unicode[STIX]{x1D711}_{j}^{\text{ab}}\in \operatorname{Mat}_{n}({\mathcal{O}}(U_{i}\,\cap \,U_{j}))$
be the corresponding transition functions. Then to a vector field
$v$
on
$B$
with values in
$f_{\ast }^{\text{ab}}{\mathcal{I}}$
the KS map associates the Cech
$1$
-cocycle
$\unicode[STIX]{x1D711}_{i}^{\text{ab}}v(g_{ij}^{\text{ab}})(g_{ij}^{\text{ab}})^{-1}(\unicode[STIX]{x1D711}_{i}^{\text{ab}})^{-1}$
on
$B\times Z$
with values in
${\mathcal{E}}\text{nd}({\mathcal{E}}^{\text{ab}})\otimes p_{1}^{\ast }f_{\ast }^{\text{ab}}{\mathcal{I}}$
.
We also need to calculate the image of this class under the isomorphism induced by the projection formula
To this end we note that the morphism
$f^{\text{ab}}\times \operatorname{id}:\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\times Z\rightarrow B\times Z$
is affine, and so
$\widetilde{U}_{i}:=(f^{\text{ab}}\times \operatorname{id})^{-1}(U_{i})$
is an affine open covering of
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\times Z$
, over which we have the induced trivializations of
$E^{\text{ab}}=(f^{\text{ab}}\times \operatorname{id})^{\ast }{\mathcal{E}}^{\text{ab}}$
, which we still denote by
$\unicode[STIX]{x1D711}_{i}^{\text{ab}}$
. Now it is easy to see that the corresponding Cech 1-cocycle on
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\times Z$
with values in
${\mathcal{E}}\text{nd}(E^{\text{ab}})\otimes I$
is given by
$$\begin{eqnarray}\unicode[STIX]{x1D711}_{i}^{\text{ab}}v(g_{ij}^{\text{ab}})f^{\text{ab}}(g_{ij}^{\text{ab}})^{-1}(\unicode[STIX]{x1D711}_{i}^{\text{ab}})^{-1},\end{eqnarray}$$
where we denote also by
$f^{\text{ab}}:{\mathcal{O}}(U_{i}\cap U_{j})\rightarrow {\mathcal{O}}(\widetilde{U}_{i}\cap \widetilde{U}_{i})$
the homomorphism induced by
$f^{\text{ab}}$
, and also extend
$v$
to a derivation
${\mathcal{O}}(U_{i}\cap U_{j})\rightarrow p_{1}^{\ast }{\mathcal{I}}(\widetilde{U}_{i}\cap \widetilde{U}_{j})$
.
Step 3: we can now check the commutativity of the square (2.2.1). We start by choosing an affine open covering
$(U_{i})$
of
$B\times Z$
and trivializations of
${\mathcal{E}}^{\text{ab}}$
over
$U_{i}$
. Then we can lift these trivializations to some trivializations
$\unicode[STIX]{x1D711}_{i}:{\mathcal{O}}_{\operatorname{Spec}(A)\times Z}^{n}|_{U_{i}}\rightarrow {\mathcal{E}}$
(see Lemma 1.1.2). We denote by
$g_{ij}$
the corresponding transition functions in
$\operatorname{GL}_{n}({\mathcal{O}}_{\operatorname{Spec}(A)\times Z}(U_{i}\cap U_{j}))$
.
By definition,
$\unicode[STIX]{x1D6E5}_{f}(u)$
is the derivation
$$\begin{eqnarray}v(a)=[u,f(a)]_{\unicode[STIX]{x1D6EC}^{\prime }}u^{-1}=[\tilde{u} ,\widetilde{f(a)}]\tilde{u} ^{-1},\end{eqnarray}$$
where
$\tilde{u} ,\widetilde{f(a)}\in \unicode[STIX]{x1D6EC}^{\prime }$
are some lifts of
$u$
and
$f(a)$
(note that
$\operatorname{Der}(A,I)=\operatorname{Der}(A^{\text{ab}},I)$
). Hence,
$\text{KS}(\unicode[STIX]{x1D6E5}_{f}(u))$
is represented by the 1-cocycle
$$\begin{eqnarray}\unicode[STIX]{x1D711}_{i}[\tilde{u} ,\widetilde{f(g_{ij})}]_{\unicode[STIX]{x1D6EC}^{\prime }}\tilde{u} ^{-1}\widetilde{f(g_{ij})}^{-1}\unicode[STIX]{x1D711}_{i}^{-1}=\unicode[STIX]{x1D711}_{i}(\tilde{u} \widetilde{f(g_{ij})}\tilde{u} ^{-1}\widetilde{f(g_{ij})}^{-1}-\operatorname{id})\unicode[STIX]{x1D711}_{i}^{-1}.\end{eqnarray}$$
As in step 2, we have the induced affine open covering
$\widetilde{U}_{i}$
of
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\times Z$
, and the induced trivializations
$\unicode[STIX]{x1D713}_{i}$
of
$E_{f}$
over
$\widetilde{U}_{i}$
. Let us choose a lifting
$E_{\unicode[STIX]{x1D6EC}^{\prime }}$
of
$E_{f}$
to a vector bundle over
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })\times Z$
(which exists by formal smoothness of
$h_{B}^{NC}$
), and liftings
$\unicode[STIX]{x1D713}_{i}^{\prime }$
of
$\unicode[STIX]{x1D713}_{i}$
to trivializations of
$E_{\unicode[STIX]{x1D6EC}^{\prime }}$
over
$\widetilde{U}_{i}$
(see Lemma 1.1.2). Note that we have
$\unicode[STIX]{x1D713}_{i}^{-1}\unicode[STIX]{x1D713}_{j}=f(g_{ij})$
, and hence
$(\unicode[STIX]{x1D713}_{i}^{\prime })^{-1}\unicode[STIX]{x1D713}_{j}^{\prime }$
provide liftings
$\widetilde{f(g_{ij})}\in \unicode[STIX]{x1D6EC}^{\prime }$
of
$f(g_{ij})$
. The image of
$u\in U(f)$
in
$\operatorname{Aut}(E_{f})$
can be represented over
$\widetilde{U}_{i}$
as
$\unicode[STIX]{x1D713}_{i}u\unicode[STIX]{x1D713}_{i}^{-1}$
, where we view
$u$
as the corresponding operator of the left multiplication by
$u$
(note that these operators are compatible on intersections because
$u\cdot f(g_{ij})=f(g_{ij})\cdot u$
, due to the inclusion
$u\in U(f)$
). Using the lifting
$\tilde{u} \in \unicode[STIX]{x1D6EC}^{\prime }$
of
$u$
, we get local automorphisms of
$E_{f^{\prime }}$
over
$\widetilde{U}_{i}$
,
$\unicode[STIX]{x1D6FC}_{i}=\unicode[STIX]{x1D713}_{i}^{\prime }\tilde{u} (\unicode[STIX]{x1D713}_{i}^{\prime })^{-1}$
. Then
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{0}(\unicode[STIX]{x1D6FC})=\unicode[STIX]{x1D6FC}_{i}^{-1}\unicode[STIX]{x1D6FC}_{j}-\operatorname{id}=(\unicode[STIX]{x1D713}_{i}^{\prime }\tilde{u} ^{-1}(\unicode[STIX]{x1D713}_{i}^{\prime })^{-1})(\unicode[STIX]{x1D713}_{j}^{\prime }\tilde{u} \tilde{\unicode[STIX]{x1D713}}_{j}^{-1})-\operatorname{id}=\unicode[STIX]{x1D713}_{i}^{\prime }(\tilde{u} ^{-1}\widetilde{f(g_{ij})}\tilde{u} \widetilde{f(g_{ij})}^{-1}-\operatorname{id})(\unicode[STIX]{x1D713}_{i}^{\prime })^{-1}.\end{eqnarray}$$
Comparing this with (2.2.3), we see that
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{0}(\unicode[STIX]{x1D6FC})=\text{KS}(\unicode[STIX]{x1D6E5}_{f}(u^{-1}))=\text{KS}(-\unicode[STIX]{x1D6E5}_{f}(u))=-\text{KS}(\unicode[STIX]{x1D6E5}_{f}(u)).\Box\end{eqnarray}$$
Lemma 2.2.3. Assume that
$h_{B}^{NC}|_{a{\mathcal{N}}_{d}}$
is representable by
$A\in a{\mathcal{N}}_{d}$
, so
$h_{B}^{NC}|_{a{\mathcal{N}}_{d}}\simeq h_{A}$
. Then for every
$d$
-nilpotent algebra
$\unicode[STIX]{x1D6EC}$
and every homomorphism
$f:A\rightarrow \unicode[STIX]{x1D6EC}$
, the induced homomorphism
$U(f)\rightarrow \operatorname{Aut}(E_{f})$
is an isomorphism. Here
$E_{f}$
represents the family in
$h_{B}^{NC}(\unicode[STIX]{x1D6EC})$
induced by
$f$
.
Proof. We will prove the assertion by induction on
$d^{\prime }\leqslant d$
such that
$\unicode[STIX]{x1D6EC}$
is
$d^{\prime }$
-nilpotent. For
$d^{\prime }=0$
, that is, when
$\unicode[STIX]{x1D6EC}$
is commutative, we have
$U(f)=\unicode[STIX]{x1D6EC}^{\ast }$
and the assertion follows from Lemma 1.5.3.
Next, we have to see that both groups fit into the same exact sequences, when
$\unicode[STIX]{x1D6EC}^{\prime }$
is a central extension of
$\unicode[STIX]{x1D6EC}$
by
$I$
. Namely, if
$f^{\prime }:A\rightarrow \unicode[STIX]{x1D6EC}^{\prime }$
is a homomorphism lifting
$f$
, then by Lemma 2.2.2, we have a morphism of exact sequences
Note that the map
$\text{KS}$
is an isomorphism. Since the map
$U(f)\rightarrow \operatorname{Aut}(E_{f})$
is an isomorphism by the induction assumption, we deduce that
$U(f^{\prime })\rightarrow \operatorname{Aut}(E_{f^{\prime }})$
is also an isomorphism.◻
Proof of Theorem 2.2.1.
By Proposition 1.5.2, we know that the assertion is true for
$d=0$
. Now, assuming that the functor
$h_{B}^{NC}|_{a{\mathcal{N}}_{d-1}}$
is representable, we will apply Proposition 2.1.3 to prove that
$h_{B}^{NC}|_{a{\mathcal{N}}_{d}}$
is representable. It suffices to check conditions (i) and (ii) of this proposition. To prove condition (i), assume that
$\unicode[STIX]{x1D6EC}^{\prime }\rightarrow \unicode[STIX]{x1D6EC}$
and
$\unicode[STIX]{x1D6EC}^{\prime \prime }\rightarrow \unicode[STIX]{x1D6EC}$
and nilpotent extensions with
$\unicode[STIX]{x1D6EC},\unicode[STIX]{x1D6EC}^{\prime \prime }\in \operatorname{Com}$
. To see that the map
$$\begin{eqnarray}h(\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}^{\prime \prime })\rightarrow h(\unicode[STIX]{x1D6EC}^{\prime })\times _{h(\unicode[STIX]{x1D6EC})}h(\unicode[STIX]{x1D6EC}^{\prime \prime })\end{eqnarray}$$
is a bijection, we construct (as in [Reference KapranovKap98, Lemma (5.4.4)]) the inverse map as follows. Starting with families
${\mathcal{E}}_{\unicode[STIX]{x1D6EC}^{\prime }}$
and
${\mathcal{E}}_{\unicode[STIX]{x1D6EC}^{\prime \prime }}$
over
$\unicode[STIX]{x1D6EC}^{\prime }$
and
$\unicode[STIX]{x1D6EC}^{\prime \prime }$
, and choosing an arbitrary isomorphism of the induced families over
$\unicode[STIX]{x1D6EC}$
, we define the family over
$\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}^{\prime \prime }$
as the fibered product
${\mathcal{E}}_{\unicode[STIX]{x1D6EC}^{\prime }}\times _{{\mathcal{E}}_{\unicode[STIX]{x1D6EC}}}{\mathcal{E}}_{\unicode[STIX]{x1D6EC}^{\prime \prime }}$
. One has to check that the result does not depend on a choice of isomorphism of families over
$\unicode[STIX]{x1D6EC}$
(this may fail in general, but works for commutative
$\unicode[STIX]{x1D6EC}^{\prime \prime }$
). Note that different choices differ by an automorphism of
${\mathcal{E}}_{\unicode[STIX]{x1D6EC}}$
, so it is enough to see that any such automorphism can be lifted to an automorphism of
${\mathcal{E}}_{\unicode[STIX]{x1D6EC}^{\prime \prime }}$
. But this follows immediately from Lemma 1.5.3.
Next, let us check condition (ii). Given a central extension (2.1.1) with
$\unicode[STIX]{x1D6EC}^{\prime }\in {\mathcal{N}}_{d}$
,
$\unicode[STIX]{x1D6EC}\in {\mathcal{N}}_{d-1}$
, and a family
$(f^{\text{ab}},E_{\unicode[STIX]{x1D6EC}},\unicode[STIX]{x1D719})$
in
$h_{B}^{NC}(\unicode[STIX]{x1D6EC})$
, then choosing a lifting
$E_{\unicode[STIX]{x1D6EC}^{\prime }}$
to a family over
$\unicode[STIX]{x1D6EC}^{\prime }$
, from the corresponding exact sequence of sheaves of groups (1.5.4) we get a connecting map
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{0}:\operatorname{Aut}(E_{\unicode[STIX]{x1D6EC}})\rightarrow H^{1}(X^{\text{ab}}\times Z,{\mathcal{E}}\text{nd}(E_{\unicode[STIX]{x1D6EC}^{\text{ab}}})\otimes p_{1}^{\ast }{\mathcal{I}}).\end{eqnarray}$$
Furthermore, by Lemma 2.2.2,
$\unicode[STIX]{x1D6FF}_{0}$
is actually a group homomorphism (and the source of this map acts trivially on the target). Thus, from the formalism of nonabelian cohomology applied to the abelian extension of sheaves of groups (1.5.2) we get that different liftings of
$E_{\unicode[STIX]{x1D6EC}}$
to a family over
$\unicode[STIX]{x1D6EC}^{\prime }$
form a principal homogeneous space over
$\operatorname{coker}(\unicode[STIX]{x1D6FF}_{0})$
(see § 1.4). Note that by Lemma 2.2.3, we have an isomorphism
$U(f)\simeq \operatorname{Aut}(E_{\unicode[STIX]{x1D6EC}})$
, where
$f:A\rightarrow \unicode[STIX]{x1D6EC}$
is the homomorphism giving
$E_{\unicode[STIX]{x1D6EC}}$
. Thus, by Lemma 2.2.2, we can identify
$\operatorname{coker}(\unicode[STIX]{x1D6FF}_{0})$
with
$\operatorname{coker}(\unicode[STIX]{x1D6E5}_{f})$
. Thus, to prove condition (ii), it remains to check that the two actions of
$\operatorname{Der}(A,I)$
on the set of liftings of
$E_{\unicode[STIX]{x1D6EC}}$
are the same (the one coming from the formalism of nonabelian cohomology, and the other one given by the map (2.1.6)).
To this end we use the computation of the Kodaira–Spencer map (2.2.2) using local trivializations. Namely, we choose trivializations of the universal bundle
${\mathcal{E}}$
over an open covering of
$\operatorname{Spec}(A)\times Z$
, and denote by
$g_{ij}$
the corresponding transition functions, so that
$f(g_{ij})$
are the transition functions for
$E_{\unicode[STIX]{x1D6EC}}$
. Then, in the notation of Lemma 2.2.2, a derivation
$v\in \operatorname{Der}(A,I)=\operatorname{Der}(A^{\text{ab}},I)$
gives rise to the Cech
$1$
-cocycle
$$\begin{eqnarray}\unicode[STIX]{x1D711}_{i}v(g_{ij})f(g_{ij})^{-1}\unicode[STIX]{x1D711}_{i}^{-1}\end{eqnarray}$$
on
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}})\times Z$
with values in
${\mathcal{E}}\text{nd}(E^{\text{ab}})\otimes p_{1}^{\ast }{\mathcal{I}}$
. The corresponding
$f(g_{ij})$
-twisted
$1$
-cocycle with values in
$\operatorname{Mat}_{r}({\mathcal{O}})\otimes p_{1}^{\ast }{\mathcal{I}}$
is
$(v(g_{ij})f(g_{ij})^{-1})$
. Now by definition, the action of
$v$
on the set of liftings of
$f(g_{ij})$
to a
$1$
-cocycle with values in
$\operatorname{GL}_{r}({\mathcal{O}}_{\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })\times Z})$
sends
$(\widetilde{g}_{ij})$
to
$$\begin{eqnarray}(1+v(g_{ij})f(g_{ij})^{-1})\cdot \widetilde{g}_{ij}=(\widetilde{g}_{ij}+v(g_{ij})).\end{eqnarray}$$
On the other hand, from
$v$
we get a homomorphism
$f^{\text{ab}}+v:A\rightarrow \unicode[STIX]{x1D6EC}^{\text{ab}}\oplus I$
, and hence, the
$1$
-cocycle
$(f^{\text{ab}}+v)(g_{ij})$
with values in
$\operatorname{GL}_{r}({\mathcal{O}}_{\operatorname{ Spec}(\unicode[STIX]{x1D6EC}^{\text{ab}}\oplus I)\times Z})$
lifting
$f^{\text{ab}}(g_{ij})$
. Hence, a lifting
$\widetilde{g}_{ij}$
of
$f(g_{ij})$
together with
$v$
defines a
$1$
-cocycle
$$\begin{eqnarray}(\widetilde{g}_{ij},(f^{\text{ab}}+v)(g_{ij}))\end{eqnarray}$$
with values in
$\operatorname{GL}_{r}({\mathcal{O}}_{\operatorname{ Spec}(\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}^{\text{ab}}}(\unicode[STIX]{x1D6EC}^{\text{ab}}\oplus I))\times Z})$
. It remains to observe that under the isomorphism (2.1.4) this corresponds to the
$1$
-cocycle
$$\begin{eqnarray}(\widetilde{g}_{ij},\widetilde{g}_{ij}+v(g_{ij}))\end{eqnarray}$$
with values in
$\operatorname{GL}_{r}({\mathcal{O}}_{\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime }\times _{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D6EC}^{\prime })\times Z})$
, which has (2.2.4) as the same second component.◻
2.3 Nonabelian hypercohomology
We will use below the following simple generalization of nonabelian
$H^{1}$
. Let
${\mathcal{G}}$
be a sheaf of groups over a topological space
$X$
, and let
${\mathcal{E}}$
be a sheaf of sets, equipped with a
${\mathcal{G}}$
-action. We view a pair
${\mathcal{G}}\curvearrowright {\mathcal{E}}$
as a generalization of a complex of length
$2$
.
For an open covering
${\mathcal{U}}=(U_{i})_{i\in I}$
of
$X$
, we define the set of
$1$
-cocycles over
${\mathcal{U}}$
for the pair
${\mathcal{G}}\curvearrowright {\mathcal{E}}$
:
$$\begin{eqnarray}\displaystyle Z^{1}({\mathcal{U}},{\mathcal{G}}\curvearrowright {\mathcal{E}}) & := & \displaystyle \{\!(g_{ij}\in {\mathcal{G}}(U_{ij}))_{i,j\in I},(e_{i}\in {\mathcal{E}}(U_{i}))_{i\in I}\mid g_{ii}=1,g_{ij}g_{ji}=1,\nonumber\\ \displaystyle & & \displaystyle g_{ij}g_{jk}=g_{ik},e_{i}=g_{ij}(e_{j})\!\},\end{eqnarray}$$
where as usual we denote
$U_{ij}=U_{i}\cap U_{j}$
,
$U_{ijk}=U_{i}\cap U_{j}\cap U_{k}$
(and the restrictions to appropriate intersections are assumed). Two
$1$
-cocycles over
${\mathcal{U}}$
,
$(g_{ij},e_{i})$
and
$(\widetilde{g}_{ij},\widetilde{e}_{i})$
are called cohomologous if for some collection
$h_{i}\in {\mathcal{G}}(U_{i})$
we have
$$\begin{eqnarray}\widetilde{g}_{ij}=h_{i}g_{ij}h_{j}^{-1},\quad \widetilde{e}_{i}=h_{i}(e_{i}).\end{eqnarray}$$
It is easy to see that this defines an equivalence relation on
$Z^{1}({\mathcal{U}},{\mathcal{G}}\curvearrowright {\mathcal{E}})$
, and we denote by
$\mathbb{H}^{1}({\mathcal{U}},{\mathcal{G}}\curvearrowright {\mathcal{E}})$
the corresponding set of equivalence classes. Passing to the limit over all open coverings
${\mathcal{U}}$
, we get the nonabelian hypercohomology set
$\mathbb{H}^{1}(X,{\mathcal{G}}\curvearrowright {\mathcal{E}})$
.
These sets are natural: if we have a homomorphism of sheaves of groups
${\mathcal{G}}_{1}\rightarrow {\mathcal{G}}_{2}$
and a compatible map of sheaves of sets
${\mathcal{E}}_{1}\rightarrow {\mathcal{E}}_{2}$
, then we get the induced map
$$\begin{eqnarray}\mathbb{H}^{1}(X,{\mathcal{G}}_{1}\curvearrowright {\mathcal{E}}_{1})\rightarrow \mathbb{H}^{1}(X,{\mathcal{G}}_{2}\curvearrowright {\mathcal{E}}_{2}).\end{eqnarray}$$
Also, sending
$(g_{ij},e_{i})$
to
$g_{ij}$
defines a projection to the usual nonabelian
$H^{1}$
,
$$\begin{eqnarray}\mathbb{H}^{1}(X,{\mathcal{G}}\curvearrowright {\mathcal{E}})\rightarrow H^{1}(X,{\mathcal{G}}).\end{eqnarray}$$
Recall that
$H^{1}(X,{\mathcal{G}})$
classifies isomorphism classes of
${\mathcal{G}}$
-torsors. Similarly, the set
$\mathbb{H}^{1}(X,{\mathcal{G}}\curvearrowright {\mathcal{E}})$
can be identified with the isomorphism classes of pairs
$(P,e)$
, where
$P$
is a
${\mathcal{G}}$
-torsor, and
$e$
is a global section of the twisted sheaf
${\mathcal{E}}_{P}=P\times _{{\mathcal{G}}}{\mathcal{E}}$
.
Next, we have the following analog of the connecting homomorphism
$H^{1}\rightarrow H^{2}$
. Assume that we have an abelian extension of sheaves of groups
over
$X$
, and sheaves of sets
${\mathcal{E}}^{\prime }$
and
${\mathcal{E}}$
, where
${\mathcal{G}}^{\prime }$
(respectively,
${\mathcal{G}}$
) acts on
${\mathcal{E}}^{\prime }$
(respectively,
${\mathcal{E}}$
). Further, assume that we have a sheaf of abelian groups
${\mathcal{A}}_{1}$
acting freely on
${\mathcal{E}}^{\prime }$
, and an identifcation
${\mathcal{E}}={\mathcal{E}}^{\prime }/{\mathcal{A}}_{1}$
. We denote this action as
$a_{1}+e^{\prime }$
, where
$a_{1}\in {\mathcal{A}}_{1}$
,
$e^{\prime }\in {\mathcal{E}}^{\prime }$
. We require the following compatibilities between these data. First, the projections
$p:{\mathcal{E}}^{\prime }\rightarrow {\mathcal{E}}$
and
$p:{\mathcal{G}}^{\prime }\rightarrow {\mathcal{G}}$
should be compatible with the actions (of
${\mathcal{G}}^{\prime }$
on
${\mathcal{E}}^{\prime }$
and of
${\mathcal{G}}$
on
${\mathcal{E}}$
). Note that this implies that there is an action of
${\mathcal{G}}^{\prime }$
on
${\mathcal{A}}_{1}$
, compatible with the group structure on
${\mathcal{A}}_{1}$
, such that
$$\begin{eqnarray}g^{\prime }(a_{1}+e^{\prime })=g^{\prime }(a_{1})+g^{\prime }(e^{\prime }).\end{eqnarray}$$
Secondly, we require that the subgroup
${\mathcal{A}}_{0}\subset {\mathcal{G}}^{\prime }$
acts trivially on
${\mathcal{A}}_{1}$
, so that there is an induced action of
${\mathcal{G}}$
on
${\mathcal{A}}_{1}$
, such that the above formula becomes
$$\begin{eqnarray}g^{\prime }(a_{1}+e^{\prime })=p(g)(a_{1})+g^{\prime }(e^{\prime }).\end{eqnarray}$$
In particular, for
$g^{\prime }=a_{0}\in {\mathcal{A}}_{0}$
, we get
$$\begin{eqnarray}a_{0}(a_{1}+e^{\prime })=a_{1}+a_{0}(e^{\prime }).\end{eqnarray}$$
For
$e^{\prime }\in {\mathcal{E}}^{\prime }$
and
$a_{0}\in {\mathcal{A}}_{0}$
, let us define
$d_{e^{\prime }}(a_{0})\in {\mathcal{A}}_{1}$
from the equation
$$\begin{eqnarray}a_{0}(e^{\prime })=d_{e^{\prime }}(a_{0})+e^{\prime }\end{eqnarray}$$
(this is possible since
$a_{0}$
acts trivially on
${\mathcal{E}}$
). Furthermore, (2.3.2) easily implies that
$d_{a_{1}+e^{\prime }}(a_{0})=d_{e^{\prime }}(a_{0})$
, so we have a well-defined map of sheaves
$$\begin{eqnarray}{\mathcal{E}}\times {\mathcal{A}}_{0}\rightarrow {\mathcal{A}}_{1}:(e,a_{0})\mapsto d_{e}(a_{0}),\end{eqnarray}$$
compatible with the group structures in
${\mathcal{A}}_{0}$
and
${\mathcal{A}}_{1}$
, such that
$$\begin{eqnarray}a_{0}(e^{\prime })=d_{p(e^{\prime })}(a_{0})+e^{\prime }.\end{eqnarray}$$
In particular, for every section
$e$
of
${\mathcal{E}}$
over an open subset
$U\subset X$
we have a complex of abelian groups over
$U$
,
$({\mathcal{A}}_{\bullet },d_{e})$
. Note that
${\mathcal{G}}$
acts on
${\mathcal{A}}_{0}$
(via adjoint action
$\operatorname{Ad}(g)$
),
${\mathcal{A}}_{1}$
and
${\mathcal{E}}$
, and we have
$$\begin{eqnarray}g(d_{e}(a_{0}))=d_{g(e)}(\operatorname{Ad}(g)a_{0}).\end{eqnarray}$$
Now assume we have a class
$c\in \mathbb{H}^{1}(X,{\mathcal{G}}\curvearrowright {\mathcal{E}})$
represented by a Cech
$1$
-cocycle
$(g_{ij},e_{i})$
. Let
$g=(g_{ij})$
be the induced class in
$H^{1}(X,{\mathcal{G}})$
. We have the corresponding twisted sheaves
${\mathcal{A}}_{0}^{g}$
and
${\mathcal{A}}_{1}^{g}$
, and (2.3.3) implies that the
$d_{e_{i}}$
glue into a global differential
$$\begin{eqnarray}d_{e}:{\mathcal{A}}_{0}^{g}\rightarrow {\mathcal{A}}_{1}^{g}.\end{eqnarray}$$
We will define an obstruction class
$\unicode[STIX]{x1D6FF}_{1}(c)$
with values in
$$\begin{eqnarray}\mathbb{H}^{2}(X,({\mathcal{A}}_{\bullet }^{g},d_{e})),\end{eqnarray}$$
such that it vanishes if and only if
$(g_{ij},e_{i})$
can be lifted to a class in
$\mathbb{H}^{1}(X,{\mathcal{G}}^{\prime }\curvearrowright {\mathcal{E}}^{\prime })$
. Namely, by making the covering small enough, we can assume that
$$\begin{eqnarray}g_{ij}=p(g_{ij}^{\prime }),\quad g_{ij}^{\prime }\in {\mathcal{G}}^{\prime }(U_{ij}),\quad e_{i}=p(e_{i}^{\prime }),\quad e_{i}^{\prime }\in {\mathcal{E}}^{\prime }(U_{i}).\end{eqnarray}$$
Then we have well-defined elements
$a_{0,ijk}\in {\mathcal{A}}_{0}(U_{ijk})$
and
$a_{1,ij}\in {\mathcal{A}}_{1}(U_{ij})$
, such that
$$\begin{eqnarray}\displaystyle g_{ij}^{\prime }g_{jk}^{\prime } & = & \displaystyle a_{0,ijk}g_{ik}^{\prime },\nonumber\\ \displaystyle g_{ij}^{\prime }(e_{j}^{\prime }) & = & \displaystyle a_{1,ij}+e_{i}^{\prime }.\nonumber\end{eqnarray}$$
It is easy to check that
$(a_{0,ijk},a_{1,ij})$
satisfy the equations
$$\begin{eqnarray}a_{0,ijk}+a_{0,ikl}=\operatorname{Ad}(g_{ij})a_{0,jkl}+a_{0,ijl},\quad a_{1,ij}+g_{ij}(a_{1,jk})=d_{e_{i}}(a_{0,ijk})+a_{1,ik},\end{eqnarray}$$
which exactly means that we get a
$2$
-cocycle
$\unicode[STIX]{x1D6FF}_{1}(g_{ij},e_{i})$
with values in
$({\mathcal{A}}_{\bullet }^{g},d_{e})$
.
One can check that this construction gives a well-defined element
$\unicode[STIX]{x1D6FF}_{1}(c)\in \mathbb{H}^{2}(X,({\mathcal{A}}_{\bullet }^{g},d_{e}))$
. Namely, a different choice of liftings
$g_{ij}^{\prime }\mapsto a_{0,ij}g_{ij}^{\prime }$
,
$e_{i}^{\prime }\mapsto a_{1,i}+e_{i}^{\prime }$
would lead to adding the coboundary of
$(a_{0,ij},a_{1,i})$
to the twisted
$2$
-cocycle
$(a_{0,ijk},a_{1,ij})$
. On the other hand, changing
$(g_{ij},e_{i})$
to
$(h_{i}g_{ij}h_{j}^{-1},h_{i}(e_{i}))$
would lead to a different presentation of the twisted sheaves
${\mathcal{A}}_{\bullet }^{g}$
, so that the action of
$h_{i}$
glues into isomorphism between two presentations. Our
$2$
-cocycles
$\unicode[STIX]{x1D6FF}_{1}(g_{ij},e_{i})$
and
$\unicode[STIX]{x1D6FF}_{1}(h_{i}g_{ij}h_{j}^{-1},h_{i}(e_{i}))$
correspond to each other under this isomorphism.
Next, let us assume that a class
$c\in \mathbb{H}^{1}(X,{\mathcal{G}}\curvearrowright {\mathcal{E}})$
is lifted to a class
$c^{\prime }\in \mathbb{H}^{1}(X,{\mathcal{G}}^{\prime }\curvearrowright {\mathcal{E}}^{\prime })$
. (More precisely, we need to fix the corresponding pair
$(P^{\prime },e^{\prime })$
where
$P^{\prime }$
is
${\mathcal{G}}^{\prime }$
-torsor and
$e^{\prime }$
is a global section of
${\mathcal{E}}_{P^{\prime }}^{\prime }$
.) Let
$g\in H^{1}(X,{\mathcal{G}})$
be the image of
$c$
. We define the following subgroup in
$H^{0}(X,{\mathcal{G}}^{g})$
:
$$\begin{eqnarray}\mathbb{H}^{0}(X,{\mathcal{G}},c):=\{(\unicode[STIX]{x1D6FC}_{i}\in {\mathcal{G}}(U_{i}))\mid \unicode[STIX]{x1D6FC}_{i}=g_{ij}\unicode[STIX]{x1D6FC}_{j}g_{ij}^{-1},\unicode[STIX]{x1D6FC}_{i}(e_{i})=e_{i}\},\end{eqnarray}$$
where
$(g_{ij},e_{i})$
is a Cech representative of
$c$
. We have a natural connecting map (depending on a choice of
$c^{\prime }$
)
$$\begin{eqnarray}\unicode[STIX]{x1D6FF}_{0}:\mathbb{H}^{0}(X,{\mathcal{G}},c)\rightarrow \mathbb{H}^{1}(X,({\mathcal{A}}_{\bullet }^{g},d_{e})),\end{eqnarray}$$
defined as follows. We can assume
$(g_{ij},e_{i})$
comes from a Cech representative
$(g_{ij}^{\prime },e_{i}^{\prime })$
for
$c^{\prime }$
. Let
$\unicode[STIX]{x1D6FC}=(\unicode[STIX]{x1D6FC}_{i})$
be an element in
$\mathbb{H}^{0}(X,{\mathcal{G}},c)$
. We can assume that each
$\unicode[STIX]{x1D6FC}_{i}$
can be lifted to
$\unicode[STIX]{x1D6FC}_{i}^{\prime }\in {\mathcal{G}}^{\prime }(U_{i})$
. Then we have
$$\begin{eqnarray}\unicode[STIX]{x1D6FC}_{i}^{\prime }\cdot a_{0,ij}=g_{ij}^{\prime }\unicode[STIX]{x1D6FC}_{j}^{\prime }(g_{ij}^{\prime })^{-1},\quad \unicode[STIX]{x1D6FC}_{i}^{\prime }(a_{1,i}+e_{i}^{\prime })=e_{i}^{\prime },\end{eqnarray}$$
for uniquely defined
$a_{0,ij}\in {\mathcal{A}}_{0}(U_{ij})$
,
$a_{1,i}\in {\mathcal{A}}_{0}(U_{i})$
. It is easy to check that the equations
$$\begin{eqnarray}a_{0,ij}+\operatorname{Ad}(g_{ij})(a_{0,jk})=a_{0,ik},\quad d_{e_{i}}(a_{0,ij})=a_{1,i}-g_{ij}(a_{1,j}),\end{eqnarray}$$
are satisfied; these mean that
$(a_{0,ij},a_{1,i})$
define a
$1$
-cocycle with values in
$({\mathcal{A}}_{\bullet }^{g},d_{e})$
. We set
$\unicode[STIX]{x1D6FF}_{0}(\unicode[STIX]{x1D6FC}_{i})$
to be the class of this
$1$
-cocycle. As in § 1.4, one can check that
$\unicode[STIX]{x1D6FC}\mapsto \unicode[STIX]{x1D6FF}_{0}(\unicode[STIX]{x1D6FC}^{-1})$
is a crossed homomorphism, that is, equation (1.4.1) is satisfied.
Next, we have a natural surjective map (depending on
$c^{\prime }$
)
$$\begin{eqnarray}\mathbb{H}^{1}(X,({\mathcal{A}}_{\bullet }^{g},d_{e}))\rightarrow L_{c},\end{eqnarray}$$
where
$L_{c}\subset \mathbb{H}^{1}(X,{\mathcal{G}}^{\prime }\curvearrowright {\mathcal{E}}^{\prime })$
is the set of liftings of
$c$
. Namely, given a twisted Cech
$1$
-cocycle with values in
$({\mathcal{A}}_{\bullet }^{g},d_{e})$
,
$(a_{0,ij},a_{1,i})$
, so that equations (2.3.4) are satisfied, and a representative
$(g_{ij}^{\prime },e_{i}^{\prime })$
of
$c^{\prime }$
, we get a new lifting
$(a_{0,ij}g_{ij}^{\prime },a_{1,i}+e_{i}^{\prime })$
. Furthermore, as in § 1.4, we can identify the fibers of (2.3.5) with the orbits of the twisted action of
$\mathbb{H}^{0}(X,{\mathcal{G}},c)$
on
$\mathbb{H}^{1}(X,({\mathcal{A}}_{\bullet }^{g},d_{e}))$
, which is defined similarly to (1.4.2). In particular, in the case where the usual action of
$\mathbb{H}^{0}(X,{\mathcal{G}},c)$
on
$\mathbb{H}^{1}(X,({\mathcal{A}}_{\bullet }^{g},d_{e}))$
is trivial (or equivalently,
$\unicode[STIX]{x1D6FF}_{0}$
is a group homomorphism), these orbits are simply the cosets for the image of
$\unicode[STIX]{x1D6FF}_{0}$
.
2.4 Families of representations of quivers
We will now consider families of representations of quivers (without relations). Let
$Q$
be a finite quiver with the set of vertices
$Q_{0}$
and the set of arrows
$Q_{1}$
. We denote by
$h,t:Q_{1}\rightarrow Q_{0}$
the maps associating with an arrow its head and tail.
As in [Reference TodaTod17], we can consider representations of
$Q$
over an NC-scheme
$X$
. Such a representation is a collection of vector bundles
$({\mathcal{V}}_{v})_{v\in Q_{0}}$
over
$X$
, and a collection of morphisms
$e_{a}:{\mathcal{V}}_{t}(a)\rightarrow {\mathcal{V}}_{h(a)}$
, for each
$a\in Q_{1}$
.
With a collection
${\mathcal{V}}=({\mathcal{V}}_{v})_{v\in Q_{0}}$
of vector bundles over
$X$
we associate a triple of sheaves of groups on the underlying topological space of
$X$
,
$$\begin{eqnarray}{\mathcal{G}}({\mathcal{V}}):=\mathop{\prod }_{v}\text{}\underline{\operatorname{Aut}}({\mathcal{V}}_{v}),\quad {\mathcal{E}}_{0}({\mathcal{V}}):=\mathop{\prod }_{v}{\mathcal{E}}\text{nd}({\mathcal{V}}_{v}),\quad {\mathcal{E}}_{1}({\mathcal{V}}):=\mathop{\prod }_{a}{\mathcal{H}}\text{om}({\mathcal{V}}_{t(a)},{\mathcal{V}}_{h(a)}).\end{eqnarray}$$
Note that there is a natural action of
${\mathcal{G}}({\mathcal{V}})$
on
${\mathcal{E}}_{1}({\mathcal{V}})$
given by
$$\begin{eqnarray}(g_{v})\cdot (\unicode[STIX]{x1D719}_{a})=(g_{h(a)}\unicode[STIX]{x1D719}_{a}g_{t(a)}^{-1}).\end{eqnarray}$$
In the case of trivial bundles
${\mathcal{V}}_{v}={\mathcal{O}}^{n_{v}}$
, for a dimension vector
$n_{\bullet }$
, we denote these sheaves by
${\mathcal{G}}(n_{\bullet })$
,
${\mathcal{E}}_{0}(n_{\bullet })$
and
${\mathcal{E}}_{1}(n_{\bullet })$
. When we want to stress the dependence on the NC-scheme
$X$
we write
${\mathcal{G}}(n_{\bullet },X)$
, etc.
A structure of a representation of
$Q$
on
${\mathcal{V}}$
is given by a global section
$e=(e_{a})$
of
${\mathcal{E}}_{1}({\mathcal{V}})$
. For such a structure
$e$
we can build a two-term complex
where the differential is given by
$d_{e}(\unicode[STIX]{x1D719}_{v})=\unicode[STIX]{x1D719}_{h(a)}e_{a}-e_{a}\unicode[STIX]{x1D719}_{t(a)}$
. Note that
${\mathcal{H}}^{0}{\mathcal{E}}_{\bullet }({\mathcal{V}},e)$
is precisely the sheaf of endomorphisms of
$({\mathcal{V}},e)$
as a representation of
$Q$
.
Let
$({\mathcal{V}},e)$
be a representation of
$Q$
over
$X$
. Over some open affine covering
${\mathcal{U}}=(U_{i})$
of
$X$
we can choose a trivialization
$\unicode[STIX]{x1D711}_{i}=(\unicode[STIX]{x1D711}_{v,i}):\bigoplus _{v}{\mathcal{O}}_{U_{i}}^{n_{v}}\rightarrow \bigoplus _{v}{\mathcal{V}}_{v}|_{U_{i}}$
. Then over each
$U_{i}$
we have morphisms
$$\begin{eqnarray}e_{a,i}:=\unicode[STIX]{x1D711}_{h(a),i}^{-1}e_{a}\unicode[STIX]{x1D711}_{t(a),i}\in \operatorname{Mat}_{n_{t(a)}\times n_{h(a)}}({\mathcal{O}}(U_{i}))={\mathcal{E}}_{1}(n_{\bullet })(U_{i}),\end{eqnarray}$$
and over intersections
$U_{i}\cap U_{j}$
we have transition functions
$$\begin{eqnarray}g_{ij}=(g_{v,ij})=\unicode[STIX]{x1D711}_{i}^{-1}\unicode[STIX]{x1D711}_{j}\in \mathop{\prod }_{v}\operatorname{GL}_{n_{v}}({\mathcal{O}}(U_{i}\cap U_{j}))={\mathcal{G}}(n_{\bullet })(U_{i}\cap U_{j}).\end{eqnarray}$$
One immediately checks that
$(g_{ij},e_{a,i})$
defines a Cech
$1$
-cocycle with values in the pair
${\mathcal{G}}(n_{\bullet })\curvearrowright {\mathcal{E}}_{1}(n_{\bullet })$
(see § 2.3). Furthermore, a different choice of trivializations
$(\unicode[STIX]{x1D711}_{i})$
leads to a cohomologous cocycle, so we have a well-defined element of
$\mathbb{H}^{1}(X,{\mathcal{G}}(n_{\bullet })\curvearrowright {\mathcal{E}}_{1}(n_{\bullet }))$
. We can easily check that in this way we get a bijection between the latter nonabelian hypercohomology set and the set of isomorphism classes of representations
$({\mathcal{V}},e)$
of
$Q$
, such that the underlying vector bundle has dimension vector
$n_{\bullet }$
.
For a central extension (2.1.1) we have an abelian extension of sheaves of groups
$$\begin{eqnarray}1\rightarrow {\mathcal{E}}_{0}(n_{\bullet },{\mathcal{O}}_{X^{\text{ab}}})\otimes {\mathcal{I}}\rightarrow {\mathcal{G}}(n_{\bullet },{\mathcal{O}}_{X^{\prime }})\rightarrow {\mathcal{G}}(n_{\bullet },{\mathcal{O}}_{X})\rightarrow 1,\end{eqnarray}$$
where
$X=\operatorname{Spec}(\unicode[STIX]{x1D6EC})$
,
$X^{\prime }=\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })$
,
${\mathcal{I}}\subset {\mathcal{O}}_{X^{\prime }}$
is the ideal sheaf associated with
$I$
, and an exact sequence of abelian groups
$$\begin{eqnarray}0\rightarrow {\mathcal{E}}_{1}(n_{\bullet })\otimes {\mathcal{I}}\rightarrow {\mathcal{E}}_{1}(n_{\bullet },X^{\prime })\rightarrow {\mathcal{E}}_{1}(n_{\bullet },X)\rightarrow 0,\end{eqnarray}$$
compatible with the actions of the groups from (2.4.1). From § 2.3 we get that the obstacle to lifting a representation
$({\mathcal{V}},e)$
of
$Q$
over
$\operatorname{Spec}(\unicode[STIX]{x1D6EC})$
to a representation of
$Q$
over
$\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })$
is an element of the hypercohomology
$\mathbb{H}^{2}(X^{\text{ab}},{\mathcal{E}}_{\bullet }({\mathcal{V}},e)\otimes {\mathcal{I}})$
. But the latter group
$\mathbb{H}^{2}$
fits into the exact sequence
$$\begin{eqnarray}\ldots \rightarrow H^{1}(X^{\text{ab}},{\mathcal{E}}_{1}({\mathcal{V}})\otimes {\mathcal{I}})\rightarrow \mathbb{H}^{2}\rightarrow H^{2}(X^{\text{ab}},{\mathcal{E}}_{0}({\mathcal{V}})\otimes {\mathcal{I}})\rightarrow \ldots .\end{eqnarray}$$
Since
$X^{\text{ab}}$
is an affine scheme, we deduce that our
$\mathbb{H}^{2}$
vanishes. Thus, the functor of families of
$Q$
-representations on
${\mathcal{N}}$
is formally smooth.
Definition 2.4.1. With a representation
$({\mathcal{V}},e)$
of
$Q$
over a commutative scheme
$B$
we associate the KS map, which is a morphism of coherent sheaves on
$B$
,
$$\begin{eqnarray}\text{KS}:{\mathcal{T}}_{B}\rightarrow {\mathcal{H}}^{1}{\mathcal{E}}_{\bullet }({\mathcal{V}},e),\end{eqnarray}$$
defined as follows. Locally we can choose trivializations
$\unicode[STIX]{x1D711}:\bigoplus _{v}{\mathcal{O}}^{n_{v}}\rightarrow \bigoplus _{v}{\mathcal{V}}_{v}$
and, for a local derivation
$v$
of
${\mathcal{O}}_{B}$
, set
$$\begin{eqnarray}\text{KS}(v):=\unicode[STIX]{x1D711}v(\unicode[STIX]{x1D711}^{-1}e_{a}\unicode[STIX]{x1D711})\unicode[STIX]{x1D711}^{-1}\quad \operatorname{mod}\operatorname{im}(d_{e})\in {\mathcal{E}}_{1}({\mathcal{V}},f)/\operatorname{im}(d_{e}).\end{eqnarray}$$
It is easy to check that a change in a local trivialization leads to the addition of a term in
$\operatorname{im}(d_{e})$
, so the map
$\text{KS}$
is well defined.
This definition is motivated by the fact that in the case where
$B=\operatorname{Spec}(k)$
is the point and
$(V,e)$
is a
$Q$
-representation over
$k$
, the space
$H^{1}{\mathcal{E}}_{\bullet }(V,e)$
is isomorphic to
$\operatorname{Ext}^{1}((V,e),(V,e))$
(see [Reference BrionBri12, Corollary 1.4.2]), which is the tangent space to deformations of
$(V,e)$
as a
$Q$
-representation.
Now let us fix a family
$({\mathcal{V}}^{\text{ab}},e^{\text{ab}})$
of representations of
$Q$
over a smooth commutative base scheme
$B$
. We have the following analog of Definition 0.0.1.
Definition 2.4.2. We say that
$({\mathcal{V}}^{\text{ab}},e^{\text{ab}})$
is an excellent family of representations of
$Q$
if:
(a) the natural map
${\mathcal{O}}_{B}\rightarrow {\mathcal{E}}\text{nd}({\mathcal{V}}^{\text{ab}},e^{\text{ab}})={\mathcal{H}}^{0}{\mathcal{E}}_{\bullet }({\mathcal{V}}^{\text{ab}},e^{\text{ab}})$
is an isomorphism;(b) the Kodaira–Spencer map
$\text{KS}:{\mathcal{T}}_{B}\rightarrow {\mathcal{H}}^{1}{\mathcal{E}}_{\bullet }({\mathcal{V}}^{\text{ab}},e^{\text{ab}})$
is an isomorphism.
Condition (a) is satisfied for families of endosimple representations (see [Reference TodaTod17, Lemma 3.4]). Both conditions are satisfied for the moduli spaces of stable quiver representations corresponding to an indivisible dimension vector (see [Reference KingKin94, Proposition 5.3]).
Let us point out some consequences of assumptions (a) and (b). Given
$f:S\rightarrow B$
(where
$S$
is a commutative scheme), for
$(V,e)=(f^{\ast }{\mathcal{V}}^{\text{ab}},f^{\ast }e)$
we have
$$\begin{eqnarray}{\mathcal{E}}\text{nd}(V,e)={\mathcal{H}}^{0}{\mathcal{E}}_{\bullet }(V,e)={\mathcal{H}}^{0}Lf^{\ast }{\mathcal{E}}_{\bullet }({\mathcal{V}}^{\text{ab}},e^{\text{ab}})\simeq f^{\ast }{\mathcal{H}}^{0}{\mathcal{E}}_{\bullet }({\mathcal{V}}^{\text{ab}},e^{\text{ab}})\simeq f^{\ast }{\mathcal{O}}_{B}\simeq {\mathcal{O}}_{S},\end{eqnarray}$$
where we used the fact that
${\mathcal{H}}^{1}{\mathcal{E}}_{\bullet }({\mathcal{V}}^{\text{ab}},e^{\text{ab}})\simeq {\mathcal{T}}_{B}$
is locally free. Also, if
$S$
is affine, then for any coherent sheaf
${\mathcal{F}}$
on
$S$
we have
$$\begin{eqnarray}{\mathcal{H}}^{1}({\mathcal{E}}_{\bullet }(V,e)\otimes {\mathcal{F}})\simeq {\mathcal{H}}^{1}{\mathcal{E}}_{\bullet }(V,e)\otimes {\mathcal{F}}\simeq f^{\ast }{\mathcal{T}}_{B}\otimes {\mathcal{F}}.\end{eqnarray}$$
We now consider the following analog of Definition 1.5.1 for quiver representations.
Definition 2.4.3. For an excellent family
$({\mathcal{V}}^{\text{ab}},e^{\text{ab}})$
of representations of
$Q$
over a smooth (commutative) base
$B$
, we define the functor
$h_{B}^{NC}:{\mathcal{N}}\rightarrow Sets$
by letting
$h_{B}^{NC}$
be the set of isomorphism classes of the following data
$(f,V_{\unicode[STIX]{x1D6EC}},\unicode[STIX]{x1D719})$
. Let
$X=\operatorname{Spec}(\unicode[STIX]{x1D6EC})$
and let
$X_{0}^{\text{ab}}$
be the reduced scheme of the abelianization of
$X$
. Then
$f:X_{0}^{\text{ab}}\rightarrow B$
is a morphism,
$(V_{\unicode[STIX]{x1D6EC}},e_{\unicode[STIX]{x1D6EC}})$
is a representation of
$Q$
over
$X$
, and
$\unicode[STIX]{x1D719}:(E_{\unicode[STIX]{x1D6EC}},e_{\unicode[STIX]{x1D6EC}})|_{X_{0}^{\text{ab}}}\simeq (f^{\ast }{\mathcal{V}}^{\text{ab}},f^{\ast }e^{\text{ab}})$
is an isomorphism of representations of
$Q$
.
We have the following analog of Theorem 2.2.1 (and Proposition 1.5.4).
Theorem 2.4.4. The functor
$h_{B}^{NC}$
is formally smooth and factors through the category
$a{\mathcal{N}}$
. If the base
$B$
is affine then for every
$d\geqslant 0$
the functor
$h_{B}^{NC}|_{a{\mathcal{N}}_{d}}$
is representable by a
$d$
-smooth thickening of
$B$
.
Proof. The proof follows the same steps as in the case of families of vector bundles. We have already shown that
$h_{B}^{NC}$
is formally smooth. The fact that
$h_{B}^{NC}$
factors through
$a{\mathcal{N}}$
is proved similarly to Proposition 1.5.4.
The key technical computation is the analog of Lemma 2.2.2, which in our case claims commutativity of the diagram
associated with a central extension (2.1.1) and a representation
$({\mathcal{V}}_{\unicode[STIX]{x1D6EC}^{\prime }},e_{\unicode[STIX]{x1D6EC}^{\prime }})$
of
$Q$
over
$X^{\prime }=\operatorname{Spec}(\unicode[STIX]{x1D6EC}^{\prime })$
. Here we assume that
$h_{B}^{NC}|_{a{\mathcal{N}}_{d-1}}$
is represented by
$A\in {\mathcal{N}}_{d-1}$
, that
$\unicode[STIX]{x1D6EC}\in a{\mathcal{N}}_{d-1}$
and that
$(V_{\unicode[STIX]{x1D6EC}},e_{\unicode[STIX]{x1D6EC}})$
is a
$Q$
-representation over
$X=\operatorname{Spec}(\unicode[STIX]{x1D6EC})$
corresponding to a homomorphism
$f:A\rightarrow \unicode[STIX]{x1D6EC}$
. Also,
$({\mathcal{V}}_{\unicode[STIX]{x1D6EC}^{\prime }},e_{\unicode[STIX]{x1D6EC}^{\prime }})$
is a
$Q$
-representation over
$X^{\prime }$
, extending
$({\mathcal{V}}_{\unicode[STIX]{x1D6EC}},e_{\unicode[STIX]{x1D6EC}})$
. The right vertical arrow in (2.4.3) is induced by the KS map (2.4.2), and the bottom arrow is the connecting map defined in § 2.3. More precisely, we use here the identification for any quiver representation
$({\mathcal{V}},e)$
over
$X$
of the automorphism group
$\operatorname{Aut}({\mathcal{V}},e)$
with the group
$\mathbb{H}^{0}(X,{\mathcal{G}}(n_{\bullet }),c)$
, where
$c\in \mathbb{H}^{1}(X,{\mathcal{G}}(n_{\bullet })\curvearrowright {\mathcal{E}}_{1}(n_{\bullet }))$
is the class of
$({\mathcal{V}},e)$
. Also, we use the natural isomorphism
induced by the projection
${\mathcal{E}}_{1}({\mathcal{V}}^{\text{ab}})\rightarrow {\mathcal{H}}^{1}{\mathcal{E}}_{\bullet }({\mathcal{V}}^{\text{ab}},e^{\text{ab}})$
.
We assume that there is an open covering
$(U_{i})$
of
$B$
and trivializations
$\unicode[STIX]{x1D711}_{i}^{\text{ab}}$
of
${\mathcal{V}}^{\text{ab}}|_{U_{i}}$
and the compatible trivializations
$\unicode[STIX]{x1D713}_{i}$
of
${\mathcal{V}}_{\unicode[STIX]{x1D6EC}}$
and
$V_{\unicode[STIX]{x1D6EC}^{\prime }}$
over the covering
$\widetilde{U}_{i}=q^{-1}U_{i}$
. Let
$(g_{ij},e_{i})$
be the Cech
$1$
-cocycle corresponding to the universal family over
$\operatorname{Spec}(A)$
, so that the corresponding cocycle for
$({\mathcal{V}}_{\unicode[STIX]{x1D6EC}},e_{\unicode[STIX]{x1D6EC}})$
is
$(f(g_{ij}),f(e_{i}))$
.
By definition of
$\unicode[STIX]{x1D6FF}_{0}$
(see § 2.3), starting from an automorphism
$\unicode[STIX]{x1D6FC}$
of
$\operatorname{Aut}({\mathcal{V}}_{\unicode[STIX]{x1D6EC}},e_{\unicode[STIX]{x1D6EC}})$
, we can lift it over
$\widetilde{U}_{i}$
to an automorphism
$\unicode[STIX]{x1D6FC}_{i}^{\prime }$
of
$({\mathcal{V}}_{\unicode[STIX]{x1D6EC}^{\prime }},e_{\unicode[STIX]{x1D6EC}^{\prime }})$
and then define
$\unicode[STIX]{x1D6FF}_{0}(\unicode[STIX]{x1D6FC})$
as the class of the Cech
$1$
-cocycle with values in
${\mathcal{E}}_{\bullet }({\mathcal{V}}^{\text{ab}},e^{\text{ab}})\otimes I$
, given by
$$\begin{eqnarray}a_{0,ij}=(\unicode[STIX]{x1D6FC}_{i}^{\prime })^{-1}\unicode[STIX]{x1D6FC}_{j}^{\prime }-\operatorname{id},\quad a_{1,i}=(\unicode[STIX]{x1D6FC}_{i}^{\prime })^{-1}e_{i,\unicode[STIX]{x1D6EC}^{\prime }}-e_{i,\unicode[STIX]{x1D6EC}^{\prime }}.\end{eqnarray}$$
Calculating as in the proof of Lemma 2.2.2, and recalling that the action of
${\mathcal{G}}_{0}(n_{\bullet })$
on
${\mathcal{E}}_{1}(n_{\bullet })$
is given by conjugation, we get
$$\begin{eqnarray}\displaystyle & \displaystyle a_{0,ij}=\unicode[STIX]{x1D713}_{i}([\widetilde{u}^{-1},\widetilde{f(g_{ij})}]-\operatorname{id})\unicode[STIX]{x1D713}_{i}^{-1}=\unicode[STIX]{x1D713}_{i}\unicode[STIX]{x1D6E5}_{f}(u^{-1})(f(g_{ij}))f(g_{ij})^{-1}\unicode[STIX]{x1D713}_{i}^{-1}, & \displaystyle \nonumber\\ \displaystyle & \displaystyle a_{1,i}=\unicode[STIX]{x1D713}_{i}(\widetilde{u}^{-1}e_{i,\unicode[STIX]{x1D6EC}^{\prime }}\widetilde{u}-e_{\unicode[STIX]{x1D6EC}^{\prime }})\unicode[STIX]{x1D713}_{i}^{-1}=\unicode[STIX]{x1D713}_{i}\unicode[STIX]{x1D6E5}_{f}(u^{-1})(e_{i})\unicode[STIX]{x1D713}_{i}^{-1}, & \displaystyle \nonumber\end{eqnarray}$$
where we extend the derivation
$\unicode[STIX]{x1D6E5}_{f}:A\rightarrow I$
to matrices with entries in
$A$
. Now we note that the image of the class of this Cech
$1$
-cocycle under the isomorphism (2.4.4) is simply the global section of
${\mathcal{H}}^{1}{\mathcal{E}}_{\bullet }({\mathcal{V}}^{\text{ab}},e^{\text{ab}})\otimes {\mathcal{I}}$
given by
$$\begin{eqnarray}(a_{1,i}\operatorname{mod}\operatorname{im}(d_{e}))=\text{KS}(\unicode[STIX]{x1D6E5}_{f}(u^{-1}))=-\text{KS}(\unicode[STIX]{x1D6E5}_{f}(u)).\Box\end{eqnarray}$$
Acknowledgements
The work of the second author is supported in part by NSF grant DMS-1700642 and by the Russian Academic Excellence Project ‘5-100’. He also would like to thank Institut de Mathématique de Jussieu and Institut des Hautes Études Scientifiques for hospitality and excellent working conditions.
