Source author record

Matthias Aschenbrenner

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.GT math.CA math.CV math.AC math.CO math.DS math.MG math.RA

Catalog footprint

Research overview

13works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Distality in valued fields and related structures

We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian valued fields, and demonstrate that certain expansions of fields, e.g., the differential field of logarithmic-exponential transseries, are distal. As a new tool for analyzing valued fields we employ a relative quantifier elimination for pure short exact sequences of abelian groups.

preprint2022arXiv

Revisiting closed asymptotic couples

Every discrete definable subset of a closed asymptotic couple with ordered scalar field $\boldsymbol k$ is shown to be contained in a finite-dimensional $\boldsymbol k$ -linear subspace of that couple. It follows that the differential-valued field $\mathbb T$ of transseries induces more structure on its value group than what is definable in its asymptotic couple equipped with its scalar multiplication by real numbers, where this asymptotic couple is construed as a two-sorted structure with $\mathbb R$ as the underlying set for the second sort.

preprint2016arXiv

The logical complexity of finitely generated commutative rings

We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring $A$ is bi-interpretable with $(\mathbb N,{+},{\times})$ if and only if the space of non-maximal prime ideals of $A$ is nonempty and connected in the Zariski topology and the nilradical of $A$ has a nontrivial annihilator in $\mathbb Z$ . Notably, by constructing a nontrivial derivation on a nonstandard model of arithmetic we show that the ring of dual numbers over $\mathbb Z$ is not bi-interpretable with $\mathbb N$ .

preprint2016arXiv

The surreal numbers as a universal H-field

We show that the natural embedding of the differential field of transseries into Conway's field of surreal numbers with the Berarducci-Mantova derivation is an elementary embedding. We also prove that any Hardy field embeds into the field of surreals with the Berarducci-Mantova derivation.

preprint2015arXiv

Julia's equation and differential transcendence

We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially transcendental over the ring of convergent power series.

preprint2013arXiv

3-manifold groups

We summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise.

preprint2012arXiv

3-manifold groups are virtually residually p

Given a prime $p$ , a group is called residually $p$ if the intersection of its $p$ -power index normal subgroups is trivial. A group is called virtually residually $p$ if it has a finite index subgroup which is residually $p$ . It is well-known that finitely generated linear groups over fields of characteristic zero are virtually residually $p$ for all but finitely many $p$ . In particular, fundamental groups of hyperbolic 3-manifolds are virtually residually $p$ . It is also well-known that fundamental groups of 3-manifolds are residually finite. In this paper we prove a common generalization of these results: every 3-manifold group is virtually residually $p$ for all but finitely many $p$ . This gives evidence for the conjecture (Thurston) that fundamental groups of 3-manifolds are linear groups.

preprint2012arXiv

Towards a Model Theory for Transseries

The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field, and report on our efforts to understand its first-order theory.

preprint2012arXiv

Transseries and Todorov-Vernaeve's asymptotic fields

We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of Todorov and Vernaeve, answered in this paper.

preprint2011arXiv

Logarithms of iteration matrices, and proof of a conjecture by Shadrin and Zvonkine

A proof for a conjecture by Shadrin and Zvonkine, relating the entries of a matrix arising in the study of Hurwitz numbers to a certain sequence of rational numbers, is given. The main tools used are iteration matrices of formal power series and their (matrix) logarithms.

preprint2010arXiv

A criterion for HNN extensions of finite $p$ -groups to be residually $p$

We give a criterion for an HNN extension of a finite $p$ -group to be residually $p$ .

preprint2010arXiv

Definable versions of theorems by Kirszbraun and Helly

Kirszbraun's Theorem states that every Lipschitz map $S\to\mathbb R^n$ , where $S\subseteq \mathbb R^m$ , has an extension to a Lipschitz map $\mathbb R^m \to \mathbb R^n$ with the same Lipschitz constant. Its proof relies on Helly's Theorem: every family of compact subsets of $\mathbb R^n$ , having the property that each of its subfamilies consisting of at most $n+1$ sets share a common point, has a non-empty intersection. We prove versions of these theorems valid for definable maps and sets in arbitrary definably complete expansions of ordered fields.

preprint2010arXiv

Residual properties of graph manifold groups

Let $f\colon M\to N$ be a continuous map between closed irreducible graph manifolds with infinite fundamental group. Perron and Shalen showed that if $f$ induces a homology equivalence on all finite covers, then $f$ is in fact homotopic to a homeomorphism. Their proof used the statement that every graph manifold is finitely covered by a $3$ -manifold whose fundamental group is residually $p$ for every prime $p$ . We will show that this statement regarding graph manifold groups is not true in general, but we will show how to modify the argument of Perron and Shalen to recover their main result. As a by-product we will determine all semidirect products $\Z \ltimes \Z^d$ which are residually $p$ for every prime $p$ .

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.

Matthias Aschenbrenner

Research overview

Is this your work?

13 publications

Distality in valued fields and related structures

Revisiting closed asymptotic couples

The logical complexity of finitely generated commutative rings

The surreal numbers as a universal H-field

Julia's equation and differential transcendence

3-manifold groups

3-manifold groups are virtually residually p

Towards a Model Theory for Transseries

Transseries and Todorov-Vernaeve's asymptotic fields

Logarithms of iteration matrices, and proof of a conjecture by Shadrin and Zvonkine

A criterion for HNN extensions of finite $p$ -groups to be residually $p$

Definable versions of theorems by Kirszbraun and Helly

Residual properties of graph manifold groups

See the researcher in context

Building this map preview

Matthias Aschenbrenner

Research overview

Is this your work?

13 publications

Distality in valued fields and related structures

Revisiting closed asymptotic couples

The logical complexity of finitely generated commutative rings

The surreal numbers as a universal H-field

Julia's equation and differential transcendence

3-manifold groups

3-manifold groups are virtually residually p

Towards a Model Theory for Transseries

Transseries and Todorov-Vernaeve's asymptotic fields

Logarithms of iteration matrices, and proof of a conjecture by Shadrin and Zvonkine

A criterion for HNN extensions of finite ppp-groups to be residually ppp

Definable versions of theorems by Kirszbraun and Helly

Residual properties of graph manifold groups

See the researcher in context

Building this map preview

A criterion for HNN extensions of finite $p$ -groups to be residually $p$