Isomorphism of one-place functors Ext

Let be an associative ring with identity. One considers the category of left (unitary) -modules m and also the contravariant and the covariant functors Ext ¹ ( ,A) and Ext ¹ (A, ): M_z M. One proves the following results: (1) If the homomorphism of -modules A B induces an isomorphism Ext ¹ ( ,A)Ext ¹ ( ,B), then there exist injective -modules J₁ and J₂ such that AJ₁BJ₂. (2) Every functorial morphism Ext ¹ ( ,A)Ext ¹ ( ,B) induces a certain homomorphism of -modules AB. One also obtains a dual result.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 71–74, 1981.     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

On the Cohomology Sequence in a Semiabelian Category

In a semiabelian category, a strictly exact sequence 0ABC0 of cochain complexes gives rise to the cohomology sequence ...H ⁿ(A) H ⁿ(B) H ⁿ(C) H ⁿ⁺¹ (A) .... We study conditions for exactness of the homology sequence at a given term.     

Description of Hyperinvariant Subspaces of a Contraction in Terms of Its Characteristic Function

If T is a completely nonunitary contraction on a Hilbert space and L is its invariant subspace corresponding to a regular factorization of its characteristic function = , then L is hyperinvariant if and only if the following two conditions are fulfilled: (1) supp _* supp is of Lebesgue measure zero; (2) for every pair A H (E E) and A _* H (E _* E _*) intertwining by , i.e., such that A =A _*, there exists a function A _F H (F F) intertwining with A by and with A _* by , i.e., such that A = A _F and A _F = A _*. Bibliography: 4 titles.     

Linear Bilipschitz Extension Property

We give a sufficient geometric condition for a subset A of R ⁿ to enjoy the following property for a fixed C1: There is >0 such that for 0, each (1+)-bilipschitz map f: AR ⁿ extends to a (1+C)-bilipschitz map F: R ⁿ R ⁿ .     

Sequences of adjoints forEns-valued functors

A complete classification of full sequences of adjoint functors arising from arbitrary functors FAEns and faithful functors FAEns, respectively, is given.     

The free loop space and the algebraic k-theory of spaces

Let A(X) be the space defined by Waldhausen whose homotopy groups define the algebraic K-groups of the space X and let . Here (X) denotes the free loop space of X and Q denotes the functor . For X = Y, the suspension of a connected space Y, we shall prove that the homotopy fibers Ã(X), B(X) of the maps A(X) A (point), B(X) B (point) are equivalent as infinite loop spaces.     

A free convenient vector space for holomorphic spaces

In this paper we show that there exists a free convenient vector space for the case of holomorphic spaces and holomorphic maps. This means that for every spaceX with a holomorphic structure, there exists an appropriately complete locally convex vector space X and a holomorphic mapl _X:XX, such that for any vector space of the same kind the map (l _X )^*:L(X,E)(X,E) is a bijection. Analogously to the smooth case treated in [2, 5.1.1] the free convenient vector space X can be obtained as the Mackey closure of the linear subspace spanned by the image of the canonical mapX(X).In the second part of the paper we prove that in the case whereX is a Riemann surface, one hasX=(X,).     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

On the behaviour ast→∞ of solutions of the second mixed problem for a second-order parabolic equation

In this paper is distinguished a geometric characteristic of the unbounded domain , that determines the rate of stabilization fort of the solution in (t>0)× of the second boundary value problem for a second-order parabolic equation, in which the initial function decreases sufficiently rapidly as |x|.     

Initial Morphisms versus Embeddings

There is a usual practice in topology of completing an object via an initial morphism XY and then using some ad hoc method of transforming that initial morphism into an embedding XY. In the setting of categorical topology we show that there is a bicoreflective general process available for carrying out such constructions. We further show that this bicoreflector can be adapted to respect a closure operator when the topological construct is endowed with such.     

On the optimality of a characterization theorem for the gamma function using the multiplication formula

Summary The following Artin type characterization of : _{+ +} is proved: Assume thatf: _{+ +} satisfies the Gauss multiplication formula for some fixedp 2,f is absolutely continuous on [l/p, 1 + ] for some > 0 and lim _{x 0} xf(x) = 1. Thenf(x) = (x) forx > 0.The optimality of this result is checked by means of counterexamples. For instance, it is shown that the result is no longer true, if f is absolutely continuous is replaced by f is continuous and of finite variation.     

Isolated points in duals of certain locally compact groups

Summary LetG be a separable locally compact group with dual space. consists of all equivalence classes of irreducible unitary representations ofG, and is endowed with the Fell-topology. We study the topological properties in of the square-integrable representations ofG. [ is square-integrable provided there is a coordinate functiong((g)v, v),gG, for which is inL ²(G) w.r.t. left Haar measure onG.]SupposeG contains an open normal subgroupN of the formeKN ⁿ e whereK is compact. (All groups with a compact invariant neighborhood of the identity, [IN] groups, satisfy this condition.) In this case we show that if is square-integrable then {} is an open point of.Finally, our techniques are used to prove this result for arbitrary (non connected) nilpotent Lie groups.     

Das Zeitverhalten von einfachen offenen exponentiellen Warteschlangensystemen mit unendlich vielen Warteplätzen

Zusammenfassung Die zeitabhängige (instationäre) Lösung für die Zustandswahrscheinlichkeiten und für einige Kenngrößen von Warteschlangensystemen mit einer Bedienungsstation, unendlich vielen Warteplätzen, exponentiellem Zu- und Abgang und beliebigem Anfangszustand wird bestimmt. Die ZustandswahrscheinlichkeitenP _v (), d. h. die Wahrscheinlichkeiten für Einheiten im System zur Zeit, ergeben sich als Integrale, in denen modifizierteSessel-Funktionen 1. Art auftreten. Der ErwartungswertL () und die VarianzV() der Zahl von Einheiten im System lassen sich als Integrale darstellen, in denen nur die ZustandswahrscheinlichkeitP ₀() auftritt.Für<1 und erreichen die Systeme einen stationären Zustand (für den die Lösung bekannt ist); für1 und giltP _v ()0 für alle, L(),V().Ist>1, dann wachsenL() undV() für große linear mit; ihre Asymptoten werden berechnet. Ist=1, dann wachsenL() und die Standardabweichung() für große mit ; einfache Näherungsformeln werden gefunden.

---

Summary The time dependent solution is determined for the state probabilities and for some characteristic values of queuing systems with a single server, an infinite number of waiting places, exponentially distributed inter-arrival and service times, and any initial state. The state probabilitiesP _v (), i.e. the probabilities for units in the system at time, are given in the form of integrals in which modifiedBessel functions of the first kind occur. Integrating the state probalityP ₀() over leads to the meanL() and the varianceV() of the number of units in the system.For<1 and the systems tend to a steady state (for which the solution is known); for1 and we haveP _v ()0 for all, L(),V().If>1 asymptotic expansions for large are found givingL() andV() proportional to. If=1 simple approximate formulas for large are obtained givingL() and the standard deviation() proportional to .

---

---

Vorgel. v.:J. Nitsche.     

On Finite Morphisms of Ruled Surfaces

We prove that a surjective morphism :XX between ruled surfaces is finite and it descends to a finite morphism :CC between base curves of X and X. When is restricted to the fibres of X, it has a constant degree, say a, and then deg=a deg. In addition, we have several properties on the inverse image of a minimal section and a fibre of X as well as on the direct images. We also investigate precisely the case when both C and C are elliptic and X is the fibre product C ×_C X especially.     

More projective geometry associated with unramified double covers of curves of genus four

Sunto Sia : YY un rivestimento doppio non diramato di una curva di genere quattro definita su C e a moduli generali. Sia il punto di 2-divisione associate a . In questa nota si studia il sistema 2 delle quardriche di contatto al modello canonico di Y, associato al dato rivestimento.e si esplicita una biezione tra l'insieme delle theta-caratteristiche dispari di Y che diffeiscono per e l'insieme dell theta caratteristiche dispari dell curve di genere tre la cui Jacobiana e isomorfa (come v.a.p.p.) alla varieta di Prym P(f Y Y)     

Complete Subobjects of Fuzzy Sets Over MV-Algebras

A subobjects structure of the category -FSet of -fuzzy sets over a complete MV-algebra is investigated, where an -fuzzy set is a pair A = (A, ) such that A is a set and : A × A is a special map. Special subobjects (called complete) of an -fuzzy set A which can be identified with some characteristic morphisms A ^* = (L × L, ) are then investigated. It is proved that some truth-valued morphisms are characteristic morphisms of complete subobjects.     

Complementary permutations for abelian groups

Summary LetG be an additively written abelian group and leth: G G be a given function. M. Hall Jr. (1952) and L. Fuchs (1958) already answered the following question. For what functionsh: G G does the functional equation(x) + (x) = h(x) (x G) have as its solution a pair of permutations and ofG? In this paper, we give explicit constructions of such a pair, in a number of cases, in particular whenh(x) x andG is finite. We further determine the finite groupsG where the latter, can be chosen to be automorphisms.In the case whereG is an infinite topological group, we study in how far and can be chosen as Borel measurable permutations, given thath: G G itself is Borel measurable.     

Polynomial operations on complex K-theory

We adapt here the results of the author concerning polynomial operations on the 0th stable cohomotopy to the case of the 0th complex K-theory and consider polynomial operations : Kh, where h is a ring-valued contravariant functor, defined on finite CW-complexes, satisfying some properties. We construct a family of generating operations for the ring Pol(K,h) of all polynomial operations : Kh and doing so, we describe the additive structure of this ring in terms of the h(BU(n)'s. As an illustration of how polynomiality could be used to study operations in the setting of algebraic K-theory, we consider, from our point of view, the well known situation operations : KK on complex K-theory.     

Decompositions of factor maps involving bi-closing maps

We describe all possible decompositions of a finite-to-one factor map : _A S, from an irreducible shift of finite type onto a sofic shift, into two maps =, such that the range of is a shift of finite type, and is bi-closing. We also give necessary and sufficient conditions for to be almost topologically conjugate overS to a bi-closing map.