An isolation theorem for decomposable forms of purely real algebraic fields of degree n⩾3

Let M be a complete module of a purely algebraic field of degree n3, let be the lattice of this module and let F(X) be its form. By we denote any lattice for which we have = , where is a nondiagonal matrix satisfying the condition ¦-I¦ , I being the identity matrix. The complete collection of such lattices will be denoted by {}. To each lattice we associate in a natural manner the decomposable form F(X). The complete collection of forms, corresponding to the set {}, will be denoted by {F} It is shown that for any given arbitrarily small interval (N–, N+), one can select an such that for each F(X) from {F} there exists an integral vector X₀ such that N– < F(X₀) < N+.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 167–171, 1981.     

Triangular extension identities

It is shown that if the - -bimodule M generates a category of - -bimodules, then the ideal of identities of the triangular extension of the direct sum of algebras and by means of the bimodule M is equal to the product of ideals of identities of the algebras and .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 132, pp. 5–11, 1983.     

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.     

Exceptional Sequences in Hall Algebras and Quantum Groups

Let be a finite-dimensional hereditary algebra over a finite field k, () and () be, respectively, the Hall algebra and the composition algebra of , be the isomorphism classes of finite dimensional -modules and I the isomorphism classes of simple -modules. We define and , in , to be the right and left derivations of () respectively. By using these derivations and the action of the braid group on the set of exceptional sequences of -mod, we provide an effective algorithm of calculating the root vectors of real Schur roots. This means that we get an inductive method to express u as the combinations of elements u_i in the Hall algebra, where i I and in is any exceptional -module. Because of the canonical isomorphism between the Drinfeld–Jimbo quantum group and the generic composition algebra, our algorithm is applicable directly to quantum groups. In particular, all the root vectors are obtained in this way in the finite type cases.     

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.     

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.     

Nef cotangent bundles over line arrangements

In [1] Hirzebruch introduced and studied the compact complex surfaces (,n). In [2], Sommese characterized those. (,n) with ample cotangent bundles. In this addendum, the (,n) with nef cotangent bundles are characterized.Partially supported by NSF grant DMS 8405207     

A majorizing semantics for hyperarithmetic sentences

A hyperarithmetic language is considered, obtained by adding to the arithmetic language a special ternary predicateH which acts as the universal predicate for (for some scale of constructive ordinals ). The language expresses a hierarchy {}_< of classes of formulas which is the constructive analog of the initial -section of the classical hyperarithmetic hierarchy. Some properties of this hierarchy are introduced which give a convenient constructive theoryT . It is shown that the majorizing semantics introduced in [1] (for an equivalent variant see [2]) can be extended to the sentences of the language for sentences of the arithmetic language. The basis for the construction of the majorant is the idea (stated in [2]) of relating the majorant to deducibility in systems with an -rule.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 68, pp. 30–37, 1977.     

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.     

Stabilization theorem for the Milnor K2-functor

Let be an associative ring. For every natural number n there is a canonical homomorphism _n: K_2,n()K₂(), where K₂ is the Milnor functor and K_2,n() the associated unstable K-group. Dennis and Vasershtein have proved that if n is larger than the stable rank of , _n is an epimorphism. It is proved in the article that if n – 1 is greater than the stable rank of , the homomorphism _n is an isomorphism.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 64, pp. 131–152, 1976.     

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.     

An improved bound for the de Bruijn–Newman constant

The Riemann hypothesis is equivalent to the conjecture that the de Bruijn–Newman constant satisfies 0. However, so far all the bounds that have been proved for go in the other direction, and provide support for the conjecture of Newman that 0. This paper shows how to improve previous lower bounds and prove that –2.710^–9<. This can be done using a pair of zeros of the Riemann zeta function near zero number 10²⁰ that are unusually close together. The new bound provides yet more evidence that the Riemann hypothesis, if true, is just barely true.     

Isolation theorem for forms corresponding to purely real algebraic fields

Let M be the complete module of a purely real algebraic field of degree n 3, let be a lattice in this module, and let F(X) be its form. We use to denote any lattice for which we have = , where is a nondiagonal matrix for which – I . With each lattice we can associate a factorizable formF (X) in a natural manner. We denote the complete set of forms corresponding to the set {} by {F (X)}. It is proved that for any > 0 there exists an > 0 such that for eachF (X) {F } we have |F (X₀₎| for some integer vector X₀ 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 185, pp. 5–12, 1990.In conclusion, the author would like to express his deep gratitude to B. F. Skubenko for stating the problem and for his constant attention.     

Closed classes of left-Λ modules and closed sets of left ideals of ring Λ

The paper considers classes of -modules which are completely described by the set of annihilators of the elements of the modules of these classes. A number of conditions on such classes are translated into the language of left ideals. The connections found between classes of -modules and sets of left ideals of ring are used for the characteristics of classes of -modules related to the concept of torsion.Translated from Matematicheskie Zametki, Vol. 5, No. 3, pp. 381–390, March, 1969.The author would like to thank V. A. Andrunakievich and Yu. M. Ryabukhin for directing this work, as well as L. A. Skornyakov for discussing this note.     

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     

Minimality of derivative chains,corresponding to a boundary value problem on a finite segment

One investigates the minimality of derivative chains, constructed from the root vectors of polynomial pencils of operators, acting in a Hilbert space. One investigates in detail the quadratic pencil of operators. In particular, for L()=L₀+L₁+²L₂ with bounded operators L₀0, L₂0 and Re L₁0, one shows the minimality in the space_173-02 of the system {x_k, _kekx_k}, where x_k are eigenvectors of L(), corresponding to the characteristic numbers _kin the deleted neighborhoods of which one has the representation L^–1()=(–_k)^–1R_K+W_K() with one-dimensional operators R_k and operator-valued functions W_K(), k=1, 2, ..., analytic for =_k.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 2, pp. 195–205, February, 1990.     

Large indecomposables over representation-infinite orders and algebras

Let R be a complete discrete valuation domain with quotient field K, and let be an R-order in a semisimple K-algebra. Butler, Campbell, and Kovács have shown that R-free -modules decompose into -lattices when is representation-finite. Using the theory of ladder functors, we prove the converse by constructing indecomposable R-free -modules of infinite rank if is not representation-finite.Received: 23 March 2004     

Eine Charakterisierung der Potenzreihenräume von endlichem Typ und ihre Folgerungen

In the present article there is given a characterization of power series spaces of finite type by linear topological invariants. This is used to give a complete characterization of the classes of subspaces and quotient spaces of any nuclear stable power series space ₁(). It is further used for the investigation of exact sequences of the form O_r()E()O. They are known to split for =+. It is shown that for r<+, p<+, but the sequence need not split. There are examples for for r=+, p<+. At last the characterization is used to determine the structure of certain systems of linear equations in infinitely many variables (ct. Mityagin [10], Probl. 4.6). At the end of the article we give conditions on a space E for the existence of a ₁() such that E is a subspace or a quotient space of E and we give an example of an isomorphy proof using the previous results.     

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 .     

Dimension Theory and Nonstable K1 of Quadratic Modules

Employing Bak's dimension theory, we investigate the nonstable quadratic K-group K _1,2n (A, ) = G _2n (A, )/E _2n (A, ), n 3, where G _2n (A, ) denotes the general quadratic group of rank n over a form ring (A, ) and E _2n (A, ) its elementary subgroup. Considering form rings as a category with dimension in the sense of Bak, we obtain a dimension filtration G _2n (A, ) G _2n ⁰(A, ) ; G _2n ¹(A, ) ... E _2n (A, ) of the general quadratic group G _2n (A, ) such that G _2n (A, )/G _2n ⁰(A, ) is Abelian, G _2n ⁰(A, ) G _2n ¹(A, ) ... is a descending central series, and G _2n ^d(A)(A, ) = E _2n (A, ) whenever d(A) = (Bass–Serre dimension of A) is finite. In particular K _1,2n (A, ) is solvable when d(A) < .