Related papers: Sets, groups, and fields definable in vector space…

We first prove Bosch-L\"utkebohmert-Raynaud's conjectures on existence of global N\'eron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the…

We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…

Assume $G$ is a definable group in a stable structure $M$. Newelski showed that the semigroup $S_G(M)$ of complete types concentrated on $G$ is an inverse limit of the $\infty$-definable (in $M^{eq}$) semigroups $S_{G,\Delta}(M)$. He also…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of…

Let $G$ and $H$ be finite-dimensional vector spaces over $\mathbb{F}_p$. A subset $A \subseteq G \times H$ is said to be transverse if all of its rows $\{x \in G \colon (x,y) \in A\}$, $y \in H$, are subspaces of $G$ and all of its columns…

For each integer $t$ a tensor category $V_t$ is constructed, such that exact tensor functors $V_t \longrightarrow C$ classify dualizable $t$-dimensional objects in $C$ not annihilated by any Schur functor. This means that $V_t$ is the…

Let $G$ be the automorphism group of an extension $F|k$ of algebraically closed fields of characteristic zero and of transcendence degree $n$, $1\le n\le\infty$. In this paper we (i) construct some maximal closed non-open subgroups $G_v$,…

Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…

We give a classification and complete algebraic description of groups allowing only finitely many (left multiplication invariant) circular orders. In particular, they are all solvable groups with a specific semi-direct product…

Consider an expansion $\mathcal R=(R,<,+,\ldots)$ of an ordered divisible Abelian group of finite burden defining no nonempty subset $X$ of $R$ which is dense and codense in a definable open subset $U$ of $R$ with $X \subseteq U$. We…

Our objective in this project is three-fold, the first two covered in this paper. In tropical mathematics, as well as other mathematical theories involving semirings, when trying to formulate the tropical versions of classical algebraic…

Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…

In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…

We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional…

Let G be a group of order 8 and F an algebraically closed field with char= 2. In this paper we compute the number of n degree representations of G and subsequent dimensions of the corresponding spaces of invatiant bilinear forms over the…

Let $\operatorname{TFAb}_r$ be the class of torsion-free abelian groups of rank $r$, and let $\operatorname{FD}_r$ be the class of fields of characteristic $0$ and transcendence degree~$r$. We compare these classes using various notions.…

The role of finite centralizers of involutions in pseudo-finite groups is analyzed. It is shown that a pseudo-finite group admitting a definable involutory automorphism fixing only finitely many elements is finite-by-abelian-by-finite. As a…

We introduce Thompson field theory, a class of toy models of conformal field theory in which Thompson's group T takes the role of a discrete analogue of the chiral conformal group. T and the related group F are discrete transformations of…

Starting from a Lie group G whose Lie algebra is equipped with an invariant nondegenerate symmetric bilinear form, we show that 4-dimensional BF theory with cosmological term gives rise to a TQFT satisfying a generalization of Atiyah's…