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.     

A family of noetherian rings with their finite length modules under control

We investigate the category mod of finite length modules over the ring =A _k , where is a V-ring, i.e. a ring for which every simple module is injective, k a subfield of its centre and A an elementary k-algebra. Each simple module E _j gives rise to a quasiprogenerator P _j = A E _j . By a result of K. Fuller, P _j induces a category equivalence from which we deduce that mod _j mod EndP _j . As a consequence we can(1) construct for each elementary k-algebra A over a finite field k a nonartinian noetherian ring such that modA mod(2) find twisted versions of algebras of wild representation type such that itself is of finite or tame representation type (in mod)(3) describe for certain rings the minimal almost split morphisms in mod and observe that almost all of these maps are not almost split in Mod.     

Λ0-Nuclear Operators and Λ0-Nuclear Spaces in p-adic Analysis

For a Köthe sequence space, the classes of ₀-nuclear spaces and spaces with the ₀-property are introduced and studied and the relation between them is investigated. Also, we show that, for ₀c ₀, these classes of spaces are in general different from the corresponding ones for ₀=c ₀, which have been extensively studied in the non-archimedean literature (see, for example, [1]–[6]).     

Join operations in vector spaces

LetX be a vector space over a totally ordered fieldF and a subset ofF. Necessary and sufficient conditions are obtained on for a join defined bya·b={a+(1–)b|} to make (X,·) (i) a convexity space (ii) a join system and (iii) a join space. For (X,·) to be a convexity space is necessarily the set of elements between 0 and 1 for some ordered subfield ofF. In this setting join systems and join spaces are essentially the same but they remain quite distinct from convexity spaces.     

Folgenräume als universelle Generatoren für Klassen lokalkonvexer Räume

Motivated by the known characterizations of equicontinuity in the dual of a Schwartz space, a nuclear space, or a strongly nuclear space,we introduce the concepts of a -sequence and of a ()-sequence in the dual of an arbitrary lcs [E,], and we investigate the corresponding topologies and ₍₎ on E of uniform convergence on these sequences. Here is a normal sequence space such that . Under favorable enough conditions on , including the nuclearity of its normal topology , [,] acts as a universal generator for those lcs [E,] which satisfy =. Under somewhat weaker assumptions on , [,₍₎] is a universal generator for the lcs [E,] with =₍₎. These results cover e.g. the cases of -nuclear spaces and of nuclear spaces known from the recent literature. As an application we show that every non-trivial ultrabornological lcs is representable as an inductive limit of isomorphic copies of [, ( , )], where is any nuclear power series space of infinite type with stable exponent sequence.     

Standard pseudo-Hermitian structure on manifolds and seifert fibration

A strictly pseudoconvex pseudo-Hermitian manifoldM admits a canonical Lorentz metric as well as a canonical Riemannian metric. Using these metrics, we can define a curvaturelike function onM. AsM supports a contact form, there exists a characteristic vector field dual to the contact structure. If induces a local one-parameter group ofCR transformations, then a strictly pseudoconvex pseudo-Hermitian manifoldM is said to be a standard pseudo-Hermitian manifold. We study topological and geometric properties of standard pseudo-Hermitian manifolds of positive curvature or of nonpositive curvature . By the definition, standard pseudo-Hermitian manifolds are calledK-contact manifolds by Sasaki. In particular, standard pseudo-Hermitian manifolds of constant curvature turn out to be Sasakian space forms. It is well known that a conformally flat manifold contains a class of Riemannian manifolds of constant curvature. A sphericalCR manifold is aCR manifold whose Chern-Moser curvature form vanishes (equivalently, Weyl pseudo-conformal curvature tensor vanishes). In contrast, it is emphasized that a sphericalCR manifold contains a class of standard pseudo-Hermitian manifolds of constant curvature (i.e., Sasakian space forms). We shall classify those compact Sasakian space forms. When 0, standard pseudo-Hermitian closed aspherical manifolds are shown to be Seifert fiber spaces. We consider a deformation of standard pseudo-Hermitian structure preserving a sphericalCR structure.Dedicated to Professor Sasao Seiya for his sixtieth birthday     

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.     

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     

The Exterior Cube L-Function for GL(6)

We construct a Rankin Selberg integral to represent the exterior cube L function L(,³,s) of an automorphic cuspidal module of GL₆( _F ) (where F is a number field). We determine the poles of this L function and find period conditions for the special value L(,³,1/2). We use the Siegal Weil formula. We also state an analogue of the Gross–Prasad conjecture concerning a criterion for the nonvanishing of L(,³,1/2).     

Maximal points with respect to cone dominance in Banach spaces and their existence

Given a convex cone in a Banach spaceV, an examination of the cone maximal points of a setX inV (with respect to the cone dominance induced by ) with respect to their characterization and existence is undertaken. The totality of cone maximal points ofX is called the conical frontier ofX. Comparisons of the conical frontiers of related sets and corresponding to related cones are made. By relaxing the compactness requirements of the underlying setX and by assuming some cone-related weaker forms of compactness, existence theorems for cone maximal points are developed. These theorems are believed to be generalizations of the existing results in one way or another.Maximizing points onX of certain linear functionals in the dual cone * of provide natural examples of cone maximal points. Properties characterizing a maximizing point of a linear functional in *, including the generalized version of Geoffrion's characterization of proper efficiency, are compiled and proved to be valid characterizations. Functionals in * with special properties are studied. Existence theorems are also obtained for the maximizing points of these functionals.The author is indebted to Professor James V. Whittaker for helpful discussions and comments and to Professors P. S. Bullen, C. W. Clark, B. N. Moyls, and F. Y. M. Wan for their encouragement and support.     

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.     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

On the representation type of one point extensions of tame concealed algebras

Letk be an algebraically closed field and a finite dimensionalk-algebra. Letq be the quadratic Tits form associated with . If is tame we show thatq is weakly semipositive. Let be a one-point extension of a tame concealed algebra, then is tame iffq is weakly semipositive.     

Stability for Quadratic K1

The general quadratic group GQ _2n and its elementary subgroup EQ _2n are analogs in the theory of quadratic forms of the general linear group GL _n and its elementary subgroup E _n . This article proves that the stabilization map GQ _2n /EQ _2n GQ _2(n+1) /EQ _2(n+1) is an isomorphism whenever n +1 and S denotes the -stable rank of rings with anti-involution. As a corollary, a result is obtained which has been anticipated since the late 1960s: over rings of finite Bass–Serre dimension d, the stabilization map is an isomorphism whenever n d + 2.     

An eigenvalue problem for the numerical range of a bounded linear operator

LetX be a complex Lebesgue space with a unique duality mapJ fromX toX ^*, the conjugate space ofX. LetA be a bounded linear operator onX. In this paper we obtain a non-linear eigenvalue problem for (A)=sup{Re: W(A} whereW(A)={J(x)A(x)) : x=1}, under the assumption that (A) and the convex hull ofW(A) for some linear operatorsA onl _p , 2<p<.     

On extremal perturbations of semi-Fredholm operators

Given a bounded linear operatorA in an infinite dimensional Banach space and a compact subset of a connected component of its semi-Fredholm domain, we construct a finite rank operatorF such that –A+F is bounded below (or surjective) for each ,F ²=0 and rankF=max min{dimN(–A), codimR(–A)}, if ind(–A)0 (or ind(–A)0, respectively) for each .     

Some Conditions for a C0-Semigroup to Be Asymptotically Finite-Dimensional

We study the class of bounded C ₀-semigroups T=(T _t ) _t0 on a Banach space X satisfying the asymptotic finite dimensionality condition: codim X ₀(T)<, where X ₀(T):={x X:lim_t T _t x=0}. We prove a theorem which provides some necessary and sufficient conditions for asymptotic finite dimensionality.     

Perversité et variation

Let S be the spectrum of a strictly henselian discrete valuation ring with residue characteristic p and =/, where is a prime number p and is an integer 1. For a scheme X of finite type over S and smooth over S along the special fiber X _s outside a closed point x, we study the vanishing cycles complex R() and the tame variation , for in the tame inertia group I _t . In particular, we show that if X is regular, flat over S of relative dimension n1, and is a topological generator of I _t , then R ^q () _x =0 for qn and is an isomorphism. Mathematics Subject Classification (2000):14F20, 14D05, 14D06     

Two-magnon states in a one-dimensional non-Heisenberg ferromagnet of spins = 1 with interactions up to third neighbors

We consider a two-magnon system in a one-dimensional non-Heisenberg ferromagnet of spin s = 1 with interactions of nearest, second, and third neighbors. We prove that for = and J = J₁, the system has a unique two-magnon bound state (TMBS), while for = and J = 2J₁, the system has three bound states. If = and J J₁, J 2J₁, the system has at most five TMBS. The energies of these bound states are evaluated.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 107, No. 2, pp. 262–268, May, 1996.Translated by A. M. Semikhatov.     

On the singular graph and the Weyr characteristic of anM-matrix

LetA be anM-matrix in standard lower block triangular form, with diagonal blocksA _ii irreducible. LetS be the set of indices such that the diagonal blockA is singular. We define the singular graph ofA to be the setS with partial order defined by > if there exists a chain of non-zero blocksA _i, A_ij, , A_l.Let ₁ be the set of maximal elements ofS, and define thep-th level _p ,p = 2, 3, , inductively as the set of maximal elements ofS \( _{1 p-1}). Denote by _p the number of elements in _p . The Weyr characteristic (associated with 0) ofA is defined to be (A) = ( ₁, ₂,, _h ), where ₁ + + _p = dim KerA ^p ,p = 1, 2, , and _h > 0, _h+1 = 0.Using a special type of basis, called anS-basis, for the generalized eigenspaceE(A) of 0 ofA, we associate a matrixD withA. We show that(A) = ( ₁, , _h) if and only if certain submatricesD _p,p+1 ,p = 1, , h – 1, ofD have full column rank. This condition is also necessary and sufficient forE(A) to have a basis consisting of non-negative vectors, which is a Jordan basis for –A. We also consider a given finite partially ordered setS, and we find a necessary and sufficient condition that allM-matricesA with singular graphS have(A) = ( ₁, , _h). This condition is satisfied ifS is a rooted forest.The work of the second-named author was partly supported by the National Science Foundation, under grant MPS-08618 A02.