Category: math

The martial art of giving talks

Published January 5, 2012 by lievenlb

Last fall, Matilde Marcolli gave a course at CalTech entitled Oral Presentation: The (Martial) Art of Giving Talks. The purpose of this course was to teach students “how to effectively communicate their work in seminars and conferences and how to defend it from criticism from the audience”.

The lecture notes contain basic information on the different types of talks and how to prepare them. But they really shine when it comes to spotting the badasses in the public and how to respond to their interference. She identifies 5 badsass-types : the empreror and the hierophant (see below), the chariot (the one with a literal mind, asking continuously for details), the fool (the one who happens to sit in the talk but doesn’t belong there) and the magician (the quick smartass).

I’ll just quote here the description of, and most effective strategy against, the first two badass-types. Please have a look at the whole paper, it is a good read!

“The Emperor is the typical figure of power and authority in a given field. It refers to those people who have a tendency to think that the whole field is their own private property, and in particular that only what they do in the field is important, that the work of all others is derivative and that in any case they are not being quoted enough. These are typically pathological narcissists, so one needs to take this into account in interacting with them.
The trouble of having The Emperor in your audience is that he (it is rarely she) can very easily disrupt your presentation completely, by continuous interruptions, by running his own commentary while you are trying to stay focused on delivering your talk and by distracting the rest of the audience.
The Emperor is by far one of the most dangerous encounters you can make in the wilderness of the conference rooms.”

Counter-measure : “Keep in mind that the Emperor is a pathological narcissist: part of the reason why he keeps interrupting your talk is because he cannot stand the fact that, during those fifty minutes, the attention of the audience is focused on you and not on him. His continuous interruptions and complaints are a way to try to divert the attention of the audience back to him and away from you. That your talk gets disrupted in the process, he could not care the less.
A good way to try to avoid the worst case scenario is to make sure (if you know in advance you may be having the Emperor in the audience) that you arrange in your talk to make frequent references to him and his work. In this way, he will hopefully feel that his need to be at the center of attention is sufficiently satisfied that he can let you continue with your talk. Effectiveness: high.”

“The Hierophant represents a priestly figure. What this refers to here is the type of character who feels entitled to represent (and defend) a certain “orthodoxy”, a certain school of thought, or a certain group of people within the field.
Typically the hierophants are the minions and lackeys of the Emperor, his entourage and fan club, those who think that the Emperor represents the only and true orthodoxy in the field and that anything that is done in a different way should be opposed and suppressed.
These characters are generally less disruptive than the Emperor himself, as they are really only fighting you on someone else’s behalf. Nonetheless, they can sometime manage to seriously disrupt your presentation.”

Counter-measure : “This is essentially the same advise as in the case of the Emperor. To an objection that substantially is of the form: “This is not the right way to do things because this is not what what we do (= what the Emperor does)”, which is what you expect to hear from the Hierophant, you can reply along lines such as: “There is also another approach to this problem, developed by the Emperor and his school, which is a very interesting approach that gave nice and important results. However, this is not what I am talking about today: I am talking here about a different approach, and I will be focusing only on the specific features of this other approach…”
Something along these lines would recognize “their” work without having to make any concession on their approach being the only game in town.
Effectiveness: high (unless the Emperor is also present and is delegating to his hierophants the task of attacking you: in that case they won’t give up so easily and the effectiveness of this line of defense becomes medium/low).”

Lambda-rings for formula-phobics

Published February 5, 2010 by lievenlb

In 1956, Alexander Grothendieck (middle) introduced $\lambda $-rings in an algebraic-geometric context to be commutative rings A equipped with a bunch of operations $\lambda^i $ (for all numbers $i \in \mathbb{N}_+ $) satisfying a list of rather obscure identities. From the easier ones, such as

$\lambda^0(x)=1, \lambda^1(x)=x, \lambda^n(x+y) = \sum_i \lambda^i(x) \lambda^{n-i}(y) $

to those expressing $\lambda^n(x.y) $ and $\lambda^m(\lambda^n(x)) $ via specific universal polynomials. An attempt to capture the essence of $\lambda $-rings without formulas?

Lenstra’s elegant construction of the 1-power series rings $~(\Lambda(A),\oplus,\otimes) $ requires only one identity to remember

$~(1-at)^{-1} \otimes (1-bt)^{-1} = (1-abt)^{-1} $.

Still, one can use it to show the existence of ringmorphisms $\gamma_n~:~\Lambda(A) \rightarrow A $, for all numbers $n \in \mathbb{N}_+ $. Consider the formal ‘logarithmic derivative’

$\gamma = \frac{t u(t)’}{u(t)} = \sum_{i=1}^\infty \gamma_i(u(t))t^i~:~\Lambda(A) \rightarrow A[[t]] $

where $u(t)’ $ is the usual formal derivative of a power series. As this derivative satisfies the chain rule, we have

$\gamma(u(t) \oplus v(t)) = \frac{t (u(t)v(t))’}{u(t)v(t)} = \frac{t(u(t)’v(t)+u(t)v(t)’}{u(t)v(t))} = \frac{tu(t)’}{u(t)} + \frac{tv(t)’}{v(t)} = \gamma(u(t)) + \gamma(v(t)) $

and so all the maps $\gamma_n~:~\Lambda(A) \rightarrow A $ are additive. To show that they are also multiplicative, it suffices by functoriality to verify this on the special 1-series $~(1-at)^{-1} $ for all $a \in A $. But,

$\gamma((1-at)^{-1}) = \frac{t \frac{a}{(1-at)^2}}{(1-at)} = \frac{at}{(1-at)} = at + a^2t^2 + a^3t^3+\ldots $

That is, $\gamma_n((1-at)^{-1}) = a^n $ and Lenstra’s identity implies that $\gamma_n $ is indeed multiplicative! A first attempt :

hassle-free definition 1 : a commutative ring $A $ is a $\lambda $-ring if and only if there is a ringmorphism $s_A~:~A \rightarrow \Lambda(A) $ splitting $\gamma_1 $, that is, such that $\gamma_1 \circ s_A = id_A $.

In particular, a $\lambda $-ring comes equipped with a multiplicative set of ring-endomorphisms $s_n = \gamma_n \circ s_A~:~A \rightarrow A $ satisfying $s_m \circ s_m = s_{mn} $. One can then define a $\lambda $-ringmorphism to be a ringmorphism commuting with these endo-morphisms.

The motivation being that $\lambda $-rings are known to form a subcategory of commutative rings for which the 1-power series functor is the right adjoint to the functor forgetting the $\lambda $-structure. In particular, if $A $ is a $\lambda $-ring, we have a ringmorphism $A \rightarrow \Lambda(A) $ corresponding to the identity morphism.

But then, what is the connection to the usual one involving all the operations $\lambda^i $? Well, one ought to recover those from $s_A(a) = (1-\lambda^1(a)t+\lambda^2(a)t^2-\lambda^3(a)t^3+…)^{-1} $.

For $s_A $ to be a ringmorphism will require identities among the $\lambda^i $. I hope an expert will correct me on this one, but I’d guess we won’t yet obtain all identities required. By the very definition of an adjoint we must have that $s_A $ is a morphism of $\lambda $-rings, and, this would require defining a $\lambda $-ring structure on $\Lambda(A) $, that is a ringmorphism $s_{AH}~:~\Lambda(A) \rightarrow \Lambda(\Lambda(A)) $, the so called Artin-Hasse exponential, to which I’d like to return later.

For now, we can define a multiplicative set of ring-endomorphisms $f_n~:~\Lambda(A) \rightarrow \Lambda(A) $ from requiring that $f_n((1-at)^{-1}) = (1-a^nt)^{-1} $ for all $a \in A $. Another try?

hassle-free definition 2 : $A $ is a $\lambda $-ring if and only if there is splitting $s_A $ to $\gamma_1 $ satisfying the compatibility relations $f_n \circ s_A = s_A \circ s_n $.

But even then, checking that a map $s_A~:~A \rightarrow \Lambda(A) $ is a ringmorphism is as hard as verifying the lists of identities among the $\lambda^i $. Fortunately, we get such a ringmorphism for free in the important case when A is of ‘characteristic zero’, that is, has no additive torsion. Then, a ringmorphism $A \rightarrow \Lambda(A) $ exists whenever we have a multiplicative set of ring endomorphisms $F_n~:~A \rightarrow A $ for all $n \in \mathbb{N}_+ $ such that for every prime number $p $ the morphism $F_p $ is a lift of the Frobenius, that is, $F_p(a) \in a^p + pA $.

Perhaps this captures the essence of $\lambda $-rings best (without the risk of getting an headache) : in characteristic zero, they are the (commutative) rings having a multiplicative set of endomorphisms, generated by lifts of the Frobenius maps.

2 Comments

Grothendieck’s functor of points

Published September 29, 2009 by lievenlb

A comment-thread well worth following while on vacation was Algebraic Geometry without Prime Ideals at the Secret Blogging Seminar. Peter Woit became lyric about it :

My nomination for the all-time highest quality discussion ever held in a blog comment section goes to the comments on this posting at Secret Blogging Seminar, where several of the best (relatively)-young algebraic geometers in the business discuss the foundations of the subject and how it should be taught.

I follow far too few comment-sections to make such a definite statement, but found the contributions by James Borger and David Ben-Zvi of exceptional high quality. They made a case for using Grothendieck’s ‘functor of points’ approach in teaching algebraic geometry instead of the ‘usual’ approach via prime spectra and their structure sheaves.

The text below was written on december 15th of last year, but never posted. As far as I recall it was meant to be part two of the ‘Brave New Geometries’-series starting with the Mumford’s treasure map post. Anyway, it may perhaps serve someone unfamiliar with Grothendieck’s functorial approach to make the first few timid steps in that directions.

Allyn Jackson’s beautiful account of Grothendieck’s life “Comme Appele du Neant, part II” (the first part of the paper can be found here) contains this gem :

“One striking characteristic of Grothendieck’s
mode of thinking is that it seemed to rely so little
on examples. This can be seen in the legend of the
so-called “Grothendieck prime”.

In a mathematical
conversation, someone suggested to Grothendieck
that they should consider a particular prime number.
“You mean an actual number?” Grothendieck
asked. The other person replied, yes, an actual
prime number. Grothendieck suggested, “All right,
take 57.”

But Grothendieck must have known that 57 is not
prime, right? Absolutely not, said David Mumford
of Brown University. “He doesn’t think concretely.””

We have seen before how Mumford’s doodles allow us to depict all ‘points’ of the affine scheme $\mathbf{spec}(\mathbb{Z}[x]) $, that is, all prime ideals of the integral polynomial ring $\mathbb{Z}[x] $.
Perhaps not too surprising, in view of the above story, Alexander Grothendieck pushed the view that one should consider all ideals, rather than just the primes. He achieved this by associating the ‘functor of points’ to an affine scheme.

Consider an arbitrary affine integral scheme $X $ with coordinate ring $\mathbb{Z}[X] = \mathbb{Z}[t_1,\ldots,t_n]/(f_1,\ldots,f_k) $, then any ringmorphism
$\phi~:~\mathbb{Z}[t_1,\ldots,t_n]/(f_1,\ldots,f_k) \rightarrow R $
is determined by an n-tuple of elements $~(r_1,\ldots,r_n) = (\phi(t_1),\ldots,\phi(t_n)) $ from $R $ which must satisfy the polynomial relations $f_i(r_1,\ldots,r_n)=0 $. Thus, Grothendieck argued, one can consider $~(r_1,\ldots,r_n) $ an an ‘$R $-point’ of $X $ and all such tuples form a set $h_X(R) $ called the set of $R $-points of $X $. But then we have a functor

$h_X~:~\mathbf{commutative rings} \rightarrow \mathbf{sets} \qquad R \mapsto h_X(R)=Rings(\mathbb{Z}[t_1,\ldots,t_n]/(f_1,\ldots,f_k),R) $

So, what is this mysterious functor in the special case of interest to us, that is when $X = \mathbf{spec}(\mathbb{Z}[x]) $?
Well, in that case there are no relations to be satisfied so any ringmorphism $\mathbb{Z}[x] \rightarrow R $ is fully determined by the image of $x $ which can be any element $r \in R $. That is, $Ring(\mathbb{Z}[x],R) = R $ and therefore Grothendieck’s functor of points
$h_{\mathbf{spec}(\mathbb{Z}[x]} $ is nothing but the forgetful functor.

But, surely the forgetful functor cannot give us interesting extra information on Mumford’s drawing?
Well, have a look at the slightly extended drawing below :

What are these ‘smudgy’ lines and ‘spiky’ points? Well, before we come to those let us consider the easier case of identifying the $R $-points in case $R $ is a domain. Then, for any $r \in R $, the inverse image of the zero prime ideal of $R $ under the ringmap $\phi_r~:~\mathbb{Z}[x] \rightarrow R $ must be a prime ideal of $\mathbb{Z}[x] $, that is, something visible in Mumford’s drawing. Let’s consider a few easy cases :

For starters, what are the $\mathbb{Z} $-points of $\mathbf{spec}(\mathbb{Z}[x]) $? Any natural number $n \in \mathbb{Z} $ determines the surjective ringmorphism $\phi_n~:~\mathbb{Z}[x] \rightarrow \mathbb{Z} $ identifying $\mathbb{Z} $ with the quotient $\mathbb{Z}[x]/(x-n) $, identifying the ‘arithmetic line’ $\mathbf{spec}(\mathbb{Z}) = { (2),(3),(5),\ldots,(p),\ldots, (0) } $ with the horizontal line in $\mathbf{spec}(\mathbb{Z}[x]) $ corresponding to the principal ideal $~(x-n) $ (such as the indicated line $~(x) $).

When $\mathbb{Q} $ are the rational numbers, then $\lambda = \frac{m}{n} $ with $m,n $ coprime integers, in which case we have $\phi_{\lambda}^{-1}(0) = (nx-m) $, hence we get again an horizontal line in $\mathbf{spec}(\mathbb{Z}[x]) $. For $ \overline{\mathbb{Q}} $, the algebraic closure of $\mathbb{Q} $ we have for any $\lambda $ that $\phi_{\lambda}^{-1}(0) = (f(x)) $ where $f(x) $ is a minimal integral polynomial for which $\lambda $ is a root.
But what happens when $K = \mathbb{C} $ and $\lambda $ is a trancendental number? Well, in that case the ringmorphism $\phi_{\lambda}~:~\mathbb{Z}[x] \rightarrow \mathbb{C} $ is injective and therefore $\phi_{\lambda}^{-1}(0) = (0) $ so we get the whole arithmetic plane!

In the case of a finite field $\mathbb{F}_{p^n} $ we have seen that there are ‘fat’ points in the arithmetic plane, corresponding to maximal ideals $~(p,f(x)) $ (with $f(x) $ a polynomial of degree $n $ which remains irreducible over $\mathbb{F}_p $), having $\mathbb{F}_{p^n} $ as their residue field. But these are not the only $\mathbb{F}_{p^n} $-points. For, take any element $\lambda \in \mathbb{F}_{p^n} $, then the map $\phi_{\lambda} $ takes $\mathbb{Z}[x] $ to the subfield of $\mathbb{F}_{p^n} $ generated by $\lambda $. That is, the $\mathbb{F}_{p^n} $-points of $\mathbf{spec}(\mathbb{Z}[x]) $ consists of all fat points with residue field $\mathbb{F}_{p^n} $, together with slightly slimmer points having as their residue field $\mathbb{F}_{p^m} $ where $m $ is a divisor of $n $. In all, there are precisely $p^n $ (that is, the number of elements of $\mathbb{F}_{p^n} $) such points, as could be expected.

Things become quickly more interesting when we consider $R $-points for rings containing nilpotent elements.

Arnold’s trinities version 2.0

Published June 20, 2008 by lievenlb

Arnold has written a follow-up to the paper mentioned last time called “Polymathematics : is mathematics a single science or a set of arts?” (or here for a (huge) PDF-conversion).

On page 8 of that paper is a nice summary of his 25 trinities :

I learned of this newer paper from a comment by Frederic Chapoton who maintains a nice webpage dedicated to trinities.

In his list there is one trinity on sporadic groups :

where $F_{24} $ is the Fischer simple group of order $2^{21}.3^{16}.5^2.7^3.11.13.17.23.29 = 1255205709190661721292800 $, which is the third largest sporadic group (the two larger ones being the Baby Monster and the Monster itself).

I don’t know what the rationale is behind this trinity. But I’d like to recall the (Baby)Monster history as a warning against the trinity-reflex. Sometimes, there is just no way to extend a would be trinity.

The story comes from Mark Ronan’s book Symmetry and the Monster on page 178.

Let’s remind ourselves how we got here. A few years earlier, Fischer has created his ‘transposition’ groups Fi22, Fi23, and Fi24. He had called them M(22), M(23), and M(24), because they were related to Mathieu’s groups M22,M23, and M24, and since he used Fi22 to create his new group of mirror symmetries, he tentatively called it $M^{22} $.
It seemed to appear as a cross-section in something even bigger, and as this larger group was clearly associated with Fi24, he labeled it $M^{24} $. Was there something in between that could be called $M^{23} $?
Fischer visited Cambridge to talk on his new work, and Conway named these three potential groups the Baby Monster, the Middle Monster, and the Super Monster. When it became clear that the Middle Monster didn’t exist, Conway settled on the names Baby Monster and Monster, and this became the standard terminology.

Marcus du Sautoy’s account in Finding Moonshine is slightly different. He tells on page 322 that the Super Monster didn’t exist. Anyone knowing the factual story?

Some mathematical trickery later revealed that the Super Monster was going to be impossible to build: there were certain features that contradicted each other. It was just a mirage, which vanished under closer scrutiny. But the other two were still looking robust. The Middle Monster was rechristened simply the Monster.

And, the inclusion diagram of the sporadic simples tells yet another story.

Anyhow, this inclusion diagram is helpful in seeing the three generations of the Happy Family (as well as the Pariahs) of the sporadic groups, terminology invented by Robert Griess in his 100+p Inventiones paper on the construction of the Monster (which he liked to call, for obvious reasons, the Friendly Giant denoted by FG).
The happy family appears in Table 1.1. of the introduction.

It was this picture that made me propose the trinity on the left below in the previous post. I now like to add another trinity on the right, and, the connection between the two is clear.

Here $Golay $ denotes the extended binary Golay code of which the Mathieu group $M_{24} $ is the automorphism group. $Leech $ is of course the 24-dimensional Leech lattice of which the automorphism group is a double cover of the Conway group $Co_1 $. $Griess $ is the Griess algebra which is a nonassociative 196884-dimensional algebra of which the automorphism group is the Monster.

I am aware of a construction of the Leech lattice involving the quaternions (the icosian construction of chapter 8, section 2.2 of SPLAG). Does anyone know of a construction of the Griess algebra involving octonions???

3 Comments

Arnold’s trinities

Published June 17, 2008 by lievenlb

Referring to the triple of exceptional Galois groups $L_2(5),L_2(7),L_2(11) $ and its connection to the Platonic solids I wrote : “It sure seems that surprises often come in triples…”. Briefly I considered replacing triples by trinities, but then, I didnt want to sound too mystic…

David Corfield of the n-category cafe and a dialogue on infinity (and perhaps other blogs I’m unaware of) pointed me to the paper Symplectization, complexification and mathematical trinities by Vladimir I. Arnold. (Update : here is a PDF-conversion of the paper)

The paper is a write-up of the second in a series of three lectures Arnold gave in june 1997 at the meeting in the Fields Institute dedicated to his 60th birthday. The goal of that lecture was to explain some mathematical dreams he had.

The next dream I want to present is an even more fantastic set of theorems and conjectures. Here I also have no theory and actually the ideas form a kind of religion rather than mathematics.
The key observation is that in mathematics one encounters many trinities. I shall present a list of examples. The main dream (or conjecture) is that all these trinities are united by some rectangular “commutative diagrams”.
I mean the existence of some “functorial” constructions connecting different trinities. The knowledge of the existence of these diagrams provides some new conjectures which might turn to be true theorems.

Follows a list of 12 trinities, many taken from Arnold’s field of expertise being differential geometry. I’ll restrict to the more algebraically inclined ones.

1 : “The first trinity everyone knows is”

where $\mathbb{H} $ are the Hamiltonian quaternions. The trinity on the left may be natural to differential geometers who see real and complex and hyper-Kaehler manifolds as distinct but related beasts, but I’m willing to bet that most algebraists would settle for the trinity on the right where $\mathbb{O} $ are the octonions.

2 : The next trinity is that of the exceptional Lie algebras E6, E7 and E8.

with corresponding Dynkin-Coxeter diagrams

Arnold has this to say about the apparent ubiquity of Dynkin diagrams in mathematics.

Manin told me once that the reason why we always encounter this list in many different mathematical classifications is its presence in the hardware of our brain (which is thus unable to discover a more complicated scheme).
I still hope there exists a better reason that once should be discovered.

Amen to that. I’m quite hopeful human evolution will overcome the limitations of Manin’s brain…

3 : Next comes the Platonic trinity of the tetrahedron, cube and dodecahedron

Clearly one can argue against this trinity as follows : a tetrahedron is a bunch of triangles such that there are exactly 3 of them meeting in each vertex, a cube is a bunch of squares, again 3 meeting in every vertex, a dodecahedron is a bunch of pentagons 3 meeting in every vertex… and we can continue the pattern. What should be a bunch a hexagons such that in each vertex exactly 3 of them meet? Well, only one possibility : it must be the hexagonal tiling (on the left below). And in normal Euclidian space we cannot have a bunch of septagons such that three of them meet in every vertex, but in hyperbolic geometry this is still possible and leads to the Klein quartic (on the right). Check out this wonderful post by John Baez for more on this.

4 : The trinity of the rotation symmetry groups of the three Platonics

where $A_n $ is the alternating group on n letters and $S_n $ is the symmetric group.

Clearly, any rotation of a Platonic solid takes vertices to vertices, edges to edges and faces to faces. For the tetrahedron we can easily see the 4 of the group $A_4 $, say the 4 vertices. But what is the 4 of $S_4 $ in the case of a cube? Well, a cube has 4 body-diagonals and they are permuted under the rotational symmetries. The most difficult case is to see the $5 $ of $A_5 $ in the dodecahedron. Well, here’s the solution to this riddle

there are exactly 5 inscribed cubes in a dodecahedron and they are permuted by the rotations in the same way as $A_5 $.

7 : The seventh trinity involves complex polynomials in one variable

the Laurant polynomials and the modular polynomials (that is, rational functions with three poles at 0,1 and $\infty $.

8 : The eight one is another beauty

Here ‘numbers’ are the ordinary complex numbers $\mathbb{C} $, the ‘trigonometric numbers’ are the quantum version of those (aka q-numbers) which is a one-parameter deformation and finally, the ‘elliptic numbers’ are a two-dimensional deformation. If you ever encountered a Sklyanin algebra this will sound familiar.

This trinity is based on a paper of Turaev and Frenkel and I must come back to it some time…

The paper has some other nice trinities (such as those among Whitney, Chern and Pontryagin classes) but as I cannot add anything sensible to it, let us include a few more algebraic trinities. The first one attributed by Arnold to John McKay

13 : A trinity parallel to the exceptional Lie algebra one is

between the 27 straight lines on a cubic surface, the 28 bitangents on a quartic plane curve and the 120 tritangent planes of a canonic sextic curve of genus 4.

14 : The exceptional Galois groups

explained last time.

15 : The associated curves with these groups as symmetry groups (as in the previous post)

where the ? refers to the mysterious genus 70 curve. I’ll check with one of the authors whether there is still an embargo on the content of this paper and if not come back to it in full detail.

16 : The three generations of sporadic groups

Do you have other trinities you’d like to worship?