Homological Invariants for pro- p Grou ps and Some Finitely Presented pro-${\cal C}$ Grou ps

Let G be a finitely presented pro- group with discrete relations. We prove that the kernel of an epimorphism of G to is topologically finitely generated if G does not contain a free pro- group of rank 2. In the case of pro-p groups the result is due to J. Wilson and E. Zelmanov and does not require that the relations are discrete ([15], [17]).For a pro-p group G of type FP_m we define a homological invariant ^m(G) and prove that this invariant determines when a subgroup H of G that contains the commutator subgroup G is itself of type FP_m. This generalises work of J. King for ¹(G) in the case when G is metabelian [9].Both parts of the paper are linked via two conjectures for finitely presented pro-p groups G without free non-cyclic pro-p subgroups. The conjectures suggest that the above conditions on G impose some restrictions on ¹(G) and on the automorphism group of G.Both authors are partially supported by CNPq, Brazil.     

Symmetric Graphs and Flag Graphs

 With any G-symmetric graph Γ admitting a nontrivial G-invariant partition , we may associate a natural “cross-sectional” geometry, namely the 1-design in which for and if and only if α is adjacent to at least one vertex in C, where and is the neighbourhood of B in the quotient graph of Γ with respect to . In a vast number of cases, the dual 1-design of contains no repeated blocks, that is, distinct vertices of B are incident in with distinct subsets of blocks of . The purpose of this paper is to give a general construction of such graphs, and then prove that it produces all of them. In particular, we show that such graphs can be reconstructed from and the induced action of G on . The construction reveals a close connection between such graphs and certain G-point-transitive and G-block-transitive 1-designs. By using this construction we give a characterization of G-symmetric graphs such that there is at most one edge between any two blocks of . This leads to, in a subsequent paper, a construction of G-symmetric graphs such that and each is incident in with vertices of B. The work was supported by a discovery-project grant from the Australian Research Council. Received April 24, 2001; in revised form October 9, 2002 Published online May 9, 2003     

Is there an easy algebraic characterisation of¶universal proper G-spaces?

We shall study properties of groups having finite cohomological dimension relative to the family of all finite subgroups. We also compare these groups with those satisfying various suggested algebraic analogues to group-actions on finite dimensional proper G-spaces. Received: 15 March 2000     

Hypersurfaces and Codazzi tensors

In this paper we deal with the following problem. Let (M ⁿ ,〈,〉) be an n-dimensional Riemannian manifold and an isometric immersion. Find all Riemannian metrics on M ⁿ that can be realized isometrically as immersed hypersurfaces in the Euclidean space . More precisely, given another Riemannian metric on M ⁿ , find necessary and sufficient conditions such that the Riemannian manifold admits an isometric immersion into the Euclidean space . If such an isometric immersion exists, how can one describe in terms of f? Author’s address: Thomas Hasanis and Theodoros Vlachos, Department of Mathematics, University of Ioannina, 45110 Ioannina, Greece     

Fourier transforms, generic vanishing theorems and polarizations of abelian varieties

The purpose of this paper is to give two applications of Fourier transforms and generic vanishing theorems: – we give a cohomological characterization of principal polarizations – we prove that if X an abelian variety and a polarization of type (1, ...,1,2), then a general pair is log canonical. Received 14 May, 1999 / Published online September 14, 2000     

Very Ampleness of <Emphasis Type="Italic">d</Emphasis>-standard Classes on Rational Surfaces

We consider a rational surface X_r, obtained by blowing up ² along a curvilinear zero-dimensional subscheme of length r of the regular locus of a reduced irreducible plane curve of degree d, with d 4; and we give sufficient conditions for d-standard classes to be very ample (resp. base point free or non special) on such a rational surface X_r.Postdoctoral Fellow of the Fund for Scientific Research-Flanders (Belgium).     

Harmonic functions associated to Dunkl operators

We prove some potential theoretical properties of harmonic functions associated to Dunkl operators. We solve the corresponding Dirichlet problem and establish the related Harnack principle and normality criteria.     

Scale functions on $p$-adic Lie groups

Let G be a p-adic Lie group. Then G is a locally compact, totally disconnected group, to which Willis [14] associates its scale function G : G→ℕ. We show that s can be computed on the Lie algebra level. The image of s consists of powers of p. If G is a linear algebraic group over ℚ _p , s(x)=s(h) is determined by the semisimple part h of x∈G. For every finite extension K of ℚ _p , the scale functions of G and H:=G(K) are related by s _H ∣ _G =s _G ^{[ K :ℚ} _p ^]. More generally, we clarify the relations between the scale function of a p-adic Lie group and the scale functions of its closed subgroups and Hausdorff quotients. Received: 20 February 1997; Revised version: 18 May 1998     

Strongly taut finitely generated monoids

A strongly taut monoid is a monoid in which all the powers of any element of the monoid have the same elasticity, that is, the ratio between the maximum and the minimum length of the factorizations of an element remains unchanged under powers. We give a procedure to determine if a finitely generated commutative monoid is strongly taut. The authors are supported by the project MTM2004-01446 and FEDER funds. The authors would like to thank the referee and P. Baginski for their heplful comments and suggestions. Author’s addresses: P. A. García-Sánchez, Departamento de álgebra, Universidad de Granada, E-18071 Granada, Espa?a; D. Llena, Departamento de Geometría, Topología y Química Orgánica, Universidad de Almería, 04120 Almería, Espa?a; J. C. Rosales, Departamento de álgebra, Universidad de Granada, E-18071 Granada, Espa?a     

Orlicz-Pettis Polynomials on Banach Spaces

 We introduce the class of Orlicz-Pettis polynomials between Banach spaces, defined by their action on weakly unconditionally Cauchy series. We give a number of equivalent definitions, examples and counterexamples which highlight the differences between these polynomials and the corresponding linear operators. (Received 17 May 1999; in revised form 6 October 1999)     

Cotorsion pairs, model category structures, and representation theory

We make a general study of Quillen model structures on abelian categories. We show that they are closely related to cotorsion pairs, which were introduced by Salce [Sal79] and have been much studied recently by Enochs and coauthors [EJ00]. This gives a method of constructing model structures on abelian categories, which we illustrate by building two model structures on the category of modules over a (possibly noncommutative) Gorenstein ring. The homotopy category of these model structures is a generalization of the stable module category much used in modular representation theory. This stable module category has also been studied by Benson [Ben97]. Received: 14 December 2000; in final form: 17 December 2001 / Published online: 5 September 2002