- 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).