Questions tagged [schemes]
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 1950s and the 1960s.
780 questions
1
vote
0
answers
89
views
Holomorphic convergence conditions on $\mathbb C((z))$-valued points of a group $G$
Let $G$ be a complex, connected, simply connected, semisimple group. I'm trying to compare the following two spaces: The free loop space $LG$ of $G$, and the $\mathbb C((z))$-valued points of $G$, $G(\...
- 627
7
votes
1
answer
943
views
Examples of non-projective morphisms with projective fibres
Let $X\to S$ be a morphism of noetherian schemes such that, for all $s$ in $S$, the morphism $X_s\to $ Spec $k(s)$ is projective.
Then it doesn't follow that $X\to S$ is projective in general. In ...
- 71
1
vote
2
answers
3k
views
Pullback of a constant sheaf
Let $\varphi:X\to Y$ be a surjective morphism of schemes which are connected and of finite type.
Let $A$ be an abelian group, $\mathscr{F}$ be the constant sheaf on $X$ with fibers $A$ and $\mathscr{...
- 251
8
votes
1
answer
3k
views
Orbits of group scheme action
I am interested in orbits of the action of a group scheme on a scheme and I'm particularly interested in the following special case: Let $k$ be an algebraically closed field, let $G$ be an affine ...
- 83
2
votes
1
answer
145
views
Cohen-Macaulayness of the scheme of centralizer
Let $G$ be a simply connected group over an algebraically closed field $k$, and
$I:=\{(g,\gamma)\in G\times G\vert~ g\gamma=\gamma g\}$
the scheme of centralizer.
Is $I$ a Cohen-Macaulay scheme ...
- 3,472
1
vote
1
answer
535
views
Examples of Quot schemes
I'm studying Quot schemes, that I denote with $Quot_{N,X,P}$, with $N \in \mathbb{Z}$, $X \subset \mathbb{P}^d$ and $P \in \mathbb{Q}[t]$. So, I'm looking for explicit examples of Quot schemes. Could ...
- 243
3
votes
2
answers
500
views
Varieties that do not extend to flat families
Is it easy to give an example of a function field $K$ and a smooth proper variety $X$ over $K$ that does not extend to a flat scheme over $B$, where $B$ is a smooth proper variety with function field $...
- 31
5
votes
3
answers
253
views
Subset of Spec(A) realized as inverse image of some Spec(B)
Let $A$ be a (commutative) ring and $U$ be an arbitrary subset of $\mathrm{Spec}(A)$. Do there exist a ring $B$ and a ring homomorphism $\varphi\colon A\to B$ such that $\varphi^{-1}(\mathrm{Spec}(B))=...
- 73
6
votes
0
answers
400
views
Differential Geometry of (Non-Abelian) Gerbes in the language of Brylinski
Context
In an effort to have a definition for connection on a non-abelian gerbe, in the style of Brylinski, I am reading Breen and Messing's Differential Geometry of Gerbes [BM]. It seems that there ...
- 1,611
6
votes
1
answer
2k
views
Does a section of a morphism of schemes give a subscheme?
Let $f:X\rightarrow Y$ be a morphism of schemes (or algebraic spaces), and $s:Y\rightarrow X$ is a section to $f$, i.e. $fs=1_{Y}$.
Question: Is $s$ an (closed) immersion?
- 997
3
votes
1
answer
424
views
Are Isom-schemes geometrically connected
This question is about properties of Isom-schemes that are well-known over algebraically closed fields.
Let $K$ be a field of characteristic zero, let $C$ be a smooth projective geometrically ...
- 123
3
votes
0
answers
90
views
on Neron defect of smoothness for groups schemes
Let $G$ a semisimple simply connected group over $\mathbb{C}$.
Let $\gamma\in G(\mathbb{C}[[t]])$ such that $\gamma$ is regular semisimple on $G(\mathbb{C}((t)))$.
We consider $I_{\gamma}$ the group ...
- 3,472
0
votes
0
answers
67
views
open subset in constructible set of divisors
Let a smooth projective curve $X$ over $\mathbb{C}$.
Let a pair $(x, D)$ a pair xith a closed point $x$ and $D$ an effective divisor on $X$, such that $d_{x}:=m_{x}(D)\neq 0$.
Let $N=\deg (D)$ and $X^...
- 3,472
1
vote
1
answer
543
views
Infinite residue field extensions and algebraic closure of residue fields
Let $X$ be a $K$-scheme of finite type over a field $K$, let $L$ be an extension field of $K$, let $X_L := L \times_K X$, and let $p:X_L \rightarrow X$ be the projection. For each $x \in X_L$ we get ...
- 313
4
votes
1
answer
871
views
Closed points of field extension of k-scheme under projection
I really couldn't figure out the answer to the following question: Let $X$ be a scheme of finite type over a field $k$ and let $K$ be an extension field of $k$. Let $X_K := K \times_k X$ be the base ...
- 313
3
votes
1
answer
283
views
When is the gluing of two finite type affine Z-schemes affine?
Let $A$ and $B$ be finitely generated $\mathbf{Z}$-algebra. Suppose that there exists two coprime integers $m$ and $n$ and an isomorphism of $\mathbf{Z}$-algebra
$\phi:A\otimes_{\mathbf{Z}}\mathbf{Z}[...
- 7,609
2
votes
0
answers
102
views
semicontinuity of the conductor defined by Temkin
We say a principal pair $(X,\mathcal{I})$ where $X=Spec(A)$ is affine scheme and $\mathcal{I}=\tilde{I}$ where $I\subset A$ is a principal ideal generated by $\pi$ wich is a non zero divisor.
For a ...
- 3,472
3
votes
1
answer
596
views
Can I conclude that a morphism of vector bundles is zero if it is so fiberwise?
Let $f: X \rightarrow Y$ be a flat morphism of locally noetherian schemes and $\varphi: \mathcal U \rightarrow \mathcal V$ a map of vector bundles (locally free sheaves of finite rank) on $X$.
I want ...
- 39
1
vote
0
answers
205
views
Reducibility of fibers over closed points implies reducibility of the generic geometric fiber?
Suppose that $f\colon X\to Y$ is a proper (or even projective) morphism of (reduced) algebraic varieties over an algebraically closed field $k$. If fibers of $f$ over all closed points of $Y$ are ...
- 1,839
2
votes
0
answers
141
views
scheme of sections over complete local ring
Let $f:X\rightarrow S= Spec(k[[\pi]])$ a finite type faithfully flat morphism.
Let $U\subset X$ be an open subset such that $U$ is smooth and surjective on $S$.
We consider the $k$-scheme $X(k[[\pi]]...
- 3,472
1
vote
0
answers
128
views
smooth morphism from a finite type source
Let $f: X\rightarrow Y$ a smooth morphism over a field $k$. We assume that $X$ is locally of finite type, does it imply that $Y$ is also locally of finite type?
- 3,472
1
vote
0
answers
134
views
ind scheme and Jacobson property
Let $G$ a semisimple group over $k$ and $k$ algebraically closed.
Let $G(k((t)))$ the corresponding ind-scheme, does it satisfies the Jacobson property, say closed points are dense in it?
- 3,472
0
votes
0
answers
217
views
on the fibers over closed points
Let $X$ and $S$ $k$-schemes of finite type . ($k$ a field) and $U$ an open subset of $X$
Let $f:X\rightarrow S$ a $k$-morphism of finite type.
We assume that for any closed point $s\in S(\bar{k})$, $...
- 3,472
2
votes
0
answers
250
views
fpqc, formal smoothness
Based on Possible formal smoothness mistake in EGA, let $X$ and $Y$ $k$-schemes ($k$ a field),
let $f:X\rightarrow Y$ a fpqc morphism such that $f$ is formally smooth and $X$ formally smooth, do we ...
- 3,472
2
votes
1
answer
334
views
flat and finite type morphisms
Let $f:X\rightarrow Y$ a faithfully flat morphism between $k$-schemes. We assume that the fibers are locally of finite type, do we have that $f$ is locally of finite type?
- 3,472
5
votes
0
answers
260
views
formal smooth morphism with a formal smooth source
Let $f:X\rightarrow Y$ a morpism between $k$-schemes ( $k$ a field).
We suppose that X is formally smooth and f is formally smooth and surjective.
Do we have that $Y$ is formally smooth?
Or if it's ...
- 3,472
2
votes
0
answers
236
views
descent for formally smooth maps
Let $f:X\rightarrow Y$ a morphism between schemes and $Y'\rightarrow Y$ a fpqc morphism
such that the base change $f'$ of $f$ to $Y'$ is formally smooth, does it imply that $f$ is formally smooth?
- 3,472
1
vote
0
answers
154
views
closed subscheme of ind scheme
Let $X$ a ind-scheme of ind-finite type and ind-affine. (e.g, take a k- smooth, affine scheme of finte type $T$, $C$ a smooth projective curve over $k$ and $x$ a closed point, then $X=T(C-x)$ verifies ...
- 3,472
1
vote
2
answers
492
views
open immersion between affine spaces
Let $j:\mathbb{A}^{n}\rightarrow\mathbb{A}^{n}$ an open immersion over a field $k$. Is it an isomorphism?
- 3,472
-1
votes
1
answer
422
views
on flat morphisms
Let $j:U\rightarrow X$ an open immersion between k-schemes of finite type and $f:X\rightarrow S$ a surjective k-morphism of finite type.
We suppose that $f\circ j:U\rightarrow S$ is faithfully flat, ...
- 3,472
4
votes
2
answers
2k
views
When is the determinant of the push-forward of an ample line bundle ample
Let $f:X\to S$ be a "nice" morphism of "nice" schemes. Let $L$ be an ample line bundle on $X$.
When is $\det f_\ast L$ also ample?
A "nice" morphism could be anything from "finite type separated" to ...
10
votes
1
answer
838
views
Is there a direct proof that affine schemes are fppf quasi-compact?
Let $A$ be a (commutative) ring. A family $(B_i)_{i\in I}$ of $A$-algebras is said to be an fppf cover if it satisfies three properties: (1) each $B_i$ is flat as an $A$-module, (2) each $B_i$ is ...
- 9,408
8
votes
1
answer
741
views
What about schemes built up out of graded rings?
Toen-Vaquié construct a category of schemes relative to some complete cocomplete closed symmetric monoidal category $C$. Affine schemes correspond by definition 1:1 to commutative monoid objects in $C$...
- 63.1k
2
votes
0
answers
175
views
Regular subscheme of a projective limit of schemes
Let $S\cong \varprojlim S_i$, where $S$ and all $S_i$ are separated regular excellent of finite Krull dimension. Let $Z$ be a closed regular subscheme of $S$. As Theorem 8.8.2 of EGA4 shows, $Z$ comes ...
- 16.9k
4
votes
1
answer
537
views
Which schemes can be presented as limits of smooth varieties?
I can prove a certain statement for any scheme that can be presented as the limit of an essentially affine (filtering) projective system of smooth varieties over a perfect field such the connecting ...
- 16.9k
2
votes
0
answers
143
views
Dualizing sheaf in mixed characteristic for regular schemes.
I've been looking many places, but everything I find seems to either talk about (a) varieties or (b) extremely general situations with dualizing complexes. As I am not in the situation of (a) (i.e. ...
- 419
0
votes
0
answers
259
views
How would you call a subscheme of a smooth $S$-scheme?
In my preprint I propose to call $X/S$ quasi-smooth if $X$ can be embedded into a smooth $X'/S$. Does this sound fine?
Upd. So, smoothly embeddable is better? Is it ok to call a morphism smoothly ...
- 16.9k
6
votes
0
answers
223
views
If $X,Y$ are regular and of finite type over $S$, can $X\times _S Y$ be embedded into a regular $S$-scheme?
It seems to be well-known (see Is there an example of a variety over the complex numbers with no embedding into a smooth variety?) that a general finite type $S$-scheme does not embedd into a regular $...
- 16.9k
0
votes
0
answers
103
views
Why do I get a morphism $f_P: Spec \mathcal{O}_K \to \mathcal{X}$ for every point $P\in X(K)$? How does this morphism look like?
Hello,
my question probably isn't too hard, but I can't find the answer.
Let $K$ be a number field, $\mathcal{X} /\mathcal{O}_K$ be an arithmetic surface, which is a regular model for a projective, ...
- 1
0
votes
0
answers
666
views
Quicker way to show that the restriction to a open subvariety is again proper?
Dear all,
Let $f: X \rightarrow Y$ be a morphism of projective varieties over $\mathbb{C}$. Also let $V \subset Y$ be a nontrivial open subvariety and set $U:= f^{-1}(V)$.
I would like to show that $...
- 469
5
votes
0
answers
432
views
Is the pushout of smooth varieties along a smooth closed subvariety again a variety?
The following question is motivated by a desire to find a rough analog in algebraic geometry of the usual notion of gluing of smooth bordisms.
Suppose k is an algebraically closed field of ...
- 37.8k
13
votes
1
answer
2k
views
Which local ringed spaces are schemes?
(This was originally asked on math.stackexchange, but didn't get any responses. I figured it might be worthwhile to move it here and try again.)
This paper gives a proof that the underlying ...
- 639
3
votes
1
answer
389
views
Torsion of elliptic curves is finite
Let $S$ be an integral 1-dimensional scheme with function field $K$.
Let $E$ be an elliptic curve over $K$. The torsion of $E$ over $K$ is not necessarily finite. As an example consider an elliptic ...
- 295
10
votes
1
answer
1k
views
How does descent theory imply a sheaf is a scheme?
I've noticed that often authors will comment that "descent theory" shows that some sheaf in the étale topology is actually a scheme. I was wondering what result in descent theory actually implies ...
- 2,108
15
votes
2
answers
611
views
Minimal number of generators for $A^n$
Let $A$ be a commutative ring and $n \in \mathbb{N}$. What is the minimal number $e_A(n)$ of generators of the $A$-algebra $A^n$? Here is what I already know (I can add proofs if necessary) from a ...
- 63.1k
6
votes
1
answer
650
views
Finitely-affine morphisms; cohomological dimension of schemes
Let $f\colon X\to U$ be a morphism of Noetherian schemes such that the scheme $U$ is affine and the scheme $X$ is separated and, e.g., quasi-projective over affine. Let $U=\bigcup_\alpha U_\alpha$ be ...
- 15.6k
7
votes
1
answer
2k
views
(Mixed) Tate motives
Hi there,
in recent times I was reading texts about motives, and I want to ask
something about Tate motives which is not clear to me (as I came across
different definitions in different texts).
Let ...
- 4,547
2
votes
0
answers
243
views
Segre class of cones and Base change of projective cones
I'm trying to work out a result in Fulton's intersection theory and I think I need the following basic result about base change of projective cones (whose support may not be the entire base scheme).
...
- 3,555
5
votes
0
answers
86
views
Category of the smooth formal p-groups over a local ring
Fontaine showed in Asterisque 47-48 that the category of finite dimensional smooth formal $p$-groups over the ring $A=W(k)$ of the Witt vectors over a finite field $k$ is anti-equivalent to the ...
- 51
8
votes
0
answers
1k
views
Two definitions of smoothness?
This is confusing, there appear to be possibly two definitions of smoothness in algebraic geometry for a morphism $f: X \rightarrow Y$ of schemes of finite type over an arbitrary field $k$.
...
- 3,555