arXiv research

Holomorphic actions on complex spaces for nilpotent groups.

We study properly discontinuous and cocompact actions of a discrete subgroup $Γ$ of an algebraic group $G$ on a contractible algebraic manifold $X$. We suppose that this action comes from an algebraic action of $G$ on $X$ such that a maximal reductive subgroup of $G$ fixes a point. When the real rank of any simple subg…

A classical result by K.B. Lee states that every group morphism between almost crystallographic groups is induced by an affine map on the nilpotent Lie group whereon these groups by definition act. It is the main technique for studying morphisms between virtually nilpotent groups, having important applications in fixed…

We show that any n-dimensional nonnegatively curved Alexandrov space with the maximal possible number of extremal points is isometric to a quotient space of Euclidean n -space by an action of a crystallographic group. We describe all such actions.

We explicitly compute the lower algebraic K-theory of the split three-dimensional crystallographic groups; i.e., the groups G that act properly and cocompactly on three-dimensional Euclidean space by isometries, such that the natural map from G to O(3) is a split injection onto its image. There are 73 split three-dimen…

Study on braid groups' congruence subgroups and their crystallographic quotients.

We develop the foundations of the deformation theory of compact complete affine space forms and affine crystallographic groups. Using methods from the theory of linear algebraic groups we show that these deformation spaces inherit an algebraic structure from the space of crystallographic homomorphisms. We also study th…

Derives representations invariant under crystallographic groups for functions.

Paper explores relations between braid groups and their quotients.

Study crystallographic groups for positive scalar curvature conditions.

We develop the basic topological properties of compact polygons, i.e. of compact topological Tits buildings of rank two. It is proved that the Coxeter diagram of such a building is always crystallographic, that is, compact connected n-gons exist only for n=3,4,6. We classify compact polygons which admit a transitive gr…

Following an idea of Gonçalvez, Guaschi and Ocampo on the usual braid group we construct crystallographic and Bieberbach groups as (sub)quotients of the generalized braid group associated to an arbitrary complex reflection group.

Construct special Lagrangian fibrations on abelian varieties using retraction techniques.

For each geometrically finite 2-dimensional non-Euclidean crystallographic group (NEC group), we compute the cohomology groups. In the case where the group is a Fuchsian group, we also determine the ring structure of the cohomology.

Generalizes crystallographic properties to all dimensions.

The paper studies congruence subgroups and crystallographic quotients of small Coxeter groups.

Let Gamma be a semidirect product of the form Z^n rtimes Z/p where p is prime and the Z/p-action on Z^n is free away from the origin. We will compute the topological K-theory of the real and complex group C*-algebra of Gamma and show that Gamma satisfies the unstable Gromov-Lawson-Rosenberg Conjecture. On the way we wi…

This paper is devoted to the problem of choosing the most suitable model of a geometrical system for describing the real crystallographic space. It has been shown that all 230 crystallographic groups used to describe the crystalline structures in a Euclidean space can be presented by elliptic motions in the closed spac…

Study of commutator subgroups and crystallographic quotients of virtual groups.

The paper characterizes crystallographic groups derived from virtual braid and twin groups.

In this paper, we prove the K-theoretical and L-theoretical Farrell-Jones Conjecture with coefficients in an additive category for nearly crystallographic groups of the form $\mathbb{Q}^n \rtimes \mathbb{Z}$, where $\mathbb{Z}$ acts on $\mathbb{Q}^n$ as an irreducible integer matrix with determinant $d$, $|d |>1$.

The paper solves the existence problem of sphere packings in higher dimensions.

Study on stable torsion length in groups, showing it vanishes in crystallographic groups and providing algorithms for computation.

Let N be a simply connected, connected real nilpotent Lie group of finite dimension n. We study subgroups $Γ$ in $\Aff (N)=N\rtimes \Aut (N)$ acting properly discontinuously and cocompactly on N. This situation is a natural generalization of the so-called affine crystallographic groups. We prove that for all dimensions…

We introduce the notion of a "crystallographic sphere packing," defined to be one whose limit set is that of a geometrically finite hyperbolic reflection group in one higher dimension. We exhibit for the first time an infinite family of conformally-inequivalent such with all radii being reciprocals of integers. We then…

We extend our generic rigidity theory for periodic frameworks in the plane to frameworks with a broader class of crystallographic symmetry. Along the way we introduce a new class of combinatorial matroids and associated linear representation results that may be interesting in their own right. The same techniques immedi…

The study analyzes surface braid groups to derive crystallographic groups and flat manifolds.

Deformation K-theory associates to each discrete group G a spectrum built from spaces of finite dimensional unitary representations of G. In all known examples, this spectrum is 2-periodic above the rational cohomological dimension of G (minus 2), in the sense that T. Lawson's Bott map is an isomorphism on homotopy in …

An entirely new and independent enumeration of the crystallographic space groups is given, based on obtaining the groups as fibrations over the plane crystallographic groups, when this is possible. For the 35 ``irreducible'' groups for which it is not, an independent method is used that has the advantage of elucidating…

The complete classification of representations of the Trefoil knot group G in S^{3} and SL(2,R), their affine deformations, and some geometric interpretations of the results, are given. Among other results, we also obtain the classification up to conjugacy of the non cyclic groups of affine Euclidean isometries generat…

Let G be an n-dimensional crystallographic group (n-space group). If G is a Z-reducible, then the flat n-orbifold E^n/G has a nontrivial fibered orbifold structure. We prove that this structure can be described by a generalized Calabi construction, that is, E^n/G is represented as the quotient of the Cartesian product …

Optimal smooth subspaces approximate large data sets efficiently.

Paper extends Fenchel's conjecture to non-Euclidean crystallographic groups.

In this paper, we prove that a normal subgroup N of an n-dimensional crystallographic group G determines a geometric fibered orbifold structure on the flat orbifold E^n/G, and conversely every geometric fibered orbifold structure on E^n/G is determined by a normal subgroup N of G, which is maximal in its commensurabili…

We prove there is only one involution (up to conjugacy) on the n-torus which acts as $-\mathrm{Id}$ on the first homology group when $n$ is of the form $4k$, is of the form $4k+1$, or is less than $4$. In all other cases we prove there are infinitely many such involutions up to conjugacy, but each of them has exactly $…

Let $n, k \geq 3$. In this paper, we analyse the quotient group $B\_n/Γ\_k(P\_n)$ of the Artin braid group $B\_n$ by the subgroup $Γ\_k(P\_n)$ belonging to the lower central series of the Artin pure braid group $P\_n$. We prove that it is an almost-crystallographic group. We then focus more specifically on the case $k=…

Develops Kleinian Sphere Packings and Bugs, proving their arithmetic origins.

Paper introduces untangling number to quantify 3-periodic tangle complexity.

The paper proves properties of fundamental groups of 4-manifolds with nonnegative Ricci curvature and Euclidean volume growth.

Our main motivation is to propose an efficient approach to generate novel multi-element stable chemical compounds that can be used in real world applications. This task can be formulated as a combinatorial problem, and it takes many hours of human experts to construct, and to evaluate new data. Unsupervised learning me…

Let n be greater than or equal to 3. We study the quotient group B\_n/[P n,P\_n] of the Artin braid group B\_n by the commutator subgroup of its pure Artin braid group P\_n. We show that B\_n/[P n,P\_n] is a crystallographic group, and in the case n=3, we analyse explicitly some of its subgroups. We also prove that B\_…

Computational chemists typically assay drug candidates by virtually screening compounds against crystal structures of a protein despite the fact that some targets, like the $μ$ Opioid Receptor and other members of the GPCR family, traverse many non-crystallographic states. We discover new conformational states of $μOR$…

The most general construction of double affine Artin groups (DAAG) and Hecke algebras (DAHA) associates such objects to pairs of compatible reductive group data. We show that DAAG/DAHA always admit a faithful action by automorphisms of a finite index subgroup of the Artin group of type $A_{2}$, which descends to a fait…

Up to isomorphism there are six fixed-point free crystallographic groups in Euclidean Space generated by twists (screw motions). In each case, an orientable 3-manifold is obtained as the quotient of E3 by such a group. The cubic tessellation of E3 induces tessellations on each such manifold. These tessellations of the …

We describe a method to classify crystallographic tilings of the Euclidean and hyperbolic planes by tiles whose stabiliser group contains translation isometries or whose topology is not that of a closed disk. We tackle this problem from two different viewpoints, one with constructive techniques to enumerate such tiling…

The geometry of conjugation is mapped within Euclidean isometry groups.

Let $n\geq 3$. In this paper we show that for any finite abelian subgroup $G$ of $S_n$ the crystallographic group $B_n/[P_n,P_n]$ has Bieberbach subgroups $Γ_{G}$ with holonomy group $G$. Using this approach we obtain an explicit description of the holonomy representation of the Bieberbach group $Γ_{G}$. As an applicat…

Study Farrell cohomology for non-orientable surfaces, classifying subgroup conjugacy.