Skip to main content
Post Made Community Wiki by Stefan Kohl
Source Link
Steven Landsburg
  • 23k
  • 5
  • 95
  • 153

In conversations like this, I usually lead with a concrete example of a hard problem. Complete intersections seem to work well: Observe that in general, two surfaces in three-space meet in a curve, and then ask whether, given an (algebraically defined) curve, it's always the intersection of two (algebraically defined) surfaces. How do you recognize those that are and those that aren't? This gives you a chance to talk about the value of bringing both geometric intuition and algebraic computations to the table.

Now generalize to higher dimensions. Now (if they seem to want more) you can talk about subtleties like the distinction between a true complete intersection and a set-theoretic complete intersection. Or give a sequence of increasingly challenging specific cases. Et cetera.

I've also --- though this is sort of cheating --- used the example of classifying vector bundles. This is easy to explain in the topological case: You've got, say, a circle and you want to attach a line at every point in a continuous way. You can make a cylinder, or you can make a Mobius strip. What else can you make? When do you want to consider two of these things "the same"? Now observe that the answers to these questions depend partly on the rules for how you're going to build your objects in the first place and the rules for when you consider two to be the same. If the rules are that everything has to be continuous, you're doing topology; if the rules are that everything has to be algebraic, you're doing algebraic geometry. Mention Quillen-Suslin: If the base space is itself a vector space, it's pretty easy to see that all vector bundles of a given rank are topologically equivalent, but quite hard to see the same thing in the algebraic case. Et cetera.