arXiv subjects

Anand Pillay

Publications and source records attributed to Anand Pillay.

At least 91 records · Page 5Linked to original sources

arXiv2014

External definability and groups in NIP theories

We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G^{00}, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, M^{ext}, of a model M. In the light of these results we continue the study of the "definable topological dynamics" of groups in NIP theories. In particular we prove the Ellis group conjecture relating the Ellis group to G/G^{00} in some new cases, including definably amenable groups in o-minimal structures.

math.LO↗

arXiv2013

Some model theory of fibrations and algebraic reductions

Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic over (A,c) then \tp(c/A) is almost internal to P. The characterisation involves among other things an apparently new notion of ``descent" for stationary types. Motivation comes partly from results in Section~2 of [Campana, Oguiso, and Peternell. Non-algebraic hyperkähler manifolds. Journal of Differential Geometry, 85(3):397--424, 2010] where structural properties of generalised hyperkähler manifolds are given. The model-theoretic results obtained here are applied back to the complex analytic setting to prove that the algebraic reduction of a nonalgebraic (generalised) hyperkähler manifold does not descend. The results are also applied to the theory of differentially closed fields, where examples coming from differential algebraic groups are given.

math.LO↗

arXiv2013

Remarks on Tao's algebraic regularity lemma

We give a stability theoretic proof of the algebraic regularity lemma of Tao, making use of a lemma of Hrushovski. We also point out that the underlying results hold at the level of measurable theories and structures in the sense of Elwes, Macpherson and Steinhorn.

math.NT↗

arXiv2013

Relative Manin-Mumford for semi-abelian surfaces

We show that Ribet sections are the only obstruction to the validity of the relative Manin-Mumford conjecture for one dimensional families of semi-abelian surfaces. Applications include special cases of the Zilber-Pink conjecture for curves in a mixed Shimura variety of dimension four, as well as the study of polynomial Pell equations with non-separable discriminants.

math.NT↗

arXiv2013

On groups and fields interpretable in torsion-free hyperbolic groups

We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.

math.LO↗

arXiv2012

On compactifications and the topological dynamics of definable groups

We discuss definable compactifications and topological dynamics. For G a group definable in some structure M, we define notions of "definable" compactification of G and "definable" action of G on a compact space X (definable G-flow), where the latter is under a definability of types assumption on M. We describe the universal definable compactification of G as G*/G*00_M and the universal definable G-ambit as the type space S_{G}(M). We also prove existence and uniqueness of "universal minimal definable G-flows", and discuss issues of amenability and extreme amenability in this definable category, with a characterization of the latter. For the sake of completeness we also describe the universal (Bohr) compactification and universal G-ambit in model-theoretic terms, when G is a topological group (although it is essentially well-known).

math.LO↗

arXiv2012

Generic stability and stability

We prove two results about generically stable types $p$ in arbitrary theories. The first, on existence of strong germs, generalizes results from D. Haskell, E. Hrushovski and D. Macpherson on stably dominated types. The second is an equivalence of forking and dividing, assuming generic stability of $p^{(m)}$ for all $m$. We use the latter result to answer in full generality a question posed by Hasson and Onshuus: If $p(x)\in S(B)$ is stable and does not fork over $A$ then $p\restriction A$ is stable. (They had solved some special cases.)

math.LO↗

arXiv2012

On the algebraic independence of generic Painleve transcendents

We prove that if y" = f(y,y',t) is a generic Painleve equation from among the classes II to V then any collection of distinct solutions and their derivatives are algebraically independent over C(t). (Already proved by Nishioka for the single Painleve I equation). For generic Painleve VI we prove a slightly weaker statement.

math.AG↗

arXiv2012

Some model theory of SL(2,R)

We study the action of G = SL(2,R) on its type space S_G(R) where R denotes the field of real numbers. We identify a minimal closed G-flow I, and an idempotent r of I (with the respect to the Ellis semigroup structure * on I). We show that the group (r*I,*) has 2 elements, yielding a negative answer to a question of Newelski.

math.LO↗

arXiv2012

On the canonical base property

We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups are "rigid" then the theory has the CBP (in a strong sense).

math.LO↗

arXiv2012

Borel equivalence relations and Lascar strong types

The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related spaces such as the Lascar group, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples as well as some new examples. The third is to explore notions of definable map, embedding and isomorphism between these and related quotient objects. The motivation for writing this paper is the recent discovery, via definable groups, of new examples of non G-compact first order theories.

math.LO↗

arXiv2012

Topological dynamics and definable groups

Following the works of Newelski we continue the study of the relations between abstract topological dynamics and generalized stable group theory. We show that the Ellis theory, applied to the action of G(M) on its type space, for G an fsg group in a NIP theory, and M any model, yields the quotient G/G^00.

math.LO↗

arXiv2011

On algebraic relations between solutions of a generic Painleve equation

We prove that if y" = f(y,y',t,α, β,..) is a generic Painleve equation (i.e. an equation in one of the families PI-PVI but with the complex parameters α, β,.. algebraically independent) then any algebraic dependence over C(t) between a set of solutions and their derivatives (y_1,..,y_n,y_1',..,y_n') is witnessed by a pair of solutions and their derivatives (y_i,y_i',y_j,y_j'). The proof combines work by the Japanese school on "irreducibility" of the Painleve equations, with the trichomoty theorem for strongly minimal sets in differentially closed fields.

math.AG↗

arXiv2011

On Levi subgroups and the Levi decomposition for groups definable in o-minimal structures

We study analogues of the notions from Lie theory of Levi subgroup and Levi decomposition, in the case of groups G definable in an o-minimal expansion of a real closed field. With suitable definitions, we prove that G has a unique maximal ind-definable semisimple subgroup S, up to conjugacy, and that G = RS where R is the solvable radical of G. We also prove that any semisimple subalgebra of the Lie algebra of G corresponds to a unique ind-definable semisimple subgroup of G.

math.LO↗

arXiv2011

Connected components of definable groups, and o-minimality II

We study the connected components G^00, G^000 and their quotients for a group G definable in a saturated o-minimal expansion of a real closed field. We show that G^00/G^000 is naturally the quotient of a connected compact commutative Lie group by a dense finitely generated subgroup. We also highlight the role of universal covers of semisimple Lie groups.

math.LO↗

arXiv2011

Affine Nash groups over real closed fields

We prove that a semialgebraically connected affine Nash group over a real closed field R is Nash isogenous to the semialgebraically connected component of the group H(R) of R-points of some algebraic group H defined over R. In the case when R is the field of real numbers this result was claimed in the paper "Groups definable in local fields and pseudofinite fields", Israel J. Math. 85 (1994) by the same two authors, but a mistake in the proof was recently found, and the new proof we obtained has the advantage of being valid over an arbitrary real closed field. We also extend the result to not necessarily connected affine Nash groups over arbitrary real closed fields.

math.AG↗

arXiv2011

A note on generically stable measures and fsg groups

We prove that if μis a generically stable stable measure in a first order theory with NIP and mu(ϕ(x,b)) = 0 for all b, then μ^{(n)}(\exists y(ϕ(x_1,y)\wedge ... \wedge ϕ(x_n,y))) = 0. We deduce that if G is an fsg grooup then a definable subset X of G is generic just if every translate of X does not fork over \emptyset.

math.LO↗

arXiv2011

Connected components of definable groups and o-minimality I

We give examples of groups G such that G^00 is different from G^000. We also prove that for groups G definable in an o-minimal structure, G has a "bounded orbit" iff G is definably amenable. These results answer questions of Gismatullin, Newelski, Petrykovski. The examples also give new non G-compact first order theories.

math.LO↗