# Sanchez

less info
reputation
1928
bio website location age member for 1 year, 11 months seen 3 hours ago profile views 936

I really appreciate it when you take time to answer my questions. Thanks!

# 931 Actions

 Dec3 comment Amount of Background Needed for Number Theory Research Depending on your interest, if you go into number theory, you will along the way pick up some of representation theory, harmonic analysis, algebraic geometry, ergodic theory, mathematical physics etc, and it's likely that you can also do research in these areas. Maybe I'm wrong, but from your comments I get the impression that you think if you devote all your time to number theory then you won't have enough background for other areas. This is simply true, not only for number theory, but for most branches of Mathematics; many different areas of math are intertwined closely. Dec3 comment Arithmetic in p-adic The general procedure of these things is that, first you want to solve your equation in $\mathbb{F}_p$. In your case, it's clear that $x^2 = 2$ has a solution mod 7 (say 3), but not mod 5. Once you solved it in mod $p$, Hensel's lemma allows you to lift the solution uniquely to mod $p^2$, $p^3$ and so forth, which allows you to put them all together and solve it in $\mathbb{Z}_p$. This can be generalized to cubic root, or more general polynomial equations, as long as the condition of Hensel's lemma is satisfied. Dec3 comment What is so special about frobenious endomorphisms in elliptic curves? I guess in the context of elliptic curves, a great use of Frobenius is that its fixed points (say, you are over $\mathbb{F}_p$) are exactly the $\mathbb{F}_p$ points of the elliptic curves. One can then use insights from topology, in particular Lefschetz fixed point theorem, to study the number of $\mathbb{F}_p$ points of the elliptic curve. (And of course, more generally $\mathbb{F}_{p^n}$ points) This leads to the Grothendieck-Lefschetz trace formula. Dec3 comment Integral $\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}\frac{x\sin{x}}{1+\cos^4{x}}dx$ 1. You are right, sorry. 2. I'm not familiar with polylogarithms, but as in comments above 0912 claimed that it has a solution in terms of hypergeometric series, what you said is possibly right then. Dec3 comment Integral $\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}\frac{x\sin{x}}{1+\cos^4{x}}dx$ It's not linear functions of $x$, it's a function of $\cos x$ that involves squares and square root. See wolframalpha.com/input/?i=integrate+1%2F%281%2Bx^4%29 Dec3 comment Integral $\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}\frac{x\sin{x}}{1+\cos^4{x}}dx$ And how do you integrate $F(x)$? Dec3 comment What is the value of $\sum_{i=1}^n X_i(g) X_i(h^{-1})$ when $g,h \in G$ are in the same conjugacy class? Your teacher is right, I misread the indices. In that case, use your other question to get that the character table is an orthogonal matrix (after you suitably normalize each term). If the other question was column orthogonality, this one would be row orthogonality. Dec2 comment What is the value of $\sum_{i=1}^n X_i(g) X_i(h^{-1})$ when $g,h \in G$ are in the same conjugacy class? Yes, from your other question. Dec1 comment What do we know about the class group of cyclotomic fields over $\mathbb{Q}$? Thanks! This should really be a new question, but here it goes anyway: What would non-abelian reciprocity law tell us in this case (characterizing the set of completely splitting primes in $H$)? It's not congruence conditions on $p$, but what kind of condition would it be? Dec1 comment What do we know about the class group of cyclotomic fields over $\mathbb{Q}$? Thanks! I know this (actually that's how I came up with the question). I meant to characterize the set of primes in $\mathbb{Q}$, that splits completely in $H$ (the Hilbert class field of $\mathbb{Q}(\zeta_q)$ in this case, not necessarily abelian like you said) in a way similar to class field theory. I know that congruence conditions won't be possible here, but what can I say in general? Dec1 comment How prove this matrix inequality $\lambda_{n-1}\le\frac{n}{n-1}\min{\{a_{jj}:1\le j\le n\}}$ @user1551, thanks! Dec1 comment How prove this matrix inequality $\lambda_{n-1}\le\frac{n}{n-1}\min{\{a_{jj}:1\le j\le n\}}$ Why is $x^*Ax \ge \lambda_{n-1} \|x \|^2$? $\lambda_{n-1}$ is not the smallest eigenvalue. Nov30 comment Question about Radon-Nikodym derivative If your measure is positive, then any $\mu$ would dominate any $\nu$ given your condition, since the only $\mu$-null set is the empty set. For the Radon-Nikodym derivative, write $\nu = \int_A f d \mu$, and evaluate it at each singleton set $\{x\}$ - you will be able to write down what $f$ is then at each $x$. Nov30 comment Proving $a^ab^b + a^bb^a \le 1$, given $a + b = 1$ Do you know Jensen's inequality? Note that $f(x) = \log x$ is concave. The right upper bound should be $\frac{\log 2}{2}$. Nov30 comment What is the value of $\sum_{i=1}^n X_i(g) X_i(h^{-1})$ when $g,h \in G$ are in the same conjugacy class? But it's the same as $\sum \chi_i (g) \chi_i(g^{-1})$, since $h^{-1}$ and $g^{-1}$ are in the same conjugacy class. Can you evaluate the former sum? Nov30 comment Measure theory inquiry That's right. :) Of course, the derivative is only unique up to $\mu$-null sets. Nov30 answered The characters of the irreducible representations of a group Nov30 comment Measure theory inquiry Your condition works. As for the Radon-Nikodym derivative, you need to figure out a function $f$ such that $\nu = \int_{[0,1]} f d \mu$, i.e. $m(X \cap B) = \int_{X \cap A} f$. Can you think about a natural $f$ that does just that? (Hint: some characteristic function would work.) Nov29 comment What do we know about the class group of cyclotomic fields over $\mathbb{Q}$? Ah, Kronecker-Weber, good point! If that's the case, is there any way to characterize the set of primes $p$ that splits completely in $H$, using only arithmetic data of the ground field? Nov29 answered proof regarding zeta function of a curve from Ireland and Rosen's “A Classical Introduction to Modern Number Theory”