2
votes
1answer
81 views

What is a field of definition of a morphism?

An algebraic variety $X$ over a field $K$ is a $K$-scheme integral separated and of finite type over $K$. Definition: If $L$ is a subfield of $K$ we say that $X$ is defined over $L$ if there ...
4
votes
2answers
108 views

Geometric interpretation and computation of the Normal bundle

My question concern the definition, geometric meaning, and usage of the normal bundle in algebraic geometry. Let $X$ be a nonsingular variety over an algebraically closed field $k$, and $Y\subseteq ...
5
votes
0answers
65 views

For this morphism of integral schemes $X\to Y$, if $X$ is geometrically reduced (irreducible) then is $Y$ also geometrically reduced (irreducible)?

Let $k$ be an arbitrary field. Suppose that $C/k$ is an integral curve which is birationally equivalent to a projective line. Is it true that $C$ is geometrically reduced and irreducible? This is of ...
5
votes
1answer
148 views

Tangent sheaf of the Picard scheme

Let $X\overset{f}\to S$ be a flat morphism of schemes, and $S=\operatorname{Spec}(k)$ for an algebraically closed field $k=\bar{k}$. I'm just interested, for the moment, with schemes $X$ corresponding ...
3
votes
0answers
64 views

Divisors as a scheme

Let $S$ be a scheme and $X$ be a scheme over $S$ corresponding to a smooth projective curve. Define $X_d := X^d / \mathfrak{S}_d$, where $X^d$ denotes the usual $d$-fold cartesian product of $X$ and ...
4
votes
0answers
133 views

If $X\times C$ is isomorphic to $Y\times C$, does it follow that $X$ is isomorphic to $Y$

Let $k$ be a field. Let $X$, $Y$ and $C$ be varieties over $k$ such that $X\times_k C $ is isomorphic to $Y\times_k C$. Assume that $C$ is a curve. (The varieties $X$, $Y$ and $C$ are assumed to be ...
4
votes
1answer
142 views

The canonical divisor of the projective line

Let $A$ be a ring. Assume it has some nice properties if necessary, e.g., $A$ is a Dedekind domain. Let $\mathbf{P}^1_A$ be the projective line over $A$. I want to show that $-2 [\infty]$ is a ...
1
vote
1answer
112 views

Are smooth relative curves over an arbitrary base normal?

Let $X/S$ be a smooth, projective scheme of relative dimension one over a scheme $S$ (which we may assume is affine Noetherian, but need not be reduced nor irreducible nor even connected). For $s \in ...
2
votes
1answer
74 views

Twists of rational points

Let $X$ be a "nice" algebraic curve over some field $K$, say characteristic zero. The twists of $X$, i.e., the curves $Y$ over $K$ such that $X_{\overline K} \cong Y_{\overline K}$, are in bijection ...
1
vote
1answer
109 views

Can a non-proper variety contain a proper curve

Let $f:X\to S$ be a finite type, separated but non-proper morphism of schemes. Can there be a projective curve $g:C\to S$ and a closed immersion $C\to X$ over $S$? Just to be clear: A projective ...
6
votes
1answer
182 views

Is the Fermat scheme $x^p+y^p=z^p$ always normal

Let $K$ be a number field with ring of integers $O_K$. Is the closed subscheme $X$ of $\mathbf{P}^2_{O_K}$ given by the homogeneous equation $x^p+y^p=z^p$ normal? I know that this is true if ...
0
votes
1answer
133 views

Does the absolute Galois group act on the moduli space of curves

Do elements of the absolute Galois group $G=\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})$ of $\mathbf{Q}$ induce automorphisms of $\mathbf{C}$ if we extend the morphisms trivially to the rest of ...
2
votes
1answer
43 views

Are these sufficient conditions for point on an abstract curve to be regular?

Let $p\in{X}$ where $X$ is a curve-- here the definition of a curve is an integral, seperated, 1 dimensional scheme of finite type over a field $k$ (not necessarily algebraically closed). Moreover, ...