相关论文: Automaticity of non-positively curved $k$-fold tri…

We prove that any Artin group of large type is shortlex automatic with respect to its standard generating set, and that the set of all geodesic words over the same generating set satisfies the Falsification by Fellow-Traveller Property…

It is known that the automorphism group of any projective K3 surface is finitely generated [24]. In this paper, we consider a certain kind of K3 surfaces with Picard number 3 whose automorphism groups are isomorphic to congruence subgroups…

We propose a new generalisation of Cayley automatic groups, varying the time complexity of computing multiplication, and language complexity of the normal form representatives. We first consider groups which have normal form language in the…

We classify K3 surfaces with non-symplectic automorphism of order 16 in full generality. We show that the fixed locus contains only rational curves and points and we completely classify the seven possible configurations. If the…

We prove that a subset of a virtually free group is rational if and only if the language of geodesic words representing its elements (in any generating set) is rational and that the language of geodesics representing conjugates of elements…

Groups with the falsification by fellow traveler property are known to have solvable word problem, but they are not known to be automatic or to have finite convergent rewriting systems. In this paper, we show that these groups admit a…

We provide an algorithm to solve the word problem in all fundamental groups of closed 3-manifolds; in particular, we show that these groups are autostackable. This provides a common framework for a solution to the word problem in any closed…

We classify non symplectic prime order automorphisms and all finite order symplectic automorphism groups of generalised Kummer fourfolds using lattice theory and recent results on ample cones and monodromy groups. We study various geometric…

Let A be a finite alphabet and let L contained in (A*)^n be an n-variable language over A. We say that L is regular if it is the language accepted by a synchronous n-tape finite state automaton, it is quasi-regular if it is accepted by an…

Let $k\ge 2$. We prove that the characteristic sequence of a regular language over a $k$-letter alphabet is $k$-automatic. More generally, if $t\ge 2$ and $t,k$ are multiplicatively dependent, we show that the characteristic sequence of a…

We describe the (minimal) tree-graded structure of asymptotic cones of non-geometric graph manifold groups, and as a consequence we show that all said asymptotic cones are bilipschitz equivalent. Combining this with geometrization and other…

A well known conjecture asserts that a cubic fourfold X is rational if it has a cohomologically associated K3 surface. G.Ouchi proved that if X admits a finite group G of symplectic automorphisms, whose order is different from 2, then X has…

We explicitly determine the automorphism groups of all self-similar trees (a.k.a. trees with finitely many cone types). We show that any such automorphism group is a direct limit of certain finite products of finite symmetric groups, which…

It was proved by Tien-Cuong Dinh and me that there is a smooth complex projective surface whose automorphism group is discrete and not finitely generated. In this paper, we will show that there is a smooth projective surface, birational to…

In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy…

$\omega$-clones are multi-sorted structures that naturally emerge as algebras for infinite trees, just as $\omega$-semigroups are convenient algebras for infinite words. In the algebraic theory of languages, one hopes that a language is…

This is a systematic exposition of recent results which completely describe the group of automorphisms and the group of autoequivalences of generic analytic K3 surfaces. These groups, hard to determine in the algebraic case, admit a good…

We show that groups presented by inverse-closed finite convergent length-reducing rewriting systems are characterised by a striking geometric property: their Cayley graphs are geodetic and side-lengths of non-degenerate triangles are…

This thesis is devoted to the study of abelian automorphism groups of surfaces and $3$-folds of general type over complex number field $\Bbb C$. We obtain a linear bound in $K^3$ for abelian automorphism groups of $3$-folds of general type…

We show that there exists no left order on the free product of two nontrivial, finitely generated, left-orderable groups such that the corresponding positive cone is represented by a regular language. Since there are orders on free groups…