bio | website | jmilne.org/math |
---|---|---|
location | Ann Arbor, MI, USA, and New Zealand. | |
age | ||
visits | member for | 4 years, 6 months |
seen | Oct 18 '10 at 13:35 | |
stats | profile views | 6,149 |
Arithmetic geometry (especially Shimura varieties and abelian varieties).
May 29 |
comment |
Points of reductive groups
Actually, "Deligne's result" is already in Saavedra, and the reference given is to an article by Deligne and somebody else. |
May 27 |
revised |
Automorphism of algebraic group preserving a hyperspecial maximal compact
added 482 characters in body |
May 26 |
answered | Automorphism of algebraic group preserving a hyperspecial maximal compact |
May 26 |
comment |
Ext of Tate-modules of abelian varieties
Over a finite field, these Ext groups are studied in one of my 1968 Inventiones papers. The same techniques may work over local fields. |
May 20 |
revised |
Constructing coherent sheaves on Shimura varieties.
added 7 characters in body |
May 20 |
answered | Constructing coherent sheaves on Shimura varieties. |
May 15 |
comment |
Motives versus Motifs
I've quite often seen the English word "motif" (meaning A distinctive, significant, or dominant idea or theme...) written "motive", which is one reason I chose as the title of LNM 900 "Hodge cycles, Motives,..." (at the time both "motive" and "motif" were in use in English). I would prefer to say that the French word "motif" has been borrowed three times into English, and twice anglicized. |
May 14 |
comment |
Quotients of Abelian Varieties by Finite Groups
The group of automorphisms of a polarized abelian variety is finite, and Shimura and Taniyama (in their famous 1961 book, p35) define a Kummer variety to be the quotient of a polarized abelian variety by the full group of automorphisms. For a general polarized abelian variety, the automorphism group is Z/2Z, and so I expect that they have been most studied in that case. |
May 14 |
answered | If Erdős is published as Erdös in a paper, which do I cite? |
May 12 |
comment |
homology of abelian variety ?
Perhaps its the paper that includes: "Recall that the category of abelian varieties up to isogeny is obtained from the category of abelian varieties by taking the same class of objects but replacing $Hom(A,B)$ with $Hom(A;B)\otimes\mathbb{Q}$. We shall always regard an abelian variety as an object in the category of abelian varieties up to isogeny: thus $Hom(A,B)$ is a vector space over $\mathbb{Q}$." If so, $A\otimes E$ means $A\otimes_{\mathbb{Z}}\mathcal{O}_{E}$, which is explained by Torsten. |
May 12 |
comment |
What are examples of mathematical concepts named after the wrong people? (Stigler's law)
It's not so clear. In the historical notes to his book, Nagata says that in the case N=0 and M an ideal, the lemma was given by Krull, and that the general case is in a paper of Azumaya. But Nagata learned it from Nakayama and Azumaya when he was an undergraduate. Since some mathematicians were calling it Nakayama's lemma, he asked Nakayama who had this formulation first, to which Nakayama responded that he did not remember whether Nakayama or Azumaya was the first. Probably it should be considered folklore, and the name "Nakayama's lemma" seems appropriate. |
May 12 |
comment |
Representations of reductive Lie group
There's a complete proof that representations of reductive groups in characteristic zero are semisimple in II, section 5, of the notes on my website. |
May 9 |
comment |
Question about computing group cohomology using cochains
For a group (no topology), I define the cohomology using injective resolutions in the category of all G-modules, and I prove that it can be computed using cochains (no conditions on G). For a profinite group, I define the cohomology using injective resolutions in the category of all discrete G-modules, and state that it can be computed using continuous cochains. A finite group can be regarded as a profinite group with the discrete topology, in which case the two definitions coincide (obviously). |
May 8 |
comment |
Examples of common false beliefs in mathematics.
Pete: It can screw you up very badly. For example, F-isocrystals are very different over the maximal unramified extension of Q_p and its completion. |
May 7 |
comment |
Published results: when to take them for granted?
Actually, the signs in Deligne's Travaux de Shimura are correct. It's in his Corvallis article that he got them wrong... |
May 6 |
comment |
Why are normal crossing divisors nice?
Hironaka proved that a smooth variety can always be realized as an open subvariety of a smooth projective variety in such a way that the boundary is a divisor with normal crossings. |
May 5 |
answered | Lifting Etale Morphisms |
Apr 18 |
comment |
Is there a schemetical construction for modular curves over the rationals?
"I agree PVHS is the way to prove analyticity (but not evident to beginners" well, they could try reading [the next version] of my Introduction to Shimura Varieties. More seriously, this argument in the one-dimensional case is pretty trivial, and Katz and Mazur were surely aware of it, so I find the statement in your first comment a bit strong. Perhaps they considered it too obvious to write out (or just forgot). |
Apr 18 |
comment |
Is there a schemetical construction for modular curves over the rationals?
I'm not sure I understand Brian's objections --- Shimura worked a lot with function fields and really did prove things. However, I would agree that this is completely the wrong way to do things. |
Apr 18 |
comment |
Is there a schemetical construction for modular curves over the rationals?
From Deligne's point of view (e.g., his Corvallis article), hermitian symmetric domains are exactly the moduli spaces (in the analytic category) of certain rigidified Hodge structures, hence their quotients are also. The algebraic moduli variety carries a variation of Hodge structures of the correct type, so you get an analytic map to the quotient of the HSD (which is algebraic by Borel's theorem). Isn't that all that's going on? |