The first purpose of schemes theory is the geometrical study of solutions of algebraic systems of equations, not only over the real/complex numbers, but also over integer numbers (and more generally over any commutative ring with 1).It was finalized by Alexandre GROTHENDIECK, during the 1950's and ...

learn more… | top users | synonyms

6
votes
0answers
396 views

Ever seen a ringed group?

A locally ringed space is a common generalization of schemes and various manifolds. I am wondering about a locally ringed group which should be a common generalization of group schemes and various Lie ...
1
vote
1answer
759 views

Ringed and locally ringed spaces

A pair $(X,O_X)$ is a ringed space if $X$ is a topological space and $O_X$ is a sheaf of rings. If every stalk $O_{X,x}$ is a local ring, then we say that $(X,O_X)$ is a locally ringed space. In the ...
15
votes
4answers
2k views

When is an irreducible scheme quasi-compact?

The standard examples of schemes that are not quasi-compact are either non-noetherian or have an infinite number of irreducible components. It is also easy to find non-separated irreducible examples. ...
0
votes
1answer
283 views

Are morphisms of schemes generically affine

Let $f \colon X \to Y$ be a morphism of schemes, where $X$ and $Y$ are separated integral Noetherian schemes. Does there necessarily exist a nonempty open affine $U \subset Y$ such that $f^{-1}(U)$ is ...
9
votes
4answers
883 views

Replacing Spectrum with Valuations of a Field - An Alternative to Schemes?

A scheme is defined to be a sheaf which is locally isomorphic to the spectrum of a ring. The idea behind this is that given an affine coordinate ring of a variety over an algebraically closed field, ...
5
votes
1answer
720 views

Model of a scheme regular over the generic point

Let all schemes below be excellent. Let $X_0$ be a regular (not necessarily smooth, projective) non-empty scheme of finite type over the generic point $\eta$ of a regular connected scheme $S$. As the ...
3
votes
1answer
271 views

If $f:X\to S$ is a universal homeomorphism, is $f':X\times_S X\to X$ a nil-immersion?

If $f:X\to S$ is a universal homeomorphism, is $f':X\times_S X\to X$ always a nil-immersion? This seems to be easy, yet possibly I miss something. Should I give references to this fact in a paper?
5
votes
1answer
556 views

For a morphism f from a regular scheme, should there exist an open subscheme U of the target such that fibre of f at each point of U is regular

For a finite type morphism $f:X\to S$, $X$ is a regular scheme, should there always exist an open (dense) subscheme $U\subset S$ such that the fibre of $f$ at each Zariski point of $U$ is regular? All ...
8
votes
1answer
730 views

Can a scheme be defined by gluing open affines such that the intersections are affine?

One way to think of a manifold is as a family of of open subsets $U_i \subset \mathbb{R}^n$, together with distinguished subsets $V_{ij} \subset U_i$ and isomorphisms $\psi_{ij}: V_{ij} \to V_{ji}$ ...
2
votes
0answers
222 views

Colimit of an etale diagram of schemes

It is known that the category of schemes is not cocomplete (e.g. see this question: Colimits of schemes). However, do diagrams of schemes for which every morphism is etale have colimits? More ...
2
votes
1answer
905 views

on the genus of a function field

Let $K$ be an algebraic function field of one variable. Then we can define its genus. On the other hand, it can also be seen as a scheme, so we can define the arithmetic and geometric genus. Could ...
17
votes
6answers
1k views

Categorical construction of the category of schemes?

The answer to the following question is probably well known or the question itself is well known not to have a reasonable answer. In the latter case could you please let me know what the "right" ...
9
votes
1answer
368 views

Extending properties of commutative rings to schemes

I'm trying to pin down the various ways we can extend a property of commutative rings to a corresponding property for schemes. Let $P$ be a property of commutative rings. We could define a scheme ...
5
votes
5answers
2k views

When is the push-forward of the structure sheaf locally free

Let $f:X\longrightarrow Y$ be a morphism of noetherian schemes. Under what conditions is $f_\ast \mathcal{O}_X$ a locally free $\mathcal{O}_Y$-module? Example 1. Suppose that $f$ is affine. Then ...
0
votes
1answer
215 views

Restriction of Proj S to D(f) is isomorphic to Spec S_{(f)}

$S$ is a graded ring (over non-negative integers), $f \in S_{+}$ is a homogeneous element of positive degree, $D(f)$ the elements of Proj $S$ not containing $f$. I don't see the bijection between ...
5
votes
2answers
652 views

Philosophy : seeking examples illuminating deeper geometric ideas behind base change of schemes

So for certain base changes, it's clear that 'base change' really means base change from high school : for example, if a curve is defined over a field, it will be of course defined over any extension ...
1
vote
2answers
815 views

Closed subschemes and pulling back the structure sheaf via the inclusion map

I would just like a clarification related to closed subschemes. If $(X,{\cal O}_X)$ is a locally ringed space and $A\subset X$ is any subset with the subspace topology then $i^{-1}{\cal O}_X$ will be ...
2
votes
0answers
523 views

Quotient morphisms in the category of schemes

Which morphisms of schemes (or varieties, if you prefer) $\pi: X \rightarrow Y$ are quotient morphisms, i.e. satisfy the following universal property (*)? (*) For any morphism $f:X \rightarrow Z$, ...
10
votes
3answers
814 views

What is the difference between Grothendieck groups K_0(X) vs K^0(X) on schemes?

More specifically, I was wondering if there are well-known conditions to put on $X$ in order to make $K_0(X)\simeq K^0(X)$. Wikipedia says they are the same if $X$ is smooth. It seems to me that you ...
11
votes
4answers
2k views

Extending vector bundles on a given open subscheme

Many people seem to know the following. Personally, I don't quite understand it though and maybe I'm wrong. It's the fact that "a vector bundle on an open subscheme extends in only one way to a vector ...
4
votes
1answer
464 views

When singular points of a reduced scheme are not dense in it?

A stupid AG question: could singular (Zarisky) points be dense in a reduced (Noetherian) scheme $S$? If yes, which 'standard' restrictions on $S$ could ensure that this does not happen? For example, ...
4
votes
2answers
403 views

Given a morphism from X to Y, when is the morphism from O_Y to the pushforward of O_X injective

I would like to know under what condition the morphism $\mathcal{O}_Y\longrightarrow f_\ast \mathcal{O}_X$ induced by a morphism $f:X\longrightarrow Y$ of schemes is injective. Let me give an example ...
3
votes
1answer
539 views

Quasi-coherent sheaves of O_X-algebras

Let $X$ be a quasi-compact scheme and let $\mathcal{A}$ be a quasi-coherent sheaf of $\mathcal{O}_X$-algebras on $X$. $X$ being quasi-compact, we can write $X = U_1 \cup \dots \cup U_n$ with each ...
20
votes
2answers
1k views

Ring-theoretic characterization of open affines?

Background Recall that, given two commutative rings $A$ and $B$, the set of morphisms of rings $A\to B$ is in bijection with the set of morphisms of schemes $\text{Spec}(B)\to\text{Spec}(A)$. ...
1
vote
3answers
1k views

Properties stable under base change in algebraic geometry

I remember to have seen a big list in the EGA of properties $(P)$ such that: if $f : X \to Y$ has $(P)$ then, $f_{(S')} : X_{(S')}\to Y_{(S')}$ has $(P)$, where $f_{(S')}$ is the morphism $f$ after a ...
10
votes
1answer
691 views

Construction of the petit Zariski topos out of the gros topos of a scheme

Let S be a scheme. Let (Sch/S) be a small category of schemes over S (including essentially all finitely presented schemes affine over S). Let E = (Sch/S)zar denote the gros Zariski topos with its ...
1
vote
3answers
581 views

Functoriality of Hironaka's resolution of singularities

Is Hironaka's resolution of singularities functorial? I know that the resolution is not unique, there are flips etc. But if we have a rational map f:X---> Y, can we chose resolutions X'->X and Y'->Y ...
12
votes
1answer
929 views

Images and Monomorphisms of Schemes

If $X$ is an object in an arbitrary category, there is a natural definition of a subobject of $X$ as a monomorphism into $X$ (or really an equivalence class of monomorphisms). If $X$ is a scheme, ...
9
votes
3answers
1k views

Infinite projective space

Is infinite (say complex) projective space a scheme? More generally, can schemes have infinite cardinal dimension? It seems that infinite dimensional projective space is not a manifold, since it is ...
1
vote
2answers
329 views

morphism of schemes that is closed at topological space level

Suppose $X\stackrel f\to Y$ be a morphism of finite type $k$-schemes, where $k$ is a field; for the time being let me say that $k$ is algebraically closed. Then one knows that $f$ takes $k$-valued ...
6
votes
2answers
645 views

Functorial characterization of morphisms of schemes

This question is akin in spirit to this one: Functorial characterization of open subschemes? In the above MO question, a "functorial" characterization is given for closed immersions and open ...
4
votes
2answers
425 views

Relationship between Line Bundles with isomorphic ring of sections

Suppose two positive holomorphic line bundles $L_1 \to X_1, L_2\to X_2$ over two projective complex manifold $X_1, X_2$ have isomorphic ring of sections $R=R_1=R_2$ where ...
3
votes
3answers
578 views

Affine morphisms in different settings coincide?

1.If we identify two schemes $X$ and $Y$ as two presheaves of set on category of affine schemes.($Aff:=\text{CRing}^{op}$) If there is a morphism as natural transformations $f:X\to Y$, then, how to ...
19
votes
6answers
3k views

How much of scheme theory can you visualize?

I am just starting to learn about schemes and algebraic geometry in general, but I am finding it very hard to visualize things. For example, affine schemes that look like varieties are easily ...
11
votes
3answers
2k views

Closed vs Rational Points on Schemes

Background: When Ueno builds the fully faithful functor from Var/k to Sch/k he mentions that the variety $V$ can be identified with the rational points of $t(V)$ over $k$. I know how to prove this on ...
15
votes
2answers
1k views

A book on locally ringed spaces?

Are there enough interesting results that hold for general locally ringed spaces for a book to have been written? If there are, do you know of a book? If you do, pelase post it, one per answer and a ...
9
votes
4answers
1k views

Nonalgebraic complex varieties

I'm turning here (a variation of) a question asked by a friend of mine. For the purposes of this question I will say that a compact complex manifold is projective if it is isomorphic to a subvariety ...
29
votes
2answers
1k views

A closed subscheme of an open subscheme that is not an open subscheme of a closed subscheme?

A morphism $f: V \rightarrow X$ of schemes is a locally closed immersion if it can be factored into a closed immersion followed by an open immersion. It is not hard to show that if $f$ is an open ...
19
votes
3answers
2k views

Reduced scheme and closed points

In The Geometry of Schemes by Eisenbud and Harris, Exercise I-32 asks one to show that a scheme $X$ is reduced if and only if every local ring $\mathcal{O}_{X,p}$ is reduced for closed points $p \in ...
21
votes
2answers
1k views

Commutative rings to algebraic spaces in one jump?

Typically, in the functor of points approach, one constructs the category of algebraic spaces by first constructing the category of locally representable sheaves for the global Zariski topology ...
9
votes
3answers
867 views

Non-simply-connected smooth proper scheme over Z?

Source This question came up in the discussion between Kevin Buzzard and Minhyong Kim in the comments to Smooth proper scheme over Z. It was 2 weeks ago, so I took the liberty of posting it as ...
27
votes
7answers
3k views

Arbitrary products of schemes don't exist, do they?

Thinking of arbitrary tensor products of rings, $A=\otimes_i A_i$ ($i\in I$, an arbitrary index set), I have recently realized that $Spec(A)$ should be the product of the schemes $Spec(A_i)$, a ...
8
votes
4answers
937 views

The category of finite locally-free commutative group schemes

I'm trying to understand the properties of the category $FL/S$ of finite locally-free commutative group schemes over an arbitrary base-scheme $S$. I know it is not in general an abelian category: Over ...
9
votes
1answer
320 views

Can an algebraic space fail to have a unviersal map to a scheme?

Let $\mathcal{X}$ be an algebraic space. Can it happen that there does not exist a map $\mathcal{X} \to X$ with $X$ a scheme that is initial for maps from $\mathcal{X}$ to schemes? Are there ...
12
votes
3answers
529 views

Constructing a degeneration (as a group scheme) of G_m to G_a

SGA 3, expose 12, remark 1.6 says that one can easily construct a group scheme over a discrete valuation ring with generic fiber Gm and special fiber Ga. What is such an example?
15
votes
4answers
570 views

What are the Benefits of Using Algebraic Spaces over Schemes?

I have heard that algebraic spaces have better formal properties than schemes. What are these benefits? Also, is there a natural way to go straight from affine schemes to algebraic spaces bypassing ...
5
votes
4answers
392 views

Can isomorphisms of schemes be constructed on formal neighborhoods?

Let (A,m) be a complete local Noetherian ring and let X and Y be two schemes of finite type over A (and flat over A). Let Xn and Yn be the reductions of X and Y mod mn+1. Question: Suppose there ...
11
votes
1answer
733 views

Functorial characterization of open subschemes?

Given a morphism of schemes f: U → X, can one determine when f is an isomorphism of U onto an open subscheme of X in terms of some induced functors between the categories of quasicoherent modules ...
18
votes
4answers
1k views

Spectrum of the Grothendieck ring of varieties

Here's a problem that may ultimately require just simple algebraic-geometry skills to be solved, or perhaps it's very deep and will never be solved at all. From the comments, some literature and my ...
13
votes
3answers
835 views

Is there an example of a variety over the complex numbers with no embedding into a smooth variety?

Is there an example of a variety over the complex numbers with no embedding into a smooth variety?