Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $(X_i)_{i\in I}$ be a family of affine schemes, where $I$ is an infinite set and $X_i = Spec(A_i)$ for each $i \in I$. Let $X$ be a coproduct of $(X_i)_{i\in I}$ in the category of schemes. Let $\Gamma(X, \mathcal{O}_X)$ be the ring of global sections.

(1) Is $X$ affine?

(2) Can we deterimine the struture of $\Gamma(X, \mathcal{O}_X)$ by $(A_i)_{i\in I}$?

share|improve this question
    
(2) of course has nothing to do with schemes. Look at the definition of the coproduct of ringed spaces, and you are done. –  Martin Brandenburg May 13 '13 at 8:52

2 Answers 2

up vote 11 down vote accepted

(1)No, the scheme $X=\bigsqcup X_i$ is not affine (unless almost all $X_i$ are empty!) because its underlying topological space $\mid X\mid=\bigsqcup \mid X_i\mid$ is not quasi-compact.

(2) Yes, $\Gamma (X,\mathcal O_X)$ is determined by the formula $$\Gamma (X,\mathcal O_X)=\prod \Gamma (X_i,\mathcal O_{X_i})=\prod A_i$$

Remarks
a) The scheme $X$ has as underlying topological space $\mid X\mid=\bigsqcup \mid X_i\mid$ , as already mentioned, and its structure sheaf is the unique sheaf of rings $\mathcal O_X$ satisfying $\mathcal O_X\mid X_i=\mathcal O_{X_i}$.
[O my dear nitpicking brothers , notice that "unique" here really means unique, and not unique up to isomorphism!]

b) In order to prevent any misunderstanding, let me emphasize that the scheme $X$ is the coproduct of the schemes $X_i$ in the category of all schemes (not in the category of affine schemes!).
In other words, the open immersions $u_i :X_i\hookrightarrow X$ produce bijections $Hom_{schemes}(X,Y)=\prod Hom_{schemes}(X_i,Y): f\mapsto f\circ u_i$ which are functorial in the scheme $Y$.

Edit
c) Beware the subtle fact that the family of affine schemes $X_i=Spec(A_i)$ also has a coproduct in the category $Affsch$ of affine schemes, namely $X'=Spec(\prod A_i)$.
There is a canonical morphism of schemes $$\alpha: X=\bigsqcup_{Sch} X_i \to X'=\bigsqcup_{Affsch} X_i=Spec(\prod A_i)$$ of the coproduct of the $X_i$'s in the category of all schemes to the coproduct of the $X_i$'s in the category of affine schemes.
This morphism $\alpha$ is determined by its restrictions $\alpha|X_j:X_j=Spec(A_j)\to Spec(\prod A_i)$, which are dual to the ring projections $\prod A_i\to A_j$.
And finally, let me insist: this canonical morphism $\alpha$ is an isomorphism of schemes if and only the family of schemes$(X_i)$ is a finite family.
[This edit is the consequence of a pleasant discussion with my friend and very competent colleague Dehon: thanks François-Xavier!]

share|improve this answer
    
Dear Georges, Could you explain why (2) follows from b)? –  Makoto Kato Jan 4 '13 at 0:39
2  
Dear @Makoto, The first equality in (2) has nothing to do with schemes or even locally ringed spaces. If $X$ is a topological space with an open cover $X=\bigcup_iX_i$ such that $X_i\cap X_j=\emptyset$ for $i\neq j$, and $F$ is any sheaf on $X$ (of modules, sets, rings, etc.), then the sheaf axioms stipulate that natural map $F(X)\rightarrow\prod_iF(X_i)$ is an isomorphism. Explicitly, separatedness of $F$ states that the map is injective, and the "gluability" axiom says that an arbitrary element of the RHS, i.e., a tuple $(s_i)_i$ lifts to to an element of the LHS (because the condition –  Keenan Kidwell Jan 4 '13 at 2:23
    
$s_i\vert_{X_i\cap X_j}=s_j\vert_{X_i\cap X_j}$ is vacuous here). The second equality in (2) follows from the definition of the structure sheaf of $\mathrm{Spec}(A)$. –  Keenan Kidwell Jan 4 '13 at 2:26
    
@KeenanKidwell I think you are right. I was thinking about $Y = Spec(\mathbb{Z}[X])$. I would like to accept the both answers(this and yours), but I can only accept one. –  Makoto Kato Jan 4 '13 at 4:08
    
Dear @Keenan, thanks for your perfect comment :+1. And while I'm at it , +1 for your answer too ! –  Georges Elencwajg Jan 4 '13 at 8:15

No, $X$ is not affine if $I$ is infinite because an infinite disjoint union of schemes is not quasi-compact. The natural map $\mathscr{O}_X(X)\rightarrow\prod_i\mathscr{O}_X(X_i)=\prod_iA_i$ is an isomorphism by the definition of a sheaf together with the fact that $X_i\cap X_j=\emptyset$ inside $X$ for all $i\neq j$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.