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.

     

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.

     

Cyclicity of CM elliptic curves modulo

Let be an elliptic curve defined over and with complex multiplication. For a prime of good reduction, let be the reduction of modulo We find the density of the primes for which is a cyclic group. An asymptotic formula for these primes had been obtained conditionally by J.-P. Serre in 1976, and unconditionally by Ram Murty in 1979. The aim of this paper is to give a new simpler unconditional proof of this asymptotic formula and also to provide explicit error terms in the formula.

     

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).

     

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 .     

On the canonical rings of covers of surfaces of minimal degree

In one of the main results of this paper, we find the degrees of the generators of the canonical ring of a regular algebraic surface of general type defined over a field of characteristic , under the hypothesis that the canonical divisor of determines a morphism from to a surface of minimal degree . As a corollary of our results and results of Ciliberto and Green, we obtain a necessary and sufficient condition for the canonical ring of to be generated in degree less than or equal to . We construct new examples of surfaces satisfying the hypothesis of our theorem and prove results which show that many a priori plausible examples cannot exist. Our methods are to exploit the -algebra structure on . These methods have other applications, including those on Calabi-Yau threefolds. We prove new results on homogeneous rings associated to a polarized Calabi-Yau threefold and also prove some existence theorems for Calabi-Yau covers of threefolds of minimal degree. These have consequences towards constructing new examples of Calabi-Yau threefolds.

     

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 .

     

The structure of equicontinuous maps

Let be a metric space, and be a continuous map. In this paper we prove that if is compact, and for all , then is equicontinuous if and only if there exist a pointwise recurrent isometric homeomorphism and a non-expanding map that is pointwise convergent to a fixed point such that is uniformly conjugate to a subsystem of the product map . In addition, we give some still simpler necessary and sufficient conditions of equicontinuous graph maps.

     

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 .

     

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 .

     

-equivalence in adjoint classical groups over fields of virtual cohomological dimension

Let be a field of characteristic not whose virtual cohomological dimension is at most . Let be a semisimple group of adjoint type defined over . Let denote the normal subgroup of consisting of elements -equivalent to identity. We show that if is of classical type not containing a factor of type , . If is a simple classical adjoint group of type , we show that if and its multi-quadratic extensions satisfy strong approximation property, then . This leads to a new proof of the -triviality of -rational points of adjoint classical groups defined over number fields.

     

Large rectangular semigroups in Stone-Cech compactifications

We show that large rectangular semigroups can be found in certain Stone-Cech compactifications. In particular, there are copies of the rectangular semigroup in the smallest ideal of , and so, a semigroup consisting of idempotents can be embedded in the smallest ideal of if and only if it is a subsemigroup of the rectangular semigroup. In fact, we show that for any ordinal with cardinality at most , contains a semigroup of idempotents whose rectangular components are all copies of the rectangular semigroup and form a decreasing chain indexed by , with the minimum component contained in the smallest ideal of .

As a fortuitous corollary we obtain the fact that there are -chains of idempotents of length in . We show also that there are copies of the direct product of the rectangular semigroup with the free group on generators contained in the smallest ideal of .

     

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.

     

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.

     

Criteria for large deviations

We give the general variational form of

for any bounded above Borel measurable function on a topological space , where is a net of Borel probability measures on , and a net in converging to . When is normal, we obtain a criterion in order to have a limit in the above expression for all continuous bounded, and deduce new criteria of a large deviation principle with not necessarily tight rate function; this allows us to remove the tightness hypothesis in various classical theorems.

     

Primitive free cubics with specified norm and trace

The existence of a primitive free (normal) cubic over a finite field with arbitrary specified values of () and (primitive) is guaranteed. This is the most delicate case of a general existence theorem whose proof is thereby completed.

     

On the Iwasawa -invariants of real abelian fields

For a prime number and a number field , let denote the projective limit of the -parts of the ideal class groups of the intermediate fields of the cyclotomic -extension over . It is conjectured that is finite if is totally real. When is an odd prime and is a real abelian field, we give a criterion for the conjecture, which is a generalization of results of Ichimura and Sumida. Furthermore, in a special case where divides the degree of , we also obtain a rather simple criterion.

     

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.

     

Systems of diagonal Diophantine inequalities

We treat systems of real diagonal forms of degree , in variables. We give a lower bound , which depends only on and , such that if holds, then, under certain conditions on the forms, and for any positive real number , there is a nonzero integral simultaneous solution of the system of Diophantine inequalities for . In particular, our result is one of the first to treat systems of inequalities of even degree. The result is an extension of earlier work by the author on quadratic forms. Also, a restriction in that work is removed, which enables us to now treat combined systems of Diophantine equations and inequalities.