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 .

     

Rings with finite Gorenstein injective dimension

In this paper we prove that for any associative ring , and for any left -module with finite projective dimension, the Gorenstein injective dimension equals the usual injective dimension . In particular, if is finite, then also is finite, and thus is Gorenstein (provided that is commutative and Noetherian).

     

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.

     

A criterion for satellite 1-genus 1-bridge knots

Let be a knot in a closed orientable irreducible 3-manifold . Suppose admits a genus 1 Heegaard splitting and we denote by the splitting torus. We say is a -genus -bridge splitting of if intersects transversely in two points, and divides into two pairs of a solid torus and a boundary parallel arc in it. It is known that a -genus -bridge splitting of a satellite knot admits a satellite diagram disjoint from an essential loop on the splitting torus. If and the slope of the loop is longitudinal in one of the solid tori, then is obtained by twisting a component of a -bridge link along the other component. We give a criterion for determining whether a given -genus -bridge splitting of a knot admits a satellite diagram of a given slope or not. As an application, we show there exist counter examples for a conjecture of Ait Nouh and Yasuhara.

     

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.

     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

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.

     

Simple corona -algebras

Let be a non-unital and -unital simple -algebra. We show that if is simple, then is purely infinite. We also show that is simple if and only if has a continuous scale provided that is not isomorphic to the compact operators.

     

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.

     

Some numerical invariants of local rings

Let be a formal power series ring over a field of characteristic zero and any ideal. The aim of this work is to introduce some numerical invariants of the local rings by using the theory of algebraic -modules. More precisely, we will prove that the multiplicities of the characteristic cycle of the local cohomology modules and , where is any prime ideal that contains , are invariants of .

     

On -supplemented maximal and minimal subgroups of Sylow subgroups of finite groups

This paper proves: Let be a saturated formation containing . Suppose that is a group with a normal subgroup such that .

(1) If all maximal subgroups of any Sylow subgroup of are -supple- mented in , then ;

(2) If all minimal subgroups and all cyclic subgroups with order 4 of are -supplemented in , then .

     

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.

     

Hilbert-Samuel coefficients and postulation numbers of graded components of certain local cohomology modules

Let be a Noetherian homogeneous ring with one-dimensional local base ring . Let be an -primary ideal, let be a finitely generated graded -module and let . Let denote the -th local cohomology module of with respect to the irrelevant ideal 0} R_n$"> of . We show that the first Hilbert-Samuel coefficient of the -th graded component of with respect to is antipolynomial of degree in . In addition, we prove that the postulation numbers of the components with respect to have a common upper bound.

     

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 .

     

Characterizing Cohen-Macaulay local rings by Frobenius maps

Let be a commutative noetherian local ring of prime characteristic. Denote by the ring regarded as an -algebra through -times composition of the Frobenius map. Suppose that is F-finite, i.e., is a finitely generated -module. We prove that is Cohen-Macaulay if and only if the -modules have finite Cohen-Macaulay dimensions for infinitely many integers .

     

Hilbert coefficients and the associated graded rings

Let be a -dimensional Cohen-Macaulay local ring with infinite residue field. Let be an -primary ideal of . In this paper, we prove that if for some minimal reduction of , then depth .

     

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 .

     

Self-normalizing Sylow subgroups

Using the classification of finite simple groups we prove the following statement: Let 3$"> be a prime, a group of automorphisms of -power order of a finite group , and a -invariant Sylow -subgroup of . If is trivial, then is solvable. An equivalent formulation is that if has a self-normalizing Sylow -subgroup with 3$"> a prime, then is solvable. We also investigate the possibilities when .

     

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.

     

Nests with the partial factorization property

It is proved that a nest on a separable complex Hilbert space has the left (resp. right) partial factorization property, which means that for every invertible operator from onto a Hilbert space there exists an isometry (resp. a coisometry) from into such that both and are in the associated nest algebra if and only if it is atomic (resp. countable).