Finiteness theorems for positive definite -regular quadratic forms

An integral quadratic form of variables is said to be -regular if globally represents all quadratic forms of variables that are represented by the genus of . For any , it is shown that up to equivalence, there are only finitely many primitive positive definite integral quadratic forms of variables that are -regular. We also investigate similar finiteness results for almost -regular and spinor -regular quadratic forms. It is shown that for any , there are only finitely many equivalence classes of primitive positive definite spinor or almost -regular quadratic forms of variables. These generalize the finiteness result for 2-regular quaternary quadratic forms proved by Earnest (1994).

     

Contractive projections and operator spaces

Parallel to the study of finite-dimensional Banach spaces, there is a growing interest in the corresponding local theory of operator spaces. We define a family of Hilbertian operator spaces , , generalizing the row and column Hilbert spaces and , and we show that an atomic subspace that is the range of a contractive projection on is isometrically completely contractive to an -sum of the and Cartan factors of types 1 to 4. In particular, for finite-dimensional , this answers a question posed by Oikhberg and Rosenthal. Explicit in the proof is a classification up to complete isometry of atomic w-closed -triples without an infinite-dimensional rank 1 w-closed ideal.

     

Poset block equivalence of integral matrices

Given square matrices and with a poset-indexed block structure (for which an block is zero unless ), when are there invertible matrices and with this required-zero-block structure such that ? We give complete invariants for the existence of such an equivalence for matrices over a principal ideal domain . As one application, when is a field we classify such matrices up to similarity by matrices respecting the block structure. We also give complete invariants for equivalence under the additional requirement that the diagonal blocks of and have determinant . The invariants involve an associated diagram (the ``-web') of -module homomorphisms. The study is motivated by applications to symbolic dynamics and -algebras.

     

A monoidal approach to splitting morphisms of bialgebras

The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. Let us consider a Hopf algebra such that its Jacobson radical is a nilpotent Hopf ideal and is a semisimple algebra. We prove that the canonical projection of on has a section which is an -colinear algebra map. Furthermore, if is cosemisimple too, then we can choose this section to be an -bicolinear algebra morphism. This fact allows us to describe as a `generalized bosonization' of a certain algebra in the category of Yetter-Drinfeld modules over . As an application we give a categorical proof of Radford's result about Hopf algebras with projections. We also consider the dual situation. Let be a bialgebra such that its coradical is a Hopf sub-bialgebra with antipode. Then there is a retraction of the canonical injection of into which is an -linear coalgebra morphism. Furthermore, if is semisimple too, then we can choose this retraction to be an -bilinear coalgebra morphism. Then, also in this case, we can describe as a `generalized bosonization' of a certain coalgebra in the category of Yetter-Drinfeld modules over .

     

Connections with prescribed first Pontrjagin form

Let be a principal bundle over a manifold of dimension . If , then we prove that every differential 4-form representing the first Pontrjagin class of is the Pontrjagin form of some connection on .     

A classification and examples of rank one chain domains

A chain order of a skew field is a subring of so that implies Such a ring has rank one if , the Jacobson radical of is its only nonzero completely prime ideal. We show that a rank one chain order of is either invariant, in which case corresponds to a real-valued valuation of or is nearly simple, in which case and are the only ideals of or is exceptional in which case contains a prime ideal that is not completely prime. We use the group of divisorial of with the subgroup of principal to characterize these cases. The exceptional case subdivides further into infinitely many cases depending on the index of in Using the covering group of and the result that the group ring is embeddable into a skew field for a skew field, examples of rank one chain orders are constructed for each possible exceptional case.

     

West's problem on equivariant hyperspaces and Banach-Mazur compacta

Let be a compact Lie group, a metric -space, and the hyperspace of all nonempty compact subsets of endowed with the Hausdorff metric topology and with the induced action of . We prove that the following three assertions are equivalent: (a) is locally continuum-connected (resp., connected and locally continuum-connected); (b) is a -ANR (resp., a -AR); (c) is an ANR (resp., an AR). This is applied to show that is an ANR (resp., an AR) for each compact (resp., connected) Lie group . If is a finite group, then is a Hilbert cube whenever is a nondegenerate Peano continuum. Let be the hyperspace of all centrally symmetric, compact, convex bodies , , for which the ordinary Euclidean unit ball is the ellipsoid of minimal volume containing , and let be the complement of the unique -fixed point in . We prove that: (1) for each closed subgroup , is a Hilbert cube manifold; (2) for each closed subgroup acting non-transitively on , the -orbit space and the -fixed point set are Hilbert cubes. As an application we establish new topological models for tha Banach-Mazur compacta and prove that and have the same -homotopy type.

     

Spines and topology of thin Riemannian manifolds

Consider Riemannian manifolds for which the sectional curvature of and second fundamental form of the boundary are bounded above by one in absolute value. Previously we proved that if has sufficiently small inradius (i.e. all points are sufficiently close to the boundary), then the cut locus of exhibits canonical branching behavior of arbitrarily low branching number. In particular, if is thin in the sense that its inradius is less than a certain universal constant (known to lie between and ), then collapses to a triply branched simple polyhedral spine.

We use a graphical representation of the stratification structure of such a collapse, and relate numerical invariants of the graph to topological invariants of when is simply connected. In particular, the number of connected strata of the cut locus is a topological invariant. When is -dimensional and compact, has complexity in the sense of Matveev, and is a connected sum of copies of the real projective space , copies chosen from the lens spaces , and handles chosen from or , with 3-balls removed, where . Moreover, we construct a thin metric for every graph, and hence for every homeomorphism type on the list.

     

An elementary invariant problem and general linear group cohomology restricted to the diagonal subgroup

Conjecturally, for an odd prime and a certain ring of -integers, the stable general linear group and the étale model for its classifying space have isomorphic mod cohomology rings. In particular, these two cohomology rings should have the same image with respect to the restriction map to the diagonal subgroup. We show that a strong unstable version of this last property holds for any rank if is regular and certain homology classes for vanish. We check that this criterion is satisfied for as evidence for the conjecture.

     

Stability of infinite-dimensional sampled-data systems

Suppose that a static-state feedback stabilizes a continuous-time linear infinite-dimensional control system. We consider the following question: if we construct a sampled-data controller by applying an idealized sample-and-hold process to a continuous-time stabilizing feedback, will this sampled-data controller stabilize the system for all sufficiently small sampling times? Here the state space and the control space are Hilbert spaces, the system is of the form , where is the generator of a strongly continuous semigroup on , and the continuous time feedback is . The answer to the above question is known to be ``yes' if and are finite-dimensional spaces. In the infinite-dimensional case, if is not compact, then it is easy to find counterexamples. Therefore, we restrict attention to compact feedback. We show that the answer to the above question is ``yes', if is a bounded operator from into . Moreover, if is unbounded, we show that the answer ``yes' remains correct, provided that the semigroup generated by is analytic. We use the theory developed for static-state feedback to obtain analogous results for dynamic-output feedback control.

     

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.

     

On the Clifford algebra of a binary form

The Clifford algebra of a binary form of degree is the -algebra , where is the ideal generated by . has a natural homomorphic image that is a rank Azumaya algebra over its center. We prove that the center is isomorphic to the coordinate ring of the complement of an explicit -divisor in , where is the curve and is the genus of .

     

Construction of -structures and equivalences of derived categories

We associate a -structure to a family of objects in , the derived category of a Grothendieck category . Using general results on -structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of modules. Also, we extend this result to bounded derived categories of quasi-coherent sheaves on separated divisorial schemes obtaining, in particular, Belinson's equivalences.

     

Induction theorems of surgery obstruction groups

Let be a finite group. It is well known that a Mackey functor is a module over the Burnside ring functor , where ranges over the set of all subgroups of . For a fixed homomorphism , the Wall group functor is not a Mackey functor if is nontrivial. In this paper, we show that the Wall group functor is a module over the Burnside ring functor as well as over the Grothendieck-Witt ring functor . In fact, we prove a more general result, that the functor assigning the equivariant surgery obstruction group on manifolds with middle-dimensional singular sets to each subgroup of is a module over the Burnside ring functor as well as over the special Grothendieck-Witt ring functor. As an application, we obtain a computable property of the functor described with an element in the Burnside ring.

     

Heat kernels on metric measure spaces and an application to semilinear elliptic equations

We consider a metric measure space and a heat kernel on satisfying certain upper and lower estimates, which depend on two parameters and . We show that under additional mild assumptions, these parameters are determined by the intrinsic properties of the space . Namely, is the Hausdorff dimension of this space, whereas , called the walk dimension, is determined via the properties of the family of Besov spaces on . Moreover, the parameters and are related by the inequalities .

We prove also the embedding theorems for the space , and use them to obtain the existence results for weak solutions to semilinear elliptic equations on of the form

where is the generator of the semigroup associated with .

The framework in this paper is applicable for a large class of fractal domains, including the generalized Sierpinski carpet in .

     

Fixed points of commuting holomorphic mappings other than the Wolff point

Let be the unit disc of and let be such that . For 1$">, let . We study the behavior of on . In particular, we prove that . As a consequence, besides conditions for , we prove a conjecture of C. Cowen in case and are univalent mappings.

     

The free entropy dimension of hyperfinite von Neumann algebras

Suppose is a hyperfinite von Neumann algebra with a normal, tracial state and is a set of selfadjoint generators for . We calculate , the modified free entropy dimension of . Moreover, we show that depends only on and . Consequently, is independent of the choice of generators for . In the course of the argument we show that if is a set of selfadjoint generators for a von Neumann algebra with a normal, tracial state and has finite-dimensional approximants, then for any hyperfinite von Neumann subalgebra of Combined with a result by Voiculescu, this implies that if has a regular diffuse hyperfinite von Neumann subalgebra, then .

     

Stratified transversality by isotopy

For an abstract stratified set or a -regular stratification, hence for any -, - or -regular stratification, we prove that after stratified isotopy of , a stratified subspace of , or a stratified map , can be made transverse to a fixed stratified map .

     

Twisted sums with spaces

If is a separable Banach space, we consider the existence of non-trivial twisted sums , where or For the case we show that there exists a twisted sum whose quotient map is strictly singular if and only if contains no copy of . If we prove an analogue of a theorem of Johnson and Zippin (for ) by showing that all such twisted sums are trivial if is the dual of a space with summable Szlenk index (e.g., could be Tsirelson's space); a converse is established under the assumption that has an unconditional finite-dimensional decomposition. We also give conditions for the existence of a twisted sum with with strictly singular quotient map.