Chow-Witt groups and Grothendieck-Witt groups of regular schemes

Let A be a noetherian commutative Z[1/2]-algebra of Krull dimension d and let P be a projective A-module of rank d. We use derived Grothendieck-Witt groups and Euler classes to detect some obstructions for P to split off a free factor of rank one. If d?3, we show that the vanishing of its Euler class in the corresponding Grothendieck-Witt group is a necessary and sufficient condition for P to have a free factor of rank one. If d is odd, we also get some results in that direction. If A is regular, we show that the Chow-Witt groups defined by Morel and Barge appear naturally as some homology groups of a Gersten-type complex in Grothendieck-Witt theory. From this, we deduce that if d=3 then the vanishing of the Euler class of P in the corresponding Chow-Witt group is a necessary and sufficient condition for P to have a free factor of rank one.     

Stability results for projective modules over Rees algebras

We provide a class of commutative Noetherian domains R of dimension d such that every finitely generated projective R-module P of rank d splits off a free summand of rank one. On this class, we also show that P is cancellative. At the end we give some applications to the number of generators of a module over the Rees algebras.     

Determinimg abelian p-groups from their n-Socles

A necessary condition is given for a very wide separable p-group to be derermined by its n-socle (the set of elements of order at most p ⁿ). A group G is very wide if it has a direct summand of final rank ‖G‖ which itself is a direct sum of cyclic groups. In the case, n=1 (as Shelat has shown)this condition is sufficient but for n>1 examples are given to show that this condition is not sufficient.     

K-Theory of Algebraic Tori and Toric Varieties

It is proved that under certain conditions the group K _n (X) of a smooth projective variety X over a field F is a natural direct summand of K _n (A) for some separable F-algebra A. As an application we study the K-groups of toric models and toric varieties. A presentation in terms of generators and relations of the groupK ₀(T) for an algebraic torus T is given.     

Rings without infinite sets of noncentral orthogonal idempotents

For any ring A, there exist a Bezout ring R and an idempotent e ∈ R with A ≅ eRe. Every module over any ring is a direct summand of an endo-Bezout module. Over any ring, every free module of infinite rank is an endo-Bezout module.     

t-Extending Modules and t-Baer Modules

We introduce the notions of “t-extending modules,” and “t-Baer modules,” which are generalizations of extending modules. The second notion is also a generalization of nonsingular Baer modules. We show that a homomorphic image (hence a direct summand) of a t-extending module and a direct summand of a t-Baer module inherits the property. It is shown that a module M is t-extending if and only if M is t-Baer and t-cononsingular. The rings for which every free right module is t-extending are called right Σ-t-extending. The class of right Σ-t-extending rings properly contains the class of right Σ-extending rings. Among other equivalent conditions for such rings, it is shown that a ring R is right Σ-t-extending, if and only if, every right R-module is t-extending, if and only if, every right R-module is t-Baer, if and only if, every nonsingular right R-module is projective. Moreover, it is proved that for a ring R, every free right R-module is t-Baer if and only if Z ₂(R _R ) is a direct summand of R and every submodule of a direct product of nonsingular projective R-modules is projective.     

On the tournament matrices with smallest rank

A tournament matrix is a square zero-one matrix A satisfying the equation A+A^t = J ? I, where J is the all-ones matrix. In [1] it was proved that if A is an n × n tournament matrix, then the rank of A is at least (n - 1)/2, over any field; and in characteristic zero rank (A) equals n - 1 or n. Michael [3] has constructed examples having rank (n - 1)/2; they are double borderings of Hadamard tournaments of order n - 2, and so must satisfy n ≡ 1 (mod 4). In this note, we supplement this result by showing that an analogous construction is sometimes impossible when n ≡ 3 (mod 4).     

The semilattice tensor product of projective distributive lattices

Grant A. Fraser defined the semilattice tensor productA ⊗B of distributive latticesA, B and showed that it is a distributive lattice. He proved that ifA ⊗B is projective then so areA andB, that ifA andB are finite and projective thenA ⊗B is projective, and he gave two infinite projective distributive lattices whose semilattice tensor product is not projective. We extend these results by proving that ifA andB are distributive lattices with more than one element thenA ⊗B is projective if and only if bothA andB are projective and both have a greatest element. Presented by W. Taylor.     

The rank of sparse random matrices over finite fields

Let M be a random (n×n)-matrix over GF[q] such that for each entry M_ij in M and for each nonzero field element α the probability Pr[M_ij=α] is p/(q−1), where p=(log n−c)/n and c is an arbitrary but fixed positive constant. The probability for a matrix entry to be zero is 1−p. It is shown that the expected rank of M is n−𝒪(1). Furthermore, there is a constant A such that the probability that the rank is less than n−k is less than A/q^k. It is also shown that if c grows depending on n and is unbounded as n goes to infinity, then the expected difference between the rank of M and n is unbounded. © 1997 John Wiley & Sons, Inc. Random Struct. Alg., 10 , 407–419, 1997     

On locally free Abelian groups

The following result is proved in the paper. An Abelian group A is Lw₁, w-equivalent to the free Abelian group of countable rank if and only if it is a countably free Abelian group.     

Regular Hjelmslev planes

A projective Hjelmslev plane is called regular iff it admits an Abelian collineation group that is regular on both the points and lines of the plane and that splits into a summand regular on the elements of any given neighborhood and another summand permuting the points and lines of the projective image plane regularly. Regular Hjelmslev planes are shown to correspond to so-called special difference sets. We construct regular Hjelmslev planes with parameters (qⁿ, q) for any prime power q and any natural number n as well as for infinitely many series of parameters (t, q), where t is not a power of q. Our construction also yields series of parameters for which the existence of a Hjelmslev plane was not known up to now as well as the first information on the existence of nontrivial collineations in the case of parameters (t, q) with t not a power of q.     

The factorization of the permanent of a matrix with minimal rank in prime characteristic

It is known that any square matrix A of size n over a field of prime characteristic p that has rank less than n/(p − 1) has a permanent that is zero. We give a new proof involving the invariant X _p . There are always matrices of any larger rank with non-zero permanents. It is shown that when the rank of A is exactly n/(p − 1), its permanent may be factorized into two functions involving X _p .     

Krull Dimension and Deviation in Certain Parafree Groups

Hanna Neumann asked whether it was possible for two non-isomorphic residually nilpotent finitely generated (fg) groups, one of them free, to share the lower central sequence. Baumslag answered the question in the affirmative and thus gave rise to parafree groups. A group G is termed parafree of rank n if it is residually nilpotent and shares the same lower central sequence with a free group of rank n. The deviation of a fg parafree group G of rank n is the difference μ(G) ? n, where μ(G) is the minimum possible number of generators of G.

Let G be fg; then Hom(G, SL ₂?) inherits the structure of an algebraic variety, denoted by R(G). If G is an n generated parafree group, then the deviation of G is 0 iff Dim(R(G)) = 3n. It is known that for n ≥ 2 there exist infinitely many parafree groups of rank n and deviation 1 with non-isomorphic representation varieties of dimension 3n. In this paper it is shown that given integers n ≥ 2 and k ≥ 1, there exists infinitely many parafree groups of rank n and deviation k with non-isomorphic representation varieties of dimension different from 3n; in particular, there exist infinitely many parafree groups G of rank n with Dim(R(G)) > q, where q ≥ 3n is an arbitrary integer.     

A Characterization of Counterexamples to the Kodaira-Ramanujam Vanishing Theorem on Surfaces in Positive Characteristic

The author gives a characterization of counterexamples to the Kodaira-Ramanujam vanishing theorem on smooth projective surfaces in positive characteristic. More precisely, it is reproved that if there is a counterexample to the Kodaira-Ramanujam vanishing theorem on a smooth projective surface X in positive characteristic, then X is either a quasi-elliptic surface of Kodaira dimension 1 or a surface of general type. Furthermore, it is proved that up to blow-ups, X admits a fibration to a smooth projective curve, such that each fiber is a singular curve.     

Projective MV-algebras and rational polyhedra

Let M be an n-generator projective MV-algebra. Then there is a rational polyhedron P in the n-cube [0, 1] ⁿ such that M is isomorphic to the MV-algebra M(P){{\rm{\mathcal {M}}}(P)} of restrictions to P of the McNaughton functions of the free n-generator MV-algebra. P necessarily contains a vertex vP of the n-cube. We characterize those polyhedra contained in the n-cube such that M(P){{\mathcal {M}}(P)} is projective. In particular, if the rational polyhedron P is a union of segments originating at some fixed vertex vP of the n-cube, then M(P){{\mathcal {M}}(P)} is projective. Using this result, we prove that if A = M(P){A = {\mathcal {M}}(P)} and B = M(Q){B = {\mathcal {M}}(Q)} are projective, then so is the subalgebra of A × B given by {(f, g) | f(v _P ) = g(v _Q ), and so is the free product A \coprod B{A \coprod B} .     

On Automorphism-Fixed Subgroups of a Free Group

Let F be a finitely generated free group, and let n denote its rank. A subgroup H of F is said to be automorphism-fixed, or auto-fixed for short, if there exists a set S of automorphisms of F such that H is precisely the set of elements fixed by every element of S; similarly, H is 1-auto-fixed if there exists a single automorphism of F whose set of fixed elements is precisely H. We show that each auto-fixed subgroup of F is a free factor of a 1-auto-fixed subgroup of F. We show also that if (and only if) n ≥ 3, then there exist free factors of 1-auto-fixed subgroups of F which are not auto-fixed subgroups of F. A 1-auto-fixed subgroup H of F has rank at most n, by the Bestvina–Handel Theorem, and if H has rank exactly n, then H is said to be a maximum-rank 1-auto-fixed subgroup of F, and similarly for auto-fixed subgroups. Hence a maximum-rank auto-fixed subgroup of F is a (maximum-rank) 1-auto-fixed subgroup of F. We further prove that if H is a maximum-rank 1-auto-fixed subgroup of F, then the group of automorphisms of F which fix every element of H is free abelain of rank at most n − 1. All of our results apply also to endomorphisms.     

Projective metabelianD-groups and Lie superalbegras

The main result of this paper shows that the projective objects in varieties of metabelian R-groups and Lie superalgebras are free. A D-group is a group in which for any element x and any natural number n there exists a unique element y such that x=yⁿ. A Lie superalgebra (resp. D-group) is metabelian if it is an extension of an abelian superalgebra (resp. D-group) by an abelian superalgebra (resp. D-group). The proof of the main result relies on the representation of projective superalgebras (resp. D-groups) in projective modules over rings that are nearly polynomial rings. Bibliography: 17 titles.Translated fromTrudy Seminara imeni I. G. Petrovskogo, No. 15, pp. 189–195.     

Derived categories of Keum's fake projective planes

We conjecture that derived categories of coherent sheaves on fake projective n  -spaces have a semi-orthogonal decomposition into a collection of n+1$n+1$ exceptional objects and a category with vanishing Hochschild homology. We prove this for fake projective planes with non-abelian automorphism group (such as Keum's surface). Then by passing to equivariant categories we construct new examples of phantom categories with both Hochschild homology and Grothendieck group vanishing.     

Remarks on Ramanujam-Kawamata-Viehweg Vanishing Theorem

In this article we prove a general result on a nef vector bundle E on a projective manifold X of dimension n depending on the vector space H^n,n(X,E): It is also shown that H^n,n(X,E) = 0 for an indecomposable nef rank 2 vector bundles E on some specific type of n dimensional projective manifold X. The same vanishing shown to hold for indecomposable nef and big rank 2 vector bundles on any variety with trivial canonical bundle.     

Projective Summands in Tensor Products of Simple Modules of Finite Dimensional Hopf Algebras

Abstract

Let H be a finite dimensional Hopf algebra over a field k. We show that H contains a unique maximal Hopf ideal J _w (H) contained in J(H), the Jacobson radical of H. We give various characterizations of J _w (H), for example J _w (H) = Ann _H ((H/J(H))^?n ) for all large enough n. The smallest positive integer n with this property is denoted by l _w (H). We prove that l _w (H) equals the smallest number n such that (H/J(H))^?n contains every projective indecomposable H/J _w (H)-module as a direct summand. This also equals the minimal n such that the tensor product of n suitable simple H-modules contains the projective cover of the trivial H/J _w (H)-module as a direct summand. We define projective homomorphisms between H-modules, which are used to obtain various reciprocity laws for tensor products of simple H-modules and their projective indecomposable direct summands. We also discuss some consequences of our general results in case H = kG is a group algebra of a finite group G and k is a field of characteristic p.