User henri johnston - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T19:38:18Z http://mathoverflow.net/feeds/user/7443 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/124789/character-fields-and-cliffords-theorem Character fields and Clifford's theorem Henri Johnston 2013-03-17T14:41:01Z 2013-03-17T17:32:01Z <p>Let $G$ be a finite group with normal subgroup $N$. Let $\chi$ be an irreducible complex character of $G$. Then Clifford's Theorem says that $\mathrm{res}^{G}_{N}\chi = e(\eta_1 + \cdots + \eta_r)$ where $e$ is a positive integer and each $\eta_i$ is a complex irreducible character of $N$ such that the $\eta_i$'s are the distinct conjugates of $\eta := \eta_1$ (i.e. for each $i$ there exists $g_i \in G$ such that $\eta_i(n)=\eta(g_i n g_i^{-1})$ for all $n \in N$.) Let $\mathbb{Q}(\eta) = \mathbb{Q}(\eta(n) : n \in N)$ be the character field of $\eta$ and similarly for <code>$\mathbb{Q}(\mathrm{res}^{G}_{N} \chi)$</code>. Since $\mathbb{Q}(\eta_i)=\mathbb{Q}(\eta)$ for each $i$, we have $K:=\mathbb{Q}(\mathrm{res}^{G}_{N} \chi) \subseteq \mathbb{Q}(\eta)$. </p> <p>Question: Is $e$ somehow related to $[\mathbb{Q}(\eta):K]$? For example, do we have $e \geq [\mathbb{Q}(\eta):K]$? Otherwise, can you tell me anything about the relation between $K$ and $\mathbb{Q}(\eta)$? e.g. do we somehow get $\mathbb{Q}(\eta)$ from $K$ by adjoining certain roots of unity? If so, which ones (are they related to say $[G:N]$)? (I am actually interested in the case where we replace $\mathbb{Q}$ by the $p$-adics $\mathbb{Q}_p$ throughout and $[G:N]$ is a power of $p$.)</p> http://mathoverflow.net/questions/106265/vanishing-of-certain-mu-invariants-attached-to-abelian-extensions-of-imaginary Vanishing of certain $\mu$-invariants attached to abelian extensions of imaginary quadratic fields Henri Johnston 2012-09-03T19:11:03Z 2012-09-28T07:34:37Z <p>In <em>Fonctions L p-adiques des corps quadratiques imaginaires et de leurs extensions abéliennes</em>, J. Reine Angew. Math. 358 (1985), 76–91, Roland Gillard shows the following result (I mainly follow the MR review here):</p> <p>Let $K$ be an imaginary quadratic field and let $p > 3$ be a prime number which splits in K into $(p)=\mathfrak{p}\mathfrak{p'}$. Let $K_{\infty}$ be the unique <code>$\mathbb{Z}_{p}$</code>-extension of $K$ unramified outside $\mathfrak{p}$ (thus noncyclotomic). Let $F$ be a finite abelian extension of $K$ and let $M$ be the maximal abelian $p$-extension of $F$ unramified outside $\mathfrak{p}$. Then Theorem 3.4 states that $\mathrm{Gal}(M/FK_{\infty})$ is $\mathbb{Z}_{p}$-torsion-free; in particular its $\mu$-invariant is 0.</p> <p>Question: does anyone know if the vanishing of this $\mu$-invariant is also proven somewhere when $p=3$ (even special cases would be of interest)?</p> <p>Note: with some work, you can get a PDF of the article in question without a subscription by following the link from here: <a href="http://www.ams.org/dmr/JournalListJ.html" rel="nofollow">http://www.ams.org/dmr/JournalListJ.html</a></p> http://mathoverflow.net/questions/95993/representation-theory-of-a-finite-p-group-over-a-field-of-characteristic-p-dim-o Representation theory of a finite p-group over a field of characteristic p: dim of invariants =1 => dim of coinvariants = 1? Henri Johnston 2012-05-04T15:10:56Z 2012-09-06T17:14:06Z <p>I am trying to understand the proof of Proposition 4 in S. Ullom, <em>Integral normal bases in Galois extensions of local fields</em>, Nagoya Math. J. Volume 39 (1970), 141-148. The PDF is available here: <a href="http://projecteuclid.org/euclid.nmj/1118798052" rel="nofollow">http://projecteuclid.org/euclid.nmj/1118798052</a></p> <p>It appears that the following result is used, but I'm afraid that I don't quite see the proof. Let $k$ be a field of characteristic $p$ and let $G$ be a finite $p$-group. Let $W$ be a left $k[G]$-module such that $\dim_k W = |G|$. Suppose that $\dim_k W^{G} = 1$. Then $\dim_k W_G = 1$. Here $W^G$ denotes invariants and $W_G$ denotes coinvariants.</p> <p>I have to admit that I know relatively little about representation theory in characteristic $p$. One idea would be to consider the dual representation $\hat{W}$, but I only got so far: $\dim_k W^{G} = 1 \implies W$ is indecomposable $\implies \hat{W}$ is indecomposable. But maybe this is not the right approach. If I could show that the Tate cohomology groups of $W$ vanish, then of course the desired result drops out, but I think this is rather strong medicine.</p> <p>Is anyone able to give a proof of the above claim? I suspect the solution is fairly easy, but I just don't see it at the moment.</p> http://mathoverflow.net/questions/104270/modular-representation-theory-central-idempotents-in-mathbbz-pg Modular representation theory: central idempotents in $\mathbb{Z}_p[G]$ Henri Johnston 2012-08-08T10:19:46Z 2012-08-09T11:07:08Z <p>Let $G$ be a finite group and let $p$ be a prime dividing the order of $G$. Let $\chi$ be a <code>$\mathbb{C}_p$</code>-valued irreducible character of $G$ and let $e_{\chi} = |G|^{-1}\chi(1)\sum_{g \in G} \chi(g^{-1})g$ be the associated primitive central idempotent in <code>$\mathbb{C}_p[G]$</code>. Let <code>$\mathbb{Q}_{p}(\chi)=\mathbb{Q}_p(\chi(g) : g \in G)$</code> be the character field. Let <code>$H=\mathrm{Gal}(\mathbb {Q}_{p}(\chi)/\mathbb{Q}_p)$</code> and let $e=\sum_{h \in H} e_{\chi^h}$ ($H$ acts on characters in the usual way.) Then $e$ is a central primitive idempotent of $\mathbb{Q}_p[G]$. Let $v_p$ denote the usual $p$-adic valuation.</p> <p>Claim: $v_p(|G|)=v_p(\chi(1))$ if and only if $e \in \mathbb{Z}_p[G]$ and $e\mathbb{Z}_p[G]$ is a maximal $\mathbb{Z}_p$-order.</p> <p>If $v_p(|G|)=v_p(\chi(1))$ then it is clear that $e \in \mathbb{Z}_p[G]$. That $e\mathbb{Z}_p[G]$ is a maximal $\mathbb{Z}_p$-order follows from Jacobinski's formula for the central conductor of $\mathbb{Z}_p[G]$ in a maximal order (see Curtis-Reiner, Methods of representation theory, vol 1 section 27).</p> <p>For the converse, I can prove the claim for $p$ odd again using Jacobinski's formula and some calculations of the different of the extension $\mathbb{Q}_p(\chi)/\mathbb{Q}_p$.</p> <p>Question: can anyone provide a proof of counterexample for the missing part for $p=2$?</p> <p>Here is a related claim that would prove the claim and make everything much simpler if true: If $e \in \mathbb{Z}_p[G]$ then $\mathbb{Q}_p(\chi)/\mathbb{Q}_p$ is unramified (i.e. $\mathbb{Q}_p(\chi) \subseteq \mathbb{Q}_p(\zeta_n)$ for some $n$ relatively prime to $p$).</p> <p>Also, maybe I can drop the maximal order part of the claim altogether?</p> <p>I have a reasonable knowledge of ordinary representation theory but have only really started to look at modular representation theory in the past few days. I know that this is related to "blocks of defect zero", but in the books I have looked at (Serre, Curtis-Reiner) it is assumed that the ground field is "sufficiently large", which doesn't really help me. But I suspect this is an easy problem for someone who knows the subject well. </p> http://mathoverflow.net/questions/101306/triviality-of-sk-0lambda-for-lambda-an-order-in-a-group-algebra-over-a-p-adic Triviality of SK_0(Lambda) for Lambda an order in a group algebra over a $p$-adic field Henri Johnston 2012-07-04T12:52:01Z 2012-07-04T14:54:37Z <p>CR refers to <em>Methods of Representation Theory</em> by Charles Curtis and Irving Reiner.</p> <p>Let $F$ be a finite extension of $\mathbb{Q}_p$ with valuation ring $\mathcal{O}_F$. Let $G$ be a finite group and let $A$ be the group algebra $F[G]$. Let $\Lambda$ be an $\mathcal{O}_F$-order in $A$. Let $K_0(\Lambda)$ (resp. $K_0(A)$) denote the Grothendieck group of the category of finitely generated projective left $\Lambda$-modules (resp. $A$-modules). </p> <p>Let $SK_0(\Lambda)=\ker \varphi$ where $\varphi: K_0(\Lambda) \longrightarrow K_0(A)$ is the map given by $\varphi([M])=[F \otimes_{\mathcal{O}_F} M]$ (this definition is taken from CR vol 2, top of page 222.)</p> <p>Is $SK_0(\Lambda)$ always trivial? I know that this is true in the following cases:</p> <ul> <li>$\Lambda=\mathcal{O}_{F}[G]$ - see CR vol 1, Theorem 32.1</li> <li>more generally, when $\Lambda$ satisfies the conditions of CR vol 1, Theorem 32.5</li> <li>$\Lambda$ is a maximal order - see CR vol 1, Theorem 26.24iii</li> <li>$\Lambda$ is commutative - see CR vol 1, Proposition 35.7</li> </ul> <p>Can anyone provide (a reference to) a proof of the general case or counterexample?</p> http://mathoverflow.net/questions/91151/looking-for-criterion-for-mathbbzg-modules-to-be-projective/91218#91218 Answer by Henri Johnston for Looking for criterion for $\mathbb{Z}G$-modules to be projective Henri Johnston 2012-03-14T20:47:06Z 2012-03-14T22:14:36Z <p>As Geoff mentioned, there is a lot of material on this type of question in "Methods of Representation Theory" by Curtis and Reiner, though I think Volume 1 is more relevant here.</p> <p>If we specialise Corollary (25.16) to the case you are interested in, then we get the following:</p> <p>Let $G$ be a finite group of order $n$. Let $M$ be a finitely generated left $\mathbb{Z}[G]$-module. Suppose that $M$ is free as a $\mathbb{Z}$-module. Then $M$ is $\mathbb{Z}[G]$-projective if and only if <code>$M \otimes_{\mathbb{Z}}\mathbb{Z}_{p}$</code> is <code>$\mathbb{Z}_{p}[G]$</code>-projective for each prime $p$ dividing $n$.</p> <p>"Maximal Orders" by Reiner will probably also be a useful reference. </p> http://mathoverflow.net/questions/90696/commutator-subgroups-and-normal-p-complements Commutator subgroups and normal $p$-complements Henri Johnston 2012-03-09T14:30:06Z 2012-03-10T04:36:17Z <p>Let $G$ be a finite group with commutator subgroup $G'$. Let $p$ be a prime number. Then $p \nmid |G'|$ if and only if $G$ has an abelian Sylow $p$-subgroup $P$ and normal $p$-complement $N$ (and in this case $G=N \rtimes P$ ).</p> <p>This is surely a standard result, but I can't seem to find a proof written down anywhere. I have worked out a straightforward proof below, but if someone could provide a good reference to a proof (so that I can just cite it in a paper I'm writing), that would be great.</p> <p>Proof: Suppose that $G$ has an abelian Sylow $p$-subgroup $P$ with normal complement $N$. Then $P \simeq G/N$ is abelian so $G' \leq N$. But $p \nmid |N|$ so $p \nmid |G'|$. Suppose conversely that $p \nmid |G'|$. Let $P$ be a Sylow $p$-subgroup of $G$ and let $\theta:G \rightarrow G/G'$ be the natural projection. Then $P \cap G'$ is trivial and so $\theta$ restricted to $P$ is an isomorphism. But $G/G'$ is abelian, so $P$ is abelian. Since $G/G'$ is abelian, there exists a subgroup $M$ such that $G/G' = \theta(P) \times M$. Let $\psi:G/G' \rightarrow \theta(P)$ be the natural projection. Then put $N:=\ker(\psi \circ \theta)$.</p> http://mathoverflow.net/questions/75013/introductory-reading-on-the-scholz-reflection-principle/75054#75054 Answer by Henri Johnston for Introductory reading on the Scholz reflection principle? Henri Johnston 2011-09-10T00:03:58Z 2011-09-10T00:03:58Z <p>This is covered in Ralph Greenberg's book-in-progress "Topics in Iwasawa theory" <a href="http://www.math.washington.edu/~greenber/book.pdf" rel="nofollow">http://www.math.washington.edu/~greenber/book.pdf</a> It also contains lots of other interesting stuff on class groups.</p> http://mathoverflow.net/questions/68615/number-of-galois-extensions-of-local-fields-of-fixed-degree/68631#68631 Answer by Henri Johnston for number of galois extensions of local fields of fixed degree Henri Johnston 2011-06-23T17:08:28Z 2011-06-23T17:08:28Z <p>If $K$ contains the $p$-th roots of unity, then Kummer theory tells us that the degree $p$ Galois extensions of $K$ are in bijective correspondence with the subgroups of $K^{\times}/(K^{\times})^p$ of order $p$. The structure of $K^{\times}$ is well-known; see <a href="http://en.wikipedia.org/wiki/Local_fields" rel="nofollow">http://en.wikipedia.org/wiki/Local_fields</a> or any decent book on local fields. So you can work out the answer in this case.</p> <p>If $K$ doesn't contain the $p$-th roots of unity, then it becomes harder. Here are some special cases. For every $d \in \mathbb{N}$, $K$ has a unique unramified extension of degree $d$, which is necessarily cyclic - see Corollary 4.4 of these nice notes: <a href="http://websites.math.leidenuniv.nl/algebra/localfields.pdf" rel="nofollow">http://websites.math.leidenuniv.nl/algebra/localfields.pdf</a> So in particular there is a unique unramified degree p Galois extension of $K$.</p> <p>If $l \neq p$, then any ramified extension of $K$ must be totally and tamely ramified. But then by 5.3 and 5.4 of the above notes, $\mathbb{Z}/p\mathbb{Z}$ must embed into the unit group of the residue field of $K$. Then by Hensel's Lemma, $K$ must contain $p$-th roots of unity and so we are reduced to the Kummer case above. </p> <p>So we are left with the case $l=p$ and $K$ not containing $p$-th roots of unity. I'll think about this some more, but you should be able to use class field theory as mentioned above.</p> http://mathoverflow.net/questions/57469/how-to-distinguish-division-algebras-from-matrix-algebras/58065#58065 Answer by Henri Johnston for How to distinguish division algebras from matrix algebras? Henri Johnston 2011-03-10T12:42:39Z 2011-03-10T12:42:39Z <p>This may be repeating what others have said as it essentially follows the maximal order approach, but have you looked at Nebe, Gabriele; Steel, Allan, Recognition of division algebras, J. Algebra 322 (2009), no. 3, 903–909? <a href="http://dx.doi.org/10.1016/j.jalgebra.2009.04.026" rel="nofollow">http://dx.doi.org/10.1016/j.jalgebra.2009.04.026</a></p> <p>Preprint version and magma code available here: <a href="http://www.math.rwth-aachen.de/~nebe/pl.html" rel="nofollow">http://www.math.rwth-aachen.de/~nebe/pl.html</a></p> <p>(I know this should really be a comment, but I'm afraid that I don't have enough reputation yet.)</p> http://mathoverflow.net/questions/12638/taking-lecture-notes-in-lectures/43334#43334 Answer by Henri Johnston for Taking lecture notes in lectures Henri Johnston 2010-10-23T20:15:19Z 2010-10-23T20:15:19Z <p>Tom Körner's essay "In Praise of Lectures" gives lots of tips on how to get the most out of lectures, and can be found here: <a href="http://www.dpmms.cam.ac.uk/~twk/Lecture.pdf" rel="nofollow">http://www.dpmms.cam.ac.uk/~twk/Lecture.pdf</a> (The issue of note taking in touched up on page 5.)</p> http://mathoverflow.net/questions/952/where-are-mathematics-jobs-advertised-if-not-on-mathjobs-e-g-in-europe-and-else/36875#36875 Answer by Henri Johnston for Where are mathematics jobs advertised if not on mathjobs (e.g. in Europe and elsewhere)? Henri Johnston 2010-08-27T11:25:34Z 2010-08-27T11:25:34Z <p>Another site for jobs in the UK &amp; Ireland is <a href="http://www.lms.ac.uk/jobs/index.html" rel="nofollow">http://www.lms.ac.uk/jobs/index.html</a></p> <p>Jobs at Oxford and Cambridge are often advertised in the Oxford Gazette <a href="http://www.ox.ac.uk/gazette/" rel="nofollow">http://www.ox.ac.uk/gazette/</a> and the Cambridge reporter <a href="http://www.admin.cam.ac.uk/reporter/" rel="nofollow">http://www.admin.cam.ac.uk/reporter/</a></p> http://mathoverflow.net/questions/124789/character-fields-and-cliffords-theorem/124800#124800 Comment by Henri Johnston Henri Johnston 2013-03-18T13:05:45Z 2013-03-18T13:05:45Z Thanks for the counterexample! As you say, it looks like the relationship is not clear in general. http://mathoverflow.net/questions/109800/structure-of-units-in-a-maximal-order Comment by Henri Johnston Henri Johnston 2012-10-18T19:47:57Z 2012-10-18T19:47:57Z The discussion in section 4.5 of my joint paper with Werner Bley may be relevant: <a href="http://arxiv.org/pdf/1006.4381v2.pdf" rel="nofollow">arxiv.org/pdf/1006.4381v2.pdf</a> http://mathoverflow.net/questions/106265/vanishing-of-certain-mu-invariants-attached-to-abelian-extensions-of-imaginary/108306#108306 Comment by Henri Johnston Henri Johnston 2012-10-06T10:55:02Z 2012-10-06T10:55:02Z &quot;I do not believe these $\mu$-invariants are relevant in a trivial way, so the &quot;answer&quot; in the link was not really correct.&quot; http://mathoverflow.net/questions/106265/vanishing-of-certain-mu-invariants-attached-to-abelian-extensions-of-imaginary/108306#108306 Comment by Henri Johnston Henri Johnston 2012-10-06T10:54:34Z 2012-10-06T10:54:34Z Ming-Lun Hsieh said (with minor edits) &quot;In the works of Hida and I, we consider the $\mu$-invariant of anticyclotomic $\mathbb{Z}_{p}$-extension or the $\mu$-invariant of the $\mathbb{Z}_{p}^{2}$-extension of an imaginary quadratic fields. The latter is shown to be always zero in the compositio paper of Hida and my IMRN paper with Burungale. However, what you want to know is the $\mu$-invariant of the $\mathbb{Z}_{p}$-extension unramified outside $\mathfrak{p}$, $p=\mathfrak{p}\mathfrak{p}^c$. [ctd] http://mathoverflow.net/questions/106265/vanishing-of-certain-mu-invariants-attached-to-abelian-extensions-of-imaginary/108306#108306 Comment by Henri Johnston Henri Johnston 2012-10-05T11:20:37Z 2012-10-05T11:20:37Z I emailed both Hida and Ming-Lun Hsieh to ask them about this, and they both said that actually the result I am looking for does not follow from the work of either of them. I am sorry about this - I should have contacted them before placing the bounty on this question. http://mathoverflow.net/questions/106265/vanishing-of-certain-mu-invariants-attached-to-abelian-extensions-of-imaginary Comment by Henri Johnston Henri Johnston 2012-09-24T11:18:01Z 2012-09-24T11:18:01Z It's possible that the result can be easily derived from the work of Hida, Ming-Lun Hsieh, or others. However, the problem is that I really know very little about the techniques and language they use, and so I just don't see it. http://mathoverflow.net/questions/106265/vanishing-of-certain-mu-invariants-attached-to-abelian-extensions-of-imaginary Comment by Henri Johnston Henri Johnston 2012-09-04T10:39:46Z 2012-09-04T10:39:46Z Thanks for pointing out the typos - now corrected. I'll look at the Compositio paper later today. http://mathoverflow.net/questions/104270/modular-representation-theory-central-idempotents-in-mathbbz-pg/104292#104292 Comment by Henri Johnston Henri Johnston 2012-08-09T13:48:10Z 2012-08-09T13:48:10Z @F. Landish: Ah, yes; I see that this is a bit simpler than using the full power of Proposition 5. http://mathoverflow.net/questions/104270/modular-representation-theory-central-idempotents-in-mathbbz-pg/104292#104292 Comment by Henri Johnston Henri Johnston 2012-08-09T13:21:10Z 2012-08-09T13:21:10Z It looks like Proposition 5 of K&#252;lshammer's paper will give us that $e$ is supported on $p$-regular elements. http://mathoverflow.net/questions/104270/modular-representation-theory-central-idempotents-in-mathbbz-pg/104292#104292 Comment by Henri Johnston Henri Johnston 2012-08-09T12:54:10Z 2012-08-09T12:54:10Z @F. Landish: many thanks for this - it is indeed much simpler :) The only point that I don't yet understand is how exactly we know that $e$ is supported on $p$-regular elements. In the paper of M. Leitz that you mention, he assumes that the defect is zero, which is exactly what we want to show, and I don't see how to modify this argument. But maybe I am missing something easy. http://mathoverflow.net/questions/104270/modular-representation-theory-central-idempotents-in-mathbbz-pg/104292#104292 Comment by Henri Johnston Henri Johnston 2012-08-08T20:51:10Z 2012-08-08T20:51:10Z @F. Landish - Thanks! I guess I first need to read a lot more on modular representation theory before I fully understand this; I'll probably ask some more questions on specific points tomorrow. http://mathoverflow.net/questions/101306/triviality-of-sk-0lambda-for-lambda-an-order-in-a-group-algebra-over-a-p-adic/101312#101312 Comment by Henri Johnston Henri Johnston 2012-07-04T18:54:26Z 2012-07-04T18:54:26Z Thanks, Florian! http://mathoverflow.net/questions/95993/representation-theory-of-a-finite-p-group-over-a-field-of-characteristic-p-dim-o/95998#95998 Comment by Henri Johnston Henri Johnston 2012-05-05T17:32:45Z 2012-05-05T17:32:45Z A very nice answer - thanks! If I understand correctly: under the given hypotheses, by combining your argument with its `dual' we in fact have $\dim_k W^G=1 \Leftrightarrow W≅k[G] \Leftrightarrow dim_k W_G = 1$. http://mathoverflow.net/questions/90696/commutator-subgroups-and-normal-p-complements/90797#90797 Comment by Henri Johnston Henri Johnston 2012-05-04T15:14:16Z 2012-05-04T15:14:16Z @Alireza: good point - I was being a bit sloppy! http://mathoverflow.net/questions/91151/looking-for-criterion-for-mathbbzg-modules-to-be-projective/91218#91218 Comment by Henri Johnston Henri Johnston 2012-03-15T10:54:20Z 2012-03-15T10:54:20Z A slightly different way of looking at Jef's comment is as follows. If $p$ does not divide the order of $G$, then $Λ:=\mathbb{Z}_p[G]$ is a maximal $\mathbb{Z}_p$-order and hence is a hereditary ring. This implies that every submodule of a free (left) $\Lambda$-module is projective. Of course, if M is a $\Lambda$-module, then M is a submodule of a free Λ module if and only if M is free as a $\mathbb{Z}_p$ module.