On topological tits buildings and their classification

We define topological Tits buildings. If a topological building Δ satisfies some technical conditions and is irreducible, compact, locally connected and satisfies the topological equivalent of the Moufang property, then it is a building canonically associated with a Lie group. If Δ satisfies all the other conditions and has rank ≥ 3, it must be topologically Moufang. Supported in part bynsf Grantmcs-82-04024 andmsri, Berkeley. Supported in part bynsf Grantdms-84-01760 andmsri, Berkeley.     

A characterisation of PSp(4,K)

This paper gives a characterization of the group PS_p(4K) over some algebraically closed field K of characteristic not 2 inside the class of simple K ^*-groups of finite Morley rank not interpreting a bad field using the structure of centralizers of involutions.     

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

Gorenstein differential graded algebras

We propose a definition of Gorenstein Differential Graded Algebra. In order to give examples, we introduce the technical notion of Gorenstein morphism. This enables us to prove the following: Theorem:Let A be a noetherian local commutative ring, let L be a bounded complex of finitely generated projective A-modules which is not homotopy equivalent to zero, and let ɛ=Hom _A (L, L)be the endomorphism Differential Graded Algebra of L. Then ɛ is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. Theorem:Let A be a noetherian local commutative ring with a sequence of elements a=(a ₁,…,a _n )in the maximal ideal, and let K(a)be the Koszul complex of a.Then K(a)is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. Theorem:Let A be a noetherian local commutative ring containing a field k, and let X be a simply connected topological space with dim _k H*(X;k)<∞,which has poincaré duality over k. Let C*(X;A)be the singular cochain Differential Graded Algebra of X with coefficients in A. Then C*(X; A)is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. The second of these theorems is a generalization of a result by Avramov and Golod from [4].     

On the surjectivity of some trace maps

LetK be a commutative ring with a unit element 1. Let Γ be a finite group acting onK via a mapt: Γ→Aut(K). For every subgroupH≤Γ define tr _H :K→K ^H by tr _h (x)=Σ_σ∈H σ(x). We proveTheorem: tr_Γ is surjective onto K ^Γ if and only if tr _P is surjective onto K ^P for every (cyclic) prime order subgroup P of Γ. This is false for certain non-commutative ringsK.     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Extending partial isomorphisms for the small index property of many ω-categorical structures

Theorem:Let A be a finite K _m -free graph, p ₁ , …, p _n partial isomorphisms on A. Then there exists a finite extension B, which is also a K _m -free graph, and automorphisms f _i of B extending the p _i . A paper by Hodges, Hodkinson, Lascar and Shelah shows how this theorem can be used to prove the small index property for the generic countable graph of this class. The same method also works for a certain class of continuum many non-isomorphic ω-categorical countable digraphs and more generally for structures in an arbitrary finite relational language, which are built in a similar fashion. Hrushovski proved this theorem for the class of all finite graphs [Hr]; the proof presented here stems from his proof. Supported by EC-grant ERBCHBGCT 920013.     

Approximating the Pathway Axis and the Persistence Diagrams for a Collection of Balls in 3-Space

Given a collection ℬ of balls in a three-dimensional space, we wish to explore the cavities, voids, and tunnels in the complement space of ∪ℬ. We introduce the pathway axis of ℬ as a useful subset of the medial axis of the complement of ∪ℬ and prove that it satisfies several desirable geometric properties. We present an algorithm that constructs the pathway graph of ∪ℬ, a piecewise-linear approximation of the pathway axis. At the heart of our approach is an approximation scheme that constructs a collection K{\mathcal{K}} of same-size balls that approximate ℬ so that the Hausdorff distance between ∪ℬ and èK\bigcup{\mathcal{K}} is bounded by a prescribed parameter. We prove a bound on the ratio between the number of balls in K{\mathcal{K}} and the number of balls in ℬ. We employ this bound and the approximation scheme to show how to approximate the persistence diagrams for ∪ℬ, which can be used to extract major topological features such as the large voids and tunnels in the complement of ∪ℬ. We show that our approach is superior in terms of complexity to the standard point-sample approaches for the two problems that we address in this paper: approximating the pathway axis of ℬ and approximating the persistence diagrams for ∪ℬ. In a companion paper we introduce MolAxis, a tool for the identification of channels in macromolecules that demonstrates how the pathway graph and the persistence diagrams are used to identify plausible pathways in the complement of molecules.     

The elementary equivalence of free algebras in cantor varieties

We study properties of free algebras in the Cantor varieties C_m,n. A free algebra of rank r in C_m,n is denoted F_{C m,n}(r). We argue that the following hold: (1) any two C_m,n-free algebras F_{C m,n}(r) and F_{C m,n}(s) of ranks r and s, where r and s are arbitrary (finite or infinite) cardinals, r≥m, and s≥m, are elementary equivalent; (2) any two C_m,n-free algebras F_{C m,n}(r) and F_{C m,n}(s) of ranks r and s, where r and s are arbitrary (finite or infinite) cardinals, are universally equivalent, that is, share one ∀-theory; (3) an elementary theory Th(F_{C m,n}(r)) for an arbitrary C_m,n-free algebra of (finite or infinite) rank r, treated in a signature Ω, is decidable; (4) an elementary theory Th(K) for an arbitrary nonempty class of free algebras in C_m,n, treated in a signature Ω, is decidable. Translated fromAlgebra i Logika, Vol. 38, No. 2, pp. 228–248, March–April, 1999.     

A Generic Identification Theorem for Groups of Finite Morley Rank

The paper contains a final identification theorem for the ‘generic’K^*-groups of finite Morley rank.     

Non-group Ranks in Finite Full Transformation Semigroups

T _n be the full transformation semigroup on a finite set. Both rank and idempotent rank of the semigroup K(n,r) = {α∈T _n : | im α | ≤r, 2 ≤ r ≤ n - 1. In this paper we prove that the non-group rank, defined as the cardinality of a minimal generating set of non-group elements, of K(n,r) is S(n,r) , the Stirling number of the second kind.     

Isoperimetric Constants of Infinite Plane Graphs

   Abstract. Let G be an infinite locally finite plane graph with one end and let H be a finite plane subgraph of G . Denote by a(H) the number of finite faces of H and by l(H) the number of the edges of H that are on the boundary of the infinite face or a finite face not in H . Define the isoperimetric constant h (G) to be inf _H l(H) / a(H) and define the isoperimetric constant h (δ) to be inf _G h (G) where the infimum is taken over all infinite locally finite plane graphs G having minimum degree δ and exactly one end. We establish the following bounds on h (δ) for δ ≥ 7 :

Infinite chains of successive normalizers in the general linear group

Let K be a field of characteristics 0 or a field of characteristic 2 and of transcendence degree ≥1, and let G=GL(n, K) be the general linear group of degree n≥2 over K. Further, let . It is proved that in G there exist chains of subgroups {H_m:m ∈ {, infinite in both directions, such that H_m<H_m−1, H_m−1 coincides with the normalizer N_G(H_m), and every quotient group H_m−1/H_m is an elementary Abelian group of type (2,2,...,2) and of rank p. Bibliography: 7 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 211, 1994, pp. 30–66. Translated by V. V. Ishkhanov.     

Vector bundles as direct images of line bundles

LetX be a smooth irreducible projective variety over an algebraically closed fieldK andE a vector bundle onX. We prove that, if dimX ≥ 1, there exist a smooth irreducible projective varietyZ overK, a surjective separable morphismf:Z →X which is finite outside an algebraic subset of codimension ≥ 3 inX and a line bundleL onX such that the direct image ofL byf is isomorphic toE. WhenX is a curve, we show thatZ, f, L can be so chosen thatf is finite and the canonical mapH ¹(Z, O) →H ¹(X, EndE) is surjective. Dedicated to the memory of Professor K G Ramanathan     

On Buchsbaum bundles on quadric hypersurfaces

Let E be an indecomposable rank two vector bundle on the projective space ℙ ⁿ , n ≥ 3, over an algebraically closed field of characteristic zero. It is well known that E is arithmetically Buchsbaum if and only if n = 3 and E is a null-correlation bundle. In the present paper we establish an analogous result for rank two indecomposable arithmetically Buchsbaum vector bundles on the smooth quadric hypersurface Q _n ⊂ ℙ ⁿ⁺¹, n ≥ 3. We give in fact a full classification and prove that n must be at most 5. As to k-Buchsbaum rank two vector bundles on Q ₃, k ≥ 2, we prove two boundedness results.     

Every finitely generated regular field extension has a stable transcendence base

A fieldK is called stable if every finitely generaed regular field extensionF/K has a transcendence basex ₁, …,x _n with the following properties: The field extensionF/K(x ₁,…,x _n ) is separable and the Galois hull ofF/K(x ₁,…,x _n ) remains regular overK, i.e.K is algebraically closed in . We prove in this paper thatevery field is stable. This generalizes results from [FJ1] and [GJ] which prove that fields of characteristic 0 and infinite perfect fields are stable, respectively. [G] showed that finite fields are stable in dimension 1, i.e. every finitely generated regular field extension of transcendence degree 1 over a finite field has a stable transcendence base. In the last section of this paper we apply the theorem to the construction of PAC fields with additional properties. A fieldK is called PAC if every absolutely irreducible variety overK has at least oneK-rational point.     

Fields interpretable in rosy theories

We are working in a monster model ℭ of a rosy theory T. We prove the following theorems, generalizing the appropriate results from the finite Morley rank case and o-minimal structures. If R is a ⋁-definable integral domain of positive, finite U^t-rank, then its field of fractions is interpretable in ℭ. If A and M are infinite, definable, abelian groups such that A acts definably and faithfully on M as a group of automorphisms, M is A-minimal and U^t(M) is finite, then there is an infinite field interpretable in ℭ. If G is an infinite, solvable but non nilpotent-by-finite, definable group of finite U^t-rank and T has NIP, then there is an infinite field interpretable in 〈G, ·〉.     

Residual behavior of induced maps

Consider (X,F, μ,T) a Lebesgue probability space and measure preserving invertible map. We call this a dynamical system. For a subsetA ∈F. byT _A:A →A we mean the induced map,T _A(x)=T^rA(x)(x) wherer _A(x)=min{i〉0:T ⁱ(x) ∈A}. Such induced maps can be topologized by the natural metricD(A, A’) = μ(AΔA’) onF mod sets of measure zero. We discuss here ergodic properties ofT _A which are residual in this metric. The first theorem is due to Conze.Theorem 1 (Conze):For T ergodic, T _A is weakly mixing for a residual set of A.Theorem 2:For T ergodic, 0-entropy and loosely Bernoulli, T _A is rank-1, and rigid for a residual set of A.Theorem 3:For T ergodic, positive entropy and loosely Bernoulli, T _A is Bernoulli for a residual set of A.Theorem 4:For T ergodic of positive entropy, T _A is a K-automorphism for a residual set of A. A strengthening of Theorem 1 asserts thatA can be chosen to lie inside a given factor algebra ofT. We also discuss even Kakutani equivalence analogues of Theorems 1–4.     

Identities with involution for the matrix algebra of order two in characteristic<Emphasis Type="Italic">p</Emphasis>

LetM ₂ (K) be the matrix algebra of order two over an infinite fieldK of characteristicp≠2. IfK is algebraically closed then, up to isomorphism, there are two involutions of first kind onM ₂ (K), namely the transpose and the symplectic. IfK is not algebraically closed, studying *-identities it is still sufficient to consider only these two involutions. We describe bases of the polynomial identities with involution in each of these cases. Supported by PhD grant from CNPq. Partially supported by CNPq and by CAPES.     

Weierstrass multiple points on algebraic curves and ramified coverings

Here we prove the following result on Weierstrass multiple points. Theorem:Fix integers k, g with k≥5 and g>4k. Then there exist a genus g, Riemann surface X and k points P ₁, …,P _k of X such that for all integers b ₁≥…≥b _k ≥0we have: