Related papers: An embedding theorem for regular Mal'tsev categori…

The Mordell--Lang conjecture for abelian varieties states that the intersection of an algebraic subvariety $X$ with a subgroup of finite rank is contained in a finite union of cosets contained in $X$. In this article, we prove a uniform…

Classical Luzin's theorem states that the measurable function of one variable is "almost" continuous. This is not so anymore for functions of several variables. The search of right analogue of the Luzin theorem leads to a notion of…

We formulate and prove a non-abelian analog of Deligne's Fixed Part theorem on Hodge classes, revisiting previous work of Jost--Zuo, Katzarkov--Pantev and Landesman--Litt. To this aim we study algebraically isomonodromic extensions of local…

General arguments of Baumslag and Bieri guarantee that any metabelian group of finite Pr\"ufer rank can be embedded in a metabelian constructible group. Here, we consider the metric behavior of a rich class of examples and analyze the…

We define a canonical relative commutant planar algebra from a strongly Markov inclusion of finite von Neumann algebras. In the case of a connected unital inclusion of finite dimensional C*-algebras with the Markov trace, we show this…

In this work, we analyze the structure of the category of partial representations of a finite group $G$ as a multifusion category, providing an alternative way to describe simple objects and their tensor products. We describe the…

In this note, we examine the bundle picture of the pullback construction of Lie algebroids. The notion of submersions by Lie algebroids is introduced, which leads to a new proof of the local normal form for lie algebroid transversals of…

In his previous paper, the author proposed as a problem a purely inseparable analogue of the Abhyankar conjecture for affine curves in positive characteristic and gave a partial answer to it, which includes a complete answer for finite…

For a certain family of complete modular lattices, we prove a Jordan--H\"older--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

We study the bi-Lipschitz embedding problem for a class of metric spaces called slit carpets. First we show that the $n$th stage $\mathbb{M}_n$ of the standard slit carpet of Merenkov admits a bi-Lipschitz embedding into Euclidean space…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework.…

Let $C/\mathbb{F}_q$ be a regular projective curve, $\infty \in C$ a closed point, $A := \Gamma(C - \{\infty\}, \mathcal{O}_C)$, and $K := K(C)$ the fraction field of $A$. Consider a finite extension $L/K$, a place $v$ of $L$, and an…

We construct a family of non-parametric (infinite-dimensional) manifolds of finite measures on $R^d$. The manifolds are modelled on a variety of weighted Sobolev spaces, including Hilbert-Sobolev spaces and mixed-norm spaces. Each supports…

We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects…

A generalization of a theorem of Crabb and Hubbuck concerning the embedding of flag representations in divided powers is given, working over an arbitrary finite field F, using the category of functors from finite-dimensional F-vector spaces…

This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…

Auslander's formula shows that any abelian category C is equivalent to the category of coherent functors on C modulo the Serre subcategory of all effaceable functors. We establish a derived version of this equivalence. This amounts to…

Bilipschitz invariant theory concerns low-distortion embeddings of orbit spaces into Euclidean space. To date, embeddings with the smallest-possible distortion are known for only a few cases, to include: (a) planar rotations, (b) real phase…