I. Determine (up to equivalence) the nonsingular symmetric, skew symmetric and Hermitian forms which are -invariant.
II. If is such a form, enumerate the equivalence classes of representations of into the corresponding group (orthogonal, symplectic or unitary group).
III. Determine conditions on or under which two orthogonal, symplectic or unitary representations of are equivalent if and only if they are equivalent as linear representations and their underlying forms are ``isotypically' equivalent.
This last condition means that the restrictions of the forms to each pair of corresponding isotypic (homogeneous) -module components of their spaces are equivalent.
We assume throughout that the characteristic of does not divide .
Solutions to I and II are given when is a finite or local field, or when is a global field and the representation is ``split'. The results for III are strongest when the degrees of the absolutely irreducible representations of are odd - for example if has odd order or is an Abelian group, or more generally has a normal Abelian subgroup of odd index - and, in the case that is a local or global field, when the representations are split.
Let be a nilpotent Lie algebra, over a field of characteristic zero, and its universal enveloping algebra. In this paper we study: (1) the prime ideal structure of related to finitely generated -modules , and in particular the set of associated primes for such (note that now is equal to the set of annihilator primes for ); (2) the problem of nontriviality for the modules when is a (maximal) prime of , and in particular when is the augmentation ideal of . We define the support of , as a natural generalization of the same notion from commutative theory, and show that it is the object of primary interest when dealing with (2). We also introduce and study the reduced localization and the reduced support, which enables to better understand the set . We prove the following generalization of a stability result given by W. Casselman and M. S. Osborne in the case when , as in the theorem, are abelian. We also present some of its interesting consequences.
Theorem. Let be a finite-dimensional Lie algebra over a field of characteristic zero, and an ideal of ; denote by the universal enveloping algebra of . Let be a -module which is finitely generated as an -module. Then every annihilator prime of , when is regarded as a -module, is -stable for the adjoint action of on .
Let be an algebraically closed field of characteristic zero. Let be the ring of (-linear) differential operators with coefficients from a regular commutative affine domain of Krull dimension which is the tensor product of two regular commutative affine domains of Krull dimension . Simple holonomic -modules are described. Let a -algebra be a regular affine commutative domain of Krull dimension and be the ring of differential operators with coefficients from . We classify (up to irreducible elements of a certain Euclidean domain) simple -modules (the field is not necessarily algebraically closed).
Let be a commutative ring and an ideal in which is locally generated by a regular sequence of length . Then, each f. g. projective -module has an -projective resolution of length . In this paper, we compute the homology of the -th Koszul complex associated with the homomorphism for all , if . This computation yields a new proof of the classical Adams-Riemann-Roch formula for regular closed immersions which does not use the deformation to the normal cone any longer. Furthermore, if , we compute the homology of the complex where and denote the functors occurring in the Dold-Kan correspondence.
Let be the group of automorphisms of a homogeneous tree and let be the tensor product of two spherical irreducible unitary representations of . We complete the explicit decomposition of commenced in part I of this paper, by describing the discrete series representations of which appear as subrepresentations of .
We prove that is sufficient to construct a model in which is measurable and is a closed and unbounded subset of containing only inaccessible cardinals of . Gitik proved that is necessary.
We also calculate the consistency strength of the existence of such a set together with the assumption that is Mahlo, weakly compact, or Ramsey. In addition we consider the possibility of having the set generate the closed unbounded ultrafilter of while remains measurable, and show that Radin forcing, which requires a weak repeat point, cannot be improved on.
Let be the group of automorphisms of a homogeneous tree , and let be a lattice subgroup of . Let be the tensor product of two spherical irreducible unitary representations of . We give an explicit decomposition of the restriction of to . We also describe the spherical component of explicitly, and this decomposition is interpreted as a multiplication formula for associated orthogonal polynomials.
The main result of this paper is that the variety of presentations of a general cubic form in variables as a sum of cubes is isomorphic to the Fano variety of lines of a cubic -fold , in general different from .
A general surface of genus determines uniquely a pair of cubic -folds: the apolar cubic and the dual Pfaffian cubic (or for simplicity and ). As Beauville and Donagi have shown, the Fano variety of lines on the cubic is isomorphic to the Hilbert scheme of length two subschemes of . The first main result of this paper is that parametrizes the variety of presentations of the cubic form , with , as a sum of cubes, which yields an isomorphism between and . Furthermore, we show that sets up a correspondence between and . The main result follows by a deformation argument.
Let be the space of uniform ultrafilters on . If is regular, then there is an which is not an accumulation point of any subset of of size or less. is also good, in the sense of Keisler.
Let be a Banach function algebra on a compact space , and let be such that for any scalar the element is not a divisor of zero. We show that any complete norm topology on that makes the multiplication by continuous is automatically equivalent to the original norm topology of . Related results for general Banach spaces are also discussed.
J. Zemánek is obtained.
Generalized Eilenberg-Borsuk Theorem. Let be a countable CW complex. If is a separable metrizable space and is an absolute extensor of for some CW complex , then for any map , closed in , there is an extension of over an open set such that .
Theorem. Let be countable CW complexes. If is a separable metrizable space and is an absolute extensor of , then there is a subset of such that and .
Theorem. Suppose are countable, non-trivial, abelian groups and 0$">. For any separable metrizable space of finite dimension 0$">, there is a closed subset of with for .
Theorem. Suppose is a separable metrizable space of finite dimension and is a compactum of finite dimension. Then, for any , , there is a closed subset of such that and .
Theorem. Suppose is a metrizable space of finite dimension and is a compactum of finite dimension. If and are connected CW complexes, then
Let be a finite group and let be a degree 1, -framed map such that and are simply connected, closed, oriented, smooth manifolds of dimension and such that the dimension of the singular set of the -space is at most . In the previous article, assuming is -connected, we defined the -equivariant surgery obstruction in a certain abelian group. There it was shown that if then is -framed cobordant to a homotopy equivalence . In the present article, we prove that the obstruction is a -framed cobordism invariant. Consequently, the -surgery obstruction is uniquely associated to above even if it is not -connected.
Fix integers with k>0$"> and . Let be an integral projective curve with and a rank torsion free sheaf on which is a flat limit of a family of locally free sheaves on . Here we prove the existence of a rank subsheaf of such that . We show that for every there is an integral projective curve not Gorenstein, and a rank 2 torsion free sheaf on with no rank 1 subsheaf with . We show the existence of torsion free sheaves on non-Gorenstein projective curves with other pathological properties.
Inspired by a paper of S. Popa and the classification theory of nuclear -algebras, we introduce a class of -algebras which we call tracially approximately finite dimensional (TAF). A TAF -algebra is not an AF-algebra in general, but a ``large' part of it can be approximated by finite dimensional subalgebras. We show that if a unital simple -algebra is TAF then it is quasidiagonal, and has real rank zero, stable rank one and weakly unperforated -group. All nuclear simple -algebras of real rank zero, stable rank one, with weakly unperforated -group classified so far by their -theoretical data are TAF. We provide examples of nonnuclear simple TAF -algebras. A sufficient condition for unital nuclear separable quasidiagonal -algebras to be TAF is also given. The main results include a characterization of simple rational AF-algebras. We show that a separable nuclear simple TAF -algebra satisfying the Universal Coefficient Theorem and having and is isomorphic to a simple AF-algebra with the same -theory.
Let be an odd prime number and let be an extraspecial -group. The purpose of the paper is to show that has no non-zero essential mod- cohomology (and in fact that is Cohen-Macaulay) if and only if and .
An -character of a group is the trace of an -representation of We show that all algebraic relations between -characters of can be visualized as relations between graphs (resembling Feynman diagrams) in any topological space with We also show that all such relations are implied by a single local relation between graphs. In this way, we provide a topological approach to the study of -representations of groups.
The motivation for this paper was our work with J. Przytycki on invariants of links in 3-manifolds which are based on the Kauffman bracket skein relation. These invariants lead to a notion of a skein module of which, by a theorem of Bullock, Przytycki, and the author, is a deformation of the -character variety of This paper provides a generalization of this result to all -character varieties.
The aim of this paper is to consider the radially-symmetric periodic-Dirichlet problem on for the equation
where is the classical Laplacian operator, and denotes the open ball of center and radius in When is a sufficiently large irrational with bounded partial quotients, we combine some number theory techniques with the asymptotic properties of the Bessel functions to show that is not an accumulation point of the spectrum of the linear part. This result is used to obtain existence conditions for the nonlinear problem.
We introduce the free and semi-inert conditions on the attaching map which broadly generalize the previously-studied inert condition. Under these conditions we determine as an -module and as an -algebra, respectively. Under a further condition we show that is generated by Hurewicz images.
As an example we study an infinite family of spaces constructed using only semi-inert cell attachments.
Representability of a finite relation algebra is determined by playing a certain two player game over `atomic -networks'. It can be shown that the second player in this game has a winning strategy if and only if is representable.
Let be a finite set of square tiles, where each edge of each tile has a colour. Suppose includes a special tile whose four edges are all the same colour, a colour not used by any other tile. The tiling problem we use is this: is it the case that for each tile there is a tiling of the plane using only tiles from in which edge colours of adjacent tiles match and with placed at ? It is not hard to show that this problem is undecidable.
From an instance of this tiling problem , we construct a finite relation algebra and show that the second player has a winning strategy in if and only if is a yes-instance. This reduces the tiling problem to the representation problem and proves the latter's undecidability.