Let (Xn,dn) be a sequence of finite metric spaces of uniformlybounded diameter. An equivalence relation D on the product defined by if and only if is a c0-equality.A systematic study is made of c0-equalities and Borel reductionsbetween them. Necessary and sufficient conditions, expressedin terms of combinatorial properties of metrics dn, are obtainedfor a c0-equality to be effectively reducible to the isomorphismrelation of countable structures. It is proved that every Borelequivalence relation E reducible to a c0-equality D either reducesa c0-equality D' additively reducible to D, or is Borel-reducibleto the equality relation on countable sets of reals. An appropriatelydefined sequence of metrics provides a c0-equality which isa turbulent orbit equivalence relation with no minimum turbulentequivalence relation reducible to it. This answers a questionof Hjorth. It is also shown that, whenever E is an F-equivalencerelation and D is a c0-equality, every Borel equivalence relationreducible to both D and to E has to be essentially countable.2000 Mathematics Subject Classification: 03E15. 相似文献
Nous montrons que pour toute sous-variété algébrique d'un tore multiplicatif (non contenue dans un sous-groupe algébrique propre), on peut choisir un ensemble Zariski dense de points algébriques de hauteur contrôlée, dont toutes les coordonnées sont multiplicativement indépendantes. Cet énoncé précise et généralise un théorème de S. Zhang qui lie la hauteur projective d'une varété au minimum essentiel de la hauteur des points algébriques de celle-ci. En tenant compte d'un résultat précédent des auteurs sur le problème de Lehmer généralisé à un tore, nous en déduisons une minoration pour la hauteur normalisée d'une sous-variété d'un tore. Cette dernière est optimale à un «-prés» en le degré géométrique de la variété étudiée (confer une conjecture du second auteur avec P. Philippon).In this article, we prove that on any subvariety of a multiplicative torus which is not contained in a proper algebraic subgroup, one can find a Zariski dense set of algebraic points of small height whose coordinates are multiplicatively independent. This statement generalizes an earlier result of S. Zhang which links the projective height of a variety with the essential minimum of its algebraic points. Taking into account an earlier result of the authors on the Lehmer problem generalized to a multiplicative torus, one deduces a lower bound for the normalized height of subvarieties of multiplicative groups. This lower bound is optimal up to an in the geometric degree of the variety studied (confer a conjecture by the second author and P. Philippon). 相似文献
We propose an algorithm to construct recurrence relations for the coefficients of the Fourier series expansions with respect
to the q-classical orthogonal polynomials pk(x;q). Examples dealing with inversion problems, connection between any two sequences of q-classical polynomials, linearization
of ϑm(x) pn(x;q), where ϑm(x) is xmor (x;q)m, and the expansion of the Hahn-Exton q-Bessel function in the little q-Jacobi polynomials are discussed in detail.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献
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.
The mod 2 Steenrod algebra and Dyer-Lashof algebra have both striking similarities and differences arising from their common origins in ``lower-indexed' algebraic operations. These algebraic operations and their relations generate a bigraded bialgebra , whose module actions are equivalent to, but quite different from, those of and . The exact relationships emerge as ``sheared algebra bijections', which also illuminate the role of the cohomology of . As a bialgebra, has a particularly attractive and potentially useful structure, providing a bridge between those of and , and suggesting possible applications to the Miller spectral sequence and the structure of Dickson algebras.
The
-algebras A{qi}, generated by generalised quon commutation relations are considered. The nuclearity of these algebras is proved. It is shown that A{qi}, is isomorphic to the extension of a higher-dimensional noncommutative torus. Irreducible representations of A{qi}, are considered. It is shown that the Fock representation is faithful. 相似文献
Planewave propagation in a simply moving, dielectric-magnetic medium that is isotropic in the co-moving reference frame, is classified into three different categories: positive-, negative-, and orthogonal-phase-velocity (PPV, NPV, and OPV). Calculations from the perspective of an observer located in a non-co-moving reference frame show that, whether the nature of planewave propagation is PPV or NPV (or OPV in the case of non-dissipative mediums) depends strongly upon the magnitude and direction of that observer's velocity relative to the medium. PPV propagation is characterized by a positive real wavenumber, NPV propagation by a negative real wavenumber. OPV propagation only occurs for non-dissipative mediums, but weakly dissipative mediums can support nearly OPV propagation. 相似文献