Related papers: The group configuration theorem for generically st…

Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory.…

The known facts about solvability of equations over groups are considered from a more general point of view. A generalized version of the theorem about solvability of unimodular equations over torsion-free groups is proved. In a special…

We introduce a geometric generalization of Hall's marriage theorem. For any family $F = \{X_1, \dots, X_m\}$ of finite sets in $\mathbb{R}^d$, we give conditions under which it is possible to choose a point $x_i\in X_i$ for every $1\leq i…

It is known that any covering space of a topological group has the natural structure of a topological group. This article discusses a noncommutative generalization of this fact. A noncommutative generalization of the topological group is a…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

We show that a group whose generalized torsion elements are torsion elements (which we call a $TR^{*}$-group) is torsion-by-$R^{*}$ group, an extension of torsion group by a group without generalized torsion elements. We also discuss a…

We prove a generalization of Gabrielov's rank theorem for families of rings of power series which we call W-temperate. Examples include the families of complex analytic functions and of Eisenstein series. As a Corollary, we provide rank…

Let $p$ be an odd prime. Denote a Sylow $p$-subgroup of $GL_2(\mathbb{Z}/p^n)$ and $SL_2(\mathbb{Z}/p^n)$ by $S_p(n,GL)$ and $S_p(n,SL)$ respectively. The theory of stable elements tells us that the mod-$p$ cohomology of a finite group is…

In this paper we generalize the higher-degree smoothness results in perturbation theory from the case that the stable maps have the fixed domain $S^2$ to the general genus zero case.

We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with…

We extend the theory of transience to general dynamical systems with no Markov structure assumed. This is linked to the theory of phase transitions. We also provide examples of new kinds of transient behaviour.

Informed by our understanding of the tt-geometry of permutation modules, we investigate the proper definition of the `stable permutation category' of a finite group. Then we prove that this category decomposes over cyclic and generalized…

In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to…

We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in…

We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only…

Using techniques of projective geometry, we give elementary proofs of two theorems concerning Hagge configurations.

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…

In this note we prove a more general (and topological) version of Gr\"unbaum's conjecture about affine invariant points. As an application of our result we show that, if we consider the action of the group of similarities, Gr\"unbaum's…

A generalization of the Hamilton-Jacobi theory to arbitrary dynamical systems, including non-Hamiltonian ones, is considered. The generalized Hamilton-Jacobi theory is constructed as a theory of ensemble of identical systems moving in the…

We prove a version of the Bhargava-Kane-Lenstra-Poonen-Rains heuristics for Selmer groups of quadratic twist families of abelian varieties over global function fields. As a consequence, we derive a result towards the "minimalist conjecture"…