User randy brown - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T05:02:07Z http://mathoverflow.net/feeds/user/3238 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/68106/how-does-one-compute-induced-representations-for-modular-representations How does one compute induced representations for modular representations? Randy Brown 2011-06-17T23:05:49Z 2011-06-18T17:14:19Z <p>The set-up is this: Let $G$ be a finite group, and $H$ a subgroup. We are given an irreducible representation of $H, \rho: H\rightarrow GL_n(K)$ (I will notationally identify $\rho$ with its character). I want to decompose $Ind^G_H(\rho)$ into irreducibles. I am given character tables of both $G$ and $H$.</p> <p>If $K$ were $\mathbb{C}$, Frobenius reciprocity (http://planetmath.org/encyclopedia/FrobeniusReciprocity.html) will do the trick. However, I am in the modular case; meaning: $char(K)||H|$. I still have all the character tables, except now they are Brauer character tables for the correct characteristic. </p> <p>Is there a method for decomposing $Ind^G_H(\rho)$ into irreducible (Brauer) characters?</p> <p>Edit: I wanted to make clear that since in the modular case we don't have Maschke's theorem, the decomposition'' into irreducibles would be in the Grothendieck group of Brauer characters of $G$. (representations of $G$ wouldn't nec. be direct sums of irreducible representations)</p> http://mathoverflow.net/questions/13106/map-of-number-theory Map of Number Theory Randy Brown 2010-01-27T07:11:25Z 2011-02-03T15:50:41Z <p>I've attempted going past basic number theory several times, and always got lost in its vastness. Do any of you, perhaps, know a good review that pieces together the many concepts involved (Hecke algebras, SL<sub>2</sub>(&#8484;), Fuchsian groups, L-functions, Tate's thesis, Ray class groups, Langlands program, Fourier analysis on number fields, cohomological versions of CFT, Iwasawa theory, modular forms, ...)?</p> <p>Thanks.</p> http://mathoverflow.net/questions/17508/versality-in-deformation-theory-vs-versality-in-moduli-spaces Versality in deformation theory vs. versality in moduli spaces Randy Brown 2010-03-08T19:25:59Z 2010-05-17T16:07:51Z <p>As I mentioned before, I'm a novice at deformation theory. I was wondering if the definition of versality in deformation theory is related to the versality in moduli spaces:</p> <h3>Deformation theory</h3> <p>"Moduli of Curves" defines a versal deformation space as a deformation $\phi: X \rightarrow Y$ such that for any other deformation $\xi: X \rightarrow Z$ and for every point in $Z$ there exists an open set (in the complex topology) $U$ such that the pullback of $\phi$ via $f: U \rightarrow Y$ is $\xi$ restricted to $U$. (I imagine that in general instead of an open set one takes open etale covers - is this true?)</p> <h3>Moduli Spaces</h3> <p>In moduli spaces, versality has always meant a space such that instead of the geometric points being in 1-1 correspondence with the objects we're interested in (over the field of the geo. point), each object is going have several geometric points in the versal space corresponding to it.</p> <h3>Question</h3> <p>Are these two notions related? If so - how?</p> http://mathoverflow.net/questions/15832/degrees-of-etale-covers-of-stacks Degrees of etale covers of stacks Randy Brown 2010-02-19T18:53:06Z 2010-04-22T19:37:59Z <p>This is probably pretty basic, but as I said before I'm just beginning my way in the language of stacks.<p>Say you have an etale cover X->Y of stacks (in the etale site). Is there a standard way to define the degree of this cover? Here's my intuition: if X and Y are schemes, we can look etale locally and then this cover is Yoneda-trivial in the sense of <a href="http://front.math.ucdavis.edu/0902.3464" rel="nofollow">http://front.math.ucdavis.edu/0902.3464</a> , meaning that etale locally it is just a disjoint unions of (d many) pancakes. Can we do this generally? Is there some "connectivity" conditions on Y for this to work? Is there a different valid definition for degree of an etale cover of stacks?</p> <h3>Yoneda-Triviality</h3> <p>I figured since nobody answered so far, maybe I should write down what a possible Yoneda-triviality condition could mean for stacks:</p> <p>Def: Call f:X->Y (stacks) Yoneda-trivial if there exists a set of sections of f, S, such that the natural map Y(Z)xS->X(Z) is an isomorphism (or maybe a bijection?) for any connected scheme Z.</p> <p><p> But I'm still clinging to the hope that there's a completely different definition out there that I'm just not aware of.</p> http://mathoverflow.net/questions/19886/decomposition-of-primes-where-the-residue-field-extensions-are-allowed-to-be-ins Decomposition of primes, where the residue field extensions are allowed to be inseparable Randy Brown 2010-03-30T22:37:11Z 2010-03-30T23:25:51Z <p>I've been dealing with the following situation:</p> <p>Let $R\subseteq S$ be an extension of Dedekind rings, where $Quot(R)=:L \subseteq E:=Quot(S)$ is a $G$-Galois extension. Let $\mathfrak{p}$ be a prime of $R$, and $\mathfrak{q}$ a primes of $S$ above $\mathfrak{p}$. Let $D_{\mathfrak{q}}$ denote the decomposition group, and $I_{\mathfrak{q}}$ the inertia group, of $\mathfrak{q}$ over $\mathfrak{p}$.</p> <p>However, unlike in the classic case, I allow the residue fields of $\mathfrak{p}$ to be infinite, with positive characteristic. So the extension of residue fields may be inseparable.</p> <p>It seems that the paper I'm reading implicitly assumes:</p> <p>$|I_{\mathfrak{q}}|=e[\kappa(\mathfrak{q}):\kappa(\mathfrak{p})]_ i$ (the ramification index times the inseparability degree of the residue extension)<p> $|D_{\mathfrak{q}}|=e[\kappa(\mathfrak{q}):\kappa(\mathfrak{p})]$<p> $|G|=re[\kappa(\mathfrak{q}):\kappa(\mathfrak{p})]$ (where $r$ is the number of primes above $\mathfrak{p}$)</p> <p>Is that right? I keep hitting walls when I try to prove it.</p> http://mathoverflow.net/questions/17306/deformations-of-tame-coverings Deformations of Tame Coverings Randy Brown 2010-03-06T18:39:25Z 2010-03-27T18:50:09Z <p>To say that I am a novice at deformation theory is to grossly overestimate my abilities in this area. I've come across the following theorem in a paper, and I'd like to know how far one is able to generalize it:</p> <h3>Theorem</h3> <p>Let $R$ be a complete DVR, $X$ a proper smooth curve over $R$, and $D$ a simple divisor on $X$. Let $\bar f:\bar Y\rightarrow \bar X$ be a tame covering of $\bar X$ with branch locus contained in Supp($\bar D$). Then there exists a unique lifting of $\bar f$ to a D-tame covering $f:Y\rightarrow X$. In addition, $f$ is a tame covering of $X$, and the branch locus of $f$ is contained in Supp($D$).</p> <h3>Notation</h3> <p>I'm not really sure how much of it is standard, so here's what I mean by the terms in the theorem:<p> A simple divisor on $X$ - a divisor that has no multiple components when base-changed to any geometric point of the base scheme.<p> Tame covering of integral varieties over a field ($f:\bar Y\rightarrow \bar X$ in our theorem) - what you think: the ramification indices in codim 1 are coprime to the characteristic.<p> D-tame covering of schemes over a DVR ($f:Y\rightarrow X$ in the theorem) - if for every (natural number) $k$, base change to $R/m^k$ is $D\times_{R}R/m^k$ -tame in the following sense:<p> D-tame covering of schemes over an Artin local ring, $\Lambda$ ($R/m^k$ in the previous notation) - a finite, flat morphism which is etale away from Supp($D$)., and such that if $x$ is in Supp($D$), and t is a local equation for D at $x$, then $f_\ast(O_Y)_x$ is a t-tame extension of $O_x(X)$. What's that? $A'$ in the following, plays the role of $O_x(X)$ here. <p> t-tame extensions of a ring $A'$ s.t. $A'/Nil(A')$ is a DVR with parameter $\check t$ (and assume (0) is primary in $Spec(A')$, meaning $Spec(A')$ has no imbedded components)- tame when base changed to $A'/tA'$ (where $t$ is some element going to $\check t$). $A'/tA'$ is an Artin ring. So what do I mean by tameness of extensions over Artin rings? Well:<p> A tame extension of an Artin ring $\Lambda$ - it is a (finite) product of $\Gamma_i$'s, such that for each $\Gamma_i$ it is free over $\Lambda$ of rank $e_if_i$; the extension of residue fields is $f_i$; $e_i$ is prime to the characterstic of the residue field of $\Lambda$; and $\Gamma_i$ contains a principal ideal $J$ such that $J^{e_i}$=0, and such that $\Gamma_i/J$ is free over $\Lambda$ of rank $f$.</p> <h3>Question</h3> <p>Phew, that was a lot of work... So - other than finding the whole thing very confusing, here is a concrete set of questions:<p> 1. Can this be generalized to $X$ a higher dimensional scheme?<p> 2. What would be a good reference to read for this type of deformation theory?<p> 3. Well - just about any insight and context you can give would be great (whether deformation theoretic or about the various generalizations of tameness here.)<p></p> <p>This is a bit long winded, but if nothing else - it was good exercise for me to write this.</p> http://mathoverflow.net/questions/19388/degrees-of-subvarieties-of-projective-space Degrees of subvarieties of projective space Randy Brown 2010-03-26T03:55:42Z 2010-03-26T16:36:43Z <p>I've always thought of the degree of a subvariety of projective space as the degree of the divisor that defines the (given) embedding into projective space. It's been pointed out to me that this works only for curves. Now I'm confused: is there a similar characterization of the degree of a general subvariety of some projective space?</p> http://mathoverflow.net/questions/18820/how-do-you-motivate-a-precise-definition-to-a-student-without-much-proof-experien/18823#18823 Answer by Randy Brown for How do you motivate a precise definition to a student without much proof experience? Randy Brown 2010-03-20T03:50:41Z 2010-03-20T03:50:41Z <p>I like explaining that without definitions, they don't even know what they think they already know. For example: What is the definition of $2^3$? $2$ times $2$ times $2$. Right. What is $2^{-3}$? $1/2^3$, right. What is $2^{1/3}$? $3^{rd}$ root of $2$, right. What is $2^{\sqrt{2}}$? Nobody? What does it even mean?</p> http://mathoverflow.net/questions/17323/fiddling-with-p-adics Fiddling with p-adics Randy Brown 2010-03-06T22:36:05Z 2010-03-07T04:01:52Z <p>A paper I'm reading implicitly assumes the statement: Let $K_0$ be the completion of $\mathbb {Q}_ p^{un}$. Then any finite extension of $K_0$ is complete with residue field $\bar {\mathbb {F}} _p$. So here are a few questions:<p> 1. Why is this true? Is it true in general that if you complete, and then take algebraic closure - then that is complete?<p> 2. Is it true that any finite extension of $K _0$ comes from the completion of a finite extension of $\mathbb {Q} _p ^ {un}$?<p></p> http://mathoverflow.net/questions/15727/group-cohomology-vs-topological-cohomology-in-the-case-of-non-trivial-action Group cohomology vs. topological cohomology in the case of non-trivial action Randy Brown 2010-02-18T16:42:35Z 2010-02-19T02:45:33Z <p>When A is an abelian group with trivial G-action (G being a discrete group) we get that H<sup>n</sup>(G,A)&#8773;H<sup>n</sup>(BG,A). Is there a similar connection between group cohomology and topological cohomology if A is a non-trivial &#8484;G-module? What <em>can</em> we say in that case?</p> http://mathoverflow.net/questions/15202/different-interpretations-of-moduli-stacks Different interpretations of moduli stacks Randy Brown 2010-02-13T18:29:23Z 2010-02-13T20:58:51Z <p>I'm taking my first steps in the language of stacks, and would like something cleared up. The intuitive idea of moduli spaces is that each point corresponds to an object of what we're trying to classify (smooth curves of genus g over &#8450;, for example). Fine moduli spaces are defined to be the objects that represent the functor that takes an object and gives you the [set, for schemes; groupoid, as I understand it, for stacks] of ways that that object parametrizes families of the object we want to classify. Now, for schemes - this makes sense in the following way:<p> Let that functor be F, and let it be represented by M. Then F(Spec &#8450;) are the families of (desired) objects parametrized by Spec &#8450; (a point), so it corresponds to all desired objects (the ones we want to classify). But F(Spec &#8450;) is also Hom(Spec &#8450;, M), and so corresponds to the closed points of M. Thus M really does, intuitively, have as points the objects it wishes to classify.<p> Does this idea go through to moduli stacks? Of course, it probably does, and this is all probably trivial - but I feel like I need someone to assure me that I'm not crazy. So let me put the question like this: Can you formulate how to think of a fine moduli stack (as an object that represents an F as above; also: how would you define this F in the category of stacks?) in a way that makes it clear that it parametrizes the desired objects?</p> http://mathoverflow.net/questions/14181/a-specific-branched-cover-of-s2-as-a-subgroup-of-pi-1 A specific branched cover of S^2 as a subgroup of Pi_1 Randy Brown 2010-02-04T19:53:27Z 2010-02-04T23:16:19Z <p>This is a follow-up question to: <a href="http://mathoverflow.net/questions/14024/degree-2-branched-map-from-the-torus-to-the-sphere" rel="nofollow">http://mathoverflow.net/questions/14024/degree-2-branched-map-from-the-torus-to-the-sphere</a></p> <p>This is a silly computation, but for whatever reason this is taking me much, much longer than it should. So hopefully more geometrically-oriented people can answer this easily.</p> <p>Let's say we have a 2-cover of S<sup>2</sup> branched at 4 points. We can visualize this, as stankewicz aptly put it, as having a torus, putting it on a skewer (that meets it in four points), and quotienting by the action of turning the torus by a 180 degrees around that skewer. If you prefer to think of the torus as the plane quotiented by a lattice, it's the same as identifying vectors with their minuses (the ramification points being the 2-torsion).</p> <p>As we know $\pi_1$(Torus - 4 points,basept)$\cong$&lt; a,b,c,d,e,f| [a,b]cdef=1>, and $\pi_1$(S<sup>2</sup> - 4 points,basept)$\cong$&lt; g,h,x,w| ghxw=1>. This 2-cover corresponds to an identification, therefore, of &lt; a,b,c,d,e,f| [a,b]cdef=1> with an index 2 subgroup of &lt; g,h,x,w| ghxw=1>. For the life of me, I can't figure out how this identification would go! I've been drawing tori to no avail for two days now.</p> http://mathoverflow.net/questions/14024/degree-2-branched-map-from-the-torus-to-the-sphere Degree 2 branched map from the torus to the sphere Randy Brown 2010-02-03T19:06:41Z 2010-02-03T21:11:29Z <p>Algebraic geometry predicts a degree 2 branched cover from an elliptic curve to the projective line. What does this map look like topologically?</p> http://mathoverflow.net/questions/13478/minimal-size-of-an-open-affine-cover Minimal size of an open affine cover Randy Brown 2010-01-30T16:25:33Z 2010-01-30T19:39:31Z <p>This may be a silly question - but are there interesting results about the invariant: the minimal size of an open affine cover? For example, can it be expressed in a nice way? Maybe under some additional hypotheses?</p> http://mathoverflow.net/questions/13282/good-algebraic-number-theory-books/13294#13294 Answer by Randy Brown for Good Algebraic Number Theory Books Randy Brown 2010-01-28T22:44:14Z 2010-01-28T22:44:14Z <p>Look at: <a href="http://mathoverflow.net/questions/13106/map-of-number-theory" rel="nofollow">http://mathoverflow.net/questions/13106/map-of-number-theory</a></p> <p>The book recommended there (Manin/Panchishkin's "Introduction to Modern Number Theory") does seem amazingly comprehensive, and very readable.</p> http://mathoverflow.net/questions/12688/nonsingular-normal-schemes Nonsingular/Normal Schemes Randy Brown 2010-01-22T20:17:35Z 2010-01-27T18:48:50Z <p>I always had trouble remembering this. Is it true that a curve over a non-algebraically-closed field is normal implies that it's non-singular? How about a 1 dimensional scheme? How about dimension 2? I think I heard once that surfaces over a non-algebraically closed field is normal does imply that it's non-singular. Is it true for2 dimensional schemes? What is the reason that these theorems are true for small dimensions, but fail for higher dimensions?</p> http://mathoverflow.net/questions/12717/points-and-dvrs Points and DVR's Randy Brown 2010-01-23T03:08:03Z 2010-01-23T23:28:25Z <p>In the familiar case of (smooth projective) curves over an algebraically closed fields, (closed) points correspond to DVR's.</p> <p>What if we have a non-singular projective curve over a non-algebraically closed field? The closed points will certainly induce DVR's, but would all DVR's come from closed points? Is there a characterization of the DVR's that aren't induced by closed points?</p> <p>And how about for a general projective variety that is regular in codimension 1 (both for algebraically closed and non-algebraically closed)? Point of codimension 1 induce DVR's. Do they induce all of them? What is the characterization of the ones they do induce?</p> <p>How about complete integral schemes that are regular in codimension 1?</p> http://mathoverflow.net/questions/11709/computing-integral-closures Computing Integral Closures Randy Brown 2010-01-13T23:58:03Z 2010-01-14T01:02:18Z <p>I'm wondering if there's an algorithm, or a program I can use, to compute integral closures. Specifically, what I have in mind are variants of questions of the sort: what is the integral closure of &#8484;[x] in Quot(&#8474;[x,y]/f&#8474;[x,y]), for some specific f(x,y).</p> http://mathoverflow.net/questions/68106/how-does-one-compute-induced-representations-for-modular-representations Comment by Randy Brown Randy Brown 2011-06-18T16:04:33Z 2011-06-18T16:04:33Z I'm not sure what you mean... I am given all the character tables. Here's what I mean: $Ind^G_H(\rho)=\sum a_i\chi_i$. $(Ind^G_H(\rho),\chi_i)=a_i$, and so if we can compute all the $(Ind^G_H(\rho),\chi_i)'s$ then we're done. Frobenius reciprocity does indeed allow to compute those. I know what all the $\chi_i$'s are because I'm given the character tables of $G$ and $H$. Am I missing something? http://mathoverflow.net/questions/27936/about-quadratic-equations Comment by Randy Brown Randy Brown 2010-06-12T16:18:31Z 2010-06-12T16:18:31Z @Robin: that link was in the body of the question. http://mathoverflow.net/questions/27936/about-quadratic-equations Comment by Randy Brown Randy Brown 2010-06-12T16:09:31Z 2010-06-12T16:09:31Z The same reason you &quot;square&quot; a number. When you square it, you multiply only 2 copies of itself. But a square has 4 sides. It's a very interesting etymological issue, but not a math question. http://mathoverflow.net/questions/21717/the-etale-fundamental-group-of-a-field Comment by Randy Brown Randy Brown 2010-04-18T05:12:13Z 2010-04-18T05:12:13Z If you don't read French, the beginning of Milne's &quot;Lectures on Etale Cohomology&quot; gives a concise framework, relating algebraic stuff with topological stuff. The relevant material is just a couple of pages. http://mathoverflow.net/questions/20363/locus-of-g-galois-extensions-in-space-of-coefficients-of-a-degree-n-polynomial Comment by Randy Brown Randy Brown 2010-04-05T04:30:09Z 2010-04-05T04:30:09Z Aha, so Hilbert irreducibility only implies that there are infinitely many points where it's a field, but not an open affine? http://mathoverflow.net/questions/17323/fiddling-with-p-adics/17326#17326 Comment by Randy Brown Randy Brown 2010-03-06T22:51:54Z 2010-03-06T22:51:54Z Thank you! I was not aware of Krasner's lemma. http://mathoverflow.net/questions/17306/deformations-of-tame-coverings Comment by Randy Brown Randy Brown 2010-03-06T19:44:08Z 2010-03-06T19:44:08Z Whoops, no. I'll edit that. http://mathoverflow.net/questions/17306/deformations-of-tame-coverings/17310#17310 Comment by Randy Brown Randy Brown 2010-03-06T19:34:54Z 2010-03-06T19:34:54Z Thanks! I'll give it a look-see. http://mathoverflow.net/questions/14181/a-specific-branched-cover-of-s2-as-a-subgroup-of-pi-1/14182#14182 Comment by Randy Brown Randy Brown 2010-02-04T20:40:49Z 2010-02-04T20:40:49Z Can you give an explicit example of such an assignment? I can't make it work. http://mathoverflow.net/questions/14181/a-specific-branched-cover-of-s2-as-a-subgroup-of-pi-1 Comment by Randy Brown Randy Brown 2010-02-04T20:39:20Z 2010-02-04T20:39:20Z To be precise: the question is what would be an assignment for A, b, d, e and f that would give an index 2 subgroup? http://mathoverflow.net/questions/14181/a-specific-branched-cover-of-s2-as-a-subgroup-of-pi-1/14182#14182 Comment by Randy Brown Randy Brown 2010-02-04T20:12:07Z 2010-02-04T20:12:07Z So what are you saying a, b, c, d, e and f go to? http://mathoverflow.net/questions/14069/lowest-multiple-of-n-that-is-also-a-power-of-2 Comment by Randy Brown Randy Brown 2010-02-03T22:45:11Z 2010-02-03T22:45:11Z Can you give us some motivation? http://mathoverflow.net/questions/451/advice-on-doing-mathematical-research/542#542 Comment by Randy Brown Randy Brown 2010-01-27T06:49:58Z 2010-01-27T06:49:58Z Is there a way to search for reviews directly? (rather than going through a paper that it reviews)