Partitioning -large sets: Some lower bounds

Let denote the property: if is an -large set of natural numbers and is partitioned into parts, then there exists a -large subset of which is homogeneous for this partition. Here the notion of largeness is in the sense of the so-called Hardy hierarchy. We give a lower bound for in terms of for some specific .

     

Invariance in and

We define , a substructure of (the lattice of classes), and show that a quotient structure of , , is isomorphic to . The result builds on the isomorphism machinery, and allows us to transfer invariant classes from to , though not, in general, orbits. Further properties of and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance.

     

-theorems for fusion systems

For an odd prime, we generalise the Glauberman-Thompson -nilpotency theorem (Gorenstein, 1980) to arbitrary fusion systems. We define a notion of -free fusion systems and show that if is a -free fusion system on some finite -group , then is controlled by for any Glauberman functor , generalising Glauberman's -theorem (Glauberman, 1968) to arbitrary fusion systems.

     

Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.

     

Functional distribution of with real characters and denseness of quadratic class numbers

We investigate the functional distribution of -functions with real primitive characters on the region as varies over fundamental discriminants. Actually we establish the so-called universality theorem for in the -aspect. From this theorem we can, of course, deduce some results concerning the value distribution and the non-vanishing. As another corollary, it follows that for any fixed with and positive integers , there exist infinitely many such that for every the -th derivative has at least zeros on the interval in the real axis. We also study the value distribution of for fixed with and variable , and obtain the denseness result concerning class numbers of quadratic fields.

     

The invariant factors of the incidence matrices of points and subspaces in and

We determine the Smith normal forms of the incidence matrices of points and projective -dimensional subspaces of and of the incidence matrices of points and -dimensional affine subspaces of for all , , and arbitrary prime power .

     

A tensor norm preserving unconditionality for -spaces

We show that, for each , there is an -tensor norm (in the sense of Grothendieck) with the surprising property that the -tensor product has local unconditional structure for each choice of arbitrary -spaces . In fact, is the tensor norm associated to the ideal of multiple -summing -linear forms on Banach spaces.

     

The center of the category of -modules

Let be a semi-simple connected Lie group. Let be a maximal compact subgroup of and the complexified Lie algebra of . In this paper we describe the center of the category of -modules.

     

On embedding all -manifolds into a single -manifold

For each composite number , there does not exist a single connected closed -manifold such that any smooth, simply-connected, closed -manifold can be topologically flatly embedded into it. There is a single connected closed -manifold such that any simply-connected, -manifold can be topologically flatly embedded into if is either closed and indefinite, or compact and with non-empty boundary.

     

-manifolds with planar presentations and the width of satellite knots

We consider compact -manifolds having a submersion to in which each generic point inverse is a planar surface. The standard height function on a submanifold of is a motivating example. To we associate a connectivity graph . For , is a tree if and only if there is a Fox reimbedding of which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of is a tree, then there is a level-preserving reimbedding of so that is a connected sum of handlebodies.

Corollary.

The width of a satellite knot is no less than the width of its pattern knot and so

.

     

On the -compact groups corresponding to the -adic reflection groups

There exists an infinite family of -compact groups whose Weyl groups correspond to the finite -adic pseudoreflection groups of family 2a in the Clark-Ewing list. In this paper we study these -compact groups. In particular, we construct an analog of the classical Whitney sum map, a family of monomorphisms and a spherical fibration which produces an analog of the classical -homomorphism. Finally, we also describe a faithful complexification homomorphism from these -compact groups to the -completion of unitary compact Lie groups.

     

Quantifier elimination for algebraic -groups

We prove that if is an algebraic -group (in the sense of Buium over a differentially closed field of characteristic , then the first order structure consisting of together with the algebraic -subvarieties of , has quantifier-elimination. In other words, the projection on of a -constructible subset of is -constructible. Among the consequences is that any finite-dimensional differential algebraic group is interpretable in an algebraically closed field.

     

Bimodules and -rationality of vertex operator algebras

This paper studies the twisted representations of vertex operator algebras. Let be a vertex operator algebra and an automorphism of of finite order For any , an - -bimodule is constructed. The collection of these bimodules determines any admissible -twisted -module completely. A Verma type admissible -twisted -module is constructed naturally from any -module. Furthermore, it is shown with the help of bimodule theory that a simple vertex operator algebra is -rational if and only if its twisted associative algebra is semisimple and each irreducible admissible -twisted -module is ordinary.

     

Quivers with relations arising from clusters case)

Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. Let be a cluster algebra of type . We associate to each cluster of an abelian category such that the indecomposable objects of are in natural correspondence with the cluster variables of which are not in . We give an algebraic realization and a geometric realization of . Then, we generalize the ``denominator theorem' of Fomin and Zelevinsky to any cluster.

     

-kernels of Lie groups

We study a filtration on the group of homotopy classes of self maps of a compact Lie group associated with homotopy groups. We determine these filtrations of and completely. We introduce two natural invariants and defined by the filtration, where is a prime number, and compute the invariants for simple Lie groups in the cases where Lie groups are -regular or quasi -regular. We apply our results to the groups of self homotopy equivalences.

     

Effective cones of quotients of moduli spaces of stable -pointed curves of genus zero

Let , the moduli space of -pointed stable genus zero curves, and let be the quotient of by the action of on the last marked points. The cones of effective divisors , , are calculated. Using this, upper bounds for the cones generated by divisors with moving linear systems are calculated, , along with the induced bounds on the cones of ample divisors of and . As an application, the cone is analyzed in detail.

     

Strongly self-absorbing -algebras

Say that a separable, unital -algebra is strongly self-absorbing if there exists an isomorphism such that and are approximately unitarily equivalent -homomorphisms. We study this class of algebras, which includes the Cuntz algebras , , the UHF algebras of infinite type, the Jiang-Su algebra and tensor products of with UHF algebras of infinite type. Given a strongly self-absorbing -algebra we characterise when a separable -algebra absorbs tensorially (i.e., is -stable), and prove closure properties for the class of separable -stable -algebras. Finally, we compute the possible -groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing -algebras.

     

-continuity properties of the symmetric -stable process

Let be a domain of finite Lebesgue measure in and let be the symmetric -stable process killed upon exiting . Each element of the set of eigenvalues associated to , regarded as a function of , is right continuous. In addition, if is Lipschitz and bounded, then each is continuous in and the set of associated eigenfunctions is precompact.

     

Generalized interpolation in with a complexity constraint

In a seminal paper, Sarason generalized some classical interpolation problems for functions on the unit disc to problems concerning lifting onto of an operator that is defined on ( is an inner function) and commutes with the (compressed) shift . In particular, he showed that interpolants (i.e., such that ) having norm equal to exist, and that in certain cases such an is unique and can be expressed as a fraction with . In this paper, we study interpolants that are such fractions of functions and are bounded in norm by (assuming that , in which case they always exist). We parameterize the collection of all such pairs and show that each interpolant of this type can be determined as the unique minimum of a convex functional. Our motivation stems from the relevance of classical interpolation to circuit theory, systems theory, and signal processing, where is typically a finite Blaschke product, and where the quotient representation is a physically meaningful complexity constraint.

     

Explicit Lower bounds for residues at of Dedekind zeta functions and relative class numbers of CM-fields

Let be a given set of positive rational primes. Assume that the value of the Dedekind zeta function of a number field is less than or equal to zero at some real point in the range . We give explicit lower bounds on the residue at of this Dedekind zeta function which depend on , the absolute value of the discriminant of and the behavior in of the rational primes . Now, let be a real abelian number field and let be any real zero of the zeta function of . We give an upper bound on the residue at of which depends on , and the behavior in of the rational primes . By combining these two results, we obtain lower bounds for the relative class numbers of some normal CM-fields which depend on the behavior in of the rational primes . We will then show that these new lower bounds for relative class numbers are of paramount importance for solving, for example, the exponent-two class group problem for the non-normal quartic CM-fields. Finally, we will prove Brauer-Siegel-like results about the asymptotic behavior of relative class numbers of CM-fields.