Interesting results in algebraic geometry accessible to 3rd year undergraduates On another thread I asked how I could encourage my final year undergraduate colleagues to take an algebraic geometry or complex analysis courses during their graduate studies.
Willie Wong proposed me following idea - to show them some interesting results in this fields with relatively simply proofs and some consequences in other fields.
Thus by 'interesting' result in algebraic geometry I here mean the result which may convince 3rd year undergraduate student to study algebraic geometry.
In fact I'm supposed to give some talk during the seminar dedicated to final year undergraduates, and I can propose my own topic, so I thought that it could work.
But my problem is that I'm just wanna-be student of algebraic geometry and I don't have enough insight and knowledge to find a topic which 'could work'.
Also I doubt whether it is possible to present some intriguing ideas of algebraic geometry to audience without any preparation in this field.
So in short my first question is as above:

Is it possible to present some intriguing ideas of algebraic geometry to audience without any preparation in this field?

To be more precise - the talk should take a one or two meetings, 90 minutes each one.
The audience will be, as I said 3rd year undergraduate students, all of them after two semester course in algebra, some of them after one or two semesters in commutative algebra. All taking the course in one complex variable, and after one semester introductory course in differential geometry.
Some of them may be interested in number theory.
The second, related question is as follows:

If You think that the answer to the previuos question is positive, please try to give an example of idea/theorem/result which would be accessible in such time for such audience, and which You find interesting enough to make them consider possibility of studying algebraic geometry. Try to think about the results which shows connections of AG with some other fields of mathematics.

 A: If you're willing to not be completely careful with some of the details of projective geometry and skip over the worst of the computations, it is certainly possible to solve the simplest nontrivial Schubert problem (count lines meeting 4 given lines in (complex projective) 3-space) in about an hour.
You don't need any intersection theory beyond what a high school student could in theory figure out; the relevant equations are one degree 2 equation in 6 variables for the Grassmannian, and 4 linear equations for the Schubert varieties.  You can derive those equations from the vanishing of determinants.
Things I like about this presentation: it answers a question which is elementary (at least if you ignore the "complex projective" part) but whose answer is not obvious, and it introduces the very important idea of a moduli space, in this case the Grassmannian, in a concrete way.
A: Although the theory is much cleaner working over algebraically closed fields, I think Sturm's Theorem (counting real roots of a polynomial) is a very nice result in real algebraic geometry which is at a level appropriate for undergraduates.  
A: If you are willing to cheat over some details, you could present a "proof" of the statement that every smooth cubic surface in $\mathbb{CP}^3$ contains exactly 27 lines. The fact that lines on such a surface can be counted, and that the result turns out not depend on the cubic seemed to me like magic before I learned algebraic geometry.
I think this topic is good for a number of reasons. The statement is elementary and suprising. The proof is fairly elementary as well (granting some things), but is far from trivial and shows many interesting ideas typical of algebraic geometry, like the use of parameter spaces. Moreover, it is not so elementary that you will be able to give a complete proof in one lecture, so interested students will want to know more. Finally the most delicate concepts from an algebraic geometry point of view are those of smoothness and dimension, but you can do with the analog concept in differential geometry, thereby providing a link with something they already know.
I have written all the steps just to be sure, and I don't think there is anything too complicated for your audience. Of course, depending on the time, you will want to skip over some details and present them as black boxes.
The proof
First, you can define smoothness in terms of differential geometry, and make the claim that an algebraic variety is smooth in a point if and only if the Jacobian of the defining equations has maximal rank. Remark that one implication always holds in the differentiable case, but there may be smooth manifolds defined by equations which are singular. Polynomials are rigid enough to prevent this. You could actually prove this fact for hypersurfaces, which is the case you are interested in. So, students will be able to understand what a smooth subic surface is.
The first step of the proof is the fact that every cubic surface, smooth or not, contains lines. This is the least elementary part, and you may want to skip this until the end of the talk.
Once you have a line $l$ consider planes $H$ containing $l$. The intersection of $H$ with the cubic is a plane cubic. Factoring the polynomial, it must be the union of $l$ with a smooth conic, or three lines. Moreover you can show that in the second case the three lines are distinct and do not meet in one point, otherwise the cubic would not be smooth there. This is completely elementary: you just prove that if the three lines do not form a triangle, all partial derivatives of the defining equation for your cubic surface vanish at a point.
The third step is to give a bijection between the set of planes containing $l$ and $\mathbb{P}^1$. A simple (but a bit long) computation tells you when the residual conic in the plane is smooth. Namely the vanishing of the determinant of the residual conic is an equation of degree $5$ on this $\mathbb{P}^1$. One can show that this equation has distinct roots, again because the cubic is smooth.
We conclude that for a given line $l$ there are exactly $5$ planes through $l$ on which the cubic decomposes as the union of three lines. Said differently, every line meets exactly $10$ other lines.
Finally, this implies the total number of lines is $27$. Indeed take any of these planes containing $3$ lines, call them $r$, $s$ and $t$. Any other line on the surface meets the plane, hence it meets one between $r$, $s$ and $t$. There are no triple of lines meeting in a point, because such a point would be singular. Hence each of $r$, $s$ and $t$ meets $8$ other lines, giving a total of $3 \times 8 + 3 =27$ lines.
The black box
It remains the black box that you can find at least one line on the surface. Here you will have to be sketchy, but hopefully this will wet your students appetite to see more about algebraic geometry.
First, you define the Grassmannian as a set, and make the claim that it is an algebraic variety. This is particularly easy for the Grassmannian of lines in $\mathbb{P}^3 = \mathbb{P}(V)$, since it is defined by the unique quadratic equation $\alpha \wedge \alpha = 0$ inside $\mathbb{P}(\bigwedge^2 V)$. Similarly you show that the parameter space for cubic surfaces is again an algebraic variety itself, namely a projective space $\mathbb{P}^{19}$.
Then you define the incidence variety of couples $(l, X)$ of a line and a cubic such that $l \subset X$; this is a subvariety of the product. The argument now uses the theorem on the dimension of the fibres of an algebraic morphism. Of course you cannot prove it, but it is rather plausible. Make the remark that such a neat statement can possibly hold only because polynomials are rigid enough. For the notion of dimension, you can use the dimension as complex manifolds, or half the real dimension.
Show that the set of cubics containing a given line is itself a projective space $\mathbb{P}^{15}$. Since the Grassmannian has complex dimension $4$ (this is plausible, being a hypersurface in $\mathbb{P}^5$), the incidence variety has dimension $19$, like the parameter space for cubics. By the theorem on the dimension of the fibres, to show that the projection is surjective you only need to exhibit a cubic which has a fibre of dimension $0$, that is, a cubic with a finite number of lines.
This is easy to do explicitly. Note that it is easier to do with a singular cubic, so to obtain a result about smooth cubics it will be easier to work with a parameter space containing singular ones.
A: I saw Brian Conrad give an excellent one hour talk to undergraduates where he proved that there do not exist nonconstant, relatively prime, polynomials $a(t)$, $b(t)$ and $c(t) \in \mathbb{C}[t]$ such that
$$a(t)^3 + b(t)^3 = c(t)^3.$$
He gave an elementary proof, then outlined the better motivated proof where you see that $\mathbb{CP}^1$ can't map holomorphically to a genus $1$ curve.
A: This isn't a result so much as a perspective, but it is one of the main reasons I first got interested in algebraic geometry.
In basic algebraic number theory you learn that some extensions of the integers, like $\mathbb{Z}[i]$, have unique factorization, but others, like $\mathbb{Z}[\sqrt{-3}]$, don't.  You are then told to take a number field $K$ and consider the integral closure $\mathcal{O}_K$ of $\mathbb{Z}$ within it.  This ring has the important property that it is a Dedekind domain, which means its ideals have unique factorization even though its elements don't.  What is one to make of this definition?  It's technically useful, but what is its conceptual content?
To see the geometry behind these definitions, replace $\mathbb{Z}$ with $\mathbb{C}[t]$.  Finite extensions of $\mathbb{C}[t]$, such as those of the form $\mathbb{C}[t, x]/f(t, x)$, can be identified with Riemann surfaces $f(t, x) = 0$ by looking at the maximal spectrum if and only if the hypotheses of the implicit function theorem are satisfied; in particular, the partial derivatives of $f$ cannot simultaneously vanish anywhere (no singularities).  Algebro-geometrically, all of the local rings need to be DVRs.  
It turns out that this condition is equivalent to $\mathbb{C}[t, x]/f(t, x)$ being a Dedekind domain!  This is because the property of being a Dedekind domain is local: it holds for a Noetherian ring if and only if it holds for each local ring.  This isn't true for the property of being either a PID or being a UFD, so one can think of Dedekind domains as objects which look locally like PIDs in the same way that manifolds are objects which look locally like $\mathbb{R}^n$.  
And in the end one is left with an important geometric intuition: rings of integers that aren't integrally closed correspond to "arithmetic varieties" with "singularities," and when we take integral closures we are resolving those singularities.  More generally, I think the algebro-geometric perspective on number fields sheds a lot of light on the subject; Neukirch brings up this analogy towards the end of the first chapter, if I recall correctly.
A: There is an algebraic proof that a revolution torus intersect a bitangent plane into the reunion of two circles (Villarceau circles). I only have a reference in French: http://denisfeldmann.fr/PDF/cercles.pdf
The torus is easily seen as a degree $4$ algebraic surface. Its intersection with a plane must therefore be a curve of degree $4$. The point is then to prove that this curve is the union of two conics (using its multiple points), then that the conics are circles (using the circular points).
A: Emerton mentioned introducing elliptic curves, but you can also introduce the group law on the smooth locus of a nodal or cuspidal cubic curve.  The usual equations are $y^2 = x^3 + x^2$ and $y^2=x^3$.  They are like the group laws for elliptic curves (i.e., you draw lines and the intersecting points sum to zero), but structurally simpler (being a torus and an additive group, respectively).  The equations for torsion points are a bit easier to solve than the corresponding formulas for any particular elliptic curve.  You can even try counting points over various finite fields for the nodal curve.
You might also want to look at some of David Speyer's posts on the Secret Blogging Seminar on algebro-geometric proofs and interpretations of classical theorems.  Here are a few:


*

*Menelaus's Theorem

*Poncelet's Porism

*Quadratic reciprocity in the function field setting
A: I am not an algebraic geometer, but I have often covered the topic of finding
rational points on the circle and certain cubic curves with undergraduates. 
This is elementary (find appropriate chords and tangents) but it opens the door to elliptic curves.
A: A topic that you might enjoy learning yourself, and which you can certainly present in one or two 90 minutes lectures, is the group law on an elliptic curve.  This is treated in an elementary fashion in Miles Reid's book "Undergraduate algebraic geometry" (and probably in many other places).
The advantages are that it is concrete and specific, but also not at all obvious.  Furthermore,
verifying associativity is quite tricky from an elementary viewpoint.  (Reid gives a
pretty complete discussion, if I remember correctly.  In your talk, you would probably
not be able to, or want to, cover associativity completely, though, since the details
are quite elaborate. On the other hand, you can write down an explicit elliptic curve,
find three explicit points, and explictly add them via the group operation in the two
different ways necessary for verifying the associativity; this is
always pretty entertaining to watch --- but make sure that you do the computations
first, since you surely won't be able to work them out at the board; they will
be too messy!)
There is also a very strong connection with the theory of elliptic functions, but you
probably wouldn't want to try to fit this into the same lecture.  But if you want to learn
it yourself, you will want to read about Weierstrass's elliptic functions.
Actually, one thing that comes out of the theory of elliptic functions is that the
complex-valued points on the elliptic curve, as a topological group, are isomorphic to $S^1\times S^1$ (a product of two circle groups).  So the algebraic description of
the group law on the elliptic curve gives a very complicated, but very interesting, way
of describing $S^1\times S^1$!    
Why do I say "very interesting"?
Well, the fact that it lives in the world of algebra gives it a dimension of richness that
you can't obtain just by talking about $S^1\times S^1$.
For example, there are beautiful connections  to the theory of Diophantine equations.
As one example,
if you had enough time, you could mention that if the elliptic curve
is defined over $\mathbb Q$, then the set of $\mathbb Q$-valued points on the curve
is closed under the group operation, and is (by a famous theorem of Mordell) a finitely
generated abelian group.  (Note: trying to develop tools to determine the precise
structure of this group remains one of the central problems in modern number theory.
To learn about this, try googling "Birch--Swinnerton-Dyer conjecture".) (Also note:
number theorists refer to the set of $\mathbb Q$-valued points of an elliptic curve
over $\mathbb Q$ as the Mordell--Weil group of the elliptic curve.  If you google
Mordell--Weil group, you will find a statement of Mordell's theorem mentioned above,
and a lot more besides.)
A: Bezout's theorem can be very entertaining. I saw a elementary proof (essentially using linear algebra and commutative algebra) of this as an undergrad.(Unfortunately I don't recall the proof or the reference, but here is a reference) And the statement was quite astonishing to me at that point ( like 2 circles intersect in 4 points ...).Also it introduces the idea of intersection multiplicity. 
