Related papers: The fundamental group is not a derived invariant
In the first part of this note, we introduce Tietze transformations for $L$-presentations. These transformations enable us to generalize Tietze's theorem for finitely presented groups to invariantly finitely $L$-presented groups. Moreover,…
In \cite{armstrong}, M. Armstrong proved a beautiful result describing fundamental groups of quotient spaces. In this paper we prove an analogue of Armstrong's theorem in the setting of $F$-divided \cite{dS07} and essentially finite…
The synchronisation hierarchy of finite permutation groups consists of classes of groups lying between 2-transitive groups and primitive groups. This includes the class of spreading groups, which are defined in terms of sets and multisets…
We consider a projective transformation and establish the invariants for this transformation group up to order seven. We use the obtained invariants to construct a class of nonlinear evolution equations and identify some symmetry-integrable…
We study the Picard groups of moduli spaces in positive characteristics and we give a "$p$-adic" proof that the Picard group of moduli of vector bundles of fixed determinant is isomorphic to the group of integers. Along the way we prove…
The (Fg) condition on Hochschild cohomology as well as the support variety theory are shown to be invariant under derived equivalence.
We show that the domino problem is undecidable on orbit graphs of non-deterministic substitutions which satisfy a technical property. As an application, we prove that the domino problem is undecidable for the fundamental group of any closed…
A derived version of Maschke's theorem for finite groups is proved: the derived categories, bounded or unbounded, of all blocks of the group algebra of a finite group are simple, in the sense that they admit no nontrivial recollements. This…
We show that a group of diffeomorphisms $\D$ on the open unit interval $I,$ equipped with the topology of uniform convergence on any compact set of the derivatives at any order, is non regular: the exponential map is not defined for some…
While every group is isomorphic to a transitive group of permutations, the analogous property fails for inverse semigroups: not all inverse semigroups are isomorphic to transitive inverse semigroups of one-to-one partial transformations of…
We prove that the torsion subgroup of the abelian fundamental group is finite for a regular geometrically integral projective variety over a local field. We also study the structure of $SK_1(X)$ for a regular projective variety $X$ over a…
A canonical system of basic invariants is a system of invariants satisfying a set of differential equations. The properties of a canonical system are related to the mean value property for polytopes. In this article, we naturally identify…
We define a new class of irreducible groups, called groups not infinite-index presentable by products or not IIPP. We prove that certain aspherical manifolds with fundamental groups not IIPP do not admit maps of non-zero degree from direct…
We prove the existence of tilting bundles on global quotient stacks that are produced by compatible finite group actions on flat families.
With a view towards providing tools for analyzing and understanding digitized images, various notions from algebraic topology have been introduced into the setting of digital topology. In the ordinary topological setting, invariants such as…
The Linearization Theorem for proper Lie groupoids organizes and generalizes several results for classic geometries. Despite the various approaches and recent works on the subject, the problem of understanding invariant linearization…
We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from…
It is proved that the commutator subgroup of the fundamental group of the complement of any plane affine irreducible Hurwitz curve (respectively, any plane affine irreducible pseudoholomorphic curve) is finitely presented. It is shown that…
We describe the structure of diffeological bundle of non formal classical pseudo-differential operators over formal ones, and its structure group. For this, we give few results on diffeological principal bundles with (a priori) no local…
We show that the fundamental group of every enumeratively rationally connected closed symplectic manifold is finite. In other words, if a closed symplectic manifold has a non-zero Gromov-Witten invariant with two point insertions, then it…