Representation-Directed Incidence Coalgebras of Intervally Finite Posets and the Tame-Wild Dichotomy

Incidence coalgebras C = K ^□ I of intervally finite posets I that are representation-directed are characterized in the article, and the posets I with this property are described. In particular, it is shown that the coalgebra C = K ^□ I is representation-directed if and only if the Euler quadratic form q _C : ?^(I) → ? of C is weakly positive. Every such a coalgebra C is tame of discrete comodule type and gl. dimC ≤ 2. As a consequence, we get a characterization of the incidence coalgebras C = K ^□ I that are left pure semisimple in the sense that every left C-comodule is a direct sum of finite dimensional subcomodules. It is shown that every such coalgebra C = K ^□ I is representation-directed and gl. dimC ≤ 2. Finally, the tame-wild dichotomy theorem is proved, for the coalgebras K ^□ I that are right semiperfect.     

On the classification of perfect codes: side class structures

The side class structure of a perfect 1-error correcting binary code (hereafter referred to as a perfect code) C describes the linear relations between the coset representatives of the kernel of C. Two perfect codes C and C′ are linearly equivalent if there exists a non-singular matrix A such that AC = C′ where C and C′ are matrices with the code words of C and C′ as columns. Hessler proved that the perfect codes C and C′ are linearly equivalent if and only if they have isomorphic side class structures. The aim of this paper is to describe all side class structures. It is shown that the transpose of any side class structure is the dual of a subspace of the kernel of some perfect code and vice versa; any dual of a subspace of a kernel of some perfect code is the transpose of the side class structure of some perfect code. The conclusion is that for classification purposes of perfect codes it is sufficient to find the family of all kernels of perfect codes.     

An Enumeration of Binary Self-Dual Codes of Length 32

A binary self-dual code of length 2k is a (2k, k) binary linear code C with the property that every pair of codewords in C are orthogonal. Two self-dual codes, C ₁ and C ₂, are equivalent if and only if there is a permutation of the coordinates of C ₁ that takes C ₁ into C ₂. The automorphism group of a binary code C is the set of all permutations of the coordinates of C that takes C into itself.The main topic of this paper is the enumeration of inequivalent binary self-dual codes. We have developed algorithms that will take lists of inequivalent small codes and produce lists of larger codes where each inequivalent code occurs only a few times. We have defined a canonical form for codes that allowed us to eliminate the overenumeration. So we have lists of inequivalent binary self-dual codes of length up to 32. The enumeration of the length 32 codes is new. Our algorithm also finds the size of the automorphism group so that we can compute the number of distinct binary self-dual codes for a specific length. This number can also be found by counting and matches our total.     

On the density of dual circle coverings

The dual of a family C of distinct unit disks is defined by the family C of all unit disks which are centered at points belonging to the boundary of at least two members of C. It is easy to see that if the disks of C cover the plane, then so do the disks of C. We show that if C is a covering, then the density of the dual covering C cannot be less than the density of C.Partially supported by the Hungarian National Foundation for Scientific Research, grant number 1238.     

Intersecting self-similar Cantor sets

We define a self-similar set as the (unique) invariant set of an iterated function system of certain contracting affine functions. A topology on them is obtained (essentially) by inducing theC ¹-topology of the function space. We prove that the measure function is upper semi-continuous and give examples of discontinuities. We also show that the dimension is not upper semicontinuous. We exhibit a class of examples of self-similar sets of positive measure containing an open set. IfC ₁ andC ₂ are two self-similar setsC ₁ andC ₂ such that the sum of their dimensionsd(C ₁)+d(C ₂) is greater than one, it is known that the measure of the intersection setC ₂–C ₁ has positive measure for almost all self-similar sets. We prove that there are open sets of self-similar sets such thatC ₂–C ₁ has arbitrarily small measure.     

TheK-theory of AF embeddings of the rational rotation algebras

Our main result is the construction of an embedding ofC(T²) into an approximately finite-dimensionalC ^*-algebra which induces an injection onK ₀(C(T²)). The existence of this embedding implies that Cech cohomology cannot be extended to a stable, continuous homology theory forC ^*-algebras which admits a well-behaved Chern character. Homotopy properties ofC ^*-algebras are also considered. For example, we show that the second homotopy functor forC ^*-algebras is discontinuous. Similar embeddings are constructed for all the rational rotation algebras, with the consequence that none of the rational rotation algebras satisfies the homotopy property called semiprojectivity.     

Intersectional properties concerning planarm-convex sets

LetC be a collection of closed sets in the plane, and letS=∩C. (1) If IncC ⊆ kerS for allC inC and if dim kerS≧1, thenS is a union of three (or fever) convex sets. In particular, the results holds when the members ofC are 3-convex sets, all having the same kernelK, provided dimK≧1. (2) IfC is a finite collection ofm-convex sets such that ∩{kerC:C inC inC} ≠ ⊘,S~ IncS is connected, and for someZ inC, lncC⊆ lncZ for allC inC, thenS ism-convex.     

Isometries and almost isometries between spaces of continuous functions

We characterize the isometries fromC(X) intoC(Y) whereX andY are compact metric spaces. We give necessary and sufficient conditions on an isometry from a subset ofC(X) intoC(Y) to have an extension to the whole space. It is also shown that an almost isometry from the unit ball ofC(X) into the unit ball ofC(Y) is near to an isometry.     

When Some Complement of a Submodule Is a Summand

A module M is said to satisfy the C ₁₁ condition if every submodule of M has a (i.e., at least one) complement which is a direct summand. It is known that the C ₁ condition implies the C ₁₁ condition and that the class of C ₁₁-modules is closed under direct sums but not under direct summands. We show that if M = M ₁ ⊕ M ₂, where M has C ₁₁ and M ₁ is a fully invariant submodule of M, then both M ₁ and M ₂ are C ₁₁-modules. Moreover, the C ₁₁ condition is shown to be closed under formation of the ring of column finite matrices of size Γ, the ring of m-by-m upper triangular matrices and right essential overrings. For a module M, we also show that all essential extensions of M satisfying C ₁₁ are essential extensions of C ₁₁-modules constructed from M and certain subsets of idempotent elements of the ring of endomorphisms of the injective hull of M. Finally, we prove that if M is a C ₁₁-module, then so is its rational hull. Examples are provided to illustrate and delimit the theory.     

The canonical model of a singular curve

We give refined statements and modern proofs of Rosenlicht’s results about the canonical model C′ of an arbitrary complete integral curve C. Notably, we prove that C and C′ are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C′ is equal to the blowup of C with respect to the canonical sheaf ω. We also prove some new results: we determine just when C′ is rational normal, arithmetically normal, projectively normal, and linearly normal.      

n-C-Star Modules and n-C-Tilting Modules

Let C be a faithfully balanced selforthogonal module over an Artin algebra R. We introduce the notion of n-C-star modules, which is a common generalization of n-star modules and n-C-tilting modules. We extend some characterizations of n-star modules to this context and prove that n-C-tilting modules are precisely n-C-star modules n-C-presenting all the injectives.     

A Solution of the Matrix Problem for Rickart C*-Algebras

We prove that matrix algebras over a Rickart C*-algebra are also Rickart C*-algebras. As a consequence of this, every Rickart C*-algebra is an UMF-algebra and satisfies polar decomposition.     

On dentability and the Bishop-Phelps property

It is shown that for Banach spaces the Radon-Nikodym property and the Bishop-Phelps property are equivalent. Using similar techniques, we prove that ifC is a bounded, closed and convex subset of a Banach space such that every nonempty subset ofC is dentable, then the strongly exposing functionals ofC form a denseG _δ-subset of the dual.     

Inner and outerj-radii of convex bodies in finite-dimensional normed spaces

This paper is concerned with the various inner and outer radii of a convex bodyC in ad-dimensional normed space. The innerj-radiusr _j (C) is the radius of a largestj-ball contained inC, and the outerj-radiusR _j (C) measures how wellC can be approximated, in a minimax sense, by a (d —j)-flat. In particular,r _d (C) andR _d (C) are the usual inradius and circumradius ofC, while 2r ₁(C) and 2R ₁(C) areC's diameter and width.Motivation for the computation of polytope radii has arisen from problems in computer science and mathematical programming. The radii of polytopes are studied in [GK1] and [GK2] from the viewpoint of the theory of computational complexity. This present paper establishes the basic geometric and algebraic properties of radii that are needed in that study.Much of this paper was written when both authors were visiting the Institute for Mathematics and Its Applications, 206 Church Street S.E., Minneapolis, MN 55455, USA. The research of P. Gritzmann was supported in part by the Alexander-von-Humboldt Stiftung and the Deutsche Forschungsgemeinschaft. V. Klee's research was supported in part by the National Science Foundation.     

Approximately unitarily equivalent morphisms and inductive limitC*-algebras

It is shown that two unital *-homomorphisms from a commutativeC*-algebraC(X) to a unitalC*-algebraB are stably approximately unitarily equivalent if and only if they have the same class in the quotient of the Kasparov groupKK(C(X),B) by the closure of zero. A suitable generalization of this result is used to prove a classification result for certain inductive limitC*-algebrasThis research was partially supported by NSF grant DMS-9303361     

Free and Non-Free Subgroups of the Group UT(∞, ℤ)

We provide a method to find free groups of rank two in the group of infinite unitriangular matrices. Our groups are generated by two block-diagonal matrices, namely of the form A = diag(C, C, C…), B = diag(I _t , C, C…), where C is a matrix of finite dimension.

We give a necessary and sufficient condition for A and B defined above to generate a free group when C is a transvection. We formulate a sufficient condition to generate a free group, when C is a product of any number of commuting transvections.

We provide a classification of groups defined above, when C is of degree 3 or 4.     

An application of the cotangent complex to regularity and complete intersection

Let A be a field and C a noetherian A-algebra such that C _q is a quotient ring of an equicharacteristic local regular ring for each prime ideal q of C We prove that if C is geometrically reduced over A and Ω _C/A is flat, then C is regular. We apply this result to prove that a reduced ring homomorphism u :A→C is regular when Ω _C/A is a flat C-module and C is a complete noetherian local ring or a Nagata local ring. We also study the property of C being locally a complete intersection ring when the flat dimension of Ω _C/A finite.     

C*-Bundles for Certain Liminal C*-Algebras

It is shown that certain liminal C*-algebras whose limit sets in their primitive ideal space are discrete can be described as algebras of continuous sections of a C*-bundle associated with them. Their multiplier algebras are also described in a similar manner. The class of C*-algebras under discussion includes all the liminal C*-algebras with Hausdorff primitive ideal spaces but also many other liminal algebras. A large sub-class of examples is examined in detail.      

Convergence on closed convex sets in a locally convex space

The purpose of this paper is to compare several kinds of convergences on the space C(X) of nonempty closed convex subsets of a locally convex space X. First we verify that the AW-convergence on C(X) is weaker than the metric Attouch-Wets convergence on C(X) of a metrizable locally convex space X. Moreover, we show that X is normable if and only if the two convergences on C(X × R) are equivalent. Secondly we define two convergences on C(X) analogous to the corresponding ones in a normed linear space, and investigate some basic properties of these convergences and compare them.