BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Matthias Aschenbrenner

Matthias Aschenbrenner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.GRmath.GTmath.CAmath.CVmath.ACmath.COmath.DSmath.MGmath.RA

Catalog footprint

What is connected

13works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access