Category Archives: In the media

Whom shall we cancel?

MbembeSo much virtual ink has been virtually spilled over a letter in Harper’s, signed by intellectuals and authors and public figures with an unlikely range of political orientations, but united by opposition to “a new set of moral attitudes and political commitments that tend to weaken our norms of open debate and toleration of differences in favor of ideological conformity” — what the media call “cancel culture” — that it’s time to ask whether the history of mathematics also contains episodes or individuals we might want to consider cancelling.  A ripe candidate for cancellation is Oswald Teichmüller, who explained in the fall of 1933 why he organized a boycott of Edmund Landau’s lectures, after the Nazis came to power earlier that year:

Through yesterday’s action a completely new situation has now been created. In order to restore peace in our institute it is necessary, above all, to clear up the fundamentals behind it. You spoke of your belief that what happened yesterday was an anti-Semitic demonstration. My standpoint was, and continues to be, that an anti-Jewish individual action might rather be directed against everyone else than against you. I am not concerned with making difficulties for you as a Jew, but only with protecting – above all – German students of the second semester from being taught differential and integral calculus by a teacher of a race quite foreign to them. I, like everyone else, do not doubt your ability to instruct suitable students of whatever origin in the purely abstract aspects of mathematics. But I know that many academic courses, especially the differential and integral calculus, have at the same time educative value, inducting the pupil not only to a conceptual world but also to a different frame of mind. But since the latter depends very substantially on the racial composition of the individual, it follows that an Aryan student should not be allowed to be trained by a Jewish teacher.

What I find troubling is not so much that courses on “Teichmüller theory” are being taught in Bonn — practically every year, apparently — but that this year, in the very same state of Nordrhein-Westfalen (NRW), an otherwise little-known member of the Landtag for the Free Democratic Party named Lorenz Deutsch called for cancellation of  the invitation of the philosopher and political theorist Achille Mbembe (pictured above) to give the opening speech at the Ruhr Trienniale arts festival.  Deutsch accused Mbembe of antisemitism for having signed a South African BDS petition, and of “relativizing” the Holocaust, rather than recognizing its Einzigartigkeit.    What began as a provinzielles politisches Hickhack, in the words of Deutsche Welle, turned into “Causa Mbembe,” the dominant theme in the spring’s German social debate (“beyond” Coronavirus, again according to Deutsche Welle) in which the full resources and richly polysyllabic vocabulary of German speculative philosophy were brought to bear on a handful of marginal passages in Mbembe’s collected works, both in support of and in opposition to their author.  The multiple ironies of the debate were not lost on the 700 African intellectuals whose open letter to German Chancellor Angela Merkel and President Frank Walter Steinmeier recalled Germany’s own bloody history as a colonial power (Mbembe’s native Cameroon was for a time a German colony).

Soon after “Causa Mbembe” began, the Ruhr Triennale was cancelled, ostensibly because of Coronavirus, although the festival’s director had offered to maintain the event in another form; Mbembe’s speech was cancelled along with it.  That this decision was part of a pattern of cancellations of intellectuals and artists, whose positions on the Boycott, Divestment, and Sanctions movement were considered out of bounds for German public discourse, was noted in a letter signed by 426 artists and intellectuals, but the Harper’s letter ignored this state-sponsored version of “cancel culture.”

But to return to mathematics, how would we go about cancelling Teichmüller (and Ernst Witt, and Ludwig Bieberbach, just for starters)?  We could rename Teichmüller spaces after a prominent victim of the Nazis — Anne Frank, for example — or after Landau himself.   Colleagues who object that neither Frank nor Landau had anything to do with Teichmüller spaces (or Witt vectors, or the Bieberbach Conjecture) can be referred to Stigler’s law of eponymy — which is applicable well beyond mathematics:  Medici didn’t design the Medici Chapels, Rockefeller didn’t build Rockefeller Center, Saint John the Divine didn’t build his Cathedral…

The whole tradition of assigning names to things in mathematics is totally out of control and always has been; mathematics has no central naming authority comparable to the Internet Corporation for Assigned Names and Numbers, although names of theorems and mathematical structures undoubtedly have a longer half-life than domain names on the internet.  Whether or not we eventually choose to embark on a full-scale iconoclastic renaming campaign — and to run the risk that we will soon find reason to regret our choices once again — it would be wise to remember that our profession’s patron saints were not only flawed human beings but that, in many cases, benefiting from racism was among their flaws.  Thus Science magazine pointed out just over a year ago that Isaac Newton’s theory of gravitation was developed with the help of figures “from French slave ports in Martinique,”  and reminds us that the Royal Society “invested in slaving companies,” as did many of my own university’s early benefactors.   (Leibniz, on the other hand, did once develop the argument that chattel slavery is morally impermissible.)

Gaspard Monge, who participated in Napoleon’s expedition to Egypt — the first modern European attempt to dominate the Middle East — had been the Minister of the Colonies under the Girondin government; at no point in his career did he allude to the Sainte-Domingue slave revolt of 1792, the main event that took place while he was Minister, and there is no indication that he protested when Napoleon reestablished slavery in 1802.  A bit later we have the case of Charles Dupin, remembered as a politician rather than a mathematician, but still a member of the Académie des Sciences and sufficiently concerned with mathematics to have managed to get Legendre’s pension restored. If he is indeed remembered as a “liberal” politician it was for his defense of slavery, “with the help of statistics”:

Il est l’auteur, en 1838, d’une brochure intitulée Défense des intérêts coloniaux confiés au Conseil des délégués pendant la législature de 1833 à 1838 dans laquelle il vante la situation des esclaves dans les colonies françaises en l’opposant au sort des Noirs libres des colonies anglaises, en présentant, à grand renfort de statistiques, une moindre mortalité infantile chez ceux qu’il appelle les « non-libres » pour ne pas avoir à utiliser le terme « esclave », ce qui est, selon lui, une « nouvelle preuve de la douceur et des bons soins que les maîtres prodiguent aux mères ainsi qu’à leurs enfants esclaves.

It makes no sense to say that Dupin’s ideas were in the spirit of the times; Condorcet had already refuted them 50 years earlier, in his Réflexions sur l’esclavage des nègres.  Even if Condorcet’s proposal, that would have fully eliminated slavery only after 70 years, is hardly compatible with current values, I would think twice before voting to cancel this particular mathematician, whose statue in Paris was already cancelled to provide metal for the Nazi war effort.

There is a substantial literature on the behavior of mathematicians and their institutions in Nazi Germany (see Michèle Audin’s review  of the book by Reinhard Siegmund-Schulze, and the references at the end).  When a comparable study of the role of mathematics and mathematicians with regard to slavery and colonialism is available, we can ask the question raised in the Science article mentioned above:

Now that the link between early science and slavery has come to light, an important question remains: What should scientists do about it?

The article continues:

Historians say acknowledgment is a start…

Challenges the math community faces in the future

These are the notes I prepared for the “Global panel” at the CARTOON conference on May 30, 2020.  There is only time to discuss a small fraction of this material, which itself is a minuscule selection of the massive literature inspired by thoughts about what our life, academic or otherwise, will be like if and when the pandemic is brought under control.

I expect to add resources and references as the summer progresses.


 

We have all been reading about the difference between “getting back to normal” and “adjusting to the new normal.”  There turns out to be fairly broad agreement that not only were some features of the “old normal” highly undesirable — like inequality, pollution, xenophobia, dependence on fossil fuels, austerity in public services, or the gig economy, or the for-profit health care system in the United States — but that the current crisis provides a once-in-a-lifetime opportunity to eliminate or at least to attenuate some of these undesirable features.

In the face of the coronavirus, a small window has opened in our societies to gain scope for action. It is important to keep this window open a bit.

(Bernd Scherer, Director, Haus der Kulturen der Welt)

Or, to quote Juliette Binoche, Iggy Pop, Vaughan Jones, Béla Tarr, Madonna, and Tim Gowers, among many other celebrities, it is time

to leave behind the unsustainable logic that still prevails and to undertake a profound overhaul of our goals, values, and economies.

In that spirit, I’m going to focus on the challenge to the mathematics community of using the current opportunity to address some aspects that need to be reconsidered of the system that makes our profession possible.  I will divide these artificially into four groups:  relations with the broader society, relations with universities and higher education, relations within the profession, and relations with ourselves.

 

Relations with broader society

The crisis has revealed something we already suspected:  that we are not essential workers.  This has two sides:  on the one hand, our mathematical activities are not necessary for the basic functions of civilized society; on the other hand, our material circumstances are safer and much more comfortable than those of nurses, sanitation workers, transport workers, food handlers, and so on.  What we owe in exchange for our comfort is a serious reflection on what is the “essence” of our work, with regard to the broader society.

Serious reflection on our essence requires in the first place speaking out about the ethical challenges posed by the many spectacularly problematic applications of mathematics — financial engineering, Cambridge Analytica, algorithmic weapons of math destruction, surveillance, as well as strictly military applications.  That doesn’t mean we necessarily have to refuse funding from the Heilbronn Institute, as Tom Leinster argued a few years ago; but it does mean owning up to what accepting such funding entails.

One direction I strongly advise avoiding is to reduce our essence to the market value of applications of mathematics, in scientific modeling or commercial innovations.  The argument can and should be made that these applications depend in multiple ways on a robust community of pure mathematicians, but promising spinoffs and startups in exchange for support of our profession is a toxic habit of concession to neoliberal thinking, and that habit clouds our thinking at every level.  For many reasons we should take advantage of the crisis to seal the collected thoughts of Margaret Thatcher and Ronald Reagan in a time capsule and bury them permanently in a toxic waste dump.

I will return to the essence of our work at the end.  In the meantime, avoiding the neoliberal reading of our essence as far as the broader society is concerned means taking on the neoliberal model of the university.  To quote the petition Refonder l’Université et la Recherche pour retrouver prise sur le monde et nos vies (more than 7000 signatures since March 20, including mine):

Le corollaire de l’autonomie du monde savant est son engagement sur un principe : sa responsabilité vis-à-vis de la société.  L’usage politique, technique et industriel des travaux scientifiques doit se décider dans un cadre pluraliste et démocratique, en accord avec l’intérêt commun.

 

Relations with universities  

In the neoliberal model the university provides the service of enhancing the student’s market value, and we, as teachers, are service workers.  This vision has the merit of relieving our fear of being seen as social parasites.  But the relief is short-lived, because the model of university education built on massive student debt is not sustainable, and other models are actively being discussed.  In March Stefan Collini wrote this in the Guardian:

The “marketisation” of universities in the past decade has changed their ethos as well as their funding. Older notions of an academic community, or a scholarly career, have been replaced by economic analyses that look to reduce unit costs per output. Replacing permanent staff with cheaper, disposable temporary ones reduces the power of academics and increases that of managers.

The rich Ivy league and similar universities have already announced hiring freezes; Johns Hopkins has gone even further, sending signals that even tenure may not guarantee the expected level of material comfort for much longer.

Suddenly anticipating losses of over $350 million in the next 15 months, the university imposed a hiring freeze, canceled all raises, and warned about impending furloughs and layoffs. Most extraordinarily of all, it suspended contributions to its employees’ retirement accounts.

(François Furstenburg, Chronicle of Higher Education)

The Times Higher Education Supplement has this headline story:

            Mergers and ‘FE future’ predicted for some English universities 

While many universities would need “pretty big cuts in teaching and research staff” as a result of the coronavirus crisis, such action would not be enough to save some institutions, which would be forced to merge as a condition of receiving extra funding…

Sir Steve Smith, vice-chancellor of the University of Exeter, adds

The future prosperity of the UK depends on having a strong university research base, which is subsidised by international student income.

Lurking in the background in this and similar articles is the prospect that the existing system of higher education will be replaced by one where universities become content providers to fit the respective business models of leading national industries — Silicon Valley in the US, for example.

The promise of freedom of subjective development and the democratization of knowledge was, however, increasingly functionalized through business models that use the orientation of citizens on the internet to collect data and sell them as goods for digital capitalism.

(Bernd Scherer, loc. cit)

 

WCET

A few of the sponsors of the 2020 WICHE Conference on Educational Technology

Some of the initiatives to preserve what we see as the values embodied by universities focus on protecting the most precarious university workers.  Among them are colleagues who have undergone the full academic apprenticeship process but who have not acquired the professional stability that is one of the chief attractions of the academic life.   I am one of 2800 signatories, including only 25 mathematicians, of the Covid-19 Academic Solidarity Statement, which

calls on universities to protect the lives and livelihoods of its contingent academic workers, including non-tenure track (NTT) teachers and graduate students. … Signatories to the statement further pledge not to accept speaking invitations during the 2020-21 academic year at institutions that have extended tenure clocks for their tenure-track faculty, but have not similarly extended contracts for all currently employed NTT teachers and graduate students.

(All eight Ivy League universities, including my own, are on the list of institutions whose invitations are to be refused, along with many others, public as well as private.  See also the long list of Related Campaigns, mainly by graduate workers and non-tenure-track faculty.)

It usually comes as a surprise to our colleagues in the humanities that mathematicians can be uniquely effective in campaigns in defense of progressive values.  A good example is Tim Gowers’s pledge in 2012 to boycott Elsevier, which inspired the Cost of Knowledge statement that quickly collected over 10000 signatures (17000 by 2018).

 

Relations with the profession

And with inevitable pressure on the job market as a result of the collapse of public budgets as well as the economy more generally, the priorities of the profession will come into question in a way that has not been seen since the 1950s — except in Russia, where mathematics has not recovered and may never recover from the collapse of the USSR.  Even before the financial crisis of 2008 the internal contradictions of the model of the reproduction of the humanities through graduate programs were widely recognized (as early as 1970, according to Christopher Newfield).  In mathematics, the imbalance between entering graduate classes and the job market (but why do we accept the “job market” as a fact of nature?) has been mitigated by the possibility of employment in the toxic “old normal” industries I already mentioned.

A recent Intercept article by Naomi Klein spells out how the tech industry, in partnership with local governments, plans to cash in on installing “smart” technology in the wake of the crisis.  She quotes Eric Schmidt:

Congress should meet the president’s request for the highest level of defense R & D funding in over 70 years, and the Defense Department should capitalize on that resource surge to build breakthrough capabilities in A.I., quantum, hypersonics and other priority technology areas.

Jobs in these sectors may well help PhDs in mathematics and the sciences survive the loss of stable university positions.  And this need not be a social and political disaster — if these developments are placed under democratic control, so that the benefits do not all accrue to Silicon Valley billionaires and the power is not designed to favor autocracy.  To quote Klein again:

Will that technology be subject to the disciplines of democracy and public oversight, or will it be rolled out in state-of-exception frenzy, without asking critical questions that will shape our lives for decades to come? Questions like, for instance: If we are indeed seeing how critical digital connectivity is in times of crisis, should these networks, and our data, really be in the hands of private players like Google, Amazon, and Apple? If public funds are paying for so much of it, should the public also own and control it? If the internet is essential for so much in our lives, as it clearly is, should it be treated as a nonprofit public utility?

However, even if one’s conscience is willing to forget that the expansion of employment opportunities for mathematicians to develop the tools of speculative finance and monetization of personal data that are at least partially responsible for the conditions that made the present crisis much worse than it had to be, there’s no guarantee that these industries will be able to absorb the surplus of mathematics PhDs when the crisis is over.

 

Relations with self

If you want to continue in this profession, your main task is to ask yourselves what you find important and valuable about the mathematical vocation, and then to acknowledge that much of this is likely to come under attack, precisely for the reasons that you find it appealing, and that preserving what is important and valuable is really up to you.  Ultimately this means placing the economic model and political justifications that sustain higher education, including those discussed above, under scrutiny; drawing the appropriate conclusions; and then doing whatever is necessary, as indicated by these conclusions, in order to preserve whatever drew you to the mathematical life in the first place.

In other words, if the values of mathematics are important to you, you will have to become activists.  If you have been reading or rereading Camus’ The Plague, you will have seen that there was “no great merit” in doing what Tarrou chose to do, “because they knew it was the only thing to do and not to have decided to do it would have been incredible.”

Humanistic scholars are much more skillful than we are in finding the language to justify their activism.

In a time in which public education must struggle to establish itself as a public good, it is incumbent upon faculty to clarify in what senses higher education is a value in our public worlds and why it should be supported. The answer provided by the recent AAUP statement …  relies on a notion of progress that is hardly explained, and given that experts have surely led us astray (experts in neoliberalism, technologies of indefinite detention, nuclear war), we would have to know which version of expert knowledge is advanced and judge whether its advancement is really a public good. Since we need to know and evaluate the direction and aim of such an “advancement,” we would have to rely on those humanistic disciplines explicitly devoted to critically interrogating the problem of value, justification, and the various senses of the public good.

(Judith Butler, Academe)

 

This text predates the COVID-19 crisis but the conclusions remain valid, and they challenge us to explain how the values that motivate us as mathematicians — the values that arise authentically from our practice, not those that are assigned to our work by the market — contribute meaningfully to “various senses of the public good.”  I think we can meet the challenge, but more of us will have to put more effort into our explanations than most of us have done so far.

Mathematicians have made considerable progress in recognizing ethical challenges within the profession.   The AMS has gone so far as to institutionalize the language of inclusion and exclusion in its publications.  But the scope for inclusion will be severely diminished if we don’t  find the language to address the challenges to the profession within the broader society.


 

1-minute summary

Forget everything you think you know, look for allies outside of mathematics, figure out what is most precious and hold on to it, and be prepared to fight to preserve it, because I guarantee there are political and economic forces that will take it away from you if left unopposed.


 

 

SOME CHOICE QUOTATIONS (some behind paywalls)

Once hard decisions have been made about academic offerings, high-level estimates of required faculty can be calculated with existing load levels, class sizes, and student-to- faculty ratios. Each of these items should next be analyzed as part of the second key question: How productive can our faculty be?

…Many argue that the traditional professorial model of tenure, lighter teaching loads, long vacations, and sabbaticals was formed when salaries were lower in higher ed but has been maintained even though salaries have risen.

(Chronicle of Higher Education, How to Address the Elephant in the Room: Academic Costs)

 

Faced with an education minister, Jean-Michel Blanquer, who has been bypassed by events, teachers have themselves invented new practices, working school by school and class by class. Away from the education authorities and the school inspectorates, the great majority of teachers have taken it upon themselves to choose and organise the details of the return to school.

…what this flurry of initiatives and mobilisation, and this capacity for self-organisation and innovation, have also shown is the extent to which a health crisis has ended up revealing the dangerously archaic nature of our political system.

(MediapartHow virus crisis is changing the face – and politics – of French society)

 

This crisis affords a rare chance to make personnel changes that have historically been resisted by strong campus cultures of inertia or by union agreements.

…Be prepared for big-change efforts and major cost-cutting (both administrative and academic), and invest in strategic differentiation to advance your college’s long-term health as well as survive this short-term crisis. In general, you will want to strive to cut more rather than less, and if things turn positive, you will be in a position to re-invest according to your strategy.

(Chronicle, Under Covid-19, University Budgets Like We’ve Never Seen Before )

 

This is only apparently a sex scandal

Epstein

From the cover page of the report

The news that several departments at Harvard, including the mathematics department, maintained connections with Jeffrey Epstein for many years after his conviction in 2008 “on charges related to soliciting minors for prostitution” has provided an opportunity for expressions of Schadenfreude on the part of several of my French colleagues.  Last September, after Harvard President Lawrence S. Bacow described Epstein’s actions as “utterly abhorrent . . . repulsive and reprehensible,” Harvard undertook a systematic review of Epstein’s donations to Harvard.  The report on that review can now be consulted online.

Attentive readers will have understood that the true scandal is not that one particular philanthropist turned out to be repulsive and reprehensible.  Dig into the backgrounds of the founders and funders of our most cherished institutions of higher learning and you will see that reprehensible actions are a frequent feature of their biographies.  Nor is it that the sexual exploitation of minors is one of the reddest of red lines, and that few of even our most intrepid colleagues would want to be caught red-handed on its wrong side.  What is really scandalous about the new story is that it is just the latest version of the old story, that the pursuit of the values of our profession, the internal goods in the language MWA borrowed from Alasdair MacIntyre, remains dependent on the continuous supply of external goods from benefactors who, practically without exception, have all crossed red or reddish lines in order to attain the status of Ultra-High Net Worth Individuals that allows them to play the role of benefactors in the first place.

Reddish lines have been shading redder in recent years.  Institutions have been cutting their ties with the intermediaries who brought them the embarrassing associations with Epstein; they have de-Sacklerized at an accelerating rate from one month to the next.  The to which I alluded in an earlier post

One veteran colleague likens mathematical research to a kidney; no matter where it gets its funding, the output is always pure and sweet, and any impurities are buried in the paperwork. Our cultural institutions have long since grown accustomed to this excretory function, and that includes our great universities.

— is growing increasingly unacceptable to mathematicians, as it is in the wider culture.  Can our profession every hope to be free of association with scandal?

Update:  you really should read the Vox article about the MIT Media Lab, specifically these two segments:

The argument that anonymous donations from bad people are good, explained

Who would you rather have $5 million: Jeffrey Epstein, or a scientist who wants to use it for research? Presumably the scientist, right?

 

“Everyone seems to treat it as if the anonymity and secrecy around Epstein’s gift are a measure of some kind of moral failing,” Lessig writes. “I see it as exactly the opposite. … Secrecy is the only saving virtue of accepting money like this.”

This from the former director of the Edmond J. Safra Center for Ethics at Harvard University.  After 5000 years of ethical reflection, is this the best we can do?

Mathematicians take the lead in coronavirus crisis

Mathematicians in both Britain and France are calling on their respective governments to abandon their present plans, which aim at reaching “herd immunity.”  Here are the first paragraphs of the British petition, which was apparently initiated by a group of applied mathematicians at Queen Mary University of London.

As scientists living and working in the UK, we would like to express our concern about the course of action announced by the Government on 12th March 2020 regarding the Coronavirus outbreak.  In particular, we are deeply preoccupied by the timeline of the proposed plan, which aims at delaying social distancing measures even further.

The current data about the number of infections in the UK is in line with the growth curves already observed in other countries, including Italy, Spain, France,and Germany [1]. The same data suggests that the number of infected will be in the order of dozens of thousands within a few days.

Under unconstrained growth, this outbreak will affect millions of people in the next few weeks. This will most probably put the NHS at serious risk of not being able to cope with the flow of patients needing intensive care, as the number of ICU beds in the UK is not larger than that available in other neighbouring countries with a similar population [2]. Going for “herd immunity” at this point does not seem a viable option, as this will put NHS at an even stronger level of stress, risking many more lives than necessary.

By putting in place social distancing measures now, the growth can be slowed down dramatically, and thousands of lives can be spared.

The complete statement is online.  It already has received more than 500 signatures, and they write

We are still collecting signatures, primarily from UK scientists but
also from leading international experts, mainly in mathematical
modelling, epidemiology, immunology, virology.

If you want to add your signature, you can write to Vincenzo Nicosia at

v.nicosia [at] qmul.ac.uk.

While the British statement is politely worded, almost to the point of caricature, Michel Parigot’s op-ed in today’s Libération, entitled Coronavirus:  the population must be locked down now, is extremely direct.  I translate the essential passages:

On Sunday Morning [French Minister of National Education] Jean-Michel Blanquer revealed, with an astounding distance and coldness, what what the government’s strategy had been from the start.  He explained that it is not a question of “preventing the virus from developing … but of ensuring that it develops over the longest possible period”, so that “50% to 70% of the population [are] ultimately infected with the virus “to achieve” majority immunity “.

Behind these figures, people are going to die. The idea is to immunize around 40 million people by exposing them to the virus. With a death rate in the range of 1% to 5%, depending on whether or not there are sufficient care options, that means between 400,000 and 2 million deaths. A strategy of deliberately sacrificing hundreds of thousands of lives when an alternative exists, which the Chinese have already shown is possible, is simply monstrous.

Concretely, Parigot calls on the government to

ban all contacts which are not strictly necessary, and for that to kill the economy [here he quotes an expression that has been circulating in the press], with the exception of strictly necessary economic activities and working remotely. Maximum protection must also be provided to those who provide essential services: healthcare, food (production and distribution), essential infrastructure (water, electricity, internet, etc.). Masks must be worn by anyone who travels. Finally, we must give precise instructions with informative explanations to protect ourselves and others; it’s not enough to recommend “washing our hands as often as possible”.

Parigot’s final paragraph calls on President Macron to lock down the population completely and immediately, and seems to endorse a declaration of martial law if it comes to that.  An article in today’s Le Monde suggests that the French authorities are already thinking along these lines.

 

(To avoid any misunderstanding, I hasten to add that I can’t imagine that a declaration of martial law by the current US administration would end well; and in view of the violent reaction of the French police to demonstrations over the past 18 months — even as recently as one week ago — I’m not so sure it would work out well in France, either.)

 

 

Villani is running for Mayor of Paris, but what does he represent?

You can read about it in English in a Reuters article signed by Elisabeth Pineau and Michel Rose, or in French in (among many other places) a Le Monde editorial (not behind a paywall).  But mostly you’ll read about how Macron’s strategy to win a symbolic victory over the established parties of the center-right and center-left has been “plunged into uncertainty.”  That doesn’t make for a very uplifting story.  You can test the argument Villani himself has put forward to motivate his candidacy

“Many complex problems will need to be worked out, which can be done by working together playing to our strengths,” Villani told supporters. “I’ve been tackling complex problems my whole life before entering politics.”

by substituting his fellow Fields medalists, one after another, for the “Lady Gaga of Mathematics”:  are you convinced?

His more relevant “strengths” can be read off the list of supporters who attended the announcement of his candidacy:

…nombre de ses soutiens sont à puiser chez les déçus de la “macronie”.

On y trouve le député Matthieu Orphelin, un proche de Nicolas Hulot qui a quitté le parti présidentiel en février, la députée Anne-Christine Lang, élue du 13e arrondissement, un ancien porte-parole de LaRem, Rayan Nezzar, et Paula Forteza, élue LaRem des Français de l’étranger.

(from the unsigned French Reuters article published on Mediapart but behind a paywall.)

The candidate Macron originally preferred has his own supporters:

Face à [Villani], Benjamin Griveaux peut compter sur l’appui du président de l’Assemblée nationale, Richard Ferrand, de Stanislas Guerini, de son ancien collègue Mounir Mahjoubi – ex-soutien de Cédric Villani – et de ministres comme Marlène Schiappa et Agnès Buzyn.

Meanwhile, the incumbent Socialist mayor Anne Hidalgo has yet to start her campaign for reelection, but her chances are looking considerably better since Macron’s movement split.  Here’s Hidalgo, looking very mayoral at a ceremony last year honoring the exiles of the Spanish Republic who played a crucial role in liberating Paris in 1944.

PastedGraphic-2

The Reuters article will tell you that this split

… could help Hidalgo win re-election, despite her own unpopularity due to the congested streets and polluted air of Paris.

This claim, which is typical of the English-language media, should not be taken at face value.  The bitterest attacks on Hidalgo have come from drivers, often from the wealthy western suburbs of Paris, who complain about her administration’s closure of parts of the city center to automobile traffic.  This policy has been promoted by her Green party allies (EELV — Europe Écologie les Verts) in the Paris city council.  Yannick Jadot, EELV’s candidate in the 2017 presidential election, has no problem with Hidalgo on that score:

“Le bilan d’Anne Hidalgo en matière d’écologie est celui des écologistes. Donc cette partie là, j’en suis très fier”, déclare Yannick Jadot.

Villani, meanwhile, announced that

he would be Paris’ first “truly environmentalist mayor”

But what does that mean?

The Ted Hill affair and the new Science Wars

the gap is so vast between whatever such studies measure and anything resembling an appreciation of the difficulties of coming to grips with the conceptual content of mathematics… that the label of science simply doesn’t apply.

The full article is at Politics/Letters.  See my article in Science for the People for an idiosyncratic comparison of the New Science Wars with the vintage version.

UPDATE:  I just learned that the same point was made long ago, and more succinctly, by von Neumann and Morgenstern on p. 4 of Theory of Games and Economic Behavior:

there is no point in using exact methods where there is no clarity in the concepts and issues to which they are applied.

 

Genetic determinism once more obnubilates French readers

After a French friend informed a few of his American colleagues that the center-right weekly magazine Le Point had printed a translation of Ted Hill’s article in Quillette, in which he alleges that an article of his had been censored by both the Mathematical Intelligencer and the New York Journal of Mathematics on political grounds, I decided I had no alternative to wasting half an hour familiarizing myself with a few of the details.  Having done so, I am just going to reproduce the message I sent to my French friend.

But first:  the French verb obnubiler is usually translated “to obsess,” which has nothing in common with the English cognate obnubilate, which means literally to cloud.  But in fact, French dictionaries interpret obnubiler quite differently:  someone is described as obnubilé whose judgment is clouded or impeded by an obsession.  The obsessive and repeated attempts to explain differences in power and status by genetic factors is a good example of obnubilation in this sense.

Now for my message:

I really don’t want to be wasting my time on this, but I’m afraid I’m going to have to.  Here is a description of Quillette:

and here is an article by Gowers analyzing the claims in Hill’s alleged study.
There is a second post, in which Gowers goes to extreme lengths to give Hill’s theses the benefit of the doubt, while remaining unconvinced.
I’m not going to comment on the editorial process at the Intelligencer or the New York Journal of Mathematics, which is a matter of very little interest.  What I see is just one more strained effort to disguise as scientific inquiry a thoroughly artificial and simplistic framing of a complex interaction of phenomena for which one has nothing resembling a coherent model, motivated solely by the demonstrate that the present distribution of power and resources has a natural basis.  All of this has dramatic political implications and the “libertarians” with whom Quillette identifies may belong to all kinds of tendencies — Dawkins used to be some kind of leftist, Pinker is a [censored!] liberal, Charles Murray is definitely right-wing — but the organized forces overlap significantly with the alt-right.
The problem with this sort of online debate is that it’s presented as intellectual censorship, while in fact it’s something else entirely.  Most of the liberals who are confused by this framing would never defend the right of creationists or climate change deniers — or holocaust deniers — to equal time, in the name of freedom of expression.  But there is a surprising openness to polemics disguised as scientific analysis when the aim is to prove that women are inferior at one thing or another.
To my mind, the best response to claims about hereditary differences in intelligence is still Gould’s The Mismeasure of Man, which illustrates the lengths to which defenders of inequality will go in attempting to prove their theses.  That was written nearly 40 years ago.  (You may remember that he mentioned that at one point IQ tests had been used as scientific proof that Jews were intellectually inferior to northern Europeans.)  Gould wrote a shorter but no less devastating review of The Bell Curve in 1994.
Unfortunately this particular vampire has not yet been nailed to its tomb once and for all.  Here is what I wrote about this in the middle of an article about the responsibility of mathematicians, for the celebration of Reuben Hersh’s 90th birthday.

I want to discuss an older story, one in which the mathematical sciences play at most a supporting role, but that I think illustrates well how philosophical confusion about the nature of mathematics can interfere with informed judgment. Here is a sentence that, syntactically at least, looks like a legitimate question to which scientific investigation can be applied:

Does mathematical talent have a genetic basis?

On the one hand the answer is obviously yes: bonobos and dolphins are undoubtedly clever but they are unable to use the binomial theorem. The question becomes problematic only when the attempt is made to measure genetic differences in mathematical talent. Then one is forced to recognize that it is not just one question innocently chosen from among all the questions that might be examined by available scientific means. It has to be seen against the background of persistent prejudices regarding the place of women and racially-defined groups in mathematics. I sympathize as much as anyone with the hope that study of the cognitive and neurological basis of mathematical activities can shed light on the meaning of mathematics — and in particular can reinforce our understanding of mathematics as a human practice — but given how little we know about the relation between mathematics and the brain, why is it urgent to establish differences between the mathematical behavior of male and female brains? The gap is so vast between whatever such studies measure and anything resembling an appreciation of the difficulties of coming to grips with the conceptual content of mathematics that what really needs to be explained is why any attention, whatsoever, is paid to these studies. Ingrained prejudice is the explanation that Occam’s razor would select. But I’ve heard it argued often enough, by people whose public behavior gives no reason to suspect them of prejudice, that it would be unscientific to refuse to examine the possibility that the highlighted question has an answer that might be politically awkward. It’s the numerical form of the data, I contend, and the statistical expertise brought to bear on its analysis, that provide the objectivity effect, the illusion that one’s experiment is actually measuring something objective (and that also conveniently forestalls what ought to be one’s first reaction: why has Science devoted such extensive resources to just this kind of question?) The superficially mathematical format of the output of the experiment is a poor substitute for thought. Maybe something is being measured, but we have only the faintest idea of what it might be.

More concisely:  if the question is not scientific, then the answer won’t be scientific either.  Or even more concisely:  garbage in, garbage out.
Michael
I added some emphasis that was not, I think, in the original article.  I just want to conclude with a particularly helpful paragraph from Gould’s review of The Bell Curve.
Like so many conservative ideologues who rail against the largely bogus ogre of suffocating political correctness, Herrnstein and Murray claim that they only want a hearing for unpopular views so that truth will out. And here, for once, I agree entirely. As a card–carrying First Amendment (near) absolutist, I applaud the publication of unpopular views that some people consider dangerous. I am delighted that The Bell Curve was written–so that its errors could be exposed, for Herrnstein and Murray are right to point out the difference between public and private agendas on race, and we must struggle to make an impact on the private agendas as well. But The Bell Curve is scarcely an academic treatise in social theory and population genetics. It is a manifesto of conservative ideology; the book’s inadequate and biased treatment of data display its primary purpose—advocacy.
I think, though, that Gould would not have been so delighted to see the publication of the theses of The Bell Curve in a journal that seeks to maintain editorial standards.

Short proofs

August 2018 was this blog’s busiest month in two years.  Practically all the visits came in the first two weeks, with much of the traffic arriving from Germany (1788 of 5574 views).  The explanation, apparently, is that Peter Scholze’s Fields Medal was announced the first day of the month, and the Hausdorff Institute of Mathematics in Bonn chose my blog post  as one of three “interesting and popular articles” on his work, along with the article Erica Klarreich published in Quanta two years ago, and my chapter in the book What is a Mathematical Concept? edited by de Freitas, Sinclair, and Coles.  Quanta‘s articles on mathematics are notoriously interesting and popular; my chapter on the “perfectoid concept” may or may not be interesting, but I can’t imagine why anyone would consider it “popular”; and the blog post — which, as you may remember, is a text that did not qualify for publication in The New Scientist, is somewhere in between.

Anyway, my WordPress dashboard informs me that the Hausdorff Institute’s recommendations were picked up by faz.net (Frankfurter Allgemeine Zeitung) as well as elmundo.es.  These two sites, together with the Hausdorff Institute, my indefatigable colleague Peter Woit’s blog, and the inevitable Google and Facebook, accounted for most of August’s referrals.

This year’s Fields Medals were widely covered by the international press, with Scholze’s story featured most consistently, along with the unexpected drama of the theft of Birkar’s medal.  Apart from Ulf von Rauchhaupt’s rather insightful faz.net article (visibly influenced by my blog post, not always with full attribution), coverage was mainly as approximate as one might expect, and was more informative about the current state of science reporting than about the priorities of contemporary mathematics.  Most entertaining for me was the article on the French website fabiosa.fr, which included this surprising bit of news:

Scholze a donc incontestablement la bosse des maths, mais il ne s’agit pas de son seul talent. En effet, il faisait partie d’un groupe de rock à 17 ans, puis a été professeur d’histoire allemande à 24 ans.

Rough translation:  “Scholze unquestionably has the math bump [a French expression that derives from phrenological notions popular in the 19th century — apparently there really is such a cranial bump, though its connection to mathematics is dubious] but it’s not his only talent: he played in a rock band at age 17, then at age 24 became professor of German history [sic!]”  Instead of a byline the article refers to three sources:  DW, El País, and Quanta.  I strongly suspect the sources were consulted and consolidated by a robot reporter which offered its own intrinsically logical interpretation of the sentence that opens the El Pais article:

Con 17 años tocaba el bajo en un grupo de rock, con 24 se convirtió en el catedrático más joven de la historia de Alemania.

The news coverage also revealed something of the network of journalists’ local contacts.  Thus the New York Times consulted Jordan Ellenberg, while El País quoted José Ignacio Burgos; Le Monde went to the trouble of finding four different mathematicians to contribute sentences about each of the four medalists:  Laurent Fargues (for Scholze), Philippe Michel (for Venkatesh), Jean-Pierre Démailly (for Birkar), and, inevitably, Cédric Villani (for Figalli).

Practically every article alluded to Scholze’s refusal of the New Horizons Prize, already discussed on this blog in 2015.   This came as no surprise to me; in fact, I had already anticipated the hypothetical reader’s fascination with this telling detail in the article I had prepared for The New Scientist, with the following sentence about his motivations:

My guess — but it’s no better than anyone else’s — is that he decided that the priorities of Silicon Valley are just not compatible with those of the mathematical community, as he sees it.

This means something very specific to me, and it may mean something to mathematicians reading this post, but to the hypothetical New Scientist reader it means exactly that Scholze refused the prize because he refused the prize, a vacuous observation embellished with the enigmatic expressions “mathematical community” and priorities.”  As we already know, this sentence never made it into the pages of The New Scientist; but, much to my surprise, it was translated into Spanish, at least twice, and at least once into German.  In each case my sentence was promoted to the status of a “speculation,” although the journalists had absolutely no reason to treat me as an authority on the matter, and besides which, as, I already explained, in the context of a newspaper article my sentence was totally devoid of content.  (Though one could always hope that a particularly attentive reader will find it surprising that not only is these such a thing as a “mathematical community” – though the word “community” disappeared from the German version — but that it even has “priorities”.   The reader may be sufficiently intrigued to wish to learn more about this, in which case:  good luck!)

Apparently Scholze’s refusal of the $100,000 prize cried out so desperately for explanation that the journalists grabbed at the only straw they found.  If they had been a little more patient, though they could have waited until August 6, when Scholze’s own answer to the question appeared in his interview with Helena Borges in O Globo:

O que posso dizer é que aquele era um prêmio e que este é outro. E é tudo que vou comentar sobre.

Rough translation, which curious readers are invited to ponder:  “What I can say is that that [the New Horizons Prize] was one prize, and that this [the Fields Medal] is a different one.  And that’s the only comment I’m going to make about that.”

The other item mentioned in practically all the press coverage recalled how Scholze distinguished himself already at age 22 when (quoting O Globo again) he “transformou uma teoria de 266 páginas em um texto sucinto de 37 folhas” — “transformed a 266-page theory into a succinct text of 37 sheets.”  Most of the other sources, starting with Erica Klarreich’s article in Quanta in 2016, identified the overstuffed “266-page theory” as none other than my book with Richard Taylor.  There is an interesting lesson hidden in that story about radical abbreviation, but that’s a silly (as well as misleading) way of putting it.  I was hoping to explain why that’s the case before I present an overview of the proof of the local Langlands conjecture to the graduate reading group that meets at Columbia tomorrow afternoon, but unfortunately I have run out of time, and I’ll have to return to the question later.

Is the tone appropriate? Is the mathematics at the right level?

In the middle of December I was approached by an editor at New Scientist to write an article about “the work of Peter Scholze and its connections to the Langlands program, quantum theory, and anything else it might reasonably be said to have connections to.”   Since the publication of my book, various people have been encouraging me to devote some time to writing popular accounts of the contents of mathematics, including contemporary (“cutting-edge”) work, and not just what my book calls “the mathematical life.”  Scholze’s work is certainly cutting-edge, and I had already published a semi-philosophical account of his “perfectoid concept,” but the material seemed rather remote from what I imagined to be the concerns of the typical reader of New Scientist.  The editor naturally mentioned the rumor that Scholze would be receiving a Fields Medal at next month’s International Congress of Mathematicians in Brazil, but for reasons that were not clear to me he seemed to feel that Scholze’s work would somehow have more resonance for his readers than that of the other potential laureates.  Nevertheless, I accepted the challenge, and on February 1 I sent the editor a draft containing about 2/3 of the requested 2400 words, asking “whether the tone is appropriate and whether the mathematics is at the right level.”

Over the next two months there ensued the kind of lively give-and-take with the editor that I have always imagined to be the privilege of those who eke out their livings writing for the more intellectually ambitious of the mass-circulation magazines (Google tells me that New Scientist’s circulation in 2016 was 124,623).  The editor wrote back the very same day to warn me that mathematics articles are typically a hard sell for a magazine like his, but that “with the right approach” they can be successful.  It would be important for me to convince readers — at the very least, those “who might know something about Fermat’s Last Theorem or the Riemann Hypothesis” — that they should care about the material.  

Taking these suggestions to heart, I sent the editor three more drafts, and by the middle of March I was ready to see how it would be transformed by the process, mysterious to me, known as “editing.”  The result, when it arrived on March 28, was deeply discouraging.  Very little of my own text had survived the cuts.  In its place was an admittedly smoothly flowing narrative composed largely of the kinds of hackneyed metaphors and extraneous historical anecdotes that did nothing to clarify the originality of Scholze’s insight.  After rapidly exchanging a few polite messages, the editor and I agreed that it was pointless to continue, and that it would be best if the New Scientist could salvage what it could from our correspondence and my previous draft; the editor promised to “run [these extracts] past [me] for approval before use.”

Six weeks passed, and since I had heard nothing from the editor I assumed the article had been “killed” (an expression I’ve already encountered in my interactions with journalists).  But I checked during a lull in the middle of a lecture in Paris and was surprised to find that the New Scientist had gone ahead without notifying me and had published an article — a cover story! — under the Oscar-worthy title “The Shape of Numbers” (or the title “‘Perfectoid geometry’ may be the secret that links numbers and shapes”; or even “Theorem of everything: The secret that links numbers and shapes,” depending how you find it on the internet).

I’m not particularly happy that the author failed to let me know just how I was being quoted, and I don’t expect I’ll have anything to do with New Scientist in the future.  And I don’t think it’s very helpful to have described Aristotle as an “ancient Greek philosopher and mathematician.”  Still, even though the article doesn’t make much headway in explaining Scholze’s “secret that links numbers and shapes,” it could certainly have been worse.

The author preserved enough words from my final draft to render the draft unpublishable in any form, but I do believe I have the right to reproduce it on this blog.  Please be indulgent when reading it and bear in mind that it is still just a draft, written for the eyes of the sympathetic and professional editor who still exists, if only in my imagination.

Number theory and geometry, the two most ancient branches of mathematics, could hardly be more different, at least on the surface.   The former deals with the properties of integers — 1, 2, 3, and so on — and is designed to understand discrete objects. The latter studies spatial relations and measurements, and is built on our intuition of continuity. Aristotle thought they were separate because they applied to such distinct domains: “we cannot… prove geometrical truths by arithmetic,” he wrote, and he meant “and vice versa” as well.

Yet mathematicians have long speculated that features shared by arithmetic and geometry have common origins. The French mathematician André Weil described this to his sister in particularly vivid terms:

around 1820, mathematicians … permitted themselves, with anxiety and delight, to be guided by the analogy [between an arithmetical and a geometric theory]. [Now] gone are the two theories, their conflicts and their delicious reciprocal reflections, their furtive caresses, their inexplicable quarrels; alas, all is just one theory, whose majestic beauty can no longer excite us. Nothing is more fecund than these slightly adulterous relationships; nothing gives greater pleasure to the connoisseur…

The unusual erotic charge of this letter, written in 1940, was stimulated by Weil’s pleasure in his recent solution of a geometric analogue of what then, as now, was the outstanding problem in number theory: the Riemann hypothesis. Like many problems in number theory, this one focuses on prime numbers, like 2, 3, 5: a number is prime if it can’t be factored as the product of two smaller numbers (unlike, say 6 = 2 x 3). There are infinitely many prime numbers, scattered among the integers according to no determinate pattern, but their frequency can be measured. The Riemann hypothesis predicts that this frequency follows the most natural possible rule.

The geometric version proved by Weil is the corresponding prediction for the frequency of points on a certain kind of curve. Just as prime numbers can be ordered by size, these points can be ordered by degree. Weil’s proof, which marks the beginning of the science with the most unaristotelian name of arithmetic geometry, showed that the number of points up to a given degree fits the prediction of the geometric Riemann hypothesis.

In a modern version of the analogy Weil found so delicious, prime numbers are points on a highly implausible kind of curve called Spec(Z), all stuck together by a strange sticky point that represents the familiar arithmetic of fractions. Ever since Weil proved his theorem about curves, and with increasing insistency in the last two decades, number theorists have believed that if one could make Spec(Z) genuinely curvy then fantastic consequences would follow — possibly including the Riemann hypothesis. Peter Scholze, today’s 30-year-old crown prince of arithmetic geometry, has not gone quite that far, but the p-adic geometry he has developed over the past 7 years has provided tantalizing hints of how a geometry of Spec(Z) might be built. In the process he has been transforming number theory at a rate that has the rest of us struggling to keep up.

Scholze, born in the former East Germany, would undoubtedly win a contest for World’s Most Popular Mathematician if there were such a thing; he has already received a long list of more conventional prizes. The Fields Medal is the highest honor for mathematicians under 40; most mathematicians are convinced that Scholze will be one of the winners at next August’s International Congress of Mathematicians in Rio de Janeiro. Scholze chose “p-adic geometry,” naturally enough, for the title of his prestigious plenary lecture at the Rio meeting. The “p” in “p-adic” denotes a prime number. Each prime has its own system of p-adic numbers, in which numbers become closer as their difference grows more divisible by p. In the 5-adic numbers, for example, 50 is 25 times closer to 2,000,000 than it is to 51 or 52. The 2-adic numbers are like binary numbers, but written in the wrong direction: our 16 is represented as 10000 in binary but is more like .0001 in the 2-adics.

There is an intrinsic geometry to the p-adic numbers, but it has little in common with Euclidean geometry.   A p-adic circle would be composed of infinitely many smaller circles, in a fractal pattern, while all p-adic triangles would be isoceles. But you can’t actually draw p-adic circles or triangles — in fact, you can’t connect any two p-adic dots by anything resembling a straight line. P-adics were introduced by Kurt Hensel in 1897 as a way of understanding solutions to diophantine equations — polynomial equations with whole number coefficients. Perhaps the most famous diophantine equations are the Fermat equations

Xn + Yn = Zn

where the exponent n is a positive integer. When Sir Andrew Wiles proved in the early 1990s that the Fermat equation has no solutions when n >2 — this is the famous Fermat’s Last Theorem — practically every step in the proof involved p-adic numbers. Hensel’s version of p-adic geometry was barely relevant to Wiles’s work.

Scholze takes a different approach to p-adic geometry, taking his cue from the radical expansion of geometry in the 1960s under the leadership of Alexander Grothendieck. In contrast to the system inherited from Euclid, which dissected circles and triangles as singular objects, or the analytic geometry of Descartes, which studied parabolas and ellipses as if they were drawn on graph paper, each of Grothendieck’s geometric objects is at all times considered in relation to every other object in its category — the technical term for the principles contemporary mathematicians use to organize objects of a given type.   So where a point in the Euclidean or Cartesian plane is just a familiar dot on a flat surface, a Grothendieck point is more like a way of thinking about the plane — which includes the possibility of drawing a triangle or an ellipse, or even squashing the surface of the globe into a planar map.

Grothendieck is usually considered the most influential mathematician of his time; the solution of Fermat’s Last Theorem, like every other major development in number theory over the past half century, would have been impossible without his innovations. Nevertheless the old Cartesian intuition, corrected by habits from algebraic calculation, largely sufficed when Grothendieck’s ideas were applied, notably by the French mathematician Jean-Marc Fontaine, who invented a series of new algebraic systems to bridge the gap between p-adic arithmetic and Grothendieck geometry. Scholze’s spaces, which retain some properties from familiar geometry and sacrifice some others, severely strain this intuition.

P-adic geometry can be viewed as the study of the geometry — in Grothendieck’s relational sense — that you would see hanging off the sticky curve Spec(Z) if you examined it under a microscope near the prime p.  Scholze was only 24 when his dissertation introduced the theory of perfectoid spaces, which combined the best properties of the many kinds of Grothendieck-style p-adic geometries that had been studied over the previous half century with Fontaine’s p-adic number theory. In the intervening years Scholze and his collaborators have used perfectoid geometry to solve or clarify so many outstanding problems in number theory and in other branches of arithmetic geometry that last year’s annual Arizona Winter School on perfectoid spaces attracted a record 400 graduate students and postdocs — double the previous record.

Perfectoid geometry is very much a work in progress, and its details are dispersed among hundreds of pages of difficult mathematics, but one can begin to see the point with the help of Weil’s “slightly adulterous” analogy between algebra and geometry, as applied to differential calculus. As developed by Newton and Leibniz, calculus permits the application of the notions of geometry on an infinitesimal scale, predicting the motion of a particle under the influence of external forces. In the most familiar cases, this motion can be described as a function of time t by a Taylor series. This is an infinite version of a polynomial function of t:

f(t) = ∑ antn  

where the coefficients an are constant real numbers. A p-adic number has a similar expression:

  ∑ anpn

where the the coefficients an are now integers, but the variable t has been replaced by the prime number p. The two expressions have a completely different character, however: whereas t is a variable, and can therefore take on infinitely many values and trace a geometric figure as time varies, the number p is itself a constant and the p-adic expression belongs to pure algebra.

The aim of perfectoid geometry, in a single sentence, is to make the constant p behave like a variable, and thus to apply geometric methods to the arithmetic of p-adic numbers, and from there to the rest of number theory. This has a most disconcerting implication.   Just as there are functions in calculus that depend on many variables — the forces on a vibrating string, for example, depend on the position along the string as well as time — perfectoid geometry makes it possible to clone a prime number, so that there can be several perfectoid versions of 3, taking independent values. With his theory of diamonds, a subsequent development of perfectoid spaces, Scholze managed precisely this.

Weil used a similar principle to prove his geometric Riemann hypothesis, which also depends on a prime number p. One can think of the curves he studied as trajectories of a particle parametrized by a time variable t. With a second variable u one can trace a second copy of the curve — a second particle—and Weil’s analysis of the frequency of points is based on using both copies simultaneously and comparing the places where the two particles coincide — this is the equation t = u — and where they have a fixed degree — this is given by a second equation (for example t = up means the point has degree 1). Similarly, in Scholze’s p-adic diamonds — take the prime p = 3 for concreteness —the 3-adic numbers stretch out into a kind of curve, and the excitement happens when my 3 gets close to colliding with your 3.

Apart from providing an especially rich framework for p-adic geometry, the most immediate applications of Scholze’s perfectoid spaces may be to the vast program outlined 50 years ago by Robert P. Langlands to unify number theory with the geometry of Lie groups, the systems of symmetries that are also central to mathematical physics. Mathematicians are aware that Wiles proved Fermat’s Last Theorem by establishing one particular consequence of the Langlands program; the last step was completed in collaboration with Richard Taylor. Scholze recently joined forces with Taylor and eight other mathematicians to push the argument of Wiles and Taylor in a new direction, one that would have been inaccessible without perfectoid spaces.

The full Langlands program is no more likely than the original Riemann hypothesis to be settled in the near future. But it also has a purely p-adic chapter. Scholze’s first published papers, before he invented perfectoid geometry, introduced a new perspective on this local Langlands correspondence — a subject on which I worked with Taylor about 20 years ago. More recently, the French mathematician Laurent Fargues proposed a way to use the cloning property of Scholze’s diamonds to provide a full solution of the p-adic side of the Langlands program. There are persistent rumors that Fargues and Scholze are working intensively on this proposal in advance of the coming summer’s meeting in Rio.

Scholze was briefly in the news in 2015 when he refused a $100,000 New Horizons Prize — the junior version of the $3 million Breakthrough Prizes awarded every year in a Hollywood-style extravaganza in Silicon Valley. Since he did not intend his decision as a public statement, guesses about Scholze’s motivations continue on the internet. What I can say is that parallels with the actions of Grigory Perelman, who solved the most famous problem in (traditional) geometry but refused the Fields Medal as well as the $1 million Clay Millenium Prize, before withdrawing from mathematics entirely, are completely off base.   Perelman was portrayed in Masha Gessen’s Perfect Rigor as a hermit and a crank, with rigid ideas of what is and is not proper. Scholze is gregarious, thoughtful, generous with his ideas, actively supportive of junior colleagues (some of whom are slightly older than he is). He doesn’t seek publicity, and he is most likely to be spotted at a conference drinking beer with his friends, but he doesn’t mind talking to the press when necessary. In every way he has shown that he is ready to accept the responsibilities that the mathematical community generally expects of its most influential and respected individuals. My guess — but it’s no better than anyone else’s — is that he decided that the priorities of Silicon Valley are just not compatible with those of the mathematical community, as he sees it.

Whatever his reasons, mathematics needs more individuals like Peter Scholze.   While the secrets of his success are not likely to be transmitted even to those who work most closely with him — and there are no prospects of cloning him in the near future — he has provided some insight into his goals as a mathematician, in a recent message that he has allowed me to share.

“What I care most about are definitions. For one thing, humans describe mathematics through language, and, as always, we need sharp words in order to articulate our ideas clearly. (For example, for a long time, I had some idea of the concept of diamonds. But only when I came up with a good name could I really start to think about it, let alone communicate it to others. Finding the name took several months (or even a year?). Then it took another two or three years to finally write down the correct definition (among many close variants). The essential difficulty in writing “Etale cohomology of diamonds” was (by far) not giving the proofs, but finding the definitions.) But even beyond mere language, we perceive mathematical nature through the lenses given by definitions, and it is critical that the definitions put the essential points into focus.

Unfortunately, it is impossible to find the right definitions by pure thought; one needs to detect the correct problems where progress will require the isolation of a new key concept.”

Number theory, GCHQ, and kidneys

If you can get past the paywall you can read some of my thoughts on research funding in an article published on March 8 in the Times Higher Education Supplement .

If not, here is a “fair use” excerpt:

Mathematicians have been reluctant to recognise that if our work interests generous donors, it is often precisely because it is “useful” according to a definition that Hardy proposed near the beginning of the First World War: “its development tends to accentuate the existing inequalities in the distribution of wealth, or more directly promotes the destruction of human life”.

We will have to overcome this reluctance and draw uncomfortable conclusions. Wherever you turn as a mathematician, you’re going to be someone’s kidney: practically every potential source of research funds is tainted in some way.

(I’m afraid you’ll have to find a way to read the article if you want to know what that kidney is doing in that last paragraph.)