The arithmetic-scheme tag has no usage guidance.

**0**

votes

**1**answer

212 views

### Linear systems over non-algebraically closed field

Let $X$ be a regular, irreducible projective scheme, of finite type over an arbitrary field $k$. Both Weil divisors and Cartier divisors are defined on $X$ and naturally correspond. If $k$ is ...

**5**

votes

**1**answer

566 views

### Is there a category-theoretic definition of the arithmetic Grothendieck group

Let $X$ be a regular scheme which is flat over $\mathbf{Z}$. The arithmetic Grothendieck group $\hat{K}(X)$ is defined to be the quotient of $\hat{G}(X)$ by $\hat{G}^\prime(X)$. This is actually quite ...

**10**

votes

**5**answers

3k views

### Examples and intuition for arithmetic schemes

How should a beginner learn about arithmetic schemes (interpret this as you wish, or as a regular scheme, proper and flat over Spec(Z))? What are the most important examples of such schemes? Good ...

**4**

votes

**1**answer

325 views

### Existence of proper regular models for varieties over Q and other global fields

What is known about regular proper models for smooth projective varieties over Q? Results for other global fields would also be interesting, as well as general comments and suggested references for ...