arXiv subjects

Benjamin Castle

Publications and source records attributed to Benjamin Castle.

10 recordsLinked to original sources

arXiv2026

Topological reconstruction theorems over uncountable algebraically closed fields

Working over uncountable algebraically closed fields, we extend the theorems of Koll\'ar-Lieblich-Olsson-Sawin on reconstructing varieties from their Zariski topological spaces. In particular, we adapt their results to arbitrary quasi-projective varieties in arbitrary characteristic, and thus we give positive answers to each of the relevant `speculations' made by the original authors in our setting. Our proofs use techniques from model theory: in particular, we employ a general model-theoretic setting for algebro-geometric reconstruction problems, known as the `Zilber trichotomy for ACF-relics'.

math.AG↗

arXiv2026

A curve and its abstract generalized Jacobian

To a smooth proper curve $C$ over a field $k$ equipped with a $k$-point $c$ and an effective divisor $\mathfrak m$ coprime to $c$, one may associate the abstract group $J_{\mathfrak m}(\bar k)$ of $\overline k$-points of the generalized Jacobian, as well as a subset \[ \tag{*} \big(C\setminus \operatorname{Supp}(\mathfrak m)\big)(\bar k) \subset J_{\mathfrak m}(\bar k). \] We show that the data $(C,c,\mathfrak m)$ can be retrieved from (*) up to a twist by an automorphism of $\overline k$, proving a conjecture of Booher and Voloch. By a result of Booher and Voloch this shows that when $k$ is a finite field, the same data may also be retrieved from $L$-functions of characters of certain Galois extensions of the function field of $C$. The proof is a generalization of Zilber's well known work "A curve and its abstract Jacobian".

math.AG↗

arXiv2025

Topologically 1-based T-minimal Structures

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with the independent neighborhood property. This is a wide class including all visceral theories, as well as all dense weakly o-minimal and C-minimal theories (even those where exchange fails). Now assume $\mathcal M$ is highly saturated and t-minimal with the independent neighborhood property. We show that if $\mathcal M$ is non-trivial and topologically 1-based, it admits a type-definable abelian group $(G,+)$ with $G$ an open subset of $M$. Moreover, we can ensure that $G$ is a topological group with the subspace topology inherited from $M$; and in this case, we show that the induced structure on $G$ satisfies an appropriate topological analog of the Hrushovski-Pillay classification of 1-based stable groups.

math.LO↗

arXiv2025

Reconstructing Abelian Varieties via Model Theory

In 2012, Zilber used model-theoretic techniques to show that a curve of high genus over an algebraically closed field is determined by its Jacobian (viewed only as an abstract group with a distinguished subset for an image of the curve). In this paper, we consider an analogous problem for arbitrary (semi)abelian varieties $A$ over algebraically closed fields $K$ with a distinguished subvariety $V$. Our main result characterizes when the data $(A(K),+,V(K))$ (as a group with distinguished subset) determines the pair $(A,V)$ in the strongest reasonable sense. As it turns out, the situation is best understood by developing a theory of factorizations for such pairs $(A,V)$. In the final sections of the paper, we develop such a theory and prove unique factorization theorems (one for abelian varieties and a weaker one for semi-abelian varieties). In this language, the main theorem mentioned above (in the abelian case) says that the pair $(A,V)$ is determined by the data $(A(K),+,V(K))$ precisely when $(A,V)$ is simple and $0<\dim(V)<\dim(A)$.

math.LO↗

arXiv2024

Strongly Minimal Relics of T-convex Fields

Generalizing previous work on algebraically closed valued fields (ACVF) and o-minimal fields, we study strongly minimal relics of real closed valued fields (RCVF), and more generally T-convex expansions of o-minimal fields. Our main result (replicating the o-minimal setting) is that non-locally modular strongly minimal definable relics of T-convex fields must be two-dimensional. We also continue our work on reducing the trichotomy for general relics of a structure to just the relics of certain distinguished sorts. To this end, we prove that the trichotomy for definable RCVF-relics implies the trichotomy for interpretable RCVF-relics, and also that the trichotomy for relics of o-minimal fields implies the trichotomy for relics of any dense o-minimal structure. Finally, we introduce the class of differentiable Hausdorff geometric fields (containing o-minimal fields and various valued fields), and give a general treatment of the trichotomy for one-dimensional relics of such fields (namely, reducing the trichotomy for one-dimensional relics to an axiomatic condition on the field itself).

math.LO↗

arXiv2024

The O-minimal Zilber Conjecture in Higher Dimensions

We prove the higher dimensional case of the o-minimal variant of Zilber's Restricted Trichotomy Conjecture. More precisely, let $\mathcal R$ be an o-minimal expansion of a real closed field, let $M$ be an interpretable set in $\mathcal R$, and let $\mathcal M=(M,...)$ be a reduct of the induced structure on $M$. If $\mathcal M$ is strongly minimal and not locally modular, then $\dim_{\mathcal R}(M)=2$. As an application, we prove the Zilber trichotomy for all strongly minimal structures interpreted in the theory of compact complex manifolds.

math.LO↗

arXiv2024

Zilber's Trichotomy in Hausdorff Geometric Structures

We give a new axiomatic treatment of the Zilber trichotomy, and use it to complete the proof of the trichotomy for relics of algebraically closed fields, i.e., reducts of the ACF-induced structure on ACF-definable sets. More precisely, we introduce a class of geometric structures equipped with a Hausdorff topology, called \textit{Hausdorff geometric structures}. Natural examples include the complex field; algebraically closed valued fields; o-minimal expansions of real closed fields; and characteristic zero Henselian fields (in particular $p$-adically closed fields). We then study the Zilber trichotomy for relics of Hausdorff geometric structures, showing that under additional assumptions, every non-locally modular strongly minimal relic on a real sort interprets a one-dimensional group. Combined with recent results, this allows us to prove the trichotomy for strongly minimal relics on the real sorts of algebraically closed valued fields. Finally, we make progress on the imaginary sorts, reducing the trichotomy for \textit{all} ACVF relics (in all sorts) to a conjectural technical condition that we prove in characteristic $(0,0)$.

math.LO↗

arXiv2023

Model Theory of Complex Numbers with Polynomial Functions

Let $\mathbb C$ be the set of complex numbers, and let $\mathcal P$ be a collection of complex polynomial maps in several variables. Assuming at least one $P\in\mathcal P$ depends on at least two variables, we classify all possibilities for the structure $(\mathscr M;\mathcal P)$ up to definable equivalence. In particular, outside a short list of exceptions, we show that $(\mathscr M;\mathcal P)$ always defines $+$ and $\times$. Our tools include Zilber's Restricted Trichotomy, as well as the classification of symmetric non-expanding pairs of polynomials over $\mathbb C$ from arithmetic combinatorics. Along the way, we also give a new condition for a reduct $\mathscr M=(M,...)$ of a smooth curve over an algebraically closed field to recover all constructible subsets of powers of $M$.

math.LO↗

arXiv2022

Very ampleness in strongly minimal sets

Inspired by very ampleness of Zariski Geometries, we introduce and study the notion of a very ample family of plane curves in any strongly minimal set, and the corresponding notion of a very ample strongly minimal set (characterized by the definability of such a family). We show various basic properties; for example, any strongly minimal set internal to an expansion of an algebraically closed field is very ample, and any very ample strongly minimal set non-orthogonal to a strongly minimal set $Y$ is internal to $Y$. We then apply these results with Zilber's restricted trichotomy to characterize using very ampleness those structures $\mathcal M=(M,\dots)$ interpreted in an algebraically closed field which recover all constructible subsets of powers of $M$. Next we show that very ample strongly minimal sets admit very ample families of plane curves of all dimensions, and use this to characterize very ampleness in terms of definable pseudoplanes. Finally, we show that divisible strongly minimal groups are very ample, and deduce -- answering an old question of G. Martin -- that in a pure algebraically closed field, $K$ there are no reducts between $(K,+,\cdot)$ and $(K, \cdot)$.

math.LO↗

arXiv2022

Restricted Trichotomy in Characteristic Zero

We prove the characteristic zero case of Zilber's Restricted Trichotomy Conjecture. That is, we show that if $\mathcal M$ is any non-locally modular strongly minimal structure interpreted in an algebraically closed field $K$ of characteristic zero, then $\mathcal M$ itself interprets $K$; in particular, any non-1-based structure interpreted in $K$ is mutually interpretable with $K$. Notably, we treat both the `one-dimensional' and `higher-dimensional' cases of the conjecture, introducing new tools to resolve the higher-dimensional case and then using the same tools to recover the previously known one-dimensional case.

math.LO↗