# Tagged Questions

29 views

### Definition - Logarithmic Zeros and Algebraic Vector Fields

In Algebraic Geometry, what is the difference between an algebraic vector field and a derivation (are they completely different or synonymous)? What does it mean to say an algebraic vector field has ...
54 views

### Help in this equivalence in Fulton's book

I'm studying Fulton's algebraic curves book and some of its notation look like confusing. I need help to understand this equivalence in the page 35. The preceding paragraph he mentioned I put ...
155 views

### What is a “subscheme”?

Every source I've looked at defines open subschemes and closed subschemes, but the definitions always look ad-hoc and not closely related to one another. Are there other kinds of subschemes? If not, ...
69 views

### Definition of Base-point

Consider the family of curves defined by $f(x,y)=g(x)+h(y)+a$, where $a$ is a free parameter. Now, it states that the family of curves intersect at $\infty$ and that $\infty$ is a base-point of these ...
52 views

### Definition of smooth (variety)

I don't understand the motivation for the definition of smoothness of a variety: A variety $V(f_1,...,f_m)$ in $n$-space is smooth iff $\mbox{rank}$ = $n-\mbox{dim} V$. Could you please give me ...
114 views

### Geometrically reduced variety

What is a geometrically reduced variety (or geometrically reduced algebraic set if you will, a variety has not been assumed to be irreducible in this definition)? I tried looking up on the internet as ...
106 views

### Closed immersion definition

Hartshorne defines a closed immersion as a morphism $f:Y\longrightarrow X$ of schemes such that a) $f$ induces a homeomorphism of $sp(Y)$ onto a closed subset of $sp(X)$, and furthermore b) the ...
161 views

### What is the zero subscheme of a section

Let $X$ be a scheme, $\mathcal F$ a locally free sheaf of rank $r$ and $s \in \Gamma(X, \mathcal F)$ a global section of $\mathcal F$. Question: What is the zero subscheme of $s$? I can't believe ...
17 views

### Is there a class of schemes s.t. morphisms from a quasi-compact (-separated) scheme $X$ to any one of them is quasi-compact (-separated)?

The question is intend for both quasi-compact or quasi-separated notions, but let me elaborate on the details of quasi-compact only. Def: A scheme $X$ is said to be quasi-compact if any of its covers ...
36 views

### Why do we want to define a $k$-scheme to be birational if the rational map (and its inverse) to $\Bbb A_k^n$ is over $k$?

Two varieties $X,Y$ are said to be birational if there exist rational maps in each direction such that either composition is the identity on a open dense subset. Note that here the morphisms aren't ...
84 views

### Zariski cotangent space, as defined in Arapura's “Algebraic Geometry over the Complex Numbers”

In "Algebraic Geometry over the Complex Numbers", Arapura gives the following definition: Definition 2.5.8. When $(R, m, k)$ is a local ring satisfying the tangent space conditions, we define its ...
45 views

### Help in this definition of morphism

I need help in this definition of morphism of affine algebraic sets which I found in a book: Let $X$ and $Y$ affine algebraic sets and say $$f:X\to X'\ \text{and}\ g:Y\to Y'$$ isomorphisms with ...
82 views

### Definition of differential forms

I am reading the book Algebraic Geometric Codes: Basic Notions by Tsfasman, Vladut and Nogin. The authors introduce some definitions about differential forms at the beginning of Section 2.2. These ...
55 views

### Ring of rational functions for reducible variety

Let $X$ be some affine algebraic variety over $\mathbb{k}$ (i.e. some closed subset in $\mathbb{A}_\mathbb{k}^n$). First suppose $X$ to be irreducible. Then the algebra $\mathbb{k}[X]$ is a domain and ...
49 views

120 views

307 views

### “sheaf” au sens de Serre

I learned the definition of sheaves from Algebraic Geometry by Hartshorne, while reading Serre's GAGA, I was wondering if there was another definition of sheaves. [Here is the link of the English ...
186 views

### intrinsic and geometric definition of blow-up

Suppose I am given an algebraic variety $X$ and a (closed) point $x \in X$. I know of two descriptions of the blow-up of $X$ at $x$. One is intrinsic but not geometric: if $\mathcal{I}_x$ denotes the ...
83 views

### Closed / embedded surface

Given a closed surface in $\mathbb R^3$, is it necessarily an "embedded surface"? I think it is true, but that is just because I can't think of a closed surface for which we cannot construct a smooth ...
### What is the operation $\boxtimes$?
Reading papers about $p$-adic analysis and Galois representations, I have found objects like this $D \boxtimes \mathbb{Q}_p$. So my question is what is $\boxtimes$ and how do we read it ?