Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 5101

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.

2 votes

Embeddings of fields and rational points

Let $\eta \to S$ be the generic point of $S$. The function field of $S$ is exactly the residue field of $\eta$. Let $k(S) \subset K$ be a field extension (no need to assume that $K$ is algebraically c …
Daniel Loughran's user avatar
1 vote

Doing scheme theory with Hausdorff spaces

The replacement in algebraic geometry of the Hausdorff condition is that of a separated scheme. These behave in many respects like Hausdorff spaces, for the Zariski topology. But despite the Zarski t …
Daniel Loughran's user avatar
2 votes
Accepted

Dimension of Zariski closure of a closed point of generic fiber

Probably the easiest way to prove this is via flatness. The closure $\bar{x}$ is integral and dominates $S$, thus is flat over $S$ (see Proposition III.9.7 in Hartshorne). The dimension of the fibres …
Daniel Loughran's user avatar
3 votes
Accepted

Conjugate surfaces: informations about the orbits

This problem is of a more arithmetic nature, than geometric. For example, since every automorphism of $\mathbb{C}$ preserves $\mathbb{Q}$, we see that if $X$ can be defined over $\mathbb{Q}$, then $\ …
Daniel Loughran's user avatar
14 votes

Building algebraic geometry without prime ideals

This nice approach to points on schemes in fact becomes crucial once one leaves the world of schemes and travels to the galaxy of stacks. …
Daniel Loughran's user avatar
4 votes
Accepted

Does a smooth relative curve $X/S$ embed into $\mathbb{P}^3_S$?

This answer addresses the second question: "If we assume the fibers of $\pi$ are curves of genus $0$, can we embed $X$ into $\mathbb{P}^2_S$?" The answer to this is also no (providing there is a singu …
Daniel Loughran's user avatar
7 votes
1 answer
398 views

Higher-dimensional Artin L-functions

I begin by clarifying that the "higher-dimensional" in my question refers to analogues of Artin L-functions over higher dimensional base schemes than $\mathrm{Spec}(\mathbb{Z})$. Now for the set-up. …
Daniel Loughran's user avatar
6 votes
Accepted

Minimal fields of isomorphism for varieties

Yes if $K=\mathbb{R}$ for example, but no in general. Namely this fails for curves of genus $1$, over $\mathbb{Q}$, say. Given an elliptic curve $E$ over $\mathbb{Q}$ and a positive integer $d$, a ge …
Daniel Loughran's user avatar