Orthomorphisms and the construction of projective planes

We discuss a simple computational method for the construction of finite projective planes. The planes so constructed all possess a special group of automorphisms which we call the group of translations, but they are not always translation planes. Of the four planes of order 9, three admit the additive group of the field as a group of translations, and the present construction yields all three. The known planes of order 16 comprise four self-dual planes and eighteen other planes (nine dual pairs); of these, the method gives three of the four self-dual planes and six of the nine dual pairs, including the ``sporadic' (not translation) plane of Mathon.

     

Classification of Embeddings of the Flag Geometries of Projective Planes in Finite Projective Spaces, Part 2

The flag geometry Γ=( ,  , I) of a finite projective plane Π of order s is the generalized hexagon of order (s, 1) obtained from Π by putting equal to the set of all flags of Π, by putting equal to the set of all points and lines of Π, and where I is the natural incidence relation (inverse containment), i.e., Γ is the dual of the double of Π in the sense of H. Van Maldeghem (1998, “Generalized Polygons,” Birkhäuser Verlag, Basel). Then we say that Γ is fully and weakly embedded in the finite projective space PG(d, q) if Γ is a subgeometry of the natural point-line geometry associated with PG(d, q), if s=q, if the set of points of Γ generates PG(d, q), and if the set of points of Γ not opposite any given point of Γ does not generate PG(d, q). In two earlier papers we have shown that the dimension d of the projective space belongs to {6, 7, 8}, that the projective plane Π is Desarguesian, and we have classified the full and weak embeddings of Γ (Γ as above) in the case that there are two opposite lines L, M of Γ with the property that the subspace U_L, M of PG(d, q) generated by all lines of Γ meeting either L or M has dimension 6 (which is automatically satisfied if d=6). In the present paper, we partly handle the case d=7; more precisely, we consider for d=7 the case where for all pairs (L, M) of opposite lines of Γ, the subspace U_L, M has dimension 7 and where there exist four lines concurrent with L contained in a 4-dimensional subspace of PG(7, q).     

The Projective Beth Property and Interpolation in Positive and Related Logics

We look at the interplay between the projective Beth property in non-classical logics and interpolation. Previously, we proved that in positive logics as well as in superintuitionistic and modal ones, the projective Beth property PB2 follows from Craig's interpolation property and implies the restricted interpolation property IPR. Here, we show that IPR and PB2 are equivalent in positive logics, and also in extensions of the superintuitionistic logic KC and of the modal logic Grz.2. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 85–113, January–February, 2006.     

Interpolation and Definability in Extensions of the Minimal Logic

We study into the interpolation property and the projective Beth property in extensions of Johansson's minimal logic. A family of logics of some special form is considered. Effective criteria are specified which allow us to verify whether an arbitrary logic in this family has a given property. Supported by RFBR grant No. 03-06-80178, by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1, and by INTAS grant No. 04-77-7080. __________ Translated from Algebra i Logika, Vol. 44, No. 6, pp. 726–750, November–December, 2005.     

On the structure of stationary sets

We isolate several classes of stationary sets of [k]ωand investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.     

Restricted interpolation property in superintuitionistic logics

The restricted interpolation property IPR in modal and superintuitionistic logics is investigated. It is proved that in superintuitionistic logics of finite slices and in finite-slice extensions of the Grzegorczyk logic, the property IPR is equivalent to the projective Beth property PB2. Supported by RFBR (project No. 06-01-00358) and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-335.2008.1). Translated from Algebra i Logika, Vol. 48, No. 1, pp. 54-89, January-February, 2009.     

Global dimension and left derived functors of Hom

It is well known that the right global dimension of a ring R is usually computed by the right derived functors of Hom and the left projective resolutions of right R-modules. In this paper, for a left coherent and right perfect ring R, we characterize the right global dimension of R, from another point of view, using the left derived functors of Hom and the right projective resolutions of right R-modules. It is shown that rD(R)≤n (n≥2) if and only if the gl right Proj-dim MR≤n - 2 if and only if Extn-1(N, M) = 0 for all right R-modules N and M if and only if every (n - 2)th Proj-cosyzygy of a right R-module has a projective envelope with the unique mapping property. It is also proved that rD(R)≤n (n≥1) if and only if every (n-1)th Proj-cosyzygy of a right R-module has an epic projective envelope if and only if every nth Vroj-cosyzygy of a right R-module is projective. As corollaries, the right hereditary rings and the rings R with rD(R)≤2 are characterized.     

Partial algebras associated with polygonometries of group pairs

We argue that there exists a relationship between pairs of groups and partial algebras. It is proved that connected polygonometries of group pairs are uniquely (up to isomorphism) determined by corresponding partial algebras. A class of all partial algebras associated with polygonometries of group pairs is shown to be axiomatizable. A class of partial algebras corresponding to trigonometries of group pairs on a projective plane is stated to be finitely axiomatizable. We also study the problem of being closed under the basic algebraic operations for the class of polygonometric algebras, and shed light on the interplay between homomorphism categories of connected polygonometries and polygonometric algebras. Supported by RFFR grant No. 93-01-01520 and by the AMS. Translated from Algebra i Logika, Vol. 36, No. 4, pp. 454–476, July–August, 1997.     

Some conic bundless

A representation of the anticanonical K3 surface of a singular pencil of conics is described. This generalizes the well-known Shokurov theorem.Translated fromMatematicheskie Zametki, Vol. 63, No. 6, pp. 903–910, June, 1998.The author is greatly indebted to V. A. Iskovskikh, Yu. G. Prokhorov, and I. A. Chel'tsov for fruitful discussions.This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-00820 and by INTAS under grant No. 93-2805.00-00-00.     

Central Pairs, Galois Theory and Automorphic Forms

A central pair over a field k of characteristic 0 consists of a finite Abelian group which is equipped with a central 2-cocycle with values in the multiplicative group k ^* of k. In this paper we use specific central pairs to construct a class of projective representations of the absolute Galois group G _k of k and if k is a number field we investigate the liftings of these projective representations to linear representations of G _k . In particular we relate these linear representations to automorphic representations. It turns out that some of these automorphic representations correspond to certain indefinite modular forms already constructed by E. Hecke.     

On the structure of rigid semistable sheaves on algebraic surfaces

LetS be a smooth projective surface, letK be the canonical class ofS and letH be an ample divisor such thatH • K < 0. We prove that for any rigid sheafF (Ext¹ (F, F) = 0) that is Mumford-Takemoto semistable with respect toH there exists an exceptional set (E ₁ ,..., E _n ) of sheaves onS such thatF can be constructed from {E _i } by means of a finite sequence of extensions. Translated fromMatematicheskie Zametki, Vol. 64, No. 5, pp. 692–700, November, 1998. The author wishes to express his gratitude to S. A. Kuleshov for useful discussions and to A. N. Rudakov and A. L. Gorodentsev for their attention to the present work. This research was partially supported by the Russian Foundation for Basic Research under grant No. 96-01-01323 and by the INTAS Foundation.     

On structure of small contractions of odd dimensional projective varieties

Let X be a smooth projective variety of dimension 2k-1 (k≥3) over the complex number field. Assume that fR: X→Y is a small contraction such that every irreducible component Ei of the exceptional locus of fR is a smooth subvariety of dimension k. It is shown that each Ei is isomorphic to the k-dimensional projective space Pk, the k-dimensional hyperquadric surface Qk in Pk 1, or a linear Pk-1-bundle over a smooth curve.     

Hall‐Type Results for 3‐Connected Projective Graphs

Projective planar graphs can be characterized by a set of 35 excluded minors. However, these 35 are not equally important. A set of 3‐connected members of is excludable if there are only finitely many 3‐connected nonprojective planar graphs that do not contain any graph in as a minor. In this article, we show that there are precisely two minimal excludable sets, which have sizes 19 and 20, respectively.     

The Bass-Quillen problem on a class of local rings with weak global dimension two

Let (R,m) be a local GCD domain. R is called a U2 ring if there is an element u ∈ m-m2 such that R/(u) is a valuation domain and Ru is a B′ezout domain. In this case u is called a normal element of R. In this paper we prove that if R is a U2 ring, then R and R[x] are coherent; moreover, if R has a normal element u and dim(R/(u)) = 1, then every finitely generated projective module over R[X] is free.     

Geometry of distributions of flags on Grassmann manifolds of a projective space. I

We consider intrinsic normalizations of distributions of flags of type (m, m+1) on the Grassmann manifold ofm-planes of a (2m+2)-dimensional projective space. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 2, pp. 214–227, April–June, 2000. Translated by V. Mackevičius     

3-Wise Exactly 1-Intersecting Families of Sets

Let f(l, t, n) be the maximal size of a family such that any l2 sets of have an exactly t1-element intersection. If l3, it trivially comes from [8] that the optimal families are trivially intersecting (there is a t-element core contained by all the members of the family). Hence it is easy to determine Let g(l,t,n) be the maximal size of an l-wise exaclty t-intersecting family that is not trivially t-intersecting. We give upper and lower bounds which only meet in the following case: g(3, 1, n) = n^2/3(1 + o(1)).     

Geometry of distributions of flags on Grassmann manifolds of a projective space. II

We consider intrinsic normalizations of distributions of flags of type (m, m+1) on the Grassmann manifold ofm-planes of a (2m+2)-dimensional projective space. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 3, pp. 335–349, July–September, 2000. Translated by V. Mackevičius     

On endomorphism rings of regular modules

In this paper, we study the endomorphism rings of regular modules. We give sufficient conditions on a regular projective moduleP such that End_R (P) has stable range one. Dedicated to Professor Zhou Boxun for his 80'th Birthday The author is supported by the NNSF of China (No. 19601009)     

Characterization and structure of Finsler spaces with constant flag curvature

The geometric characterization and structure of Finsler manifolds with constant flag curvature (CFC) are studied. It is proved that a Finsler space has constant flag curvature 1 (resp. 0) if and only if the Ricci curvature along the Hilbert form on the projective sphere bundle attains identically its maximum (resp. Ricci scalar). The horizontal distributionH of this bundle is integrable if and only ifM has zero flag curvature. When a Finsler space has CFC, Hilbert form’s orthogonal complement in the horizontal distribution is also integrable. Moreover, the minimality of its foliations is equivalent to given Finsler space being Riemannian, and its first normal space is vertical Project supported by Wang KC Fundation of Hong Kong and the National Natural Science Foundation of China (Grant No. 19571005).     

Another two graphs with no planar covers

A graph H is a cover of a graph G if there exists a mapping φ from V( H ) onto V( G ) such that φ maps the neighbors of every vertex υ in H bijectively to the neighbors of φ(υ) in G . Negami conjectured in 1986 that a connected graph has a finite planar cover if and only if it embeds in the projective plane. It follows from the results of Archdeacon, Fellows, Negami, and the author that the conjecture holds as long as K _1,2,2,2 has no finite planar cover. However, this is still an open question, and K _1,2,2,2 is not the only minor‐minimal graph in doubt. Let ??₄ (?₂) denote the graph obtained from K _1,2,2,2 by replacing two vertex‐disjoint triangles (four edge‐disjoint triangles) not incident with the vertex of degree 6 with cubic vertices. We prove that the graphs ??₄ and ?₂ have no planar covers. This fact is used in [P. Hlin?ný, R. Thomas, On possible counterexamples to Negami's planar cover conjecture, 1999 (submitted)] to show that there are, up to obvious constructions, at most 16 possible counterexamples to Negami's conjecture. © 2001 John Wiley & Sons, Inc. J Graph Theory 37: 227–242, 2001