bio | website | jmilne.org/math |
---|---|---|
location | Ann Arbor, MI, USA, and New Zealand. | |
age | ||
visits | member for | 5 years, 1 month |
seen | Oct 18 '10 at 13:35 | |
stats | profile views | 6,539 |
Arithmetic geometry (especially Shimura varieties and abelian varieties).
Jun 14 |
comment |
Are periods of rigid Calabi-Yau threefolds over $Q$ algebraic?
This looks wrong to me. Compute the Mumford-Tate group G of the relevant cohomology group (as a rational Hodge structure); then conjecturally, the transcendence degree of the field generated by the periods is the dimension of G (Grothendieck). The point is that algebraic classes force algebraic relations between the periods; hence conjecturally also Hodge classes do (this is known for abelian varieties by Deligne); and Grothendieck conjectured that these are all the relations. So if you want lots of relations, you need to find lots of Hodge classes. |
Jun 12 |
comment |
Hodge Standard Conjecture in Positive Characteristic
Actually the Hodge standard conjecture is not even known in positive characteristic for abelian varieties --- it is only known that it is implied by the Hodge conjecture for complex CM abelian varieties (see my 2002 Annals paper). Of course, the conjecture is trivial for projective n-space. A good reference for these things is Kleiman's article in the proceedings of the Motives conference, Seattle 1991, published by AMS 1994. |
May 31 |
comment |
What was Galois theory like before Emil Artin?
Charles, the independence of multiplicative characters is usually credited to Dedekind. Galois theory is about separable extensions. |
May 31 |
comment |
What was Galois theory like before Emil Artin?
Actually, it wasn't all that different, except that you first proved the primitive element theorem, and then proved things by choosing a primitive element. Artin disliked having to make a choice, and his main contribution was show that you can do Galois theory without choosing a primitive element. It's not obvious to me that this makes things easier or better. You can find the old approach in A.A. Albert's book on algebra. |
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. |