Search Results
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 |
In algebraic geometry, a projective variety over an algebraically closed field $k$ is a subset of some projective $n$-space $\mathbb P^n$ over $k$ that is the zero-locus of some finite family of homogeneous polynomials of $n + 1$ variables with coefficients in $k$, that generate a prime ideal, the defining ideal of the variety
3
votes
Accepted
Irreducible components of a projective variety
We have either $H(0,0,1)=0$ or $H(0,0,1) \neq 0$. In the first case, the locus $w=x_0=0$ is contained in $Z(H_1,\dots, H_n)$ and is either an irreducible component of dimension $n-1$ or contained in a …
10
votes
Open complement of hypersurfaces
If $U_1$ and $U_2$ are isomorphic then $H_1$ and $H_2$ are equal in the Grothendieck ring of varieties and thus, by the Larsen-Lunts theorem, stably birational, which if $d>n$ implies that they are is …
9
votes
Isomorphism of varieties in $\mathbb{C}$ implies isomorphism over finite fields
(I wrote this earlier and didn't finish posting it. It has some overlap with Remy's answer, but I figured it was worth posting to provide a slightly different perspective.)
No. For example the ellipti …
5
votes
Accepted
A variation on the projective Nullstellensatz
Since $V(f_1,\dots,f_n)=0$, by the Nullestellensatz
$$ \sqrt{ (f_1,\dots, f_n)} = I ( V( f_1,\dots, f_n)) = I(0) = (x_1,\dots, x_r)$$
where $x_1,\dots, x_r$ are a basis for $V^*$.
So for each $i$ from …
2
votes
Accepted
On relating $l(A), l(B)$ and $l(A+B)$ for Weil divisors on a smooth projective curve where o...
If $D$ and $E$ are linearly equivalent to effective divisors, this is OK from what's in Hartshorne, as both sides are invariant under linear equivalence.
If $E$, say, is not linearly equivalent to an …
2
votes
Grothendieck rings and the Tannakian formalism
The conjectural category of motives, being an abelian category, has its own notion of $K$-theory, $K_0 ( \operatorname{Mot}_k)$.
This would be the quotient of the free abelian group generated by isomo …
3
votes
Accepted
Moduli spaces of horizontal curves
It is not possible to have such a moduli space that contains all the smooth curves of genus $g$ and degree $d$ and over which the universal family of curves is proper.
Let $X = \mathbb P^1 \times \mat …
3
votes
Accepted
Intersection in toric variety
If by "subvariety" you mean that $W$ is known to be irreducible, the answer is positive. Otherwise, it is negative, as I will show by an explicit counterexample.
Let $Z$ be the base locus of $D$. The …