Distinguished representations and poles of twisted tensor -functions

Let be a quadratic extension of -adic fields. If is an admissible representation of that is parabolically induced from discrete series representations, then we prove that the space of -invariant linear functionals on has dimension one, where is the mirabolic subgroup. As a corollary, it is deduced that if is distinguished by , then the twisted tensor -function associated to has a pole at . It follows that if is a discrete series representation, then at most one of the representations and is distinguished, where is an extension of the local class field theory character associated to . This is in agreement with a conjecture of Flicker and Rallis that relates the set of distinguished representations with the image of base change from a suitable unitary group.

     

Pure Picard-Vessiot extensions with generic properties

Given a connected linear algebraic group over an algebraically closed field of characteristic 0, we construct a pure Picard-Vessiot extension for , namely, a Picard-Vessiot extension , with differential Galois group , such that and are purely differentially transcendental over . The differential field is the quotient field of a -stable proper differential subring with the property that if is any differential field with field of constants and is a Picard-Vessiot extension with differential Galois group a connected subgroup of , then there is a differential homomorphism such that is generated over as a differential field by .

     

The number of Hall -subgroups of a -separable group

We observe a simple formula to compute the number of Hall -subgroups of a -separable finite group in terms of only the action of a fixed Hall -subgroup of on a set of normal -sections of . As a consequence, we obtain that divides whenever is a subgroup of a finite -separable group . This generalizes a recent result of Navarro. In addition, our method gives an alternative proof of Navarro's result.

     

The duality theory of a finite dimensional discrete quantum group

Suppose that is a finite dimensional discrete quantum group and is a Hilbert space. This paper shows that if there exists an action of on so that is a modular algebra and the inner product on is -invariant, then there is a unique C*-representation of on supplemented by the The commutant of in is exactly the -invariant subalgebra of . As an application, a new proof of the classical Schur-Weyl duality theory of type A is given.

     

Control of radii of convergence and extension of subanalytic functions

Let : denote a real analytic function on an open subset of , and let denote the points where does not admit a local analytic extension. We show that if is semialgebraic (respectively, globally subanalytic), then is semialgebraic (respectively, subanalytic) and extends to a semialgebraic (respectively, subanalytic) neighbourhood of . (In the general subanalytic case, is not necessarily subanalytic.) Our proof depends on controlling the radii of convergence of power series centred at points in the image of an analytic mapping , in terms of the radii of convergence of at points , where denotes the Taylor expansion of at .

     

Vector measure Banach spaces containing a complemented copy of

Let a Banach space and a -algebra of subsets of a set . We say that a vector measure Banach space has the bounded Vitaly-Hahn-Sacks Property if it satisfies the following condition: Every vector measure , for which there exists a bounded sequence in verifying for all , must belong to . Among other results, we prove that, if is a vector measure Banach space with the bounded V-H-S Property and containing a complemented copy of , then contains a copy of .

     

Instability of statistical factor analysis

Factor analysis, a popular method for interpreting multivariate data, models the covariance among variables as being due to a small number (, ) of hidden variables. A factor analysis of can be thought of as an ordered or unordered collection, , of linearly independent lines in . Let be the collection of data sets for which is defined. The ``singularities' of are those data sets, , in the closure, , at which the limit, , does not exist. is unstable near its singularities.

Let be the direct sum of the lines in . determines a -plane bundle, , over a subset, , of . If 1$"> and is rich enough, ordered or, at least if or 3, unordered, must have a singularity at some data set in . The proofs are applications of algebraic topology. Examples are provided.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

Conformal metrics and Ricci tensors on the sphere

We consider tensors on the unit sphere , where , is the standard metric and is a differentiable function on . For such tensors, we consider the problems of existence of a Riemannian metric , conformal to , such that , and the existence of such a metric that satisfies , where is the scalar curvature of . We find the restrictions on the Ricci candidate for solvability, and we construct the solutions when they exist. We show that these metrics are unique up to homothety, and we characterize those defined on the whole sphere. As a consequence of these results, we determine the tensors that are rotationally symmetric. Moreover, we obtain the well-known result that a tensor , 0 $">, has no solution on if and only metrics homothetic to admit as a Ricci tensor. We also show that if , then equation has no solution , conformal to on , and only metrics homothetic to are solutions to this equation when . Infinitely many solutions, globally defined on , are obtained for the equation

where . The geometric interpretation of these solutions is given in terms of existence of complete metrics, globally defined on and conformal to the Euclidean metric, for certain bounded scalar curvature functions that vanish at infinity.

     

Uncountable categoricity for gross models

A model is said to be gross if all infinite definable sets in have the same cardinality (as ). We prove that if for some uncountable , has a unique gross model of cardinality , then for any uncountable , has a unique gross model of cardinality .

     

On two problems of Erdos and Hechler: New methods in singular madness

For an infinite cardinal , denotes the set of all cardinalities of nontrivial maximal almost disjoint families over .

Erdos and Hechler proved in 1973 the consistency of for a singular cardinal and asked if it was ever possible for a singular that , and also whether for every singular cardinal .

We introduce a new method for controlling for a singular and, among other new results about the structure of for singular , settle both problems affirmatively.

     

A note on commutativity up to a factor of bounded operators

In this note, we explore commutativity up to a factor for bounded operators and in a complex Hilbert space. Conditions on possible values of the factor are formulated and shown to depend on spectral properties of the operators. Commutativity up to a unitary factor is considered. In some cases, we obtain some properties of the solution space of the operator equation and explore the structures of and that satisfy for some A quantum effect is an operator on a complex Hilbert space that satisfies The sequential product of quantum effects and is defined by We also obtain properties of the sequential product.

     

Mansfield's imprimitivity theorem for arbitrary closed subgroups

Let be a nondegenerate coaction of on a -algebra , and let be a closed subgroup of . The dual action is proper and saturated in the sense of Rieffel, and the generalised fixed-point algebra is the crossed product of by the homogeneous space . The resulting Morita equivalence is a version of Mansfield's imprimitivity theorem which requires neither amenability nor normality of .

     

Characterizations of elements with compact support in the dual spaces of -modules of

For a locally compact group and , let be the Figà-Talamanca-Herz algebra and let be its dual Banach space. For a Banach -module of , we denote the norm closure of the subspace of the elements in with compact support by . We prove that an element of is in if and only if for any 0$">, there exists a compact subset of such that for all with and . In particular, we have that an element of is in if and only if for any 0$">, there exists a compact subset of such that for all with . If has an orthogonal complement in , we characterize by the following condition: is in if and only if for any 0$"> and any compact subset of , there exists some with and such that \Vert u\Vert - \epsilon $">. Some results of Flory (1971) and Miao (1999) can be obtained from our main theorems by taking and as some -subalgebras of .

     

Double covering of curves

Let be a smooth projective algebraic curve of genus and an integer with . For all integers we prove the existence of a double covering with a smooth curve of genus and the existence of a degree morphism that does not factor through . By the Castelnuovo-Severi inequality, the result is sharp (except perhaps the bound ).

     

Cellular generators

The aim of this paper is twofold. On the one hand, we show that the kernel of the Bousfield periodization functor is cellularly generated by a space , i.e., we construct a space such that the smallest closed class containing is exactly . On the other hand, we show that the partial order is a complete lattice, where if . Finally, as a corollary we obtain Bousfield's theorem, which states that )$"> is a complete lattice, where A$"> if .

     

The dual spectral set conjecture

Suppose that where are real numbers such that and The union is not assumed to be disjoint. It is shown that the translates , , tile the real line for some bounded measurable set if and only if the exponentials , , form an orthogonal basis for some bounded measurable set

     

Coprime packedness and set theoretic complete intersections of ideals in polynomial rings

A ring is said to be coprimely packed if whenever is an ideal of and is a set of maximal ideals of with , then for some . Let be a ring and be the localization of at its set of monic polynomials. We prove that if is a Noetherian normal domain, then the ring is coprimely packed if and only if is a Dedekind domain with torsion ideal class group. Moreover, this is also equivalent to the condition that each proper prime ideal of is a set theoretic complete intersection. A similar result is also proved when is either a Noetherian arithmetical ring or a Bézout domain of dimension one.

     

A proof of W. T. Gowers' theorem

W. T. Gowers' theorem asserts that for every Lipschitz function and 0$">, there exists an infinite-dimensional subspace of such that the oscillation of on is at most . The proof of this theorem has been reduced by W. T. Gowers to the proof of a new Ramsey type theorem. Our aim is to present a proof of the last result.

     

Covering by graphs of -ary functions and long linear orderings of Turing degrees

A point is covered by a function iff there is a permutation of such that .

By a theorem of Kuratowski, for every infinite cardinal exactly -ary functions are needed to cover all of . We show that for arbitrarily large uncountable it is consistent that the size of the continuum is and is covered by -ary continuous functions.

We study other cardinal invariants of the -ideal on generated by continuous -ary functions and finally relate the question of how many continuous functions are necessary to cover to the least size of a set of parameters such that the Turing degrees relative to this set of parameters are linearly ordered.