Showing 51–55 of 55 results for author: Hrushovski, E

The Elementary Theory of the Frobenius Automorphisms

Authors: Ehud Hrushovski

Abstract: A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted in Frobenius difference fields with $p$ or $m$ tending to infinity. In particular, a decision procedure is found to determine when a sentence is true in almost e… ▽ More A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted in Frobenius difference fields with $p$ or $m$ tending to infinity. In particular, a decision procedure is found to determine when a sentence is true in almost every Frobenius difference field. This generalizes Cebotarev's density theorem and Weil's Riemann hypothesis for curves (both in qualitative versions), but hinges on a result going slightly beyond the latter. The setting for the proof is the geometry of difference varieties of transformal dimension zero; these generalize algebraic varieties, and are shown to have a rich structure, only partly explicated here. Some applications are given, in particular to finite simple groups, and to the Jacobi bound for difference equations. △ Less

Submitted 6 March, 2022; v1 submitted 25 June, 2004; originally announced June 2004.

Comments: v2 - local improvements based on comments of many people, especially during the CIRM workshop in Luminy in March 2013

MSC Class: 03C60; 12H10

Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem

Authors: Ehud Hrushovski, Itamar Pitowsky

Abstract: Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on whi… ▽ More Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated. △ Less

Submitted 19 July, 2003; originally announced July 2003.

Comments: 14 pages, 6 figures, read at the Robert Clifton memorial conference

The uncountable spectra of countable theories

Authors: Bradd Hart, Ehud Hrushovski, Michael C. Laskowski

Abstract: Let T be a complete, first-order theory in a finite or countable language having infinite models. Let I(T,kappa) be the number of isomorphism types of models of T of cardinality κかっぱ. We denote by μみゅー(respectively \hatμみゅー) the number of cardinals (respectively infinite cardinals) less than or equal to κかっぱ. We prove that I(T,κかっぱ), as a function of κかっぱ> \aleph_0, is the minimum of 2^κかっぱ and one of the following… ▽ More Let T be a complete, first-order theory in a finite or countable language having infinite models. Let I(T,kappa) be the number of isomorphism types of models of T of cardinality κかっぱ. We denote by μみゅー(respectively \hatμみゅー) the number of cardinals (respectively infinite cardinals) less than or equal to κかっぱ. We prove that I(T,κかっぱ), as a function of κかっぱ> \aleph_0, is the minimum of 2^κかっぱ and one of the following functions: 1. 2^κかっぱ; 2. the constant function 1; 3. |\hatμみゅー^n/{\sim_G}|-|(\hatμみゅー- 1)^n/{\sim_G}| if \hatμみゅー<ωおめがfor some 1<n<ωおめがand \hatμみゅーif \hatμみゅー>= ωおめがsome group G <= Sym(n); 4. the constant function \beth_2; 5. \beth_{d+1}(μみゅー) for some infinite, countable ordinal d; 6. \sum_{i=1}^d Γがんま(i) where d is an integer greater than 0 (the depth of T) and Γがんま(i) is either \beth_{d-i-1}(μみゅー^{\hatμみゅー}) or \beth_{d-i}(μみゅー^{σしぐま(i)} + αあるふぁ(i)), where σしぐま(i) is either 1, \aleph_0 or \beth_1, and αあるふぁ(i) is 0 or \beth_2; the first possibility for Γがんま(i) can occur only when d-i > 0. △ Less

Submitted 30 June, 2000; originally announced July 2000.

Comments: 51 pages, published version, abstract added in migration

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 152 (2000), no. 1, 207-257

Lascar and Morley ranks differ in differentially closed fields

Authors: Ehud Hrushovski, Thomas Scanlon

Abstract: We note here, in answer to a question of Poizat, that the Morley and Lascar ranks need not coincide in differentially closed fields. We approach this through the (perhaps) more fundamental issue of the variation of Morley rank in families. We note here, in answer to a question of Poizat, that the Morley and Lascar ranks need not coincide in differentially closed fields. We approach this through the (perhaps) more fundamental issue of the variation of Morley rank in families. △ Less

Submitted 30 September, 1998; originally announced September 1998.

Report number: MSRI 1998-038

Zariski Geometries

Authors: Ehud Hrushovski, Boris Zilber

Abstract: We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets. We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets. △ Less

Submitted 31 March, 1993; originally announced April 1993.

Comments: 9 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 28 (1993) 315-323