Related papers: The domino problem is undecidable on surface group…

We give a proof of Ollinger's conjecture that the problem of tiling the plane with translated copies of a set of $8$ polyominoes is undecidable. The techniques employed in our proof include a different orientation for simulating the Wang…

An integral of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. In this paper, we prove that the integrability of a finite group is a decidable problem.

This is a survey on the automorphism groups in various classes of affine algebraic surfaces and the algebraic group actions on such surfaces. Being infinite-dimensional, these automorphism groups share some important features of algebraic…

In this note, we initiate a study of the finite-dimensional representation theory of a class of algebras that correspond to noncommutative deformations of compact surfaces of arbitrary genus. Low dimensional representations are investigated…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

We investigate representations of mapping class groups of surfaces that arise from the untwisted Drinfeld double of a finite group G, focusing on surfaces without marked points or with one marked point. We obtain concrete descriptions of…

In this paper, we study algorithmic problems for automaton semigroups and automaton groups related to freeness and finiteness. In the course of this study, we also exhibit some connections between the algebraic structure of automaton…

This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of nonorientable surfaces into which such graphs may be embedded. In a previous paper by the authors, the problem of…

We prove that the complex surfaces parametrizing cuboids and face cuboids, as well as their minimal resolution of singularities, have trivial fundamental group. We then compute the fundamental group of certain open smooth subvarieties of…

The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as…

This article consists in applications of [arXiv:2511.14232] in the case of homemomorphisms of higher genus surfaces whose homological rotation set is big enough -- a class of dynamics that is open. We first prove a structure theorem for the…

The 1-2-3 conjecture has been solved positively in 2024 for finite graphs and by extension for infinite graphs which are locally finite. The solution is non-constructive, and finding explicit solutions for large (or infinite) graphs is very…

A pair of points in a riemannian manifold $M$ is secure if the geodesics between the points can be blocked by a finite number of point obstacles; otherwise the pair of points is insecure. A manifold is secure if all pairs of points in $M$…

In this paper, we consider deformations of singular complex curves on complex surfaces. Despite the fundamental nature of the problem, little seems to be known for curves on general surfaces. Let $C\subset S$ be a complete integral curve on…

We construct a finitely presented group with undecidable word problem and with Dehn function bounded by a quadratic function on an infinite set of positive integers.

We show that the torsion in the group of indecomposable $(2,1)$-cycles on a smooth projective variety over an algebraically closed field is isomorphic to a twist of its Brauer group, away from the characteristic. In particular, this group…

The first part of the paper centers in the study of embeddability between partially commutative groups. In [KK], for a finite simplicial graph $\Gamma$, the authors introduce an infinite, locally infinite graph $\Gamma^e$, called the…

We prove that rigid representations of the fundamental group of a surface into the group of oreintation-preserving homeomorphisms of the circle are geometric, thereby establishing a converse statement of a theorem by the first author.

We are concerned with orderable groups and particularly those with orderings invariant not only under multiplication, but also under a given automorphism or family of automorphisms. Several applications to topology are given: we prove that…

We show that an odd dimensional closed manifold with positive curvature cannot contain an incompressible real projective plane in the sense that there is no map of the projective plane into the manifold which is nontrivial on both first and…