Source author record

Ya'acov Peterzil

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GR math.NT

Catalog footprint

Research overview

7works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

An o-minimalist view of the group configuration

The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's original argument. Several equivalent versions, which are more suitable to the o-minimal setting, are formulated, in functional language and also in terms of a certain $4$ -ary relation. In addition, the following question is considered: Can every definably connected type-definable group be definably embedded into a definable group of the same dimension? Two simple cases with a positive answer are given.

preprint2016arXiv

A note on o-minimal flows and the Ax--Lindemann--Weierstrass theorem for abelian varieties over $\mathbb{C}$

In this short note we present an elementary proof of the Ax-Lindemann-Weierstrass theorem for abelian and semi-abelian varieties. The proof uses ideas of Pila, Ullmo, Yafaev, Zannier and is based on basic properties of sets definable in o-minimal structures. It does not use the Pila-Wilkie counting theorem.

preprint2015arXiv

Topological groups, μ-types and their stabilizers

We consider an arbitrary topological group $G$ definable in a structure $\mathcal M$ , such that some basis for the topology of $G$ consists of sets definable in $\mathcal M$ . To each such group $G$ we associate a compact $G$ -space of partial types $S^μ_G(M)=\{p_μ:p\in S_G(M)\}$ which is the quotient of the usual type space $S_G(M)$ by the relation of two types being "infinitesimally close to each other". In the o-minimal setting, if $p$ is a definable type then it has a corresponding definable subgroup $Stab_μ(p)$ , which is the stabilizer of $p_μ$ . This group is nontrivial when $p$ is unbounded in the sense of $\mathcal M$ ; in fact it is a torsion-free solvable group. Along the way, we analyze the general construction of $S^μ_G(M)$ and its connection to the Samuel compactification of topological groups.

preprint2012arXiv

Definable groups as homomorphic images of semilinear and field-definable groups

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their locally definable covers. As a corollary, we prove the Compact Domination Conjecture in o-minimal expansions of ordered groups.

preprint2012arXiv

Definable quotients of locally definable groups

We study locally definable abelian groups $\CU$ in various settings and examine conditions under which the quotient of $\CU$ by a discrete subgroup might be definable. This turns out to be related to the existence of the type-definable subgroup $\CU^{00}$ and to the divisibility of $\CU$.

preprint2011arXiv

Interpretable groups are definable

We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or one-dimensional definable groups). We discuss the general open question of elimination of imaginaries in an o-minimal structure.

preprint2010arXiv

Group covers, o-minimality, and categoricity

We study the model theory of covers of groups definable in o-minimal structures. This includes the case of covers of compact real Lie groups. In particular we study categoricity questions, pointing out some notable differences with the case of covers of complex algebraic groups studied by Zilber and his students. We also discuss from a model-theoretic point of view the following question, related to "Milnor's conjecture": is a finite central extension (as an abstract group) of a compact Lie group also a topological extension?

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ya'acov Peterzil

Research overview

Is this your work?

7 publications

An o-minimalist view of the group configuration

A note on o-minimal flows and the Ax--Lindemann--Weierstrass theorem for abelian varieties over $\mathbb{C}$

Topological groups, μ-types and their stabilizers

Definable groups as homomorphic images of semilinear and field-definable groups

Definable quotients of locally definable groups

Interpretable groups are definable

Group covers, o-minimality, and categoricity

See the researcher in context

Building this map preview

Ya&#39;acov Peterzil

Research overview

Is this your work?

7 publications

An o-minimalist view of the group configuration

A note on o-minimal flows and the Ax--Lindemann--Weierstrass theorem for abelian varieties over C\mathbb{C}C

Topological groups, μ-types and their stabilizers

Definable groups as homomorphic images of semilinear and field-definable groups

Definable quotients of locally definable groups

Interpretable groups are definable

Group covers, o-minimality, and categoricity

See the researcher in context

Building this map preview

Ya'acov Peterzil

A note on o-minimal flows and the Ax--Lindemann--Weierstrass theorem for abelian varieties over $\mathbb{C}$