Mathematics

Associated with Math.SE; for both general discussion & math qu...
Jul 9, 2017 00:13
@AkivaWeinberger just nerd talk for theory
Jul 8, 2017 23:55
0
Q: non-split real Lie algebra

nigelWhat are some examples of simple or semisimple non-split real Lie algebras? By non-split, I mean that no Cartan subalgebra $\mathfrak{h}$ is such that $\mathrm{ad}(X)$ is diagonalizable for each $X \in \mathfrak{h}$. Is there a list somewhere? Or how can non-splitness be detected?

Jul 8, 2017 23:13
Can someone tell me an example of a real semisimple non-split Lie algebra? non-split = no Cartan subalgebra in which each ad(X) is diagonalizable
Jun 28, 2017 21:51
Let V_\lambda be a highest weight rep of a lie algebra g, and let W be the weyl group of g. let v_0 \in V_\lambda be a highest weight vector. let w \in W. why is it the case that w.v_0 has weight w.\lambda?
May 5, 2017 06:13
1
Q: Centralizer of element in Lie algebra contains Cartan subalgebra

nigelLet $G$ be a compact semisimple Lie group, and let $\mathfrak{g}$ be its Lie algebra. Let $X \in \mathfrak{g}$. Why is it the case that the centralizer $Z_\mathfrak{g}(X)$ contains a Cartan subalgebra? I believe it's related to the fact that for any Cartan subalgebra $\mathfrak{h}$ of $\mathfra...

May 5, 2017 04:16
@TedShifrin My apologies, but I believe at least one of us misunderstood. We are working on the level of the Lie algebra. The centralizer contains the center, but the center need not contain a cartan subalgebra.
May 5, 2017 03:51
@Ted Shifrin: Thanks, Ted. This was too obvious.
May 5, 2017 03:39
Let G be a compact semisimple Lie group and let g be its Lie algebra. Let X \in G. Why does the centralizer Z_g(X) contain a Cartan subalgebra?
Aug 18, 2015 16:33
anyone here good with Lie groups? math.stackexchange.com/questions/1400783/…
Aug 16, 2015 20:36
Is anyone here good at convex analysis?
Aug 5, 2015 17:53
I want to find the convex hull of the set S={(1-t)^4, 4(1-t)^3 t, 6 (1-t)^2 t^2, 4(1-t) t^3, t^4) : t \in R}
Jul 20, 2015 02:13
of course :) this is how I got this set in the first place
Jul 20, 2015 01:53
Let S = {(a^4, 4a^3 b, 6a^2 b^2, 4a^3 b, b^4) : a,b \in R}. How can I find the convex hull of this set, hopefully in terms of some inequalities or something?
Jul 18, 2015 19:36
eh I guess I could...
Jul 18, 2015 19:35
RE: the set S above
Jul 18, 2015 19:35
I know no one cares .. but should I try to (somehow) compute the extreme points of the convex hull (by magic) and then use the krein milman theorem or something (along with some fancy computer algorithm)?
Jul 18, 2015 19:32
Anyway .. this is almost certainly a stupid question but I want some help. Let S = {(b^4, 4ab^3, 6a^2b^2, 4a^3b, a^4) : a,b \in R}. How can I compute the convex hull of this thing in R^5?
Jul 18, 2015 19:29
I am struggling to see what "ignorant of reality" actually means. We're supposed to be mathematicians here. Let's not use silly language.
5
Apr 19, 2015 21:12
can someone help me with representation theory? i'm totally confused about those weight lattice diagrams. my question is here math.stackexchange.com/questions/1242472/…
Jul 12, 2014 01:14
my troubles always stem from my laziness
Jul 12, 2014 01:14
nvm got it
Jul 12, 2014 01:07
jmilne.org/math/Books/ectext5.pdf why is the statement at the top of page 68 true?
 
Oct 13, 2015 03:03
ok, i'll look it up. thanks. take care
Oct 13, 2015 03:01
I never learned Lie theory properly. I learned basic things about Lie algebras, and Fourier analysis more in depth, and now my MSc supervisor seems to expect me to be some type of expert
Oct 13, 2015 03:00
it's OK. I'm pretty sure I will have it completely if I mull over it for a while now, thanks to your help
Oct 13, 2015 02:58
instead of using the torus SO(2) in SL(2,R) you're using a conjugate one, that looks like diag(t,t^{-1})
Oct 13, 2015 02:57
OK. I'm new to Lie theory but I think I see what you're doing
Oct 13, 2015 02:53
i think i'm almost getting there ... but I am still confused about why diag(t,t^{-1}) comes up.
Oct 13, 2015 02:46
so then the goal is to show that one of them has eigenvalue 1 if and only if d is even
Oct 13, 2015 02:45
well right from the get-go you know that SO(2) is a commuting family of matricies, hence you write V as a direct sum of eigenspaces
Oct 13, 2015 02:39
correct. i suppose once you differentiate pi that's what you get.
Oct 13, 2015 02:38
yes I have some familiarity with lie algebras. we can work with those
Oct 13, 2015 02:37
SO_2 or SU_2? Since now the max cpt subgroup of SL_2 C is SU_2
Oct 13, 2015 02:35
correct.
Oct 13, 2015 02:34
very good. i'm following you so far
Oct 13, 2015 02:34
by t surely you mean \pi(diag(t,t^{-1}) has 1 as an eigenvalue
Oct 13, 2015 02:32
no problem
Oct 13, 2015 02:31
of course.
Oct 13, 2015 02:31
yes I see that it is true
Oct 13, 2015 02:31
i'll take it for granted at the moment
Oct 13, 2015 02:30
I know :)
Oct 13, 2015 02:28
let me think...
Oct 13, 2015 02:24
ok
Oct 13, 2015 01:29
Are you there?
Oct 13, 2015 01:27
It's the circle group, which is abelian... perhaps characters somehow come into play here. Sorry, I am really guessing.
Oct 13, 2015 01:27
It doesn't appear to be anything special... just the usual rule of $g.f(x,y) = f(g^{-1}(x,y))$.
Oct 13, 2015 01:27
Yes, I am familiar with it. It's the representation on the space of degree $d$ homogeneous polynomials in $2$ variables, with highest weight $x^d$ (depending on exactly how one defines the action).