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

We furnish an example of a finite generating set for a group that does not enjoy the falsification by fellow traveler property, while the full language of geodesics is regular.

We propose a criterion for preserving the regularity of a formal language representation when passing from groups to subgroups. We use this criterion to show that the regularity of a positive cone language in a left-orderable group passes…

We prove that all finite graphs of groups with cyclic vertex and edge groups act freely and isometrically on a complete, nonpositively curved geodesic metric space.

Let $W$ be a $2$-dimensional Coxeter group, that is, a one with $\frac{1}{m_{st}}+\frac{1}{m_{sr}}+\frac{1}{m_{tr}}\leq 1$ for all triples of distinct $s,t,r\in S$. We prove that $W$ is biautomatic. We do it by showing that a natural…

A regular set of words is ($k$-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length $k$. In this article we study groups for which the set of all geodesic words with respect…

Let $G$ be a finitely generated group. We show that for any finite generating set $A$, the language consisting of all geodesics in $Cay(G,A)$ with a contracting property is a regular language. As an application, we show that any finitely…

We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, torsions, generalised torsions and cofinal elements.

We prove that, for a K3 surface in characteristic p > 2, the automorphism group acts on the nef cone with a rational polyhedral fundamental domain and on the nodal classes with finitely many orbits. As a consequence, for any non-negative…

We study languages of geodesics in lamplighter groups and Thompson's group F. We show that the lamplighter groups $L_n$ have infinitely many cone types, have no regular geodesic languages, and have 1-counter, context-free and counter…

In this article we show that every group with a finite presentation satisfying one or both of the small cancellation conditions $C'(1/6)$ and $C'(1/4)-T(4)$ has the property that the set of all geodesics (over the same generating set) is a…

Cannon has given an example of a virtually abelian group and a generating set where the full language of geodesics is not regular. We describe a virtually abelian group and a generating set so that no regular language of geodesics surjects…

We show that the class of groups with $k$-multiple context-free word problem is closed under graphs of groups with finite edge groups.

In this article we construct a piecewise Euclidean, non-positively curved 2-complex for the 3-generator Artin groups of large type. As a consequence we show that these groups are biautomatic. A slight modification of the proof shows that…

Autostackability for finitely generated groups is defined via a topological property of the associated Cayley graph which can be encoded in a finite state automaton. Autostackable groups have solvable word problem and an effective inductive…

We study the full language of quasigeodesics in Cayley graphs, with fixed error constants. We show that, given a non-virtually-cyclic nilpotent group or Baumslag--Solitar group, and any finite generating set, such languages fail to be…

A few facts concerning the phrase "the automorphism groups become larger at special points of the moduli of K3 surfaces" are presented. It is also shown that the automorphism groups are of infinite order over a dense subset in any…

This paper aims to establish the geometrical finiteness for the natural isometric actions of (birational) automorphism groups on the hyperbolic spaces for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties.…

A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language. This paper gives a systematic analysis of the properties…

Nikulin and Vinberg proved that there are only a finite number of lattices of rank $\geq 3$ that are the N\'eron-Severi group of projective K3 surfaces with a finite automorphism group. The aim of this paper is to provide a more geometric…

Let k=F_q be a finite field of even characteristic. We obtain in this paper a complete classification, up to k-isomorphism, of non singular quartic plane curves defined over k. We find explicit rational normal models and we give closed…