On the classification problem of the quasi-isomorphism classes of 1-connected minimal free cochain algebras

The purpose of this paper is to classify the quasi-isomorphism classes of 1-connected minimal free cochain algebras over a commutative ring. Our tool to address this problem is a “certain” long sequence, called the Whitehead exact sequence, which we construct for every such algebra. We introduce the notion of coherent isomorphisms between these exact sequences and we show that two 1-connected minimal free cochain algebras are quasi-isomorphic if and only if their respective Whitehead exact sequences are coherently isomorphic.     

Topological equivalences for differential graded algebras

We investigate the relationship between differential graded algebras (dgas) and topological ring spectra. Every dga C gives rise to an Eilenberg-Mac Lane ring spectrum denoted HC. If HC and HD are weakly equivalent, then we say C and D are topologically equivalent. Quasi-isomorphic dgas are topologically equivalent, but we produce explicit counterexamples of the converse. We also develop an associated notion of topological Morita equivalence using a homotopical version of tilting.     

Group-like structures and the whitehead product in pro-homotopy and shape

The notion of ‘H-space’ is of considerable importance in the homotopy theory of CW-complexes. This paper studies a similar notion in the framework of pro-homotopy and shape theories. This is achieved by following the general plan set forth by Eckmann and Hilton. Examples of shape H-space are also given; it is observed that every compact connected topological monoid is a shape H-space. The Whitehead product is defined and studied in the pro-homotopy and shape categories; and, it is shown that this Whitehead product vanishes on an H-object in pro-homotopy. These results are the natural extension of some well-known classical results in the homotopy theory of CW-complexes.     

Separated Lie models and the homotopy Lie algebra

A simply connected topological space X has homotopy Lie algebra π_∗(ΩX)⊗Q. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property that we call being separated. The homology of a separated dgL has a particular form which lends itself to calculations.     

Asymptotic stability for a free boundary problem arising in a tumor model

We consider a tumor model in which all cells are proliferating at a rate μ and their density is proportional to the nutrient concentration. The model consists of a coupled system of an elliptic equation and a parabolic equation, with the tumor boundary as a free boundary. It is known that for an appropriate choice of parameters, there exists a unique spherically symmetric stationary solution with radius RS which is independent of μ. It was recently proved that there is a function μ_∗(RS) such that the spherical stationary solution is linearly stable if μ<μ_∗(RS) and linearly unstable if μ>μ_∗(RS). In this paper we prove that the spherical stationary solution is nonlinearly stable (or, asymptotically stable) if μ<μ_∗(RS).     

Comparing cohomology obstructions

We show that three different kinds of cohomologies - Baues-Wirsching cohomology, the (S_∗,O)-cohomology of Dwyer and Kan, and the André-Quillen cohomology of aΠ-algebra  - are isomorphic, under certain assumptions. This is then used to identify the cohomological obstructions in three general approaches to realizability problems: the track category version of Baues and Wirsching, the diagram rectifications of Dwyer, Kan, and Smith, and the Π-algebra realization of Dwyer, Kan, and Stover. Our main tool in this identification is the notion of a mapping algebra: a simplicially enriched version of an algebra over a theory.     

Splitting manifolds as M × R where M has a k-fold end structure

Let X be a locally finite simplicial complex of dimension n, n? 5, equipped with a k-fold end structure [4] and consider a piecewise linear (n + 1)-dimensional manifold M that is proper homotopy equivalent to X × R by F:M → X × R, where R is the set of real numbers. The question arises as to whether or not the manifold M can be split, i.e., written as M = N × R where N is a n-manifold and where there is a proper homotopy between F and (p₁ ° F₀) × id:N × R → X × R, preserving the natural (k+1)-fold end structure, where F₀ is F|_N and p₁ is the projection X × R → X. Of particular significance is the fact that X is noncompact. When the construction of such splittings is attempted, algebraic obstructions arise, which vanish if and only if the construction can be completed. This paper develops such an obstruction theory by utilizing methods of L.C. Siebenmann and the k-fold end structures of F. Waldhausen.     

Injective hulls with distinct ring structures

It is well known from Osofsky’s work that the injective hull E(R_R) of a ring R need not have a ring structure compatible with its R-module scalar multiplication. A closely related question is: if E(R_R) has a ring structure and its multiplication extends its R-module scalar multiplication, must the ring structure be unique? In this paper, we utilize the properties of Morita duality to explicitly describe an injective hull of a ring R with R=Q(R) (where Q(R) is the maximal right ring of quotients of R) such that every injective hull of R_R has (possibly infinitely many) distinct compatible ring structures which are mutually ring isomorphic and quasi-Frobenius. Further, these rings have the property that the ring structures for E(R_R) also are ring structures on E(_RR).     

Henriksen?s contributions to residue class rings of analytic and entire functions

The author surveys, summarizes and generalizes results of Golasiński and Henriksen, and of others, concerning certain residue class rings.Let A(R) denote the ring of analytic functions over reals R and E(K) the ring of entire functions over R or complex numbers C. It is shown that if m is a maximal ideal of A(R), then A(R)/m is isomorphic either to the reals or a real-closed field that is η₁-set, while if m is a maximal ideal of E(K), then E(K)/m is isomorphic to one of these latter two fields or to complex numbers.     

On the existence of a single test module

We revisit two questions concerning the existence of a single test module by comparing them with similar questions (see Theorem 3.3). As a corollary, we identify domains over which strongly flat modules and torsion-free Whitehead modules coincide (see Corollary 3.6). We obtain several analogous results to the main theorem under stronger hypotheses (see section 4). In particular, we settle a long-standing question concerning a characterization of almost perfect domains (see Corollary 4.4). We also look into the case when the character module of K and the Matlis-dual of K are isomorphic (see Theorem 5.2).     

On torsion subgroups of whitehead groups of division algebras

We completely determine all torsion abelian groups that can occur as the torsion subgroup of the Whitehead group of a division algebra of prime index. More precisely, we prove that if D is a division algebra of prime index, then the torsion subgroup of K ₁(D) is locally cyclic. Conversely, if A is a torsion locally cyclic group, then there exists a division algebra D of prime index such that the torsion subgroup of K ₁(D) is isomorphic to A. Our result can be considered as a non-commutative version of May’s Theorem.     

Canonical reduction of self-dual Yang–Mills equations to Fitzhugh–Nagumo equation and exact solutions

The (constrained) canonical reduction of four-dimensional self-dual Yang–Mills theory to two-dimensional Fitzhugh–Nagumo and the real Newell–Whitehead equations are considered. On the other hand, other methods and transformations are developed to obtain exact solutions for the original two-dimensional Fitzhugh–Nagumo and Newell–Whitehead equations. The corresponding gauge potential A_μ and the gauge field strengths F_μν are also obtained. New explicit and exact traveling wave and solitary solutions (for Fitzhugh–Nagumo and Newell–Whitehead equations) are obtained by using an improved sine-cosine method and the Wu’s elimination method with the aid of Mathematica.     

K1 of noncommutative von Neumann regular rings

If R is any (noncommutative, von Neumann) regular ring with 2 invertible, then K₁ of the free (noncommuting) R-algebra on a set X is canonically isomorphic to K₁(R). If R is unit-regular, then K₁(R) is just the abelianization of the group of units of R. Some examples are computed.     

On the P4-structure of perfect graphs I. Even decompositions

We present easily verifiable conditions, under which a graph G contains nonempty vertex-disjoint induced subgraphs G₁, G₂ such that G is perfect if and only if G₁ and G₂ are. This decomposition is defined in terms of the induced subgraphs of G that are isomorphic to the chordless path with four vertices.     

Score vectors of Kotzig tournaments

An n-tournament T_n is said to be a Kotzig tournament if the n subtournaments of T_n of order n − 1 are isomorphic. And a nonnegative integral vector R is said to be potentially Kotzig if there exists some Kotzig tournament T_n such that its score vector is R. In this paper, a criterion is found for determining whether a non-negative integral vector R is potentially Kotzig.     

The unique rank property among gabriel localizations

It is not uncommon for rings to have Gabriel localizations which do not possess the unique rank (UR) property although the rings themselves do have UR. We show that if F is a Gabriel filter of right ideals on a ring R and R_F is the corresponding Gabriel localization, then free R_F?modules of ranks m and n are isomorphic if and only if some F-dense submodule of (R/T_f(R))^m is isomorphic to some F-dense submodule of (R/T_F(R))ⁿ, where T_F(R) is the F-torsion ideal of R.     

Waldhausen's theory of k-fold end structures: a survey

Let R⁺ be the space of nonnegative real numbers. F. Waldhausen defines a k-fold end structure on a space X as an ordered k-tuple of continuous maps x_f:X → R⁺, 1 ? j ? k, yielding a proper map x:X → (R⁺)^k. The pairs (X,x) are made into the category E^k of spaces with k-fold end structure. Attachments and expansions in E^k are defined by induction on k, where elementary attachments and expansions in E⁰ have their usual meaning. The category E^k/Z consists of objects (X, i) where i: Z → X is an inclusion in E^k with an attachment of i(Z) to X, and the category E^k6Z consists of pairs (X,i) of E^k/Z that admit retractions X → Z. An infinite complex over Z is a sequence X = {X₁ ? X₂ ? … ? X_n …} of inclusions in E^k6Z. The abelian grou p S₀(Z) is then defined as the set of equivalence classes of infinite complexes dominated by finite ones, where the equivalence relation is generated by homotopy equivalence and finite attachment; and the abelian group S₁(Z) is defined as the set of equivalence classes of X₁, where X ∈ E^k/Z deformation retracts to Z. The group operations are gluing over Z. This paper presents the Waldhausen theory with some additions and in particular the proof of Waldhausen's proposition that there exists a natural exact sequence 0 → S₁(Z × R)→^πS₀(Z) by utilizing methods of L.C. Siebenmann. Waldhausen developed this theory while seeking to prove the topological invariance of Whitehead torsion; however, the end structures also have application in studying the splitting of a noncompact manifold as a product with R[1].     

On the rigidity of the cotangent complex at the prime 2

In [D. Quillen, On the (co)homology of commutative rings, Proc. Symp. Pure Math. 17 (1970) 65-87; L. Avramov, Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology, Annals of Math. 2 (150) (1999) 455-487] a conjecture was posed to the effect that if R→A is a homomorphism of Noetherian commutative rings then the flat dimension, as defined in the derived category of A-modules, of the associated cotangent complex L_A/R satisfies: . The aim of this paper is to initiate an approach for solving this conjecture when R has characteristic 2 using simplicial algebra techniques. To that end, we obtain two results. First, we prove that the conjecture can be reframed in terms of certain nilpotence properties for the divided square γ₂ and the André operation ? as it acts on Tor_R(A,?), ? any residue field of A. Second, we prove the conjecture is valid in two cases: when and when R is a Cohen-Macaulay ring.     

The proper L-S category of Whitehead manifolds

It is shown that the proper L-S category of an eventually end-irreducible, R²-irreducible Whitehead 3-manifold is 4. For this we prove, in the category of germs at infinity of proper maps, a partial analogue of the characterization by Eilenberg and Ganea of the L-S category of an aspherical space.     

Realizing modules over the homology of a DGA

Let A be a DGA over a field and X a module over H_∗(A). Fix an A_∞-structure on H_∗(A) making it quasi-isomorphic to A. We construct an equivalence of categories between A_n+1-module structures on X and length n Postnikov systems in the derived category of A-modules based on the bar resolution of X. This implies that quasi-isomorphism classes of A_n-structures on X are in bijective correspondence with weak equivalence classes of rigidifications of the first n terms of the bar resolution of X to a complex of A-modules. The above equivalences of categories are compatible for different values of n. This implies that two obstruction theories for realizing X as the homology of an A-module coincide.