Symmetric balanced ternary designs with ϱ1 = 1 or 2

Summary We prove the following two non-existence theorems for symmetric balanced ternary designs. If ₁ = 1 and 0 (mod 4) then eitherV = + 1 or 4₂ – + 1 is a square and (4₂ – + 1) divides ² – 1. If ₁ = 2 thenV = ((m + 1)/2) ² + 2,K = (m ² + 7)/4 and = ((m – 1)/2)² + 1 wherem 3 (mod 4). An example belonging to the latter series withV = 18 is constructed.     

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.     

Distribution of the supremum of sums of independent variables with negative drift

Let {_n} be a sequence of identically distributed independent random variables,M₁=<0,M ₁ ² <;S ₀=0,S _n =₁+₂,+...+ _{n, n}1;¯ S=sup {S _n n=0.} The asymptotic behavior ofP(¯ St) as t is studied. If _t ^P (₁x dx=0((t)), thenP(¯ St)– 1/¦¦ _t P (₁x dx=0((t)) (t) is a positive function, having regular behavior at infinity.Translated from Matematicheskie Zametki, Vol. 22, No. 5, pp. 763–770, November, 1977.The author thanks B. A. Rogozin for the formulation of the problem and valuable remarks.     

Subnormalizer of net subgroups in the general linear group over a ring

Let be a commutative ring in which the elements of the form ²–1, * generate the unit ideal and assume that a is any D-net of ideals of of order n. It is shown that the normalizerN() of the net subgroup G() (RZhMat, 1977, 2A280) coincides with its subnormalizer in GL(n, ). For noncommutative the corresponding result is obtained under the assumptions: 1) in the elements of the form — 1, where runs through all invertible elements of the center of , generate the unit ideal, and 2) the subgroup G() contains the group of block diagonal matrices with blocks of order 2.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 14–19, 1982.     

Special Fibres and Critical Locus for a Pencil of Plane Curve Singularities

We will analyze the relationships between the special fibres of a pencil of plane curve singularities and the Jacobian curve J of (defined by the zero locus of the Jacobian determinant for any fixed basis ). From the results, we find decompositions of J (and of any special fibre of the pencil) in terms of the minimal resolution of . Using these decompositions and the topological type of any generic pair of curves of , we obtain some topological information about J. More precise decompositions for J can be deduced from the minimal embedded resolution of any pair of fibres (not necessarily generic) or from the minimal embedded resolution of all the special fibres.     

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.     

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.     

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.     

On blocking sets in affine planes

Denote by _q an affine plane of order q. In the desarguesian case _q=AG(2,q), q 5(q= p^h, p prime), we prove that the smallest cardinality of a blocking set is 2q–1. In any arbitrary affine plane _q (desarguesian or not) with q5, for any integer k with 2q–1 k(q–1)², we construct a blocking set S with ¦S¦=k. For an irreducible blocking set S of _q we determine the upper bound S [qq]+1. We prove that if _q contains a blocking set S which is irreducible with its complementary blocking set, then necessarily _q=AG(2, 4) and S is uniquely determined. Finally we introduce techniques to obtain blocking sets in AG(2, q) and in PG(2, q).Research partially supported by G.N.S.A.G.A. (CNR)     

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.     

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.     

Inequalities Between the Radii of Some Spheres That Are Connected with a Convex Surface in Space of Constant Curvature

With a convex surface in space of constant curvature, we associate four numbers (,M,), where is the radius of a largerst sphere freely rolling over the interior side of , is the inradius of , M is the outradius of , and is the radius of a sphere over whose interior may roll freely. Exact inequalities connecting these four numbers are found.     

Waterman classes and triangular sums of double Fourier series

Let ^a ={nln^a (n+1)}, where a R. The following results are established: For every &fnof ^a BV ((- ]²), the triangular partial sums of its Fourier series are uniformly bounded if a = -1, and converge everywhere if a < -1.For every a>0, there exists &fnof ^a BV ((- ]²) such that the triangular partial sums of its Fourier series are unbounded at the point (0;0).     

A refinement of an estimate of the arithmetic minimum of the product of nonhomogeneous linear forms (regarding Minkowski's nonhomogeneous conjecture)

One refines an estimate of B. F. Skubenko (Tr. Mat. Inst. Akad. Nauk 148, 218–224 (1978)). Let be a point lattice of determinant d() in the n-dimensional Euclidean space ⁿ. and let L^ñ. We consider the nonhomogeneous One proves that there exists an effectively computable constant n_o such that if nn_o, then.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 82, pp. 88–94, 1979.     

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.     

Склярные дифференциалвные инварианты третвего порядка риамнового простанства трех измерений

.      

A Homological Bridge Between Finite and Infinite-Dimensional Representations of Algebras

Given a finite-dimensional algebra , we show that a frequently satisfied finiteness condition for the category -mod) of all finitely generated (left) -modules of finite projective dimension,namely contravariant finiteness of (-mod) in -mod, forces arbitrary modules of finite projective dimension to be direct limits of objects in (-mod). Among numerous applications, this yields an encompassing sufficient condition for the validity of the first finitistic dimensionconjecture, that is, for the little finitistic dimension of to coincide with the big (this is well known to fail overfinite-dimensional algebras in general).     

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.     

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.     

On the homogeneous ideal of projectively normal curves

Summary Fix integers k, d, g with g0, dg+3, k>0, 2k<(d–g), d(g(k+1)/k) + k+1. Here we prove that for a general curve X of genus g and a general L Pic^d(X), L is normally presented.