Profile

Cover photo
Pierre-Yves Gaillard
Works at University of Lorraine
Attended University of Geneve, Switzerland
Lives in Nancy, France
21,994 views
AboutPostsPhotosVideos

Stream

Pierre-Yves Gaillard

Shared publicly  - 
 
Some updates by +Olivia Caramello

#toposIHES - #OliviaCaramello

Here is a text recently posted by Olivia Caramello on her website:

http://www.oliviacaramello.com/Unification/InitiativeOfClarificationResults.html#Updates

In spite of the implicit recognition of the importance of my research programme made in his letter, A. Joyal has not stopped showing signs of disdain and hostility towards my work and my person in the last months. His behavior at the recent conference “Topos à l’IHÉS” that I co-organized is exemplary of the apparent impossibility for (some of) the category theorists of the old generation to understand and accept my ideas. I had proposed that he be invited to give one of the two tutorials on topos theory taking place on the first two days of the conference (the other one being given by me). He happily accepted the invitation formulating at the same time the unusual request to give an additional separate lecture at the conference as well. A few weeks before the beginning of the conference, I contacted him to agree on the contents of our respective courses, so to offer the audience a coherent picture of the subject without significant overlaps. He tried to press me to devote a substantial part of my course to elementary toposes in place of the ‘bridge’ technique, which nonetheless was not supposed to be mentioned in his own course. We finally agreed on giving two independent courses. According to the abstract that he had submitted (available here), he would introduce the fundamental notion of site and that of a category of sheaves on a site in the first part of his course; I could then build on these notions to present the theory of classifying toposes and the ‘bridge’ technique, in which sites play a central role. Contrary to what he had announced, Joyal did not introduce the notion of site in the first two lectures (so I had to define it in mines), which caused the complaints of a number of people. The problem was not remedied in the following lectures, where neither the notion of category of sheaves on a site nor the fundamental concept of flat functor were defined. These choices made it crystal clear that sites and presentations are essentially irrelevant in his “big picture” of topos theory. This greatly contrasts with the essential role that these concepts play in the ‘bridge’ technique, as the carriers of ‘concrete’ mathematical information that make it possible to apply topos theory in a variety of different mathematical situations and use classifying toposes as tools for unifying different mathematical theories with each other.

As it was already explained here, the strict and blind adherence to the Lawverian ‘site-free’ ideology, and the resulting mathematics done on one level rather than two, is the main mathematical reason behind the lack of understanding of my work that I have experienced from some senior category theorists since the times of my Ph.D. thesis. I was therefore not overly surprised that Joyal did not attend the third and fourth lectures of my course, where I presented the theory of topos-theoretic ‘bridges’ and its applications (I should add that I attended instead all of his lectures, and he attended all those of the other speakers!). Once again, an opportunity of scientific dialogue and confrontation in light of the mathematical fruits brought by this novel approach has been deliberately missed.

I should say that I find Joyal’s statement from his letter that my methodology ‘toposes as bridges’ is a vast extension of Klein’s Erlangen Program correct both technically and conceptually. Indeed, every group gives rise to a topos (namely, the category of its actions on sets), but the notion of topos is much more general. As Klein classified geometries by means of their automorphism groups, so we can study first-order geometric theories by studying the associated classifying toposes; as Klein established surprising connections between very different-looking geometries through the study of the algebraic properties of the associated automorphism groups, so the methodology ‘toposes as bridges’ allows to discover non-trivial connections between properties, concepts and results pertaining to different mathematical theories through the study of the categorical invariants of their classifying toposes.

Nonetheless, the few exchanges that I had with Joyal following his letter have left me with the impression that he has not actually understood the sense of my work (nor its technical aspects) and that he is not interested in trying to read it at all. This is all the more paradoxical since in the seventies Joyal was one of the inventors of the theory of classifying toposes of geometric theories, together with Makkai, Reyes and others. On the other hand, it might be precisely the lack of understanding from that generation of scholars of the deep meaning and immense applicative potential of the notion of classifying topos (which is revealed by the methodology ‘toposes as bridges’), and the resulting decision of not pursuing the development of that theory, the real reason behind their hostility towards my work. It is quite clear to me that most of these people, unlike Grothendieck (and me), have always conceived toposes as special kinds of abstract ‘algebraic’ structures to be studied essentially for their own sake rather than as meta-mathematical tools that can be used for the investigation and solution of concrete mathematical problems.

In this respect, the Introduction of Johnstone’s “Topos Theory” (1977), whose main focus and inspiration is the theory of elementary toposes, is particularly illuminating: in it, Johnstone notably talks about the “fundamental uselessness” of the general existence theorem for classifying toposes (!), complains that “the full import of the dictum that “the topos is more important than the site” seems never to have been appreciated by the Grothendieck school” and concludes that, unlike Grothendieck, he does not “view topos theory as a machine for the demolition of unsolved problems in algebraic geometry or anywhere else”. This was in 1977, but he has not changed his mind ever since. My work, which is Grothendieckian in spirit and actually allows to vindicate Grothendieck’s intuition of (Grothendieck) toposes as unifying spaces across different mathematical theories, is thus unbearable for him (despite the fact that I was his own Ph.D. student!). I have been regularly told (by different category theorists) things such as “you are not one of us” (referring to my different way of doing mathematics), “you have made me and Lawvere seem idiots” (referring to my address at the CT 2010) and “it is not that we do not understand, it is that we do not want to understand”. This is an attitude that one might label as “mathematical fanaticism”. I therefore no longer consider it my problem to make my word heard by people that do not want to hear.
Unifying theory. Controversy with category theorists. Overview and results of the initiative of clarification. Introduction. Reasons why I have undertaken this initiative of clarification. The denigratory campaign. Reasons behind the denigratory campaign. A bit of history ...
4
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
Gravitational Waves

Live online streaming of a press conference

http://www.utrgv.edu/feature/eblasts/provost/cgwa-event/index.htm

The UTRGV Center for Gravitational Wave Astronomy (CGWA) cordially invites you to a special event:

9:30 a.m. Thursday, February 11

El Gran Salón, UTRGV Brownsville Campus

The event will start with a live online streaming of a press conference from the National Press Club in Washington, D.C., as the National Science Foundation brings together scientists from Caltech, MIT, and the LIGO Scientific Collaboration, for a status report on the effort to detect gravitational waves.

#gravitationalWaves
7
2
David Roberts's profile photoPierre-Yves Gaillard's profile photo

Pierre-Yves Gaillard

Shared publicly  - 
 
A new text of Barry Mazur: Thinking about Grothendieck.

Direct link to the pdf file: http://www.math.harvard.edu/~mazur/papers/Thinking.about.Grothendieck(5).pdf

Link to Barry Mazur's site: http://www.math.harvard.edu/~mazur/

#Grothendieck --- #BarryMazur --- #Mazur

PS. +John Baez published a post, entitled Thinking about Grothendieck, about this at the n-category café. There will probably be interesting comments... Here is the link: https://golem.ph.utexas.edu/category/2016/01/thinking_about_grothendieck.html (TrackBack URL: http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2864)
14
10

Pierre-Yves Gaillard

Shared publicly  - 
6
1
Pierre-Yves Gaillard's profile photoDavid Roberts's profile photo
2 comments
 
Gah, I thought it just audio! I was on my phone and didn't double check the extension :-(
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
 
"Entretien au CIRM : Jean-Pierre SERRE avec Jean-Louis COLLIOT-THELENE"
 ·  Translate
View original post
5
1
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
Economics is an area that is built on mathematical models that simplify highly complex phenomena. People often forget that, as a result, economic models omit human and historical factors that are fundamentally non-mathematical and outside its scope. Thus the impossibility of building ...
4
6
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
 
Yet More About Grothendieck

Posted on February 16, 2016 by woit

Since Grothendieck’s death somewhat more than a year ago, quite a lot of new material about him and his mathematics has become available. Visit the Grothendieck Circle to find a lot of this, with just one example some new chapters of the English translation of the third volume of Scharlau’s biography.

This month’s AMS Notices has the first of two parts of a long article with contributions from many mathematicians discussing Grothendieck’s work and their memories of him and his influence on their careers. Colin McLarty has an excellent expository article, maybe the best of attempts I’ve seen to explain some of the themes of Grothendieck’s mathematics in a relatively accessible manner.

While you’re there, this latest issue of the Notices has quite a bit else worth reading, from my colleague Ivan Corwin on KPZ universality to Beilinson on Gelfand’s seminar, and an amusing attempt by Jeremy Gray to guess not the next Fields medalist, but who would have gotten one in 1866.
5 comments on original post
6
2
Pierre-Yves Gaillard's profile photo
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
A new preprint of +Michael Shulman

Homotopy Type Theory: A synthetic approach to higher equalities

This is an introduction to Homotopy Type Theory and Univalent Foundations for philosophers, written as a chapter for the book "Categories for the Working Philosopher."

http://arxiv.org/abs/1601.05035

http://arxiv.org/pdf/1601.05035v2.pdf

#HomotopyTypeTheory

Via Philosophical Logic ‏@logicians, https://twitter.com/logicians/status/690043317174804481

__________________________________________________________

PS. Similar: A new preprint of +David Corfield

Expressing ‘The Structure of’ in Homotopy Type Theory

http://philsci-archive.pitt.edu/11862/1/The_Structure.pdf

Via Philosophical Logic ‏@logicians, https://twitter.com/logicians/status/690046506070622209
8
3

Pierre-Yves Gaillard

Shared publicly  - 
 
I learned the existence of Vesselin Dimitrov's text Effectivity in Mochizuki's work on the abc-conjecture

http://arxiv.org/abs/1601.03572

on Thomas Sauvaget's blogpost

https://thomas1111.wordpress.com/2016/01/15/further-developments-around-the-work-of-mochizuki/

#Mochizuki --- #abc-conjecture
15
5

Pierre-Yves Gaillard

Shared publicly  - 
 
A new blogpost by David Mumford

Math & Beauty & Brain Areas; October 11, 2015

http://www.dam.brown.edu/people/mumford/blog/2015/MathBeautyBrain.html
8
5
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
With the right people and a little effort, we could have the internet we always wanted.
8
David Roberts's profile photo
 
The Stanford Encyclopedia of Philosophy, for the curious.
Add a comment...
People
Work
Occupation
Math. Prof.
Employment
  • University of Lorraine
    Math. Prof., present
  • various universities
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Nancy, France
Previously
Switzerland - Switzerland, USA, Canada, France
Contact Information
Home
Phone
33 3 83 56 48 03
Email
Address
3 rue d'Anvers, F-54500 Vandoeuvre, FRANCE
Story
Introduction
mathematician
Education
  • University of Geneve, Switzerland
Basic Information
Gender
Male
Links