Results 1  10
of
137
The complex Wishart distribution and the symmetric group
"... Let V be the space of (r; r) Hermitian matrices and let\Omega be the cone of the positive definite ones. We say that the random variable S; taking its values has the complex Wishart distribution fl p;oe if IE(exp trace (`S)) = (det(I r \Gamma oe`)) where oe and oe \Gamma ` are ; and where p ..."
Abstract

Cited by 25 (2 self)
 Add to MetaCart
Let V be the space of (r; r) Hermitian matrices and let\Omega be the cone of the positive definite ones. We say that the random variable S; taking its values has the complex Wishart distribution fl p;oe if IE(exp trace (`S)) = (det(I r \Gamma oe`)) where oe and oe \Gamma ` are ; and where p = 1; 2; : : : ; r \Gamma 1 or p ? r \Gamma 1. In this paper, we compute all moments of S: More specifically, if h = (h 1 ; : : : ; h n ) is any word of (r; r) complex matrices and if we introduce the complex random variables S(h) = trace (Sh 1 : : : Sh n ) and S (h) = trace (S h 1 \Delta \Delta \Delta S h n ); we are able to compute in a simple way the expressions IE(S(h ) \Delta \Delta \Delta S(h )) for any set of words fh ; \Delta \Delta \Delta ; h g: Similarly we compute IE(S ) \Delta \Delta \Delta S whenever it exists. This provides a general answer to the questions raised by D. Maiwald and D. Kraus (2000) for moments of order 4. Our technique is to use the multilinear forms r (oe)(h 1 ; : : : ; h k ); where belongs to the group S k of permutations of f1; : : : ; kg. For instance, if = (4)(2; 5)(6; 3; 1); the form r (oe) is defined by r (oe)(h 1 ; : : : ; h 6 ) = trace (oeh 4 )trace (oeh 2 oeh 5 )trace (oeh 6 oeh 3 oeh 1 ): Denote by m() the number of cycles of ; and write q for p \Gamma r: Our theorems 2 and 3 can be presented in the following compact way by using the convolution product associated to the group algebra A(S k ): Our proofs of these formulas are elementary. The remainder of the paper is devoted to the inversion of the second formula, i.e. to the computation of )); for any . To this end, we use the irreducible characters of S k
The primary approximation to the cohomology of the moduli space of curves and cocycles for the MumfordMoritaMiller classes
, 2001
"... ..."
(Show Context)
BochnerKähler metrics
"... Abstract. A Kähler metric is said to be BochnerKähler if its Bochner curvature vanishes. This is a nontrivial condition when the complex dimension of the underlying manifold is at least 2. In this article it will be shown that, in a certain welldefined sense, the space of BochnerKähler metrics in ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
(Show Context)
Abstract. A Kähler metric is said to be BochnerKähler if its Bochner curvature vanishes. This is a nontrivial condition when the complex dimension of the underlying manifold is at least 2. In this article it will be shown that, in a certain welldefined sense, the space of BochnerKähler metrics in complex dimension n has real dimension n+1 and a recipe for an explicit formula for any BochnerKähler metric will be given. It is shown that any BochnerKähler metric in complex dimension n has local (real) cohomogeneity at most n. The BochnerKähler metrics that can be ‘analytically continued ’ to a complete metric, free of singularities, are identified. In particular, it is shown that the only compact BochnerKähler manifolds are the discrete quotients of the known symmetric examples. However, there are compact BochnerKähler orbifolds that are not locally symmetric. In fact, every weighted projective space carries a BochnerKähler metric. The fundamental technique is to construct a canonical infinitesimal torus action on a BochnerKähler metric whose associated momentum mapping has the orbits of its symmetry pseudogroupoid as fibers.
The periodic cyclic homology of IwahoriHecke algebras
, 2008
"... We determine the periodic cyclic homology of the IwahoriHecke algebras Hq, for q ∈ C∗ not a “proper root of unity.” (In this paper, by a proper root of unity we shall mean a root of unity other than 1.) Our method is based on a general result on periodic cyclic homology, which states that a “weakl ..."
Abstract

Cited by 18 (7 self)
 Add to MetaCart
(Show Context)
We determine the periodic cyclic homology of the IwahoriHecke algebras Hq, for q ∈ C∗ not a “proper root of unity.” (In this paper, by a proper root of unity we shall mean a root of unity other than 1.) Our method is based on a general result on periodic cyclic homology, which states that a “weakly spectrum preserving” morphism of finite type algebras induces an isomorphism in periodic cyclic homology. The concept of a weakly spectrum preserving morphism is defined in this paper, and most of our work is devoted to understanding this class of morphisms. Results of Kazhdan–Lusztig and Lusztig show that, for the indicated values of q, there exists a weakly spectrum preserving morphism φq: Hq → J, to a fixed finite type algebra J. This proves that φq induces an isomorphism in periodic cyclic homology and, in particular, that all algebras Hq have the same periodic cyclic homology, for the indicated values of q. The periodic cyclic homology groups of the algebra H1 can then be determined directly, using results of Karoubi and Burghelea, because it is the group algebra of an extended affine Weyl group.
Geometry and the complexity of matrix multiplication
, 2007
"... Abstract. We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i) to show how open questions in algebraic complexity theory are naturally posed as questions in geometry and representation theory, (ii) to motivate researchers to work on these questions, ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i) to show how open questions in algebraic complexity theory are naturally posed as questions in geometry and representation theory, (ii) to motivate researchers to work on these questions, and (iii) to point out relations with more general problems in geometry. The key geometric objects for our study are the secant varieties of Segre varieties. We explain how these varieties are also useful for algebraic statistics, the study of phylogenetic invariants, and quantum computing.
AN OVERVIEW OF MATHEMATICAL ISSUES ARISING IN THE GEOMETRIC COMPLEXITY THEORY APPROACH TO VP != VNP
"... We discuss the geometry of orbit closures and the asymptotic behavior of Kronecker coefficients in the context of the Geometric Complexity Theory program to prove a variant of Valiant’s algebraic analog of the P ̸ = NP conjecture. We also describe the precise separation of complexity classes that t ..."
Abstract

Cited by 16 (6 self)
 Add to MetaCart
(Show Context)
We discuss the geometry of orbit closures and the asymptotic behavior of Kronecker coefficients in the context of the Geometric Complexity Theory program to prove a variant of Valiant’s algebraic analog of the P ̸ = NP conjecture. We also describe the precise separation of complexity classes that their program proposes to demonstrate.
Stable cohomology of the mapping class group with symplectic coefficients and of the universal AbelJacobi map
 J. Alg. Geom
, 1996
"... Abstract. The irreducible representations of the complex symplectic group of genus g are indexed by nonincreasing sequences of integers λ = (λ1 ≥ λ2 ≥ · · ·) with λk = 0 for k> g. A recent result of N.V. Ivanov implies that for a given partition λ, the cohomology group of a given degree of the ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
(Show Context)
Abstract. The irreducible representations of the complex symplectic group of genus g are indexed by nonincreasing sequences of integers λ = (λ1 ≥ λ2 ≥ · · ·) with λk = 0 for k> g. A recent result of N.V. Ivanov implies that for a given partition λ, the cohomology group of a given degree of the mapping class group of genus g with values in the representation associated to λ is independent of g if g is sufficiently large. We prove that this stable cohomology is the tensor product of the stable cohomology of the mapping class group and a finitely generated graded module over Q[c1,..., c λ], where deg(ci) = 2i and λ  = ∑ i λi. We describe this module explicitly. In the same sense we determine the stable rational cohomology of the moduli space of compact Riemann surfaces with s given ordered distinct (resp. not necessarily distinct) points as well as the stable cohomology of the universal Abel–Jacobi map. These results take into account mixed Hodge structures. 1.
The FourierJacoby map and small representations, Representation Theory 7
 Department of Mathematics, University of Utah
, 2003
"... Abstract. We study the “FourierJacobi ” functor on smooth representations of split, simple, simplylaced padic groups. This functor has been extensively studied on the symplectic group, where it provides the representationtheoretic analogue of the FourierJacobi expansion of Siegel modular forms. ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
(Show Context)
Abstract. We study the “FourierJacobi ” functor on smooth representations of split, simple, simplylaced padic groups. This functor has been extensively studied on the symplectic group, where it provides the representationtheoretic analogue of the FourierJacobi expansion of Siegel modular forms. Our applications are different from those studied classically with the symplectic group. In particular, we are able to describe the composition series of certain degenerate principal series. This includes the location of minimal and small (in the sense of the support of the local character expansion) representations as spherical subquotients.
Contact Projective Structures
 Indiana Univ. Math. J
"... Abstract. A contact path geometry is a family of paths in a contact manifold each of which is everywhere tangent to the contact distribution and such that given a point and a onedimensional subspace of the contact distribution at that point there is a unique path of the family passing through the g ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
(Show Context)
Abstract. A contact path geometry is a family of paths in a contact manifold each of which is everywhere tangent to the contact distribution and such that given a point and a onedimensional subspace of the contact distribution at that point there is a unique path of the family passing through the given point and tangent to the given subspace. A contact projective structure is a contact path geometry the paths of which are among the geodesics of some affine connection. In the manner of T.Y. Thomas there is associated to each contact projective structure an ambient affine connection on a symplectic manifold with onedimensional fibers over the contact manifold and using this the local equivalence problem for contact projective structures is solved by the construction of a canonical regular Cartan connection. This Cartan connection is normal if and only if an invariant contact torsion vanishes. Every contact projective structure determines canonical paths transverse to the contact structure which fill out the contact projective structure to give a full projective structure, and the vanishing of the contact torsion implies the contact