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.

     

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.

     

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 .

     

Stationary sets for the wave equation in crystallographic domains

Let be a crystallographic group in generated by reflections and let be the fundamental domain of We characterize stationary sets for the wave equation in when the initial data is supported in the interior of The stationary sets are the sets of time-invariant zeros of nontrivial solutions that are identically zero at .

We show that, for these initial data, the -dimensional part of the stationary sets consists of hyperplanes that are mirrors of a crystallographic group , This part comes from a corresponding odd symmetry of the initial data.

In physical language, the result is that if the initial source is localized strictly inside of the crystalline , then unmovable interference hypersurfaces can only be faces of a crystalline substructure of the original one.

     

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

     

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.

     

Asymptotics for discrete weighted minimal Riesz energy problems on rectifiable sets

Given a closed -rectifiable set embedded in Euclidean space, we investigate minimal weighted Riesz energy points on ; that is, points constrained to and interacting via the weighted power law potential , where is a fixed parameter and is an admissible weight. (In the unweighted case () such points for fixed tend to the solution of the best-packing problem on as the parameter .) Our main results concern the asymptotic behavior as of the minimal energies as well as the corresponding equilibrium configurations. Given a distribution with respect to -dimensional Hausdorff measure on , our results provide a method for generating -point configurations on that are ``well-separated' and have asymptotic distribution as .

     

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.

     

Distributions of corank 1 and their characteristic vector fields

We prove that any 1-parameter family of corank 1 distributions (or Pfaff equations) on a compact manifold is trivializable, i.e., transformable to a constant family by a family of diffeomorphisms, if all distributions of the family have the same characteristic line field. The characteristic line field is a field of tangent lines which is invariantly assigned to a corank one distribution. It is defined on , if , or on a subset of called the Martinet hypersurface, if . Our second main result states that if two corank one distributions have the same characteristic line field and are close to each other, then they are equivalent via a diffeomorphism. This holds under a weak assumption on the singularities of the distributions. The second result implies that the abnormal curves of a distribution determine the equivalence class of the distribution, among distributions close to a given one.

     

Algorithms for nonlinear piecewise polynomial approximation: Theoretical aspects

In this article algorithms are developed for nonlinear -term Courant element approximation of functions in ( ) on bounded polygonal domains in . Redundant collections of Courant elements, which are generated by multilevel nested triangulations allowing arbitrarily sharp angles, are investigated. Scalable algorithms are derived for nonlinear approximation which both capture the rate of the best approximation and provide the basis for numerical implementation. Simple thresholding criteria enable approximation of a target function to optimally high asymptotic rates which are determined and automatically achieved by the inherent smoothness of . The algorithms provide direct approximation estimates and permit utilization of the general Jackson-Bernstein machinery to characterize -term Courant element approximation in terms of a scale of smoothness spaces (-spaces) which govern the approximation rates.

     

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 .     

Indecomposable modules of large rank over Cohen-Macaulay local rings

A commutative Noetherian local ring is called Dedekind-like provided is one-dimensional and reduced, the integral closure is generated by at most 2 elements as an -module, and is the Jacobson radical of . If is an indecomposable finitely generated module over a Dedekind-like ring , and if is a minimal prime ideal of , it follows from a classification theorem due to L. Klingler and L. Levy that must be free of rank 0, 1 or 2.

Now suppose is a one-dimensional Cohen-Macaulay local ring that is not Dedekind-like, and let be the minimal prime ideals of . The main theorem in the paper asserts that, for each non-zero -tuple of non-negative integers, there is an infinite family of pairwise non-isomorphic indecomposable finitely generated -modules satisfying for each .

     

Inverse problem for upper asymptotic density

For a set of natural numbers, the structural properties are described when the upper asymptotic density of achieves the infimum of the upper asymptotic densities of all sets of the form , where the upper asymptotic density of is greater than or equal to the upper asymptotic density of . As a corollary, we prove that if the upper asymptotic density of is less than and the upper asymptotic density of achieves the infimum, then the lower asymptotic density of must be .

     

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.

     

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 .

     

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.

     

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.

     

Decomposition numbers for weight three blocks of symmetric groups and Iwahori-Hecke algebras

Let be a field, a non-zero element of and the Iwahori-Hecke algebra of the symmetric group . If is a block of of -weight and the characteristic of is at least , we prove that the decomposition numbers for are all at most . In particular, the decomposition numbers for a -block of of defect are all at most .