Tropical Geometry, part 4.

We’re finally at the point where we can provide the first definition of Tropical Geometry, and for the sake of personal historicity, it will be the one that I didn’t particularly like when I learned of it.

Remember that the point of the algebraic geometry, as it’s studied, is that we study a geometric object by studying the functions defined on that object. The two perspectives are equivalent, and you can use tools from one to study the other (and of course, vice versa).

As an aside, this is one way that you can understand what is meant by non-commutative geometry, at least coarsely. One fact about all of the geometric objects that we study is that the rings of functions defined on any of these things are what we call commutative. That is, f(x)g(x) = g(x)f(x) for every pair of functions f(x), g(x). If you think about this, this is really a reflection of the fact that at it’s heart, the functions take values in real or complex numbers (well…), and so since those satisfy x \cdot y = y\cdot x, it follows that functions into them do as well.

So where does non-commutative geometry come in? Well, what happens when you study non-commutative rings? What do they represent “geometrically”?

The point in this case is that if we expand generalize the left-hand side of the equivalence

commutative k-algebras \iff geometric stuff

then this in some sense should provide something that is a generalization of the right-hand side as well. This is a well trod-upon tactic in mathematics, and provides us with notions such as a stack (note: not the same as a stack in the computer science world!), or derived schemes, or even derived stacks (combine the two).

Anyhow! So I promised that I would talk about Tropical geometry, and how it fits into the picture. Well, here goes.

See, a ring is something that satisfied a collection of proprties (or axioms) which state how we can multiply and add things together. These basically mean that they behave like the familiar integers, real numbers, or whatever—they look like the normal number systems that we’re all familiar with. It turns out that this list of properties is all we really need to build a phenomenally rich geometric world.

So for Tropical geometry, we look at a slightly different starting point. Consider the real numbers, but with the following funny rules for “addition” and “multiplication”:

x \oplus y = \max\{x, y\}


x \otimes y = x + y

Ok, what the hell is this. Multiplication is addition now? Addition is… the maximum? This seems very strange (and it is!) but it turns out that with this bizarre notion of addition and multiplication that we still get a surprising amount of similar properties than normal addition and multiplication have. For example, we still have that

x \otimes (y \oplus z) = (x \otimes y) \oplus (x \otimes z)

i.e. the distributive law. We also have a multiplicative identity (x \otimes 0 = x for every x), we have multiplicative inverses (since x \otimes (-x) = 0, the identity). We even can have an additive identity if we include -\infty in the package. What we can’t have though, is additive inverses and hence no subtraction.

So yeah, weird. Something which satisfies this collection of rules is a semi-ring, and with this in mind, we do exactly what you should be now expecting: Tropical geometry is geometry done using semi-rings.


Posted in Uncategorized | Leave a comment

Tropical Geometry, part 3.

So we have discussed the following idea. Given a geometric object X, we can study it by studying the functions that are defined on X, which we will write as \mathcal{O}_X (I’m not actually sure what the \mathcal{O} stands for, but this is in a certain I’m-slightly-lying-to-you way the standard way of writing this).

Now, functions are objects that we can add together (f(x) + g(x)), we can multiply them together (f(x)g(x)), and perhaps if we feel like it, we can also scale them by multiplying them by a real (or even complex) number (\lambda \cdot f(x)). They are, to use mathematical terminology, a ring or an algebra. So restated, as above, we can associate to every geometric thingy X its associated ring/algebra \mathcal{O}_X.

One of the great shifts in the 20th century is that you can actually do the reverse to this as well. That is, to every ring R, there is a canonically associated geometric object (a scheme) which we denote as \mathrm{Spec}\, R. Moreover, these associations are inverse to each other. That is, we have (in a certain sense)

\mathrm{Spec}\, \mathcal{O}_X = X


\mathcal{O}_{\mathrm{Spec}\, R} = R.

(I should really stress again that I am slightly lying to you here. There is a context in which this is 100% true, but there are some subtleties to what I am saying. Caveat lector.)

Let’s go over a few examples just to ground ourself here. The simplest non-trivial example in some sense is the following. If we write the ring of polynomials in one variable as \mathbb{C}[x] = \{f(x) = a_0 + a_1x + \cdots + a_nx^n \mid a_i \in \mathbb{C}\} then this is certainly a ring (in fact, as algebra, because you can multiply polynomials by real or complex numbers) since you can add and multiply polynomials together. So what is the corresponding geometric object? It is just the complex plane! The rough idea is that a polynomial is determined by its roots, and so we identify a polynomial f(x) with its zero set. That is,

f(x) \leftrightarrow \{z \in \mathbb{C} \mid f(z) = 0\}

For another similar example, if let consider polynomials in two variables (for example, f(x, y) = 4y^2 - 2xy + 11xy^2 - \pi x) and let the ring/algebra of all of these be written as \mathbb{C}[x,y], then we have that

\mathrm{Spec}\, \mathbb{C}[x,y] = \mathbb{C}^2

and you may be able to guess how this generalizes.

Finally, to tie ourselves into the previous post, consider the following example. Suppose that we define the ring R to be the collection of all two-variable polynomials f(x, y) where we identify any two of them if their difference is a multiple of h(x, y) = x^2 + y^2 - 1. You can check that this makes sense as a definition, but given that, then we have that \mathrm{Spec}\, R iscaveat lector, again  the circle!

So the tl;dr version of this post: up to some finicky details that can be dealt with, algebraic things like rings and algebras are the same as geometric things. This is a powerful, powerful tool.

Posted in Uncategorized | Leave a comment

Tropical Geometry, part 2.

So last post we went over the origin of the name “Tropical Geometry”, but not what it was. I would like to start to do that, but I think that in order to do so we have to take a few steps back and understand a little bit about algebraic geometry as a whole.

The idea of algebraic geometry is to study the geometry of objects defined by algebra. Let’s look at the simplest non-trivial example. As you may recall from high school mathematics, a circle of radius R in the plane can be seen as the set of all solutions to the equation

x^2 + y^2 - R^2 = 0

although I have perhaps written it somewhat idiosyncratically, with all of the terms on the left-hand side of the equals sign. The point is that a circle can be defined by a polynomial equation, and these are the objects that interest us: those geometric figures that can be described by polynomial equations (this is the algebra part of algebraic geometry).

By contrast, if we consider the graph of the function y = e^x, then there is no algebraic equation that the coordinates of this graph will satisfy, and so it is not an object that we are interested in in this context.

So how does one study these? Well, it turns out that a major insight was that you can study objects (geometric or otherwise) by studying all of the functions that are defined on those objects. In our case since we are concerned with—for the time being—figures that are cut out by polynomials in the plane, we are also going to restrict ourselves to considering polynomial-type functions defined on these objects. So what are those?

Well, an obvious source of such a function is any polynomial in the variables x, y. Since our circle lies in the plane, any function defined on the plane a fortiori will define a function on our circle: just define the value of the function on the circle to be the value of the planar function at that point.

The problem with this approach is that you will typically get too many functions. There may be more than one function defined on the plane whose values on the circle are the same! For example, the two polynomials

f(x, y) = x^2


g(x,y) = -y^2 + R^2

will secretly yield the exact same function on our circle. The reason is that f(x, y) - g(x, y) = x^2 + y^2 - R^2—but this is the defining equation of our circle! So what we should do is say that any two functions on the plane are, for our purposes, the same function if they differ by the defining equation of our geometric figure. It turns out that if we do this, then we can get a meaningful way to talk about all of the functions on our figure.

Moreover—and this shouldn’t necessarily be obvious—in a certain sense, one can show that if we do this, then the geometric figure is entirely equivalent to the so-obtained functions. That is, it is completely equivalent to study either the figure itself, or the functions as we have described them. This is a very powerful shift in perspective.

Posted in Uncategorized | Leave a comment

Tropical Geometry, part 1.

Tropical geometry is a funny one. When I first learned of it, I had two reactions: first, I hated the name, and second, I thought it was unmotivated and was really just generalization for the sake of generalization.

I was wrong, on both counts.

Let’s talk first about the name, before we get into what Tropical geometry is and why I was wrong about its motivation (or lack thereof). It is named in honour of Imre Simon, a Hungarian-born mathematician living in Brazil. Since he was one of the pioneers in this field, and since he lived in the tropics… whence the name.

I’ve actually heard someone say further that he lived and worked on opposite sides of the tropic of Capricorn, which was also part of the name. That said, I’ve only heard this part once, and so I’m not sure how much I believe it.

Anyhow, originally I disliked the name due to its frivolous nature. Perhaps part of this was due to my initial dislike of the subject, but either way I was bothered by how un-descriptive it was. By contrast, mathematical terms are typically named either after a mathematician or in some descriptive manner. Hilbert space. Sheaf. Étale. Gromov-Witten theory. Solvable. Space-filling curve. Markov process.

In particular, the descriptive naming is something that works very well. The name itself tells you something about what you’re studying, which helps a lot in remembering the ideas involved.

However, one problem that occurs frequently is that mathematicians as a group can be strikingly unimaginative in naming their objects, and so we end up with a proliferation of “normal” objects, or “regular” ones. And one of the most infamous examples, of course, is that it is perfectly reasonable to describe something as being both reduced and irreducible.

By contrast—or even hypocritically—I had always loved the whimsical nature of some of the names coming from physics. I love the name quark, and even more than that I really love their names—strange, charmed—although I would have preferred that they stuck with the “truth” and “beauty” quarks instead of the “top” and “bottom” quarks.

And of course, here is a problem. On one hand, I disliked the term “tropical” for its irreverence, but lauded physicists for their whimsical name choices.

In the end, the name won out, at least to me.

Posted in Uncategorized | 1 Comment

Some thoughts on a provoking discussion

So I recently stumbled upon (via Izabella Laba) the discussion at Scott Aaronson’s blog that arose from the events surrounding the dismissal of Walter Lewin.

Amazingly enough, I actually read through the entire 593 comment responses. This was a surprisingly intelligent a civil discussion (on the internet!) between people who don’t completely see eye-to-eye about everything, and about sexism, no less!

The discussion is a little disheartening for the first (roughly) hundred comments or so. However, starting some time around the linked comment, things get a lot better—as a whole, the major players in the discussion actually listened and seemed to empathize with one another, if not perfectly all the time.

A few thoughts:

  1. I think that Scott (and the main people in the discussion) did a great job of ignoring the more troll-ish posts. There are a number scattered throughout—towards the end, in particular, there is a post which calls for the ban of Amy (if only for a few days!), which thankfully is largely ignored. However…

    Comments such as these are an interesting instance of Lewis’ Law. I do believe that Scott is a good person who—as much as possible—eschews overly sexist views. But it’s interesting that underscoring a discussion about the role of women in STEM fields that there is—quite literally!—a constant low-level buzz of commentary that at the least borders on anti-feminist. So if you were someone reading this post who held views similar to those of Amy (which are not radical in the least), on one hand I would be welcomed that the major discussion is civil and interesting. On the other hand, it’s also believable that you might also feel like the room in which the discussion is happening is subtly hostile to you and your views. Is it surprising that women might be discouraged from self-advocacy in situations like this?

    I really should stress that I think that Scott did a wonderful job in this discussion of staying on point, not engaging the trolls, etc. But the existence of these background comments really does suggest something, I think.

  2. On that note, seriously? Amy is by no means a “radical feminist” in her postings. I would describe her as pretty middle-of-the-road (although that may say more about me than anything, I guess). She advocates for communication and being aware of the existence of structural imbalances. CRAZY AND RADICAL INDEED.
  3. Reading through this sort of discussion really makes me think again about the difficulty of communication when we don’t define our terms—or in this case, when either the context is difficult to convey, or the terms themselves may not be easily definable. Many of the flare-ups that occured throughout the discussion often seemed to result from a mis-reading of what one of the other posters was trying to convey. Not all, certainly, since not everyone agreed on a variety of issues. But there were still many of them.

Anyhow, it was a surprisingly edifying read, although I can’t really say if I would recommend reading through all 593 comments, which will take quite a long time regardless. Still, I’m glad to see that civil discussion about sexism among people who do not agree can take place in this day and age. Kudos to Scott, Amy, Gil, Vijay, dorothy, and a few others.

Posted in Uncategorized | Tagged , , | 2 Comments

Projectivity (continued)

So what does it mean for a variety to be projective? Well, that’s easy: A variety is projective if you can embed it in projective space.

That’s easy, but that’s not particularly helpful.

What are the benefits of being projective? Why is it something that we should care about?

The way I see it, the main advantage of projectivity is that any analytic projective variety is in fact algebraic i.e. it can be described in terms of zero sets of polynomials, and not just analytic functions. This is essentially a loose paraphrase of Chow’s theorem.

So this explains why projectivity is a good thing, but it doesn’t tell us how to detect it. To help with this, let’s consider what we do get if a variety (we will only really care about tori, but for now we will be more general) is projective.

On \mathbb{P}^N, we have the line bundle \mathcal{O}(1). Thus, given a morphism f : X \to \mathbb{P}^N, we can pull this line bundle back to obtain a line bundle L := f^*\mathcal{O}(1). This is an ample bundle; that is, if we take a sufficiently high power L^{\otimes n}, then sections of this new bundle will in fact yield an embedding into projective space of some dimension. More specifically, choose a basis s_0, \ldots, s_N for H^0(X, L^{\otimes n}). Then as this line bundle is base-point free (it comes from a map into projective space), we can consider the map

X \to \mathbb{P}H^0(X, L^{\otimes n}) \qquad x \mapsto (s_0(x) : \cdots : s_N(x))

then this map will be an embedding.

Given such a pair (X, L) consisting of a complex manifold X together with an ample line bundle L, then we can see that it must be projective. Such a pair is called a polarized variety*.

Now, many manifolds come with natural choices of polarizations; for example, all non-elliptic curves have either their canonical or anti-canonical bundle which are ample, and so they are just naturally polarized. Elliptic curves are as well, but you can’t use their canonical bundle, since it is trivial.

The same is of course true with complex tori; their canonical bundles are trivial, and so these do not provide us with a projective embedding. So let’s see what else a polarization gives us.

Let’s consider the first chern class of our line bundle. We have (since we are working with the complex numbers) the exponential sequence of sheaves

0 \to \mathbb{Z} \to \mathcal{O} \to \mathcal{O}^\times \to 0

which yields the long exact sequence some of whose low degree terms are

\cdots \to H^1(X, \mathcal{O}) \to H^1(X, \mathcal{O}^\times) \to H^2(X, \mathbb{Z}) \to \cdots

where H^1(X, \mathcal{O}^\times) is the Picard group of X (denoted Pic(X)); that is, the group of line bundles on X. The map to H^2(X, \mathbb{Z}) is the map which takes a line bundle to its first chern class c_1(L). It is this that we use to understand what makes a manifold projective.

In the case of tori, we know very well what H^2(X, \mathbb{Z}) (henceforth we will omit the coefficient ring if it is the integers) is. In fact, due to the Künneth theorem and the fact that topologically, a complex torus is simply a product of circles, we have the isomorphisms

H^2(X) \cong \Lambda^2 H^1(X) \cong \Lambda^2 H_1(X)^\vee \cong \big(\Lambda^2 H_1(X)\big)^\vee

Exercise: Check these!

That is, an element of H^2(X) can be though of as an alternating bilinear form E on the underlying lattice H_1(X). In particular, the first chern class of a polarization on a complex torus X = \mathbb{C}^k / \Gamma is an alternating form on its underlying lattice \Gamma = H_1(X).

Now, it is not too hard to see (and you should check this) that there is a bijective correspondence between alternating bilinear forms E on a lattice \Gamma \subset \mathbb{C}^k which satisfy

E(iv, iw) = E(v,w)

and hermitian forms H on \mathbb{C}^k which satisfy \mathfrak{Im}\, H(\Gamma, \Gamma) \subset \mathbb{Z}; this is given by the bijection

E(-,-) \qquad \iff \qquad E(i-,-) + iE(-,-)

Another way to say this is that alternating bilinear forms on \Gamma which are compatible with the complex structure on \mathbb{C}^k are (essentially) the same as hermitian forms on \mathbb{C}^k whose imaginary parts take integer values on \Gamma.

And the magic about this is that an element E \in H^2(X) is the first chern class of an ample line bundle if and only if this latter condition is satisfied.

*Well, that’s not exactly correct. It isn’t the line bundle L that is the polarization, but the class of the line bundle in the Neron-Severi group of X. But it’s close enough.

Posted in Uncategorized | 1 Comment

Why are elliptic curves projective?

Before we go on to discuss what makes a complex torus algebraic, let us perhaps return to the case of elliptic curves. The claim is that all elliptic curves are algebraic; other than the one case explicitly provided in the first post, this has by no means been shown, so let us dwell on this a little further.

There are a few ways that we can see this fact. We will go over the most obvious one first.

Fix an element \tau in the upper half-plane (and so in effect, fix a lattice \Lambda_\tau and hence an elliptic curve). Consider the complex function

\displaystyle \wp(z) = \frac{1}{z^2} + \sum_{w \in \Lambda_\tau}\!\!{}'\ \Big(\frac{1}{(z + w)^2} - \frac{1}{w^2}\Big)

where by convention the primed summation means that we sum over all non-zero elements of the lattice. This function is called the Weirstrass \wp-function. Note that this function satisfies

\wp(z + w) = \wp(z)

for all z \in \mathbb{C} and w \in \Lambda_\tau. While it is not holomorphic (it has a pole of order 2 at every lattice point), it is meromorphic, and it is translation invariant for every element in the lattice. It thus yields a well-defined meromorphic function on the elliptic curve E_\tau = \mathbb{C}/\Lambda_\tau.

We claim the following relationship holds:

\displaystyle \big(\wp(z)'\big)^2 = 4\big(\wp(z)\big)^3 - g_2\wp(z) - g_3

where g_2, g_3 are given by the expressions

\displaystyle g_2 = 60 \sum_{w\in \Lambda_\tau}\!\!{}'\ w^-4

\displaystyle g_3 = 140 \sum_{w\in \Lambda_\tau}\!\!{}'\ w^-6

It is interesting to remark that these expressions g_2, g_3 are in fact the Eisenstein series of weights 4 and 6, respectively. This can be checked by verifying how they transform as functions of \tau under the two transformations

\tau \mapsto \tau + 1 \qquad \tau \mapsto -\frac{1}{\tau}

and noting that they are thus modular forms of weights 4 and 6, respectively; if you happen to know that these spaces are one-dimensional, then you are done. If not, then the following exercise is somewhat instructive.

Exercise Show that the function g_2(\tau) (where we now mention its explicit \tau-dependence) can also be written as

\displaystyle g_2(\tau) = \frac{4\pi^4}{3}\Big(1 + 240\sum_{k=1}^\infty \sigma_3(k)e^{2\pi i k \tau}\Big)

It is helpful to start with the identity

\pi \cot \pi x = \sum_{k \in \mathbb{Z}} \frac{1}{x + k}

which can be checked by looking at the zeros and poles of these two functions.

Now, the shown identity can be verified by comparing the poles on the left- and right-hand sides of the expression; as they match up, the two expressions must be equal (why?)

The point of all this, of course, is that the expression above provides us an explicit description of our elliptic curve as the affine plane curve

y^2 = 4x^3 - g_2x - g_3

and in particular, we see that every elliptic curve can be written as the curve cut out by a cubic polynomial.

Now, while this is all true, it is not particularly enlightening. If, after reading this, someone were to ask you “Why are elliptic curves projective?”, all you could answer would be “Because the Wierstrass \wp-function exists and satisfies a certain differential equation”. It would not answer, in any way, the question as to why complex tori are not necessarily projective. So if our goal was to answer that question, then this approach, while interesting, fails.

For us to move on, we need to perhaps consider more what exactly it means for a variety to be projective.

Posted in Uncategorized | 3 Comments