A monomial representation tau = Ind(H up arrow G, chi) induced from a character on a connected subgroup H of a nilpotent Lie group G has a primary decomposition whose multiplicities are either purely infinite (m(tau) = infinity) or uniformly bounded (m(tau ) < infinity). The multiplicities are completely determined by the geometry of coadjoint orbits in g*, and there are strong indications that orbit geometry also determines the structure of the algebra D-tau of tau-invariant differential operators on smooth sections. One unresolved conjecture says that D-tau is commutative double left right arrow m(tau) < infinity; (double left arrow) is well known, and in this note we report significant progress toward the converse by proving that (double right arrow) holds when CASE I: m(tau(0)) < infinity, m(tau) = infinity, and CASE II: D-tau 0 not equal D-tau, where tau(0) = Ind(H up arrow G(0), chi) and G(0) superset of or equal to H is a codimension-1 subgroup. When m (tau) = infinity, one can always reduce to Case I; all evidence so far suggests that II is always valid when I holds (which would resolve the conjecture), but no general proof is known. Similar results have been reported recently by H. Fujiwara, G. Lion, and S. Medhi [5] using traditional methods of induction on dimension. Our methods are completely noninductive and rest entirely on analysis of coadjoint orbit geometry. The same methods may prove useful in an ultimate orbital description of D-tau, along the lines of the structure theorems known to hold when m (tau) < infinity. (C) 2000 John Wiley & Sons, Inc. [References: 7]
展开▼