## You are here

Homevery ample

## Primary tabs

# very ample

An invertible sheaf $\mathfrak{L}$ on a scheme $X$ over a field $k$ is called *very ample* if (1) at each point $x\in X$, there is a global section $s\in\mathfrak{L}(X)$ not vanishing at $x$, and (2) for each pair of points $x,y\in X$, there is a global section $s\in\mathfrak{L}(X)$ such that $s$ vanishes at exactly one of $x$ and $y$.

Equivalently, $\mathfrak{L}$ is very ample if there is an embedding $f:X\to\mathbb{P}^{n}$ such that $f^{*}\mathcal{O}(1)=\mathfrak{L}$, that is, $\mathfrak{L}$ is the pullback of the tautological bundle on $\mathbb{P}^{n}$.

If $k$ is algebraically closed, Riemann-Roch shows that on a curve $X$, any invertible sheaf of degree greater than or equal to twice the genus of $X$ is very ample.

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

14A99*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections

## Corrections

add link by Mathprof ✓

emphasis on defined terms by Mathprof ✓

What is O? by alozano ✓

is g the genus? by alozano ✓

emphasis on defined terms by Mathprof ✓

What is O? by alozano ✓

is g the genus? by alozano ✓