Author Description

Login to generate an author description

Ask a Question About This Mathematician

Let ~t be a linear functional on E having E 1 for its kernel.With x any nonzero element of E, consider the quotient ]~t(x)I/a(x).First of all this quotient is continuous.Secondly, … Let ~t be a linear functional on E having E 1 for its kernel.With x any nonzero element of E, consider the quotient ]~t(x)I/a(x).First of all this quotient is continuous.Secondly, it is a homogeneous function of degree 0. Hence it defines a continuous function on the projective space P(E).As P(E) is compact, this function assumes its maximum.Thus, there is an element x~ E E such that I~(~)l< I~(~1)1 all xfiE. a(x) a(xl) 'It is clear that x 1 cannot be in E 1. Hence, E is the direct sum of Kx 1 and E 1.Let yEE; then y=xl2(y)/X(Xl)+Z, with zEE t.We have, on the one hand, /l~(y)l ), and, on the other hand, from the definition of Xl, that /> I~(y)l ~(~1) It follows that /I (y)I ~(y) = sup ~ ~(~1), ~(z)).From the inductive assumption, there is a basis x~ ..... xn of E 1 and positive real numbers r e ..... rn such that o~ a,x, = sup (% [az[ ..... rn lanl).If we set r 1 = a(xl), then the argument above shows that a(~ a,x,) = sup (r, ]a,I).If ae~(E), and {x,} is a basis such that a(ba, x,)=sup(r, la, l), then we shall say that a is canonical with respect to {x,}.We denote by E* the dual space of E. We shall now describe a useful mapping from ~(E) to ~(E*).Let a e~(E).If •eE*, we have already considered in the proof above, the quotient 12(x)l/a(x) for non-zero xeE.The continuity of this quotient and "the compactness of P(E) enable us to set a*(Z) = sup !Z(x) l a(x)There is no difficulty in verifying that a* is a norm on E*.
Let us consider the following two problems: Problem A. Let g be a given Lie algebra over the real number field R. Then find all real, irreducible representations of g … Let us consider the following two problems: Problem A. Let g be a given Lie algebra over the real number field R. Then find all real, irreducible representations of g . Problem B. Let n be a given positive integer. Then find all irreducible subalgebras of the Lie algebra ôí(w, R) of all real matrices of degree n .
A criterion for the existence of a non-trivial partition of a finite group with applications to finite reflection groups A criterion for the existence of a non-trivial partition of a finite group with applications to finite reflection groups
In this note we shall show some useful properties of the partition function given by B. Kostant [1] associated to complex semi-simple Lie algebras. Some of these properties are shown … In this note we shall show some useful properties of the partition function given by B. Kostant [1] associated to complex semi-simple Lie algebras. Some of these properties are shown to be valid also for some generalized versions of Kostant's partition function (see Theorem 1 below). As an application of these properties we give (Theorem 4) an explicit formula for the multiplicity of the zero-weight in a given irreducible representation of the simple Lie algebra of type (G2).
In this note we shall show some useful properties of the partition function given by B. Kostant [1] associated to complex semi-simple Lie algebras. Some of these properties are shown … In this note we shall show some useful properties of the partition function given by B. Kostant [1] associated to complex semi-simple Lie algebras. Some of these properties are shown to be valid also for some generalized versions of Kostant's partition function (see Theorem 1 below). As an application of these properties we give (Theorem 4) an explicit formula for the multiplicity of the zero-weight in a given irreducible representation of the simple Lie algebra of type (G2).
A criterion for the existence of a non-trivial partition of a finite group with applications to finite reflection groups A criterion for the existence of a non-trivial partition of a finite group with applications to finite reflection groups
Let ~t be a linear functional on E having E 1 for its kernel.With x any nonzero element of E, consider the quotient ]~t(x)I/a(x).First of all this quotient is continuous.Secondly, … Let ~t be a linear functional on E having E 1 for its kernel.With x any nonzero element of E, consider the quotient ]~t(x)I/a(x).First of all this quotient is continuous.Secondly, it is a homogeneous function of degree 0. Hence it defines a continuous function on the projective space P(E).As P(E) is compact, this function assumes its maximum.Thus, there is an element x~ E E such that I~(~)l< I~(~1)1 all xfiE. a(x) a(xl) 'It is clear that x 1 cannot be in E 1. Hence, E is the direct sum of Kx 1 and E 1.Let yEE; then y=xl2(y)/X(Xl)+Z, with zEE t.We have, on the one hand, /l~(y)l ), and, on the other hand, from the definition of Xl, that /> I~(y)l ~(~1) It follows that /I (y)I ~(y) = sup ~ ~(~1), ~(z)).From the inductive assumption, there is a basis x~ ..... xn of E 1 and positive real numbers r e ..... rn such that o~ a,x, = sup (% [az[ ..... rn lanl).If we set r 1 = a(xl), then the argument above shows that a(~ a,x,) = sup (r, ]a,I).If ae~(E), and {x,} is a basis such that a(ba, x,)=sup(r, la, l), then we shall say that a is canonical with respect to {x,}.We denote by E* the dual space of E. We shall now describe a useful mapping from ~(E) to ~(E*).Let a e~(E).If •eE*, we have already considered in the proof above, the quotient 12(x)l/a(x) for non-zero xeE.The continuity of this quotient and "the compactness of P(E) enable us to set a*(Z) = sup !Z(x) l a(x)There is no difficulty in verifying that a* is a norm on E*.
Let us consider the following two problems: Problem A. Let g be a given Lie algebra over the real number field R. Then find all real, irreducible representations of g … Let us consider the following two problems: Problem A. Let g be a given Lie algebra over the real number field R. Then find all real, irreducible representations of g . Problem B. Let n be a given positive integer. Then find all irreducible subalgebras of the Lie algebra ôí(w, R) of all real matrices of degree n .
This book, along with volume I, which appeared previously, presents a survey of the structure and representation theory of semi groups. Volume II goes more deeply than was possible in … This book, along with volume I, which appeared previously, presents a survey of the structure and representation theory of semi groups. Volume II goes more deeply than was possible in volume I into the theories of minimal ideals in a semi group, inverse semi groups, simple semi groups, congruences on a semi group, and the embedding of a semi group in a group. Among the more important recent developments of which an extended treatment is presented are B. M. Sain's theory of the representations of an arbitrary semi group by partial one-to-one transformations of a set, L. Redei's theory of finitely generated commutative semi groups, J. M. Howie's theory of amalgamated free products of semi groups, and E. J. Tully's theory of representations of a semi group by transformations of a set. Also a full account is given of Malcev's theory of the congruences on a full transformation semi group.
Sur les groupes de Chevalley.Par Takashi ONO (Regu le 18 avril Sur les groupes de Chevalley.Par Takashi ONO (Regu le 18 avril
Let ~t be a linear functional on E having E 1 for its kernel.With x any nonzero element of E, consider the quotient ]~t(x)I/a(x).First of all this quotient is continuous.Secondly, … Let ~t be a linear functional on E having E 1 for its kernel.With x any nonzero element of E, consider the quotient ]~t(x)I/a(x).First of all this quotient is continuous.Secondly, it is a homogeneous function of degree 0. Hence it defines a continuous function on the projective space P(E).As P(E) is compact, this function assumes its maximum.Thus, there is an element x~ E E such that I~(~)l< I~(~1)1 all xfiE. a(x) a(xl) 'It is clear that x 1 cannot be in E 1. Hence, E is the direct sum of Kx 1 and E 1.Let yEE; then y=xl2(y)/X(Xl)+Z, with zEE t.We have, on the one hand, /l~(y)l ), and, on the other hand, from the definition of Xl, that /> I~(y)l ~(~1) It follows that /I (y)I ~(y) = sup ~ ~(~1), ~(z)).From the inductive assumption, there is a basis x~ ..... xn of E 1 and positive real numbers r e ..... rn such that o~ a,x, = sup (% [az[ ..... rn lanl).If we set r 1 = a(xl), then the argument above shows that a(~ a,x,) = sup (r, ]a,I).If ae~(E), and {x,} is a basis such that a(ba, x,)=sup(r, la, l), then we shall say that a is canonical with respect to {x,}.We denote by E* the dual space of E. We shall now describe a useful mapping from ~(E) to ~(E*).Let a e~(E).If •eE*, we have already considered in the proof above, the quotient 12(x)l/a(x) for non-zero xeE.The continuity of this quotient and "the compactness of P(E) enable us to set a*(Z) = sup !Z(x) l a(x)There is no difficulty in verifying that a* is a norm on E*.
Invariant tensors under the real representation of unitary group and their applications. Invariant tensors under the real representation of unitary group and their applications.
Russian with German summary.)(•) In LG, only analytic manifolds were considered.The definitions can be slightly modified in order to allow us to treat the case of manifolds of class Ck(k … Russian with German summary.)(•) In LG, only analytic manifolds were considered.The definitions can be slightly modified in order to allow us to treat the case of manifolds of class Ck(k ä 1).These modifications are trivial except as regards the definition of tangent vectors.This definition should be formulated as follows in the case of manifolds M of class C*.Let m be any point of M and let A be the class
A o-adic analogue of the spherical function was first considered by Mautner ) in the case of PLy. and then by Tamagawa ) for GLn over any o-adic division algebra.The … A o-adic analogue of the spherical function was first considered by Mautner ) in the case of PLy. and then by Tamagawa ) for GLn over any o-adic division algebra.The purpose of the present note is to show that the main part of the theory holds more generally under certain conditions, which are satisfied by almost all classical simple groups.It happenecl that similar considerations were con- rained in an independent work of Bruhat. )1. Notations and Assumptions.Let k be a o-adic number field.We denote by and =() the valuation ring in k and its unique prime ideal, respectively, z denoting a prime element.Let G be an algebraic subgroup of GLn(k), definecl over k, and set as follows:
In this paper, we will develop a theory of C-functions with characters in a division algebra. The ordinary C-function of a division algebra was introduced by K. Hey [4], and … In this paper, we will develop a theory of C-functions with characters in a division algebra. The ordinary C-function of a division algebra was introduced by K. Hey [4], and generalized by M. Eichler [1] to L-functions with abelian characters. The first attempt to generalize these theories to C-functions with non-abelian characters is due to H. Maass [5]. Later, R. Godement [2] gave a method to get the most general formulations on these matters. In this note, we will define a type of C-functions of a division algebra over an algebraic number field which are included in Godement's work as a special case, and for which one can develop the theory of Euler products. The latter theory has its own meaning as an application of the theory of spherical functions on p-adic algebraic groups. Here we have a generalization of Hecke's theory of so-called Heckeoperators. (Theorem 1-6). One can expect that there exist similar theories for other simple algebraic groups defined over p-adic number fields, and that there will be applications of these theories to non-commutative number theory. The author wishes to express his thanks to Professor Shimura for some valuable suggestions about the first part of this paper.
This paper is primarily devoted to a detailed account of the results announced and sketched in [5 |.It will be followed by a joint paper witli H. SAMELSON on the … This paper is primarily devoted to a detailed account of the results announced and sketched in [5 |.It will be followed by a joint paper witli H. SAMELSON on the loop-space of symmetric spaces in general.We recall the principal results of [3].Let G be a compact Lie group; T'C G shall denote a torus in G and C( T) the centralizer of T in G.The space of loops on G is denoted by ^2(G).(For detailed definitions, see §9.) THEOREM A. -If G is a connected^ simply connected^ compact Lie groups then the spaces 12 (G) aud G/C( T') have the following properties : a.They are free of torsion; b.Their odd Betti numbers vanish; c.Their Betti numbers can be read off from the diagram of G. '25l> R. BOTT.THEOREM B. -1° The Poincare series of the loop-space, i2(G'), is given by P(^(G),t)=^t^\where A runs over the cells of the fundamental chamber ^.2° If^y is a lattice point ofF in t, and if C(^Y) is the centralize r of the direction JT, then the Poincare series of G/C(A^) is given bywhere now the summation is extended over the cells of 5 7 which contain X in their closure.As every C(7'' / ) is conjugate to some C(^T), ^T^r, part 2° of this theorem describes the homology of all the spaces G/C(T').It also relates their Poincare series to that of^(G).These formulae can of course be expressed entirely in terms of the rootforms of G on t : Let { 0; \rj (i' = i, . .., /n), denote the root-forms on t which take positive values in 5 7 '.Also let H^ denote the Weyl group ofG in t.Finally, ifJTet, define a function ^*, on W by : A* (w) == number of the root-forms j 6^-J£F whose values at X and w'A" differ in sign.Thus, A *(w) == number of planes of the infinitesimal diagram D'\ crossed by the line from X to w'X.Finally let p(^T) denote the order of the subgroup of W which leaves JT fixed.In terms of these notions, theorem B is equivalent to : THEOREM B'. -i° The Poincare series of^l(G) is given by " 2^[8,W] P^(G)^t)=---j t^ dv, I A 1 ŵhere the integral is taken overly \ A | denotes the volume of a fundamental cell o/Z), and [a] denotes the greatest integer less than a; 2° The Poincare series of G/C(^T), X arbitrary in t, is given by P{(G/CW);t}^--.^t^.w€Î n particular (for X in ^) the iq^ Betti number of G/T is equal to the
It is a well known fact on Lorenz groups that a quadratic form f is definite if and only if the corresponding orthogonal group O n (R ∞ , f … It is a well known fact on Lorenz groups that a quadratic form f is definite if and only if the corresponding orthogonal group O n (R ∞ , f ) where R ∞ is the real number field, is compact. In this note, we shall show that the analogue of this holds for the case of the p -adic orthogonal group O n (R p , f ), where R p is the rational p -adic number field, as a special result of the more general statement on the completely valued fields.