JSJ-splittings for finitely presented groups over slender groups

We generalize the JSJ-splitting of Rips and Sela to give decompositions of finitely presented groups which capture splittings over certain classes of small subgroups. Such classes include the class of all 2-ended groups and the class of all virtually Z⊕Z groups. The approach, called “track zipping”, is relatively elementary, and differs from the Rips-Sela approach in that it does not rely on the theory of R-trees but rather on an understanding of certain embedded 1-complexes (called patterns) in a presentation 2-complex for the ambient group. Oblatum 18-IV-1997 & 30-I-1998 / Published online: 18 September 1998     

r-entropy,equipartition, and Ornstein’s isomorphism theorem inR n

A new approach is given to the entropy of a probability-preserving group action (in the context ofZ and ofR _n ), by defining an approximate “r-entropy”, 0<r<1, and lettingr → 0. If the usual entropy may be described as the growth rate of the number of essential names, then ther-entropy is the growth rate of the number of essential “groups of names” of width≦r, in an appropriate sense. The approach is especially useful for actions of continuous groups. We apply these techniques to state and prove a “second order” equipartition theorem forZ _m ×R _n and to give a “natural” proof of Ornstein’s isomorphism theorem for Bernoulli actions ofZ _m ×R _n , as well as a characterization of such actions which seems to be the appropriate generalization of “finitely determined”.     

Variations on polynomial subgroup growth

A groupG hasweak polynomial subgroup growth (wPSG) of degree ≤α if each finite quotient Ḡ ofG contains at most │Ḡ│ ^a subgroups. The main result is that wPSG of degree α implies polynomial subgroup growth (PSG) of degree at mostf(α). It follows that wPSG is equivalent to PSG. A corollary is that if, in a profinite groupG, thek-generator subgroups have positive “density” δ, thenG is finitely generated (the number of generators being bounded by a function ofk and δ).     

Geometric Models for Quasicrystals I. Delone Sets of Finite Type

This paper studies three classes of discrete sets X in ⁿ which have a weak translational order imposed by increasingly strong restrictions on their sets of interpoint vectors X-X . A finitely generated Delone set is one such that the abelian group [X-X] generated by X-X is finitely generated, so that [X-X] is a lattice or a quasilattice. For such sets the abelian group [X] is finitely generated, and by choosing a basis of [X] one obtains a homomorphism . A Delone set of finite type is a Delone set X such that X-X is a discrete closed set. A Meyer set is a Delone set X such that X-X is a Delone set. Delone sets of finite type form a natural class for modeling quasicrystalline structures, because the property of being a Delone set of finite type is determined by ``local rules.' That is, a Delone set X is of finite type if and only if it has a finite number of neighborhoods of radius 2R , up to translation, where R is the relative denseness constant of X . Delone sets of finite type are also characterized as those finitely generated Delone sets such that the map ϕ satisfies the Lipschitz-type condition ||ϕ (x) - ϕ (x')|| < C ||x - x'|| for x, x' ∈X , where the norms || . . . || are Euclidean norms on ^s and ⁿ , respectively. Meyer sets are characterized as the subclass of Delone sets of finite type for which there is a linear map and a constant C such that ||ϕ (x) - (x)|| for all x∈X . Suppose that X is a Delone set with an inflation symmetry, which is a real number η > 1 such that . If X is a finitely generated Delone set, then η must be an algebraic integer; if X is a Delone set of finite type, then in addition all algebraic conjugates | η ' | η; and if X is a Meyer set, then all algebraic conjugates | η ' | 1. Received May 9, 1997, and in revised form March 5, 1998.     

Extension dans un cadre algébrique d'une formule de Weil

Let R be a commutative A-algebra, and f=(f ₁,…,f _n ) a quasi-regular sequence such that P=R/(f) is finitely generated and projective over A. In the algebraic residue formalism due to J. Lipman, we propose the analog of an analytic Weil's formula. As applications, we first give some criterions for homomorphism from A[z] to A[z] to be finite when A is a n\oe therian ring, and then an algebraic proof of the usual analytic Weil's formula. Received: 27 April 1998     

Universally equivalent solvable groups

Every group that is finitely presented in the varietyA ⁿ of solvable groups. and is universally equivalent to a free group F_r(A ⁿ) in this variety, is embedded in the Cartesian degree of F₂(A ⁿ). All subgroups on a set of two generators in that Cartesian degree which are universally equivalent to F₂(A ⁿ) are determined. Free solvable and nilpotent groups are proved universally equivalent. Supported by RFFR grant No. 99-01-00567, and through the RP “Universities of Russia. Fundamental Research.” Translated fromAlgebra i Logika, Vol. 39, No. 2, pp. 227–240, March–April, 2000.     

Construction of Octonionic Polynomials

In a previous paper “[On Octonionic Polynomials”, Advances in Applied Clifford Algebras, 17 (2), (2007), 245–258] we discussed generalizations of results on quaternionic polynomials to the octonionic polynomials. In this paper, we continue this generalization searching for methods to construct octonionic polynomials with a prescribed set of zeros.     

On（N,U）-Coherence of Modules and Rings

Let U be a flat right R-module and N an infinite cardinal number.A left R-module M is said to be (N,U)-coherent if every finitely generated submodule of every finitely generated M-projective module in σ[M] is (N,U)-finitely presented in σ[M].It is proved under some additional conditions that a left R-module M is (N,U)-coherent if and only if Л^Ni∈I U is M-flat as a right R-module if and only if the (N,U)-coherent dimension of M is equal to zero.We also give some characterizations of left (N,U)-coherent dimension of rings and show that the left N-coherent dimension of a ring R is the supremum of (N,U)-coherent dimensions of R for all flat right R-modules U.     

On embedding of finitely generated profinite semigroups into 2-generated profinite semigroups

Koryakov recently asked the following question: when a pseudovariety V does not satisfy any non-trivial identity, does there exist an embedding from any finitely generated V-free profinite semigroup into the 2-generated V-free profinite semigroup? During the conference “Semigroups, Automata and Languages” in Porto (June 1994 [2]), a positive answer to this question was conjectured. We give here a counterexample to this conjecture. Received December 15, 1994; accepted in final form June 5, 1997.     

Morse theory and finiteness properties of groups

. We examine the finiteness properties of certain subgroups of “right angled” Artin groups. In particular, we find an example of a group that is of type FP(Z) but is not finitely presented. Oblatum X-1995 & 7-X-1996     

The <Emphasis Type="Italic">R</Emphasis>-observability and <Emphasis Type="Italic">R</Emphasis>-controllability of linear differential-algebraic systems

We study the R-controllability (the controllability within the attainability set) and the R-observability of time-varying linear differential-algebraic equations (DAE). We analyze DAE under assumptions guaranteeing the existence of a structural form (which is called “equivalent”) with separated “differential” and “algebraic” subsystems. We prove that the existence of this form guarantees the solvability of the corresponding conjugate system, and construct the corresponding “equivalent form” for the conjugate DAE. We obtain conditions for the R-controllability and R-observability, in particular, in terms of controllability and observability matrices. We prove theorems that establish certain connections between these properties.     

Markov property of point processes

Summary A point process on R ₊ can be represented by the associated counting process (ξ _t ;t∈ R ₊) or by the associated sequence of jump times (τ _n ;n∈ Z ₊) and in accordance may possess two types of Markov property. The present paper first clarifies their mutual dependence, leading in particular to the notion of “weak multiplicativity” for the joint distribution of two consecutive jump times. Then, by means of results from a previous paper, a uniquely determined “Markov variant” is assigned to without changing the one-dimensional marginals. This provides in particular a new characterization of the Poisson process by these marginals and the adequate Markov property. Further applications concern the explicit construction of the compensator and certain transition probabilities of .     

A Finitary Version of Gromov’s Polynomial Growth Theorem

We show that for some absolute (explicit) constant C, the following holds for every finitely generated group G, and all d > 0: If there is some R ₀ > exp(exp(Cd ^C )) for which the number of elements in a ball of radius R ₀ in a Cayley graph of G is bounded by R₀^d{R_0^d} , then G has a finite-index subgroup which is nilpotent (of step < C ^d ). An effective bound on the finite index is provided if “nilpotent” is replaced by “polycyclic”, thus yielding a non-trivial result for finite groups as well.     

On the spectral gap for infinite index “congruence” subgroups of SL2(Z)

A celebrated theorem of Selberg states that for congruence subgroups of SL₂(Z) there are no exceptional eigenvalues below 3/16. Extending the work of Sarnak and Xue for cocompact arithmetic lattices, we prove a generalization of Selberg’s theorem for infinite index “congruence” subgroups of SL₂(Z). For such subgroups with a high enough Hausdorff dimension of the limit set we establish a spectral gap property and consequently solve a problem of Lubotzky pertaining to expander graphs. The author was supported in part by the NSF graduate fellowship.     

The Bernstein problem for affine maximal hypersurfaces

In this paper, we prove the validity of the Chern conjecture in affine geometry [18], namely that an affine maximal graph of a smooth, locally uniformly convex function on two dimensional Euclidean space, R ², must be a paraboloid. More generally, we shall consider the n-dimensional case, R ⁿ , showing that the corresponding result holds in higher dimensions provided that a uniform, “strict convexity” condition holds. We also extend the notion of “affine maximal” to non-smooth convex graphs and produce a counterexample showing that the Bernstein result does not hold in this generality for dimension n≥10. Oblatum 16-IV-1999 & 4-XI-1999?Published online: 21 February 2000     

Module valuations and representation theory of orders I: Algebraic aspects

ABSTRACT

In this article, we study finitely generated reflexive modules over coherent GCD-domains and finitely generated projective modules over polynomial rings. In particular, we give a sufficient condition for a finitely generated reflexive module over a coherent GCD-domain to be a free module. By use of this result, we prove that every finitely generated projective R + [X]-module can be extended from R if R is a commutative ring with gl.dim(R) ≤ 2.     

Weak type (1,1) estimates for some integral operators related to rough maximal functions

We study the problem of determining for which integrable functionsG:R → (0, ∞) the operatorf → 1/yG(y.) *f(x), which maps functions on the real line into functions defined on the upper half-planeR ₊ ² , is of weak type (1,1). Here,R ₊ ² is endowed with the measurey dx dy. The conditions we will impose are related to the distribution of the mass ofG. One of the motivations for this study comes from the problem of deciding whether there is a weak type (1,1) inequality for the “rough” modification of the standard maximal function, obtained by inserting in the mean values a factor Ω which depends only on the angle. Here, Ω≥0 is any integrable function on the sphere. Our estimates for the first-mentioned problem allow us to answer in the affirmative, the second one in dimension two, when we restrict the operator to radial functions. Some extensions to higher dimensions in the context of both problems are also discussed. Both authors were partially supported by DGICYT PB90/187.     

Self-duality equation: Monodromy matrices and algebraic curves

It is shown that the general local solution of the self-duality equation with SU(1,1) and SU(2) gauge groups is associated with some algebraic curve with moving branch points if the related “monodromy matrix” is rational. The “multisoliton” solutions including monopoles and instantons, correspond to degenerate curves when the branch cuts collapse to double points. Bibliography:18 titles. Dedicated to L. D. Faddeev on the occasion of his 60th birthday Published inZapiski Nauchnykh Seminarov POMI, Vol. 215, 1994, pp. 197–216. Translated by D. A. Korotkin.     

The distribution of prime divisors in finitely generated domains

In this paper we show that each divisor class of a finitely generated k-algebra R (k a field) contains a prime divisor if k is Hilbertian or if dim R≥ 2. On the way we also obtain partial results for domains finitely generated over an one-dimensional noetherian domain. Received: 27 June 1998     

Model-theoretic Imaginaries and Coherent Sheaves

We show the equivalence of categories of model-theoretic imaginaries (of various kinds) with categories of “small” (finitely generated, finitely presented, coherent) functors. We do this first for certain locally finitely presented categories and then, by localising, for much more general “definable categories” (categories of models of coherent theories). We also investigate the corresponding notion of interpretation.