Fibred product of commutative algebras:
generators and relations

arXiv:1307.2192v3 [math.AG] 13 Jul 2016

Nadezda V. TIMOFEEVA
P.G. Demidov Yaroslavl’ State University
Sovetskaya str. 14, 150000 Yaroslavl’, Russia
e-mail: ntimofeeva@list.ru

The method of direct computation of universal (fibred) product in the category of commutative associative algebras of finite type with unity over a
field is given and proven. The field of coefficients is not supposed to be algebraically closed and can be of any characteristic. Formation of fibred product
of commutative associative algebras is an algebraic counterpart of gluing algebraic schemes by means of some equivalence relation in algebraic geometry.
If initial algebras are finite-dimensional vector spaces the dimension of their
product obeys Grassmann-like formula. Finite-dimensional case means geometrically the strict version of adding two collections of points containing
some common part.
The method involves description of algebras by generators and relations on
input and returns similar description of the product algebra. It is ”readyto-eat” even for computer realization. The product algebra is well-defined:
taking another descriptions of the same algebras leads to isomorphic product
algebra. Also it is proven that the product algebra enjoys universal property,
i.e. it is indeed fibred product. The input data is a triple of algebras and
f2
f1
a pair of homomorphisms A1 → A0 ← A2 . Algebras and homomorphisms
can be described in any fashion. We prove that for computing the fibred
product it is enough to restrict to the case when fi , i = 1, 2 are surjective and
describe how to reduce to surjective case. Also the way to choose generators
and relations for input algebras is considered.
Bibliography: 5 titles.
Keywords: commutative algebras over a field, affine Grothendieck’ schemes,
universal product, amalgamated sum

Introduction
0.1

Motivation and General Problem

For a motivating example consider affine plane A2 over a field k and two non-proportional
irreducible polynomials g1 , g2 in two variables x, y over the same field. Let these polynomials have zero sets Z(g1 ) ⊂ A2 ⊃ Z(g2 ) and a set of common zeros Z(g1 , g2 ) = Z(g1 ) ∩
Z(g2 ). If k is algebraically closed Z(gi ) are irreducible curves for any gi , i = 1, 2, and
1

Z(g1 , g2 ) is a discrete collection of points. A union of curves Z(g1 ) ∪ Z(g2 ) is given by
zeros of the product polynomial g1 g2 ,`
i.e. Z(g1 ) ∪ Z(g2 ) = Z(g1 g2 ) and provides a simple
example of amalgamated sum Z(g1 ) Z(g1 ,g2 ) Z(g2 ) of algebraic schemes Z(gi ), i = 1, 2
(precise definition will be given below). Transferring to algebraic counterpart one has
k-algebras Ai = k[x, y]/(gi ), i = 1, 2 corresponding to curves Z(gi ), i = 1, 2 respectively, and the k-algebra of intersection locus A0 = k[x, y]/(g1 , g2 ). There are obvious
k-algebra homomorphisms fi : Ai ։ A0 . Formation of the algebra k[x, y]/(g1 g2 ) for the
union of two components provides an example of universal (fibred) product of k-algebras
A1 ×A0 A2 .
For our purposes it is enough to restrict by affine algebraic k-schemes of finite type,
i.e. prime spectra (sets of prime ideals with natural topology and collection of local
rings forming a structure sheaf on the spectrum) of commutative associative k-algebras
of finite type with unity (for complete theory cf. [4, ch.2]). We focus on algebraic side
and operate exclusively with underlying algebras.
We describe general quotient problem in the category of algebraic schemes over a field
k. The problem includes following ingredients:
• a scheme X;
• a subscheme R ⊂ X × X;
• morphisms pi : R ⊂ X × X → X defined as composites of the immersion with the
projection on ith factor.
The subscheme R ⊂ X × X is said to be an equivalence relation; this means that it
satisfies three requirements as follows:
1. R is reflexive, i.e. R ⊃ diag(X) where diag(X) is an image of the diagonal immersion diag : X ֒→ X × X;
2. R is symmetric, i.e. the immersion R ⊂ X × X is stable under the involution
intertwining first and second factors of the product X × X;
3. R is transitive, i.e. pr13 (R × X ∩ X × R) ⊂ R where the intersection is taken in
X × X × X. Here pr13 : X × X × X → X × X is the projection to the product of
the 1st and 3rd factors.
The question is [1, ch. 1, 4.3] to construct (if possible) the universal quotient X/R.
This is an object fitting into the commutative diagram
R

p2

/X

p1


/ X/R


X
such that for any other commutative square
R

p2

/X

p1


X


/T
2

there is a unique morphism τ : X/R → T (in the appropriate category) fitting into the
commutative diagram
p2
/X
R
✶✶
✶✶
p1
✶✶


✶✶
X ◗◗◗ / X/R ✶✶
❈
◗◗◗
◗◗◗ ❈❈❈τ✶✶✶
◗◗◗ ❈❈ ✶
◗◗◗ ❈❈✶
◗◗(! 
T
The best result should be to know precisely when the universal quotient exist in some
category (for example, in the category of algebraic schemes) and when it does not.

0.2

Particular Cases

1. The notion of algebraic space [2] which appears when morphisms pi , i = 1, 2 assumed to be étale. In this case the object X/R belongs to the category of algebraic
spaces.
F
2. Open covering
F of a scheme Y when X = Uα is a disjoint union of open subschemes
of Y , R = Rαβ and morphisms Rαβ → Uα and Rαβ → Uβ are local isomorphisms.
In this case the object X/R is the scheme Y whose open cover was considered.
3. Let the scheme X is acted upon by an algebraic group G and R is a subscheme
induced by G-equivalence [3]. In this case if X/G = X/R exists its universality
means that it is a categorical quotient of the scheme X by G.

0.3

Case of Several Components

F
Now let X be a disjoint union of schemes X = X1 X2 . Then
G
G
G
X × X = X1 × X1 X1 × X2 X2 × X1 X2 × X2
and the equivalence relation is broken into 4 disjoint components
G
G
G
R = R11
R12 R21 R22 .
The problem reduces to the search of the universal completion of the diagram
Rij

pj

/ Xj

pi


Xi
This universal completion is called an amalgam (or
` an amalgamated sum) of schemes Xi
and Xj with respect to Rij and is denoted as Xi Rij Xj . If for each pair i, j = 1, 2 the
`
`
`
`
amalgam Xi Rij Xj exists then X/R = X R X = i,j (Xi Rij Xj ).
3

0.4

Schemes and algebras

We recall that affine Grothendieck’ scheme of finite type over a field k is a prime spectrum
Spec A of associative commutative algebra A of finite type with unity over k.
Recall that the k-algebra A is said to be of finite type if it admits a surjective homomorphism of polynomial algebra in finite set of variables k[x1 , . . . , xn ] ։ A. In particular
this means that algebras A under consideration can have any finite Krull dimension (if
A admits an epimorphism of polynomial algebra in n variables then the Krull dimension of A is not greater than n). In this case the algebra A as k-vector space can be
infinitely-dimensional.
Generally, fibred product and amalgam (or product and corpoduct, or small limits)
are dual categorical notions [5, 1.17,1.18] and are not obliged to exist in any category.
The schemes under consideration are prime spectra of associative commutative algebras
of finite type over k. Duality is done by functorial correspondence taking k-algebra to
its prime spectrum. The fibred product of associative commutative k-algebras of finite
type as taken by this functor to the amalgam of corresponding spectra. The functorial
behavior of fibred product of algebras is analogous to one of fibred product of schemes.
Despite that existence of fibred product for associative commutative algebras is
known, the method of explicit computation of it is not described in the literature. We
fill this gap.
Let A be a commutative associative algebra of finite type with unity; then it can be
represented as a quotient algebra of n-generated polynomial algebra φ : k[x1 , . . . , xn ] ։ A
where n depends on the structure of A. The representing homomorphism φ corresponds
to the immersion of the scheme Spec A into k-affine space An = Spec k[x1 , . . . , xn ]. By
means of this immersion we interpret the abstract k-scheme Z as a closed subscheme
Z ⊂ An of affine space. We call the isomorphism A ∼
= k[x1 , . . . , xn ]/ker φ (resp., the
immersion Z ⊂ An ) the affine representation of the algebra A (resp., scheme Z). This
is the reason why any associative commutative algebra of finite type with unity is called
an affine algebra. Then the k-algebra is affine if and only if it has affine representation.
Any affine algebra has many different affine representations.
We prove the following result.
Theorem 1. The universal (fibred) product of affine algebras of finite type over a field
can be compute explicitly by means of generators and relations.
The method to compute fibred products of affine algebras constitutes the main subject
of this article and described below.
First we fix the terminology and describe the algorithm which constructs algebra to be
a universal product of algebras by means of their appropriate affine representations. Then
we confirm that choice of different appropriate affine representations leads to isomorphic
algebras. Finally we prove the universality and hence confirm that the obtained algebra
is indeed a fibred product.
I would like to thank Laboratory of Discrete and Computational Geometry for the
support during my work on this article (Grant No 1.1875.2014 (No 2014/258)) and my
Diploma student I. Chistousov for testing the finite-dimensional version of the method
by thoroughly computing various examples.

4

1
1.1

Construction
Glossary

We work with polynomial rings of view k[x1 , . . . , xn ], its ideals and quotients.
The basis of the ideal I is any system of generators of I as k[x1 , . . . , xn ]-module.
The basis is minimal if it does not span I whenever any of elements is excluded.
The k-basis of polynomial algebra (which is not obliged to be with unity) is its basis
if the algebra is considered as k-vector space.
The k-relation between elements of the algebra A (which is not obliged to be with
unity) is a nontrivial k-linear function (nontrivial k-linear combination) in these elements
which equals 0 in A. As usually, linear combinations with finite number of nonzero
coefficients are considered.
Fix the natural ordering of variables x1 , . . . , xn ; then we can use shorthand notation
αn
1
xα for the monomial xα
1 . . . xn . The symbol α denotes the row of degrees α1 , . . . , αn .

1.2

Algorithm

Reduction to surjective morphisms
f2

f1

We are given three algebras A0 , A1 , A2 with morphisms A1 −→ A0 ←− A2 . Show that
we can assume that both fi , i = 1, 2 are surjective. Since the morphisms fi must include
into commutative squares of the form
AO 0 o

f2

χ2

f1

A1 o

(1.1)

AO 2

χ1

AT

then for any such a commutative square the composite morphisms f1 ◦χ1 and f2 ◦χ2 have
coincident images in A0 . By commutativity of the square im f1 ◦ χ1 = im f2 ◦ χ2 ⊂ im fi ,
i = 1, 2. This means that im fi ◦ χi ⊂ im f1 ∩ im f2 and the morphism χi factors through
the subalgebra fi−1 (im f1 ∩ im f2 ) ⊂ Ai for i = 1, 2. Then all algebras of interest AT
complete the square
im f1 ∩O im f2 o o
O

f2′

f2 −1 (im f1 ∩ im f2 )
O

f1′

f1−1 (im f1 ∩ im f2 ) o
to commute.

f1′

AT

f2′

Denote A′1 ։ A′0 և A′2 where A′0 = im f1 ∩ im f2 , A′i = fi−1 (A′0 ) and fi′ = fi |A′i ,
i = 1, 2.
f1′

f2′

Let there is a fibred product A′1 ×A′0 A′2 for the case A′1 ։ A′0 և A′2 . Confirm that
′
A1 ×A′0 A′2 is also a universal product for the initial arbitrary data
5

f1

f2

A1 −→ A0 ←− A2 . By the construction of algebras A′i , i = 0, 1, 2, and by the definition of the algebra A′1 ×A′0 A′2 it includes into the commutative diagram
AO 0 `❆o
❆❆
❆❆
❆❆
❆
0P

f2

A′0 o
O

: A2
tt
t
tt
tt
t
t
,t
A′2
O

f1

A1

A′1 o
⑥
Nn
⑥⑥
⑥
⑥⑥
~⑥
⑥

A′1 ×A′0 A′2

Let AT fit into the commutative diagram (1.1). Then by the universality of A′1 ×A′0 A′2
as a product there is a unique homomorphism ϕ : AT → A′1 ×A′0 A′2 which fits in the
commutative diagram
AO 0 `❆o
❆❆
❆❆
❆❆
❆
0P

f2

9 AO 2
ttt
t
t
ttt
, ttt
f2′
A′2
A′0 o
O
O [✼✼
✼✼
f1′
f1
✼✼
✼✼
A′1 oj❚❚❚ A′1 ×A′0 A′2 ✼✼✼
❚❚❚❚
✼
⑥ Nn
❚❚❚❚ d
ϕ ✼✼
⑥⑥
❚
⑥
❚
❚
❚❚❚❚ ✼✼✼
⑥⑥
❚❚❚❚
~⑥⑥
A1 o
AT
This diagram provides universality of the algebra A′1 ×A′0 A′2 as a product for initial data,
i.e.
A′1 ×A′0 A′2 = A1 ×A0 A2 .
Now we can replace everywhere our initial arbitrary data by the more special case
when morphisms fi , i = 1, 2, are surjective.
Easy case
Assume that Ai ∼
= k[x1 , . . . , xn ]/Ii , i = 0, 1, 2, so that A0 = A1 ⊗k[x1 ,...,xn ] A2 . This
assumption says that the subscheme Spec A0 ∼
= Z0 ⊂ An is an intersection of subschemes
n
n
∼
Z1 ⊂ A and Z2 ⊂ A , Zi = Spec Ai , i = 1, 2.
Choose minimal bases in ideals Ii , i = 1, 2. Consider set of those monomials in
k[x1 , . . . , xn ] which are taken to 0 in both A1 and A2 by homomorphisms f1 and f2
respectively. It is clear that if xα is such a monomial that for all β ∈ Zn≥0 the monomial
6

xα+β is taken to 0 in both A1 , A2 . Then the set of monomials under consideration
generates an ideal J.
Quotient algebra k[x1 , . . . , xn ]/J includes into the commutative square
AO 0 o o
O

f2

AO 2
O

f1

A1 o o

k[x1 , . . . , xn ]/J

Consider k-basis elements in k[x1 , . . . , xn ]/J. Since Ai are not obliged to be finitedimensional over k, k[x1 , . . . , xn ]/J can also have infinite k-basis. We form the list L of
k-relations among k-basis
elements of k[x1 , . . . , xn ]/J as follows.
P
The k-relation
aα xα between elements of k[x1 , . . . , xn ]/J (possibly monomial) is
include into L if and only if it equals 0 in both of A1 , A2 . It is clear that the linear span
< L > is an ideal in k[x1 , . . . , xn ]/J.
Now set A = (k[x1 , . . . , xn ]/J)/ < L >= k[x1 , . . . , xn ]/(J+ < L >).
Remark 1. By Hilbert’s basis theorem, ideals J, < L >, and J+ < L > admit finite
bases.
Remark 2. If A1 and A2 finite-dimensional then dim A1 ×A0 A2 = dim A1 + dim A2 −
dim A0 . This follows immediately from the algorithm described. If k is algebraically
closed then length Ai = dim Ai , i = 0, 1, 2, and then length A1 ×A0 A2 = length A1 +
length A2 − length A0 .
Hard case
How to build up affine representations of algebras A0 , A1 , A2 to validate the Easy case,
i.e. such that A0 = A1 ⊗k[x1 ,...,xn ] A2 ?
Start with principal ideals in A0 : only those which are maximal under inclusion are
necessary. Take a generator of each such an ideal. Choose any maximal k-linearly independent subset in the set of generators chosen. Since A0 is an algebra of finite type,
this subset is obliged to be finite; let it consist of s elements g1 , . . . , gs . Each element
gj corresponds to the variable xj in k[x1 , . . . , xs ]. The construction done fixes a homomorphism of k-algebras h0 : k[x1 , . . . , xs ] ։ A0 . Let K0 := ker h0 . Since k[x1 , . . . , xn ] in
Noetherian then K0 is finitely generated ideal.
Let gj′ be one of preimages of the element gj ∈ A0 in A1 , gj′′ be one of preimages
of the same element in A2 . We complete the set g1′ , . . . , gs′ to form the set of k-linearly
′
′
∈ A1 . Sim, . . . .gm
independent generators of the algebra A1 , by adding elements gs+1
′′
′′
ilarly, the set g1 , . . . , gs is completed to the set of k-linearly independent generators of
′′
the algebra A2 by adding elements gm+1
, . . . , gn′′ . We put the variables xs+1 , . . . , xm in
′
′
the correspondence to the elements gs+1 , . . . , gm
and the variables xm+1 , . . . , xn to the
′′
′′
elements gm+1 , . . . , gn .
This leads to homomorphisms hi : k[x1 , . . . , xn ] ։ Ai , i = 0, 1, 2, n ≥ s defined by

7

following correspondences
h0 (xj ) = gj , j = 1, . . . , s,
h0 (xj ) = 0, j = s + 1, . . . , n,
h1 (xj ) = gj′ , j = 1, . . . , m,
h1 (xj ) = 0, j = m + 1, . . . , n,
h2 (xj ) = gj′′ , j = 1, . . . , s, m + 1, . . . , n,
h2 (xj ) = 0, j = s + 1, . . . , m.
In particular, h0 = fi ◦ hi .
Affine representations of algebras A0 , A1 , A2 and their homomorphisms f1 , f2 lead
to closed immersions of their spectra into affine space An according to the following
commutative diagram
♯

h2 _
? Spec A2
AO n e▲o
O
▲▲▲ ♯
▲▲h▲0
♯
f♯
h1
▲▲▲
▲3 S  2
?
?
_
Spec A1 o ♯ ? Spec A0
f1

By some modification of representing homomorphisms hi , i = 0, 1, 2, we will easily achieve
that in the appropriate affine space
h♯0 (Spec A0 ) = h♯1 (Spec A1 ) ∩ h♯2 (Spec A2 ).
For this purpose choose any system of generators κ1 , . . . , κr of the ideal K0 (as k[x1 , . . . , xn ]module). Add to the set of variables x1 , . . . , xn additional variables (whose number
equals to the number r of generators if K0 chosen) y1 , . . . , yr , and consider in A1 ′
),
algebra A1 [y1 , . . . , yr ] an ideal K0′ generated by all relations of view yl − κl (g1′ , . . . , gm
l = 1, . . . , r. Then we have a commutative diagram
′

h2
/ / A2
k[x1 , . . . , xn , y1 , . . . , yr ]
PPP
P
PPP ′
f2
PPPh0
h′1
PPP 

P( (
/ / A0
A1 [y1 , . . . yr ]/K ′
0

There h′i (xj ) = hi (xj ) for j = 1, . . . , n and for i = 0, 1, 2, but h′i (yj ) = 0 for i = 0, 2 and
j = 1, . . . , r.
Lemma 1. There is an isomorphism of k-algebras A1 [y1 , . . . yr ]/K0′ ∼
= A1 .
Proof. Let K1 = ker h1 . Denote by J ′ the ideal in the ring k[x1 , . . . , xn , y1 , . . . , yr ] which
is generated by relations yl − κl (x1 , . . . , xn ), l = 1, . . . , r. Obviously, J ′ ⊂ ker h′1 . The
isomorphism of k[x1 , . . . , xn , y1 , . . . , yr ]-modules A1 [y1 , . . . yr ]/K0′ ∼
= A1 follows from the

8

exact diagram of k[x1 , . . . , xn , y1 , . . . yr ]-modules
0

J′

0

∼


/ (y1 , . . . , yr )

0


/ ker h′1


/ k[x1 , . . . , xn , y1 , . . . , yr ]

/ A1 [y1 , . . . , yr ]/K0′

0


/ K1


/ k[x1 , . . . , xn ]


/ A1


0


0

/0

≀

/0

where the isomorphism J ′ ∼
= (y1 , . . . , yr ) is an isomorphism of free modules of equal
ranks done by the correspondence yl − κl (x1 , . . . , xn ) 7→ yl , l = 1, . . . , r. The k-algebra
isomorphism A1 [y1 , . . . yr ]/K0′ ∼
= A1 follows from the fact that the quotient algebra
′
A1 [y1 , . . . yr ]/K0′ admits the same system of generators g1′ , . . . , gm
as an algebra A1 ,
with same relations (equal to generators of the ideal K1 ).
Proposition 2. The homomorphisms h′i lead to the expression
A0 = A1 ⊗k[x1 ,...,xn ,y1 ,...,yr ] A2 .
Proof. To prove the proposition one needs to confirm that A0 is universal as a coproduct.
ϕ1
ϕ2
Let Q be a k-algebra supplied with two homomorphisms A1 −→ Q ←− A2 such that the
following diagram commutes:
h′2

/ / A2
✴✴
✴✴
f2
h′1

 ✴✴✴
f1
/ / A0 ✴✴ϕ2
A1 ❯❯❯❯
✴✴
❯❯❯❯
❯❯❯❯
✴✴
❯❯❯❯
✴
❯❯❯❯
ϕ1
❯❯❯❯ ✴
*Q

k[x1 , . . . , xn , y1 , . . . , yr ]

Commutativity of the ambient contour guarantees that ϕ1 (A1 ) = ϕ2 (A2 ) and hence we
can replace Q by ϕ1 (A1 ) = ϕ2 (A2 ). However we preserve the notation Q but assume
that homomorphisms ϕi are surjective. By the construction of homomorphisms h′i , the
algebra A0 is generated by the images of first s variables x1 , . . . , xs .
Then by the commutativity of the ambient contour ϕ1 h′1 (xj ) = ϕ2 h′2 (xj ) for j =
1, . . . , n. In particular, by the construction of homomorphisms hi (and of homomorphisms
h′i built up by means of them), ϕ1 h′1 (xj ) = ϕ2 h′2 (xj ) = 0 for j = s + 1, . . . , n. For
9

j = 1, . . . s we have 0 = ϕ1 ◦ h′1 (yl − κl (xj )) = ϕ2 ◦ h′2 (yl − κl (xj )) = −ϕ2 h′2 κl (xj )
for l = 1, . . . r since h′2 (yl ) = 0. This implies that homomorphisms ϕi , i = 1, 2, factor
through the algebra A0 .
The homomorphism ϕ0 : A0 → Q is uniquely defined on generators h′0 (xj ) of A0 by
the correspondence h0 (xj ) 7→ ϕi ◦ h′i (xj ), i = 1, 2, j = 1, . . . , s.
Remark 3. Proposition 2 means that affine representations constructed are such that
the intersection of images of schemes Spec A1 and Spec A2 under closed immersions into
Spec k[x1 , . . . , xn , y1 , . . . , yr ] = An+r is the image of Spec A0 .
Remark 4. In further considerations we use the notation of the view
h

h

2
1
A2
k[x1 , . . . , xn ] −→
A1 ←−

assuming that homomorphisms hi . i = 1, 2, are surjective and that they admit application of the Easy case, i.e. Proposition 2 holds for them.

2

Well-Definedness and Universality

2.1

Different affine representations chosen

Proposition 3. Different affine representations of algebras A0 , A1 , A2 lead to isomorphic
product algebras A.
Proof. Let we have two pairs of different affine representations defined by pairs of homomorphisms
′
′
h1

h2

A1 և k[x1 , . . . , xn ] ։ A2

h2

h1

and A1 և k[x′1 , . . . , x′m ] ։ A2

such that A0 = A1 ⊗k[x′1 ,...,x′m ] A2 = A1 ⊗k[x1 ,...,xn ] A2 . They correspond to two pairs of
closed immersions of prime spectra
h♯1

h♯2

Spec A1 ֒→ An ←֓ Spec A2

h′2 ♯

h′1 ♯

and Spec A1 ֒→ Am ←֓ Spec A2
♯

♯

such that h♯1 (Spec A1 ) ∩ h♯2 (Spec A2 ) = h♯0 (Spec A0 ) and h′1 (Spec A1 ) ∩ h′2 (Spec A2 ) =
♯

h′0 (Spec A0 ). This leads to closed immersions h♯i : Spec Ai ֒→ An × Am = An+m as
composites with the diagonal immersion diag:
(h♯i ,h′i ♯ )

diag

h♯i : Spec Ai ֒→ Spec Ai × Spec Ai −−−→ An × Am .
Now confirm that in this case also h♯1 (Spec A1 ) ∩ h♯2 (Spec A2 ) = h♯0 (Spec A0 ).
Homomorphisms hi are defined as composites
(hi ,h′i )

k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ] −−→
g1 ⊗ g2
7
→

δ

→i Ai ,
Ai ⊗k Ai
hi (g1 ) ⊗ h′i (g2 ) 7→ hi (g1 ) · h′i (g2 ).

Let Q be an algebra together with two homomorphisms ϕi : Ai → Q such that
ϕ1 ◦ h1 = ϕ2 ◦ h2 . To confirm that A0 = A1 ⊗k[x1 ,...,xn ]⊗k k[x′1 ,...,x′m ] A2 it is necessary
10

to construct a unique homomorphism ϕ0 : A0 → AT such that ϕi = ϕ0 ◦ fi . Consider
commutative diagrams
(fi ,fi )

/ A0 ⊗k A0
✻✻
✻
δi
δ0 ✻✻
✻✻


fi
✻✻ϕ′0
/
Ai ❯❯❯❯
A0
✻✻
❯❯❯❯
✻✻
❯❯❯❯ ϕ0
✻✻
❯
ϕi ❯❯❯❯❯
❯❯❯❯ ✻$ 
❯*
Q

Ai ⊗k Ai

for i = 1, 2. Let for any reducible tensor x ⊗ x′ ∈ Ai ⊗k Ai
(fi , fi )(x ⊗ x′ ) = x ⊗ x′ ∈ A0 ⊗k A0 ; δ0 (x ⊗ x′ ) = x · x′ ∈ A0 ;
fi (x · x′ ) = x ⊗ x′ ∈ A0 ;
δi (x ⊗ x′ ) = x · x′ ∈ Ai .
Since by universality of the product
A0 ⊗k A0 = (A1 ⊗k A1 ) ⊗k[x1 ,...,xn ]⊗k k[x′1 ,...,x′m ] (A2 ⊗k A2 )
the homomorphism ϕ′0 is uniquely defined using homomorphisms
(ϕi , ϕi ) : Ai ⊗k Ai → Q : x ⊗ x′ 7→ ϕi (x) · ϕi (x′ )
as
ϕ′0 (x ⊗ x′ ) = ϕi (x) · ϕi (x′ ) ∈ Q
then ϕ0 : A0 → Q is also uniquely defined as ϕ0 (y) = ϕi (y) for y = fi (y), y ∈ Ai .
Now it rests to form product algebras for three different affine representations
k[x1 , . . . , xn ] o o

λ

ρ

k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ]

hi

/ / k[x′1 , . . . , x′m ]
h′i

hi


Ai


Ai


Ai

Horizontal homomorphisms are defined by correspondences λ : x′l 7→ 0, l = 1, . . . , m and
ρ : xj 7→ 0, j = 1, . . . , n respectively.
Denoting by A the product algebra for hi : k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ] ։ Ai ,
i = 0, 1, 2, we come to the commutative diagram
k[x1 , . . . , xn ] o o

λ

k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ]

h


Aoo

associated to closed immersions

An 
✤
(x1 , . . . , xn )


A

/

/ / k[x′1 , . . . , x′m ]
h′

h
pA

ρ

p′A

An × Am o


/ / A′

? _ Am ,

/ (x1 , . . . , xn , 0, . . . , 0),
(0, . . . , 0, x′1 , . . . , x′m ) o
11

✤ (x′ , . . . , x′ ).
1
m

(2.1)

Vertical homomorphisms in (2.1) define affine representations for product algebras built
up according to the Easy case. Lower horizontal morphisms are surjective by commutativity of the diagram (2.1).
To prove isomorphicity of lower homomorphisms in (2.1) consider sections of homoρ

λ

morphisms k[x1 , . . . , xn ] և k[x1 , . . . , xn ]⊗k k[x′1 , . . . , x′m ] ։ k[x1 , . . . , xm ], i.e. homomorphs1
s2
isms k[x1 , . . . , xn ] ֒→ k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ] ←֓ k[x1 , . . . , xm ] defined by following
rules s1 : f 7→ f ⊗ 1, s2 : g 7→ 1 ⊗ g. A nonzero element from A has nonzero preimage in
k[x1 , . . . , xn ] which haves nonzero image in k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ]. This image is
taken to nonzero element of at least one of algebras A1 , A2 and hence has nonzero image
in A. This leads to a homomorphism of k-algebras sA : A → A. It is a section of the
homomorphism pA by its construction.
Now remark that sA is surjective. Indeed, one can choose a system of k-generators
(which is not obliged to be a basis) in A which are images of reducible tensors f ⊗ g from
k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ], f ∈ k[x1 , . . . , xn ], g ∈ k[x′1 , . . . , x′m ]. This expression is
defined up to the action of k ∗ = k \ 0. A polynomial f has nonzero image at least in one
of algebras A1 , A2 . Hence it is taken to nonzero element in A. Since pA ◦ sA = idA then
both sA and pA are isomorphisms.
Isomorphicity of p′A is proven analogously.

2.2

Universality

Proposition 4. The construction of product algebra A is indeed universal, i.e. A is true
fibred product.
Proof. Let AT be an affine k-algebra together with two homomorphisms χi : AT → Ai ,
i = 1, 2 such that χ1 ◦ f1 = χ2 ◦ f2 . We construct a homomorphism ϕ to complete the
diagram
AT
⑤ ❇❇❇ χ
χ1 ⑤⑤
❇❇ 2
⑤
ϕ
❇❇
⑤⑤
❇

}⑤⑤ f 1
f2 !
o
/ A2
A1
A
Choose appropriate affine representations of algebras AT , A, Ai , i = 1, 2. Perform the
manipulations as described in the Easy case. Namely, let J be an ideal in k[x1 , . . . , xn ]
generated by all monomials taken to 0 in AT , A and Ai , i = 1, 2.
Quotient algebra k[x1 , . . . , xn ]/J includes in the commutative diagram
AO 1 `❅i❙i ❙❙
❅❅ ❙❙❙❙❙
⑤
⑤
f1 ⑤
❙❙❙❙
❅❅
⑤
χ
1
⑤
❅f❅1
❙❙❙❙
❅
❙
~~⑤⑤⑤
k[x1 , . . . , xn ]/J
Aoo
A0 `❇
AT
` ❇❇
⑦⑦
❦❦❦
❇❇ χ
⑦⑦f 2 ❦❦❦❦❦❦
⑦
❇❇ 2
f2
❇  ~⑦⑦⑦❦❦❦❦❦❦
u❦u ❦
A2
Choose an arbitrary element α ∈ AT ; it is taken to χ1 (α) ∈ A1 and to χ2 (α) ∈ A2
so that f1 χ1 (α) = f2 χ2 (α). Any γ of preimages of α in k[x1 , . . . , xn ]/J is also taken to
12

f1 χ1 (α) = f2 χ2 (α) ∈ A0 and to some element α ∈ A. We claim that α does not depend
on the choice of γ.
Choose another γ ′ ∈ k[x1 , . . . , xn ]/J taken to α, then γ − γ ′ maps to zero in AT and
hence it is mapped to zero in both Ai , i = 1, 2. Then by the construction of A (cf. Easy
case) γ − γ ′ is taken to zero in A. This shows that there is a homomorphism ϕ : AT → A
such that χi = ϕ ◦ f i , i = 1, 2, as required.
It rests to confirm ourselves that the homomorphism ϕ : AT → A does not depend on
the choice of affine representations of algebras AT , Ai , i = 0, 1, 2. For this sake assume
that there are two different collections of affine representations include into commutative
diagrams
k[x′1 , . . . , x′m ]
✿
☎☎ ′✿✿✿
☎
hT ✿
☎
✿✿

☎☎
✿✿h′2
h′1 ☎☎
✿
☎
AT ▲
☎
▲▲▲ ✿✿✿
☎ rrr
☎
▲▲▲ ✿✿
☎ rr
▲▲▲✿✿
☎☎ rr
☎yr☎rrr
▲%  
/ A2
A
A1 o▲
▲▲
▲▲▲
rrr
r
r
▲▲
▲▲▲
rrr
f1
%%
yyrrr f2
A0

k[x1 , . . . , xn ]
✾✾
✾
✆✆
✆
hT ✾✾
✆
✾✾
✆

✆

✾✾h2
h1 ✆✆
✾✾
AT ▲
✆✆
▲
r
✾
✆
▲
r
✆
▲
r
▲▲▲ ✾✾✾
✆ rrr
✆
▲▲▲✾✾
✆ rr
▲%  
✆ ✆yrrr
/ A2
A
A1 o▲
▲▲▲
rrr
▲▲
r
▲▲▲
rr
rr f2
f1
▲▲%
r
r
y
%
yr
A0

(2.2)

Then consider the algebra k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ] and its homomorphisms on
ρ
λ
quotient algebras k[x1 , . . . , xn ] ←− k[x1 , . . . , xn ]⊗k k[x′1 , . . . , x′m ] −→ k[x′1 , . . . , x′m ] which
′
′
are defined by their kernels ker λ = (x1 , . . . , xm ), ker ρ = (x1 , . . . , xn ) and correspond to
ρ♯

λ♯

immersions of subspaces An ֒→ An × Am ←֓ Am as linear subvarieties. Representations
(2.2) define induced affine representations for algebras AT , Ai , i = 0, 1, 2, according to
the following rule: hT (xj ⊗ x′l ) = hT (xj ) · h′T (x′l ), hi (xj ⊗ x′l ) = hi (xj ) · h′i (x′l ), i = 0, 1, 2,
j = 1, . . . , n, l = 1, . . . , m. This rule corresponds to the composites of immersions of
prime spectra
♯

hT
♯

hi

diag

: Spec AT ֒→ Spec AT × Spec AT
diag

: Spec Ai ֒→ Spec Ai × Spec Ai

(h♯T ,h′T ♯ )

֒→

(h♯i ,h′i ♯ )

֒→

An × Am ,

An × Am .

Let J be the ideal generated by all monomials in k[x1 , . . . , xn ] taken to 0 in AT
and in Ai , i = 0, 1, 2, J ′ be the similar ideal in k[x′1 , . . . , x′m ], and J the similar ideal in
k[x1 , . . . , xn ]⊗k k[x′1 , . . . , x′m ]. Quotient algebras by these ideals include into the following
commutative diagram
k[x1 , . . . , xn ] o

k[x1 , . . . , xn ]/J o o

λ

k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ]


k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ]/J
13

ρ

/ k[x′1 , . . . , x′m ]

/ / k[x′ , . . . , x′ ]/J ′
1
m

Now we perform the construction of homomorphisms ϕ, ϕ′ and ϕ using quotient algebras k[x1 , . . . , xn ]/J, k[x′1 , . . . , x′m ]/J ′ and k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ]/J respectively,
as described in the beginning of this subsection. This yields in two commutative diagrams
k[x1 , . . . , xn ]/J o o
▼▼▼
▼▼▼
▼▼▼
▼▼& &
♣♣♣
♣♣♣
♣
♣
 ♣♣♣♣
x♣x
A

AT

ϕ

k[x1 , . . . , xn ] ⊗k k[x′1 , . . . ,x′m ]/J
❙❙❙❙
❙❙❙❙
❙❙❙❙
❙❙❙❙
❙) )
AT
❥
❥❥ ❥
ϕ ❥❥❥❥
❥❥
❥❥❥❥

❥
❥
u ❥❥
A u❥

k[x1 , . . . , xn ] ⊗k k[x′1 , . . . , x′m ]/J
❙❙❙❙
❙❙❙❙
❙❙❙❙
❙❙❙❙
❙) )
AT
❥
❥
❥
❥
ϕ ❥❥❥❥❥
❥❥

❥❥❥❥
❥
❥
❥
u❥
A u❥

/ / k[x′ , . . . , x′ ]/J ′
1
m▼
▼▼▼
▼▼▼
▼▼▼
▼▼& &

AT
♣♣♣
♣
♣
♣♣
 ♣♣♣♣♣
ww♣
A
ϕ′

what implies that ϕ = ϕ′ = ϕ.
Example 1. For example consider A1 = A2 = k[x, y]/(x2 − y), A0 = k[x]/(x2 ), with
homomorphisms fi : x 7→ x, y 7→ 0, i = 1, 2. The ”occasional” affine representation
used in the definition of these algebras cannot be involved to construct their product
since A1 ⊗k[x,y] A2 = k[x, y]/(x2 − y) 6= A0 . Then it is necessary to form a new affine
representation which fits for constructing a product, using Hard case.
The algebra A0 = k[x]/(x2 ) contains unique maximal principal ideal. Its generating
element x corresponds to first variable x1 and gives rise to the affine representation
k[x1 ] ։ A0 , x1 7→ x. Further, manipulations according to the Hard case lead to the
polynomial algebra k[x1 , x2 , x3 , y] and representations for algebras
A1 = k[x1 , x2 , x3 , y]/(x21 − x2 , x3 , x21 − y),

A2 = k[x1 , x2 , x3 , y]/(x21 − x3 , x2 , y).

These algebras represent geometrically two parabolas with common tangent line in two
2-dimensional planes in 4-dimensional affine space. Planes meet along this tangent line.
In this case
A1 ⊗k[x1 ,x2 ,x3 ,y] A2

=

k[x1 , x2 , x3 , y]/(x21 − x2 , x3 , x21 − y, x21 − x3 , x2 , y)

=

k[x1 , x2 , x3 , y]/(x21 , x2 , x3 , y) = A0 .

This means that our two parabolas intersect along the subscheme defined by the algebra
A0 . This validates application of Easy case to affine representations we’ve constructed.
The list J of monomials vanishing in both algebras Ai , i = 1, 2, is empty. The ideal < L >
has a form < L >= (x21 − x2 − x3 , x2 − y, x2 x3 ), and A1 ×A0 A2 = k[x1 , x2 , x3 , y]/ < L >=
k[x1 , x2 , x3 , y]/(x21 − x2 − x3 , x2 − y, x2 x3 ) = k[x1 , x2 , x3 ]/(x21 − x2 − x3 , x2 x3 ). From the
14

geometrical point of view this is union of two parabolas having a common tangent line
at the origin. Parabolas lie in different 2-planes which meet along parabolas’ common
tangent line.

References
[1] Danilov V.I. Algebraic manifolds and schemes. (Russian) // Sovremennye Problemy
Matematiki. Fundamental’nye napravleniya (Contemporary Problems of Math. Fundamental Directions) Vol. 23 (Itogi nauki i tehn. VINITI RAN USSR), 1988, 172 –
302.
[2] Knutson D. Algebraic Spaces. Lecture Notes in Mathematics, 203. Springer, 1971.
[3] Mumford D., Fogarty J. Geometric Invariant Theory. Second enlarged Ed. Berlin –
Heidelberg – New York, Springer-Verlag, 1982.
[4] Hartshorne R. Algebraic Geometry (graduate texts in Math.: 52) New York.
Springer-Verlag, 1977.
[5] Gel’fand S. I., Manin Yu. I. Homological algebra (Russian) (Gomologicheskaya algebra) // Sovremennye Problemy Matematiki. Fundamental’nye napravleniya (Contemporary Problems of Math. Fundamental Directions). Itogi nauki i tehn. VINITI
RAN USSR Vol. 38, 1989. P. 5 – 238.

15

