# Tagged Questions

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 ...

174 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, ...
247 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 ...
417 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 ...
390 views

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 ...
129 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 ...
252 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 ...
124 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. ...
147 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 ...
159 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 ...
92 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, ...
189 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 ...
238 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 ...
391 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 ...
235 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 ...
548 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 ...
332 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 ...
872 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 ...
192 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). ...
68 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 ...
587 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$. ...
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 ...
277 views

### G-torsor whose ring of regular functions is a field.

I already asked this question on stackexchange but didn't get any answer. Maybe it is better suited for mathoverflow. Let $G$ be an affine group scheme (not necessarily of finite type) over ...
235 views

### Projective spaces with nonconstant regular functions

I can construct a scheme by patching that represents a projective space over an arbitrary ring. I can also prove that, if the ring is a Jacobson domain, the only regular functions on it are constants. ...
414 views

### Irreducible “family” of relative effective divisors of a smooth morphism

Let $\pi:X\rightarrow Y$ be a smooth proper (assume projective if needed) morphism of schemes with $Y$ locally noetherian, and let $Z\subset X$ be an irreducible integral closed subscheme containing ...
248 views

### Induced maps of an automorphism of a curve on the tangent ot its jacobian and on its differential forms

Let $C$ be a smooth projective curve of genus $g$ over a field $k$ and $J$ be its jacobian (defined over $k$). Let $\sigma: C \rightarrow C$ be a $k$-automorphsm of $C$. This automorphism $\sigma$ ...
495 views

### K-Theory of Schemes: Monoidal vs. Exact

There are several ways for defining the K-Theory of a category depending on which structure it admits. The K-Theory of schemes is commonly defined as the "group completion" of the category of ...
279 views

### When are points of a scheme a variety?

I think of an affine scheme over a field $k$ as an extension of the concept of a (possibly reducible) variety over $k$, by extending the affine $n$-space $k^n$ to $A^n$, where $A$ is a commutative ...
233 views

### Proper morphisms: Lie groups vs. group schemes

A Lie group can (often) be recovered as the $\mathbb{R}$-points of a group scheme. I am wondering if this parallelism carries over to proper actions. In particular, let $G$ be a Lie group acting on a ...
393 views

### Schemes associated to vector spaces

Let $k$ be a field. Let $F$ be a covariant functor on the category of $k$-algebras to the category of sets. Assume that the opposite functor $F^{op}$ on the category of affine $k$-schemes is a sheaf. ...
165 views

### Putting two complete varieties in a family over the projective line

Let $X$ and $Y$ be two proper varieties of dimension $n$ over a field $k$. I'm looking for "reasonable" conditions, under which, there exists a proper and dominant morphism $f:V\to \mathbb{P}^1_k$, ...
433 views

### technical question about a paper on Belyi's theorem

I'm trying to understand Belyi's theorem, as presented here: http://eprints.soton.ac.uk/29785/1/b45h1koe.pdf He defines a curve $X$ over a field $C$ to be a smooth projective geometrically connected ...
303 views

### What is known about “singularity types” in the Murphy's Law sense?

In his "Murphy's Law" paper, Vakil gives a definition equivalent to the following: The singularity type of a pointed scheme $(X,p)$ its equivalence class, under the following equivalence relation: ...
485 views

892 views

### Affine scheme on spec(A) of a ring A as the sheafification of a pre-sheave on spec(A)?

It is obvious that there is a parallel between the definition of structure sheaf of $\operatorname{Spec}(A)$ versus the sheafification of a pre-sheaf. The definition of the sheaf $\mathscr F^+$ ...
This is a question about a proof in Hartshorne, but let me try to formulate it without reference to Hartshorne. Let $X$ be a noetherian scheme (which is also integral, separated and regular in ...
An affine scheme $X = Spec(A)$ is said to be smooth if for any closed embedding $X\subset\mathbf A^n$, of ideal $I$, it is true that, locally on $x\in X$, the ideal $I$ can be generated by a sequence ...