anon

Unregistered less info
226 reputation
23
bio website
location
age
visits member for 2 years, 6 months
seen Dec 18 '12 at 0:11

Mar
22
awarded  Yearling
Dec
17
comment recover trace of l-adic sheaves defined over an extension
Since the Frobenius for $\mathbb{F}_n$ is the nth power of the Frobenius for $\mathbb{F}$, you seem to be asking: what can you tell about (the trace of) a matrix from knowing (the trace of) its nth power?
Dec
17
comment Hodge numbers of reduction mod $p$
For 2.), the answer is NO! and for 3.) the answer is the smooth-proper base change theorem, which gives an isomorphism on the cohomology groups (see any book on etale cohomology).
Dec
14
comment Mathematician trying to learn string theory
Candelas once told me that, when he asked Atiyah how to learn algebraic geometry, Atiyah responded: "You can't". At first Candelas thought Atiyah was making a statement about him personally, but what he was saying is that algebraic geometry is such a large subject that understanding it is a full-time occupation. I'm sure string theory is the same. Therein lies the problem, and it doesn't help that when mathematicians and physicists talk about the same object they often do so in very different ways.
Dec
13
comment Elementary proof of Mordell's theorem
There may be proofs of Mordell's theorem that don't use any algebraic number theory (perhaps Mordell's original proof doesn't), but I doubt whether you would want to read them. You could try looking in Mordell's book or at the article Cassels, J. W. S., Mordell's finite basis theorem revisited. Math. Proc. Cambridge Philos. Soc. 100 (1986), no. 1, 31–41.
Dec
10
answered complex multiplication
Dec
10
answered $Pic(X)/l=0$ in terms of $H^*_{et}(X,\mu_{l^n})$?
Dec
2
comment algebraic groups and their Lie algebras
This is not a research level question. The answer is complicated, depending on the hypotheses, but can be found in books and in online notes. Briefly, over a field of characteristic zero, the category of representations of a semisimple Lie algebra is equal to that of the associated simply connected semisimple algebraic group, but otherwise the categories usually differ (e.g., for $\mathbb{G}_a$).
Dec
2
comment How does “modern” number theory contribute to further understanding of $\mathbb{N}$?
Enough brilliant mathematicians have studied the Riemann hypothesis without success that we can be reasonably confident that a proof will only come by looking at it in some broader context. What that broader context will be, alas, we don't know.
Dec
1
comment Extremely messy proofs
Messy? yes. 62 pages? no. Hilbert's proof only takes about 12 pages of the article.
Nov
28
comment Is it known if the absolute Galois group is “divisible”?
Quotients of divisible groups are divisible, which is certainly not true of the absolute Galois group of Q.
Nov
27
answered Fundamental motivation for several complex variables
Nov
27
comment Fundamental motivation for several complex variables
The theory of several complex variables is such a rich and beautiful subject I have trouble understanding how anyone can ask the question. For example, the the theory of symmetric Hermitian spaces is quite interesting.
Nov
25
comment Examples of injective morphisms which are not universally injective
"Universally injective" is equivalent to "injective and all the maps on the residue fields are radicial" EGA I, 3.7.1.
Nov
24
comment Langlands Paper on representations of abelian algebraic groups
There are several expositions of Langlands paper in the literature, for example, Labesse, J.-P. Cohomologie, $L$-groupes et fonctorialité. (French) [Cohomology, $L$-groups and functoriality] Compositio Math. 55 (1985), no. 2, 163--184.
Nov
19
comment Is there an algebraic geometry analogue of the closed graph theorem?
Instead of assuming that the projection from $\Gamma$ to $X$ be proper, doesn't it suffice to assume that $\Gamma$ be irreducible?
Nov
17
comment Groups becoming algebraic groups
What's the motivation for the question? Even if the answer were yes (which I doubt), it wouldn't make it easier to verify that a variety is an algebraic group.
Nov
16
awarded  Commentator
Nov
16
comment Is there something interesting in the uniqueness condition for a sheaf?
Well, all "natural" presheafs are presheafs of functions, for which uniqueness is automatic. However, the presheaf quotient of a sheaf by a subpresheaf need not satisfy uniqueness. For example, consider at the presheaf quotient of the sheaf of locally constant functions on a space by the subpresheaf of constant functions.
Nov
8
comment A natural way of thinking of the definition of an Artin $L$-function?
4. It behaves correctly with respect to inducing characters.