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.     

A Tauberian Theorem for Ergodic Averages,Spectral Decomposability,and the Dominated Ergodic Estimate for Positive Invertible Operators

Suppose that (,) is a -finite measure space, and 1 < p < . Let T:L^p( L ^p() be a bounded invertible linear operator such that T and T ^–1 are positive. Denote by _n(T) the nth two-sided ergodic average of T, taken in the form of the nth (C,1) mean of the sequence {T^j+T^–j}_{j =1} . Martín-Reyes and de la Torre have shown that the existence of a maximal ergodic estimate for T is characterized by either of the following two conditions: (a) the strong convergence of E_n(T)_n=1 ; (b) a uniform A _p p estimate in terms of discrete weights generated by the pointwise action on of certain measurable functions canonically associated with T. We show that strong convergence of the (C,2) means of {T^j+T^–j}_j=1 already implies (b). For this purpose the (C,2) means are used to set up an `averaged' variant of the requisite uniform A _p weight estimates in (b). This result, which can be viewed as a Tauberian-Type replacement of (C,1) means by (C,2) means in (a), leads to a spectral-theoretic characterization of the maximal ergodic estimate by application of a recent result of the authors establishing the strong convergence of the (C,2)-weighted ergodic means for all trigonometrically well-bounded operators. This application also serves to equate uniform boundedness of the rotated Hilbert averages of T with the uniform boundedness of the ergodic averages E_n(T)_{n = 1} .     

Spectral properties of Neumann Laplacian of horns

We study the Neumann Laplacian of unbounded regions in ⁿ with cusps at infinity so that the corresponding Dirichlet Laplacian has compact resolvent. Typical of our results is that of the region {(x, y)²x, y|<1} the Neumann Laplacian has absolutely continuous spectrum [0, ) of uniform multiplicity four and an infinity of eigenvaluesE _o<E ₁... and that for the region {(x, y)²y|1}, it has absolutely continuous spectrum [1/4, ) of uniform multiplicity 2 and an infinity of eigenvaluesE ₀=0<E ₁.... We use the Enss theory with a suitable asymptotic dynamics.The second author's research is partially funded under NSF grand number DMS-8801918     

On a Class of Operator Equations

We assume that E₁ and E₂ are Banach spaces, a:E₁ E₂ is a continuous linear surjective operator, f:E₁ E₂ is a nonlinear completely continuous operator. In this paper, we study existence problems for the equation a(x)=f(x) and estimate the topological dimension dim of the set of solutions.     

Isomorphisms of Steinberg groups over commutative rings

LetA andR be commutative rings, andm andn be integers3. It is proved that, if :St _m (A)St _n (R) is an isomorphism, thenm=n. Whenn4, we have: (1) Every isomorphism :St _n(A)St _n(R) induces an isomorphism:E _n (A)E _n (R), and is uniquely determined by; (2) IfSt _n (A) St _n (R) thenK _2.n (A)K _2.n (R); (3) Every isomorphismE _n (A) E _n (R) can be lifted to an isomorphismSt _n(A)St _n(R); (4)St _n(A) St _n(R) if and only ifAR. For the casen=3, ifSt ₃(A) andSt ₃(R) are respectively central extensions ofE ₃(A) andE ₃ (R), then the above (1) and (2) hold.The Project supported by National Natural Science Foundation of China     

Isomorphisms of Some Complex Poisson Brackets

Given a complex manifold M_i, structures of Poisson algebras on (M_i)=C(M_i,C) which are associated with a nondegenerate -closed (2,0)-form _i on M_i are considered. It is shown that every isomorphism of Poisson structures (M₁) (M₂) is generated by a biholomorphic map :M₂ M₁ such that ₂ = *₁     

Computation of Almost Split Sequences with Applications to Relatively Projective and Prinjective Modules

Let be an Artin algebra, let mod be the category of finitely generated -modules, and let Amod be a contravariantly finite and extension closed subcategory. For an indecomposable and not Ext-projective module CA, we compute the almost split sequence 0ABC0 in A from the almost split sequence 0DTrCEC0 in mod. Since the computation is particularly simple if the minimal right A-approximation of DTrC is indecomposable for all indecomposable and not Ext-projective CA, we manufacture subcategories A with the desired property using orthogonal subcategories. The method of orthogonal subcategories is applied to compute almost split sequences for relatively projective and prinjective modules.     

Orthogonality and additivity modulo a subgroup

Summary LetE be a real inner product space of dimension at least 2,F a topological Abelian group, andK a discrete subgroup ofF. Assume also thatF is continuously divisible by 2 (that is, the functionu 2u is a homeomorphism ofF ontoF). Iff: E F fulfils the conditionf(x + y) – f(x) – f(y) K for all orthogonalx, y E and is continuous at the origin then there exist continuous additive functionsa: R F andA: E F such thatf(x) – a(x ²)– A(x) K for everyx E. Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth.     

Relèvement selon une isogénie de systèmes ℓ-adiques de représentations galoisiennes associés aux motifs

Résumé Soit :G _E H(Q ) un système de représentations galoisiennes -adiques associées à un motif sur un corps de nombresE et à valeurs dans un groupe algébriqueH. SoitHH une isogénie centrale telle que la structure de Hodge complexe se relève àH. Nous prouvons, au moins dans certains cas, que, après restriction à une extension finieE deE, le système de représentations galoisiennes se relève àH.

---

Let :G _E H(Q ) be a system of -adic Galois representations associated to a motive over a number fieldE with values in the algebraic groupH. LetHH be a central isogeny such that the complex Hodge structure lifts toH. The main result is that, under some convenient hypothesis, and after restriction to a finite extension, the system of Galois representations lifts toH.

---

---

Oblatum 1-VIII-1993 @ 10-X-1994     

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.     

The generalized Burnside ring and theK-theory of a ring with roots of unity

We prove that ifR is a suitable ring and a finite Abelian subgroup of the multiplicative group ofR, then the Hurewicz map from the stable homotopy ofB toK _* R factors geometrically through a mapK _* E K _* R, whereE is an appropriate finite field.     

On the Growth of the Maximum of the Modulus of an Entire Function on a Sequence

Let M _f(r) and _f(r) be, respectively, the maximum of the modulus and the maximum term of an entire function f and let be a continuously differentiable function convex on (–, +) and such that x = o((x)) as x +. We establish that, in order that the equality be true for any entire function f, it is necessary and sufficient that ln (x) = o((x)) as x +.     

On a fixed-point theorem on locally convex linear topological spaces

Iff is a self mapping on a closed convex subsetK of a separated quasicomplete locally convex linear topological spaceE such that (i)E is strictly convex, (ii)f (K) is contained in a compact subset ofK and (iii)f satisfies a contraction condition, then it is shown that for eachxK, the sequence of {U ⁿ (x)} _n =1 of iterates, whereU KK is defined byU (y)=f(y)+(1-) y, yK, converges to a fixed point off.     

Thermodynamics,real and complex periods of the Volterra model

The Lotka-Volterra model is converted into a Hamiltonian system. For this system the Gibbs state and the thermodynamic functions as free energy, entropy, expectation and variances of the Hamiltonian and its summands are calculated together with expansions for low and high temperature ^–1.Since the canonical partition functionZ (, , ) is the Laplace transform of the energy-period functionT(E, , ), we obtain expansions ofT (E, , ) for small and large energyE=H (p, q) and arbitrary parameters, by inverse Laplace transformation of the partition functionZ (, , ). Expansions of the partial orbit times T_±±, i.e. the part of the periodT with predator and prey above or below equilibrium values, are available, too. By expressingT(E, , ) as a convolution integral, we derive global inequalities, e. g. the function (log (E/), log (E/)) log (ET) (E, , ) is convex on the whole domainR ² and (E/T) (T/E) (0, 1) globally. Finally the analytic continuation of the functionT=T (E, , ) to the left- as well as right halfplane ReE<0 and ReE>0 can be expressed by Laplace transforms.

---

Zusammenfassung Das Lotka-Volterra Modell wird in ein Hamiltonsches System umgeformt. Für dieses System kann man den Gibbszustand und die thermodynamischen Funktionen wie freie Energie, Entropie sowie Erwartungswerte und Varianzen der Hamiltonfunktion und ihrer Summanden berechnen und Entwicklungen für niedrige als auch hohe Temperatur ^–1 angeben.Da die kanonische ZustandssummeZ (, , ) die Laplacetransformierte der Energie-Perioden FunktionT=T(E, , ) ist, erhält man durch Umkehrung der Laplacetransformation Entwicklungen vonT (E, , ) für kleine sowie große EnergieE=H(p, q). Durch spezielle Manipulationen bekommt man sogar Entwicklungen der PeriodenteileT _±±, das sind die Intervalle während denen Räuber bzw. Beute ober- bzw. unterhalb der Gleichgewichte liegen. Mit Hilfe einer Darstellung vonT(E, , ) als Faltungsintegral beweist man globale Ungleichungen, z. B. ist die Funktion (log (E/), log (E/)) log (ET) (E, , ) auf dem ganzen DefinitionsbereichR ² konvex und (E/T) (T/E) (0,1).Schlußendlich läßt sich die analytische Fortsetzung der FunktionT(E, , ) in die linke sowie rechte Halbebene ReE< 0 bzw. ReE> 0 durch ein Laplaceintegral darstellen.

     

Equivalence of bar recursors in the theory of functionals of finite type

The main result of this paper is the equivalence of several definition schemas of bar recursion occurring in the literature on functionals of finite type. We present the theory of functionals of finite type, in [T] denoted byqf-WE-HA , which is necessary for giving the equivalence proofs. Moreover we prove two results on this theory that cannot be found in the literature, namely the deduction theorem and a derivation of Spector's rule of extensionality from [S]: ifPT ₁=T ₂ and Q[XT₁], then PQ[X T₂], from the at first sight weaker rule obtained by omitting P.     

A property of nonlinear elliptic equations when the right-hand side is a measure

LetA(u)=–diva(x, u, Du) be a Leray-Lions operator defined onW ₀ ^1,p () and be a bounded Radon measure. For anyu SOLA (Solution Obtained as Limit of Approximations) ofA(u)= in ,u=0 on , we prove that the truncationsT _k(u) at heightk satisfyA(T _k(u)) A(u) in the weak * topology of measures whenk + .

---

Résumé SoitA(u)=–diva(x, u, Du) un opérateur de Leray-Lions défini surW ₀ ^1,p () et une mesure de Radon bornée. Pour toutu SOLA (Solution Obtenue comme Limite d'Approximations) deA(u)= dans ,u=0 sur , nous démontrons que les troncaturesT _k(u) à la hauteurk vérifientA(T _k(u)) A(u) dans la topologie faible * des mesures quandk + .

     

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.     

Mehrdimensionale Romberg-Integration

Anders [1] showed, that the remainder term ofn-dimensional Romberg integrationT _m,k is of orderO(4^–km ) fork . Here, by induction overn and the results [2] forn = 1, an explicit formula is derived, giving the precise constants. It follows, that forf continuous andm +k theT _m,k are converging to the value of the integral.     

Surgery on the Novikov complex

Let M be a closed connected smooth manifold with dim M=n6, and : ₁(M) Z be an epimorphism. Denote by the group ring of ₁(M) and let ^– be its Novikov completion. Let D _* be a free-based finitely generated chain complex over ^– . Assume that D _ii=0 for i1 and in–1 and that D _* has the same simple homotopy type as the Novikov-completed simplicial chain complex of the universal covering M. Let N be an integer. We prove that D _* can be realized, up to the terms of ^– of degree N as the Novikov complex of a Morse map : M S ¹, belonging to . Applications to Arnold's conjectures and to the theory of fibering of M over S ¹ are given.     

Foliated control theory, II

The main result is a control theorem for the structure space of E with control near the leaves F in M, where : E M is a fiber bundle over the Riemannian manifold M having a compact closed manifold for fiber and F is a smooth foliation of M, each leaf of which inherits a flat Riemannian geometry from M. A similar result has been proved by the authors under the assumption that each leaf of F is one-dimensional and the fiber of : E M is homotopy stable.Both authors were supported in part by the National Science Foundations.