Finitely presented algebras and groups defined by permutation relations

The class of finitely presented algebras over a field K with a set of generators a₁,…,a_n and defined by homogeneous relations of the form a₁a₂?a_n=a_σ(1)a_σ(2)?a_σ(n), where σ runs through a subset H of the symmetric group Sym_n of degree n, is introduced. The emphasis is on the case of a cyclic subgroup H of Sym_n of order n. A normal form of elements of the algebra is obtained. It is shown that the underlying monoid, defined by the same (monoid) presentation, has a group of fractions and this group is described. Properties of the algebra are derived. In particular, it follows that the algebra is a semiprimitive domain. Problems concerning the groups and algebras defined by arbitrary subgroups H of Sym_n are proposed.     

Linear algebraic groups and countable Borel equivalence relations

If is an equivalence relation on a standard Borel space , then we say that is Borel reducible to if there is a Borel function such that . An equivalence relation on a standard Borel space is Borel if its graph is a Borel subset of . It is countable if each of its equivalence classes is countable. We investigate the complexity of Borel reducibility of countable Borel equivalence relations on standard Borel spaces. We show that it is at least as complex as the relation of inclusion on the collection of Borel subsets of the real line. We also show that Borel reducibility is -complete. The proofs make use of the ergodic theory of linear algebraic groups, and more particularly the superrigidity theory of R. Zimmer.

     

Numerical equivalence defined on Chow groups of Noetherian local rings

In the present paper, we define a notion of numerical equivalence on Chow groups or Grothendieck groups of Noetherian local rings, which is an analogue of that on smooth projective varieties. Under a mild condition, it is proved that the Chow group modulo numerical equivalence is a finite dimensional -vector space, as in the case of smooth projective varieties. Numerical equivalence on local rings is deeply related to that on smooth projective varieties. For example, if Grothendiecks standard conjectures are true, then a vanishing of Chow group (of local rings) modulo numerical equivalence can be proven. Using the theory of numerical equivalence, the notion of numerically Roberts rings is defined. It is proved that a Cohen–Macaulay local ring of positive characteristic is a numerically Roberts ring if and only if the Hilbert–Kunz multiplicity of a maximal primary ideal of finite projective dimension is always equal to its colength. Numerically Roberts rings satisfy the vanishing property of intersection multiplicities. We shall prove another special case of the vanishing of intersection multiplicities using a vanishing of localized Chern characters.     

Orbit equivalence,flow equivalence and ordered cohomology

We study self-homeomorphisms of zero dimensional metrizable compact Hausdorff spaces by means of the ordered first cohomology group, particularly in the light of the recent work of Giordano Putnam, and Skau on minimal homeomorphisms. We show that flow equivalence of systems is analogous to Morita equivalence between algebras, and this is reflected in the ordered cohomology group. We show that the ordered cohomology group is a complete invariant for flow equivalence between irreducible shifts of finite type; it follows that orbit equivalence implies flow equivalence for this class of systems. The cohomology group is the (pre-ordered) Grothendieck group of the C^*-algebra crossed product, and we can decide when the pre-ordering is an ordering, in terms of dynamical properties.     

Collapsing permutation groups

It is shown in [3] that any nonregular quasiprimitive permutation group is collapsing. In this paper we describe a wider class of collapsing permutation groups. Received June 6, 2000; accepted in final form August 11, 2000.     

TheL-sharp permutation groups

An answer is given to a problem proposed by Bannai and Ito for {I, I + s, I + s + t}-sharp permutation group, and the result is used to determineL-sharp groups for L={I, I + 1, I + 3} and {I, I + 2, I + 3}.     

Binary central relations and submaximal clones determined by nontrivial equivalence relations

Let k ≥ 3, θ a nontrivial equivalence relation on E _k = {0, . . . ,k – 1}, and ρ a binary central relation on E _k (a reflexive graph with a vertex having E _k as its neighborhood). It is known that the clones Pol θ and Pol ρ (of operations on E _k preserving θ and ρ, respectively) are maximal clones; i.e., covered by the largest clone in the inclusion-ordered lattice of clones on E _k . In this paper, we give the classification of all binary central relations ρ on E _k such that the clone Pol θ ∩ Pol ρ is maximal in Pol θ.     

Sofic equivalence relations

We introduce the notion of sofic measurable equivalence relations. Using them we prove that Connes' Embedding Conjecture as well as the Measurable Determinant Conjecture of Lück, Sauer and Wegner hold for treeable equivalence relations.     

Local equivalence relations

In this paper, we investigate the concept of local equivalence relation, a notion suggested by Grothendieck. A local equivalence relation on a topological space X is a global section of the sheaf of germs of equivalence relations on X. We investigate the extent to which a local equivalence relation can be described by a global one and analogously when can a global equivalence relation be recovered from its associated local one. We also look at the notion of a fiber map, which sheds further light on these concepts. A motivating example is that of a foliation on a manifold.