- Here’s a suggestive hallucination, useful to me for keeping some things straight, but maybe not useful to anyone else:
Let be a p-adic reductive group, an algebraically closed field of characteristic zero (or maybe just of characteristic ). The set of isom. classes of smooth irreducible -representations of really wants to be an algebraic variety, but it’s not. However, has a canonical best approximation by an (ind-)algebraic variety, the Bernstein variety . The canonical map is “quasifinite and birational”. The algebraic functions on are given by trace forms, i.e. by functions of the form for some arbitrary . There is also a canonical second-best approximation of by an algebraic variety, the spectral Bernstein variety , i.e. the coarse quotient of the stack parametrizing (-relevant) L-parameters . It is second-best in the sense that there is a quasifinite map . The composite map sends to its semisimple L-parameter.
Should I post more hallucinations like this?
- I have to admit that I struggle psychologically with things related to foundations, especially subtleties arising from “big” constructions and the usual prophylactics involving universes or cutoff cardinals or whatever. For one thing, I don’t really care. But more significantly, the idea that ZFC (or something like it) should be accepted as the “standard foundations” of mathematics is absolutely revolting and nonsensical to me. The fact that everything in ZFC is a set makes it a complete non-starter for me as a reflection of how mathematics really operates. In some sense, I don’t really believe in “naked” sets.
Anyway, I was never able to articulate my thoughts about this stuff very precisely. It was thus something of a revelation when I read this article at the Xena project, and realized that type theory is what I’ve been craving all along. I also strongly recommend this article by Todd Trimble which articulates my problems with ZFC much more eloquently than I can. (I don’t really understand ETCS yet, but it also seems like it would satisfy me.)
- Is the twitter account @GeoMoChi08 a parody? I would dearly love to know what’s going on with this account (and with @math_jin).
5 thoughts on “Several things part 3”
I’m not sure if you’re aware or not but in type theory you still have to deal with big things via universe levels (otherwise you run into more or less identical issues).
And then there is some heated debate about which exact type theory’s better for mathematicians (for example do you want decidable type checking or not) http://math.andrej.com/2016/08/09/what-is-a-formal-proof/
Hmm, has @GeoMoChi08 evaporated?
No, I just mistyped it: @GeMoChi08 is what I meant.
Oh, *that* account. Yes, weird. I can appreciate @math_jin as a means of sharing info, but the obvious aggressive stance of @GoMoChi08 is something else.
@David Roberts: Agreed! Of course, weirdly aggressive stances are nothing new in this whole IUT farce.
Anyway, it is rather fun to imagine myself and others “seeking absolute supremacy with the Langlands program”…