Source author record

Alice Medvedev

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.NT math.AG math.DS math.AC math.HO math.RA

Catalog footprint

Research overview

7works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Skew-invariant curves and the algebraic independence of Mahler functions

For $p \in \mathbb{Q}_+ \smallsetminus \{ 1 \}$ a positive rational number different from one, we say that the Puisseux series $f \in \mathbb{C}((t))^\text{alg}$ is $p$ -Mahler of non-exceptional polynomial type if there is a polynomial $P \in \mathbb{C}(t)^\text{alg}[X]$ of degree at least two which is not conjugate to either a monomial or to plus or minus a Chebyshev polynomial for which the equation $f(t^p) = P(f(t))$ holds. We show that if $p$ and $q$ are multiplicatively independent and $f$ and $g$ are $p$ -Mahler and $q$ -Mahler, respectively, of non-exceptional polynomial type, then $f$ and $g$ are algebraically independent over $\mathbb{C}(t)$ . This theorem is proven as a consequence of a more general theorem that if $f$ is $p$ -Mahler of non-exceptional polynomial type, and $g_1, \ldots, g_n$ each satisfy some difference equation with respect to the substitution $t \mapsto t^q$ , then $f$ is algebraically independent from $g_1, \ldots, g_n$ . These theorems are themselves consequences of a refined classification of skew-invariant curves for split polynomial dynamical systems on $\mathbb{A}^2$ .

preprint2016arXiv

Multiplicative groups of fields and hereditarily irreducible polynomials

In this paper we explore the concept of {\em good heredity} for fields from a group theoretic perspective. Extending results from \cite{alice}, we show that several natural families of fields are of good heredity, and some others are not. We also construct several examples to show that various wishful thinking expectations are not true.

preprint2015arXiv

$\mathbb{Q}$ ACFA

We show that many nice properties of a theory $T$ follow from the corresponding properties of its reducts to finite subsignatures. If $\{ T_i \}_{i \in I}$ is a directed family of conservative expansions of first-order theories and each $T_i$ is stable (respectively, simple, rosy, dependent, submodel complete, model complete, companionable), then so is the union $T := \cup_i T_i$ . In most cases, (thorn)-forking in $T$ is equivalent to (thorn)-forking of algebraic closures in some $T_i$ . This applies to fields with an action by $(\mathbb{Q}, +)$ , whose reducts to finite subsignatures are interdefinable with the theory of fields with one automorphism. We show that the model companion $\mathbb{Q}$ ACFA of this theory is strictly simple and has the same level of quantifier elimination and the same algebraic characterization of algebraic closure and forking independence as ACFA. The lattice of the fixed fields of the named automorphisms breaks supersimplicity in $\mathbb{Q}$ ACFA, but away from these we find many (weakly) minimal formulas.

preprint2012arXiv

Invariant varieties for polynomial dynamical systems

We study algebraic dynamical systems (and, more generally, $σ$ -varieties) $Φ:{\mathbb A}^n_{\mathbb C} \to {\mathbb A}^n_{\mathbb C}$ given by coordinatewise univariate polynomials by refining a theorem of Ritt. More precisely, we find a nearly canonical way to write a polynomial as a composition of "clusters". Our main result is an explicit description of the (weakly) skew-invariant varieties. As a special case, we show that if $f(x) \in {\mathbb C}[x]$ is a polynomial of degree at least two which is not conjugate to a monomial, Chebyshev polynomial or a negative Chebyshev polynomial, and $X \subseteq {\mathbb A}^2_{\mathbb C}$ is an irreducible curve which is invariant under the action of $(x,y) \mapsto (f(x),f(y))$ and projects dominantly in both directions, then $X$ must be the graph of a polynomial which commutes with $f$ under composition. As consequences, we deduce a variant of a conjecture of Zhang on the existence of rational points with Zariski dense forward orbits and a strong form of the dynamical Manin-Mumford conjecture for liftings of the Frobenius. We also show that in models of ACFA $_0$ , a disintegrated set defined by $σ(x) = f(x)$ for a polynomial $f$ has Morley rank one and is usually strongly minimal, that model theoretic algebraic closure is a locally finite closure operator on the nonalgebraic points of this set unless the skew-conjugacy class of $f$ is defined over a fixed field of a power of $σ$ , and that nonorthogonality between two such sets is definable in families if the skew-conjugacy class of $f$ is defined over a fixed field of a power of $σ$ .

preprint2012arXiv

Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy

We conjecture that for a strongly minimal theory T in a finite signature satisfying the Zilber Trichotomy, there are only three possibilities for the recursive spectrum of T: all countable models of T are recursively presentable; none of them are recursively presentable; or only the zero-dimensional model of T is recursively presentable. We prove this conjecture for disintegrated (formerly, trivial) theories and for modular groups. The conjecture also holds via known results for fields. The conjecture remains open for finite covers of groups and fields.

preprint2010arXiv

An invitation to model-theoretic Galois theory

We carry out some of Galois's work in the setting of an arbitrary first-order theory T. We replace the ambient algebraically closed field by a large model M of T, replace fields by definably closed subsets of M, assume that T codes finite sets, and obtain the fundamental duality of Galois theory matching subgroups of the Galois group of L over F with intermediate extensions. This exposition of a special case of Poizat's "Une théorie de Galois imaginaire." (1983) has the advantage of requiring almost no background beyond familiarity with fields, polynomials, first-order formulae, and automorphisms.

preprint2010arXiv

Grouplike minimal sets in ACFA and in T_A

This paper began as a generalization of a part of the author's PhD thesis about ACFA and ended up with a characterization of groups definable in T_A. The thesis concerns minimal formulae in ACFA of the form "p lies on an algebraic curve A and s(x)=f(x)" for some dominant rational function f from A to s(A), where s is the automorphism. These are shown to be uniform in the Zilber trichotomy, and the pairs (A,f) that fall into each of the three cases are characterized. These characterizations are definable in families. This paper covers approximately half of the thesis, namely those parts of it which can be made purely model-theoretic by moving from ACFA, the model companion of the class of algebraically closed fields with an endomorphism, to T_A, the model companion of the class of models of an arbitrary totally-transcendental theory T with an injective endomorphism, if this model-companion exists. A T_A analog of the characterization of groups definable in ACFA is obtained in the process. The full characterization is obtained from these intermediate results with heavy use of algebraic geometry: see the thesis or the forthcoming paper "Around Lattes functions".

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.

Alice Medvedev

Research overview

Is this your work?

7 publications

Skew-invariant curves and the algebraic independence of Mahler functions

Multiplicative groups of fields and hereditarily irreducible polynomials

$\mathbb{Q}$ ACFA

Invariant varieties for polynomial dynamical systems

Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy

An invitation to model-theoretic Galois theory

Grouplike minimal sets in ACFA and in T_A

See the researcher in context

Building this map preview

Alice Medvedev

Research overview

Is this your work?

7 publications

Skew-invariant curves and the algebraic independence of Mahler functions

Multiplicative groups of fields and hereditarily irreducible polynomials

Q\mathbb{Q}QACFA

Invariant varieties for polynomial dynamical systems

Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy

An invitation to model-theoretic Galois theory

Grouplike minimal sets in ACFA and in T_A

See the researcher in context

Building this map preview

$\mathbb{Q}$ ACFA