Next Article in Journal
Blood Analytes as Biomarkers of Mechanisms Involved in Alzheimer’s Disease Progression
Next Article in Special Issue
Substrate Specificity of GSDA Revealed by Cocrystal Structures and Binding Studies
Previous Article in Journal
Fighting Non-Small Lung Cancer Cells Using Optimal Functionalization of Targeted Carbon Quantum Dots Derived from Natural Sources Might Provide Potential Therapeutic and Cancer Bio Image Strategies
Previous Article in Special Issue
In Silico Structural Analysis of Serine Carboxypeptidase Nf314, a Potential Drug Target in Naegleria fowleri Infections
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

DNA Sequence and Structure under the Prism of Group Theory and Algebraic Surfaces

1
Institut FEMTO-ST CNRS UMR 6174, Université de Bourgogne-Franche-Comté, F-25044 Besançon, France
2
Quantum Gravity Research, Los Angeles, CA 90290, USA
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Int. J. Mol. Sci. 2022, 23(21), 13290; https://doi.org/10.3390/ijms232113290
Submission received: 16 September 2022 / Revised: 19 October 2022 / Accepted: 26 October 2022 / Published: 31 October 2022
(This article belongs to the Special Issue Emerging Topics in Structural Biology)

Abstract

:
Taking a DNA sequence, a word with letters/bases A, T, G and C, as the relation between the generators of an infinite group π , one can discriminate between two important families: (i) the cardinality structure for conjugacy classes of subgroups of π is that of a free group on one to four bases, and the DNA word, viewed as a substitution sequence, is aperiodic; (ii) the cardinality structure for conjugacy classes of subgroups of π is not that of a free group, the sequence is generally not aperiodic and topological properties of π have to be determined differently. The two cases rely on DNA conformations such as A-DNA, B-DNA, Z-DNA, G-quadruplexes, etc. We found a few salient results: Z-DNA, when involved in transcription, replication and regulation in a healthy situation, implies (i). The sequence of telomeric repeats comprising three distinct bases most of the time satisfies (i). For two-base sequences in the free case (i) or non-free case (ii), the topology of π may be found in terms of the S L ( 2 , C ) character variety of π and the attached algebraic surfaces. The linking of two unknotted curves—the Hopf link—may occur in the topology of π in cases of biological importance, in telomeres, G-quadruplexes, hairpins and junctions, a feature that we already found in the context of models of topological quantum computing. For three- and four-base sequences, other knotting configurations are noticed and a building block of the topology is the four-punctured sphere. Our methods have the potential to discriminate between potential diseases associated to the sequences.

1. Introduction

Group theory and algebraic geometry serve the decipherment of ‘the book of life’ [1], a book made of a language employing four letters/nucleotides: A (adenine), T (thymine), G (guanine) and C (cytosine), as described in this work. There are finite groups, groups made of a finite number of generators and a finite number of elements that may be used to map the codons to amino acids, as carried out in our papers [2,3]. Such an approach toward the genetic code is made possible by identifying the irreducible characters of the group to the amino acids. The multiplets of codons attached to a selected amino acid correspond to the irreducible characters having the corresponding dimension of the representation (Table 3 in [2], Table 4 in [3]). A virtue of the approach is that the used irreducible characters are also seen as quantum states carrying complete quantum information.
For modeling DNA in its various conformations taken in transcription factors, telomeres and other building blocks of molecular biology, we need infinite groups defined from a motif. A sequence of the DNA nucleotides serves as the generator of the group [4]. In this context, it has been found that a group that is not free is often the witness of a potential disease. We coined the term ‘syntactical freedom’ for recognizing this property, with inspiration from an earlier work [5]. We also showed that such free groups have the distinctive property of generating an aperiodic substitution rule, providing a connection between (group) syntactical freedom and irrational numbers (Section 4 in [4]). For an infinite group, the representation cannot be based on characters but on the so-called character variety. This topic leads to a relationship between DNA, algebraic topology and algebraic geometry. Tools already proposed for topological quantum computing [6] are also used in the context of DNA conformations.
In Section 2, we briefly account for the many types of topologies that DNA can show, in terms of double strands or more strands. Then, we recall the mathematical concepts employed in our paper with some redundancy with earlier work [4,6].
In Section 3, we explain the concept of an S L ( 2 , C ) character variety associated to an infinite group with two or three generators. The former case corresponds to DNA motifs having only two distinct nucleotides. In such a case, the variety often contains the Cayley cubic associated to the Hopf link, the non disjoint union of two circles in the three-dimensional space. In the later case, the variety contains the Fricke–Klein seventh variable polynomial that is characteristic of the topology of the three-dimensional sphere with four points removed.
In Section 4, we apply these mathematical methods to transcription factors, telomeric sequences and a specific DNA decamer sequence, where almost all of its conformations have been crystallized.

2. Materials and Methods

Mathematical calculations performed in this paper are on the software Magma [7] (for groups) or on Sage software [8] (for character varieties).

2.1. DNA Conformations

DNA is a long polymer made from a chain of the nucleotides A, T, C or G. DNA exists in many possible conformations, which include a double-stranded helix of A-DNA, B-DNA and Z-DNA, although only B-DNA and Z-DNA have been directly observed in functional organisms [9,10]. The B-DNA form is most common under the conditions found in cells, but Z-DNA is often preferred when DNA binds to a protein. A view of a double helix in the A-, B- and Z-DNA forms is given in Figure 1 Other DNA conformations also exist, such as a single-stranded hairpin used mostly in macromolecular synthesis and repair, a triple-stranded H-DNA found in peptides, a G-quadruplex structure found in telomeres and a Holliday junction.

2.2. Finitely Generated Groups, Free Groups and Their Conjugacy Classes, and Aperiodicity of Sequences

The free group F r on r generators (of rank r) consists of all distinct words that can be built from r letters where two words are different unless their equality follows from the group axioms. The number of conjugacy classes of F r of a given index d is known and is a good signature of the isomorphism, or the closeness, of a group π to F r . In the following, the cardinality structure of conjugacy classes of index d in F r is called the cardinality sequence (card seq) of F r , and we need the cases from r = 1 to 3 to correspond to the number of distinct bases in a DNA sequence. The card seq of F r is in Table 1 for the three sequences of interest in the context of DNA [11].
Next, given a finitely generated group f p with a relation (rel) given by the sequence motif, we are interested in the card seq of its conjugacy classes. Often, the DNA motif in the sequence under investigation is close to that of a free group F r , with r + 1 being the number of distinct bases involved in the motif. However, the finitely generated group f p = x 1 , x 2 | r e l ( x 1 , x 2 ) , or f p = x 1 , x 2 , x 3 | r e l ( x 1 , x 2 , x 3 ) or f p = x 1 , x 2 , x 3 , x 4 | r e l ( x 1 , x 2 , x 3 , x 4 ) (where the x i are taken in the four bases A, T, G and C, and rel is the motif), may not be the free group F 1 = x 1 , x 2 | x 1 x 2 , or F 2 = x 1 , x 2 , x 3 | x 1 x 2 x 3 or F 3 = x 1 , x 2 , x 3 , x 4 | x 1 x 2 x 3 x 4 . The closeness of f p to F r can be checked by its signature in the finite range of indices of the card seq.

2.2.1. Groups f p Close to Free Groups and Aperiodicity of Sequences

According to reference [5], aperiodicity correlates to the syntactical freedom of ordering rules. This statement was checked in the realm of transcription factors (Section 4 in [4]). Let us introduce the concept of a general substitution rule in the context of free groups. A general substitution rule ρ on a finite alphabet 𝒜r on r letters is an endomorphism of the corresponding free group F r (Definition 4.1 in [13]). The endomorphism property means the two relations ρ ( u v ) = ρ ( u ) ρ ( v ) and ρ ( u 1 ) = ρ 1 ( u ) , for any u , v F r .
A special role is played by the subgroup Aut ( F r ) of automorphisms of F r . We introduce the map α : F r Z r from F r to the Abelian group Z r in order to investigate the substitution rule ρ with the tools of matrix algebra.
The map α induces a homomorphism M : End ( F r ) Mat ( r , Z ) . Under M, Aut ( F r ) maps to the general linear group of matrices with integer entries G L ( r , Z ) . Given ρ , there is a unique mapping M ( ρ ) that makes the map diagram commutative [13] (p. 68). The substitution matrix M ( ρ ) of ρ may be specified by its elements at row i and column j as follows:
( M ( ρ ) ) i , j = c a r d ( ρ a i ( a j ) ) .
This approach was applied to binding motifs of transcription factors [4]. The binding motif rel in the finitely presented group f p = A , T , G , C | rel ( A , T , G , C ) is split into appropriate segments so that rel = rel A rel T rel G rel C with the substitution rules A r e l A , T r e l T , G r e l G , C r e l C .
We are interested in the sequence of finitely generated groups
f p ( l ) = A , T , G , C | rel ( rel ( rel ( A , T , G , C ) ) ) ( with rel applied l time )
whose card seq is the same at each step l and equal to the card seq of the free group F r (in the finite range of indices that it is possible to check with the computer).
Under these conditions, (group) syntactical freedom correlates to the aperiodicity of sequences.

2.2.2. Aperiodicity of Substitutions

There is no definitive classification of aperiodic order, the intermediate between crystalline order and strong disorder, but in the context of substitution rules, some criteria can be found. First, we need a few definitions.
A non-negative matrix M Mat ( d , R ) is one whose entries are non-negative numbers. A positive matrix M (denoted M > 0 ) has at least one positive entry. A strictly positive matrix (denoted M > > 0 ) has all positive entries. An irreducible matrix M = ( M i j ) 1 i , j d is one for which there exists a non-negative integer k with ( M k ) i j > 0 for each pair ( i , j ) . A primitive matrix M is one such that M k is a strictly positive matrix for some k.
A Perron–Frobenius (PF for short) eigenvector v of an irreducible non-negative matrix is the only one whose entries are positive: v > 0 . The corresponding eigenvalue is called the PF eigenvalue.
We will use the following criterion (Corollary 4.3 in [13]). A primitive substitution rule ρ of substitution matrix M ( ρ ) with an irrational PF-eigenvalue is aperiodic.
A well-studied primitive substitution rule is the Fibonacci rule ρ = ρ F : a a b , b a of substitution matrix M F = 1 1 1 0 and PF-eigenvalue equal to the golden ratio λ P F = ϕ = ( 5 + 1 ) / 2 (Example 4.6 in [13]). As expected, the irrationality of λ corresponds to the aperiodicity of the Fibonacci sequence.
The sequence of Fibonacci words is as follows:
a , b , a b , a b a , a b a a b , a b a a b a b a , a b a a b a b a a b a a b ,
The words have lengths equal to the Fibonacci numbers 1 , 1 , 2 , 3 , 5 , 8 , 13 , 21 ,
All finitely generated groups f p ( l ) whose relations rel ( a , b ) = a b , a b a , a b a a b , a b a a b a b a , have a card seq whose elements are 1s, as for the card seq of the free group F 1 . The Fibonacci sequence is our first example where group syntactical freedom correlates to aperiodicity.

2.2.3. A Four-Letter Sequence for the Transcription Factor of the Fos Gene

Let us now apply the method to a transcription factor of importance. The transcription factor of gene Fos has selected motif r e l = T G A G T C A [14]. For this case, the four-letter generated group has a card seq similar to the free group F 3 given in Table 1.
We split rel into four segments so that rel = rel A rel T rel G rel C with the substitution maps A rel A = T , T rel T = G , G rel G = A G T C , C rel C = A to produce the substitution sequence
A , T , G , C , A T G C , T G A G T C A , G A G T C T A G T C G A T
The substitution matrix for this sequence is M = 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 . It is a primitive matrix ( M 4 > > 0 ) whose eigenvalues follow from the vanishing of the polynomial λ 4 λ 3 λ 2 λ 1 . There are two real eigenvalues λ 1 1.92756 and λ 2 0.77480 , as well as two complex conjugate eigenvalues λ 3 , 4 0.07637 ± 0.81470 i . The PF-eigenvalue is λ P F = λ 1 , with an eigenvector of (positive) entries ( 1 , 0.37298 , 0.40211 , 0.20861 ) T . It follows that the selected sequence for the Fos gene is aperiodic.
All of the finitely generated groups f p ( l ) whose relations are
rel ( A , C , G , T ) = A T G C , T G A G T C A , G A G T C T A G T C G A T , ,
have a card seq whose elements are
1 , 7 , 41 , 604 , 13753 , 504243 , ,
which is the card seq of the free group F 3 . For the Fos transcription factor, group syntactical freedom correlates to aperiodicity as expected.
Further examples are obtained in the context of DNA sequences for transcription factors (Section 4 in [4]) and below, in relation to DNA conformations and telomeres.

3. Discussion

In the following, we make use of S L ( 2 , C ) representations of the infinite groups π arising from specific DNA sequences. The character variety has many interpretations in mathematics and physics. For instance, in mathematics, the variety is the space of representations of hyperbolic structures of three-manifolds M with fundamental group π ( M ) , and the variety of the characters of S L ( 2 , C ) representations of π ( M ) is reflected in the algebraic geometry of the character variety [15,16]. In physics, the group S L ( 2 , C ) expresses the symmetries of fundamental physical laws. It is also known as the Lorentz group; more precisely, the double cover of the restricted Lorenz group is S L ( 2 , C ) , which is the spin group.

3.1. S L ( 2 , C ) Character Varieties and Algebraic Surfaces

Recently, we found that the representation theory of finite groups with their character table allows us to derive an approach of the genetic code [3].
For infinite groups π such as those defined by DNA sequences, it is useful to describe the representations of π in the Lorentz group S L ( 2 , C ) , the group of ( 2 × 2 ) matrices with complex entries and determinant 1. Such a group expresses the fundamental symmetry of all known physical laws, apart from gravitation.
Representations of π in S L ( 2 , C ) are homomorphisms ρ : π S L ( 2 , C ) with character κ ρ ( g ) = tr ( ρ ( g ) ) , g π . The set of characters allows us to define an algebraic set by taking the quotient of the set of representations ρ by the group S L 2 ( C ) , which acts by conjugation on representations [15,17].
For two-generator groups, the character variety may be decomposed into the product of surfaces, which reveals the topology of M. We recently found a connection between some groups whose topology is based on the Hopf link and a model of topological quantum computing [6]. The Hopf link underlies many DNA sequences whose group structure is (or is not) that of the free group F 1 . The classification of the involved algebraic surfaces in the variety is performed using specific tools available in Magma [7]; see (Section 2.1 in [6]) for details.
For three-generator groups, we find that the Fricke–Klein quartic is part of the character variety.

3.2. The Hopf Link

Taking the linking of two unknotted curves as in Figure 2 (Left), the obtained link is called the Hopf link H = L2a1, whose knot group is defined as the fundamental group of the knot complement in the three-sphere S 3
Π 1 ( S 3 \ L 2 a 1 ) = a , b | [ a , b ] = Z 2 ,
where [ a , b ] = a b A B (with A = a 1 , B = b 1 ) is the group theoretical commutator.
There are interesting properties of the knot group Π 1 of the Hopf link.
First, the number of coverings of degree d of Π 1 (which is also the number of conjugacy classes of index d) is precisely the sum of divisor function σ ( d ) [20].
Second, an invariance of Π 1 under a repetitive action of the golden ratio substitution (the Fibonacci map) ρ : a a b , b a or under the silver ratio substitution ρ : a a b a , b a exists. The terms golden and silver refer to the Perron–Frobenius eigenvalue of the substitution matrix (Examples 4.5 and 4.6 in [13]). Such an observation links the Hopf link, the group Π 1 of the 2-torus and aperiodic substitutions.
Using Sage software [8] developed from Ref. [17], the S L 2 ( C ) character variety is the polynomial corresponding to the so-called Cayley cubic
f H ( x , y , z ) = x y z x 2 y 2 z 2 + 4 .
As expected, the three-dimensional surface Σ : f H ( x , y , z ) = 0 is the trace of the commutator and is known to correspond to the reducible representations (Theorem 3.4.1 in [21]). A picture is given in Figure 3 (left).
In the perspective of algebraic geometry, we classify the homogenization of equation f H as a rational surface of degree 3 del Pezzo type. It displays four simple singularities.

3.3. Beyond the Hopf Link

As shown in [6], the Hopf link is the irreducible component of many character varieties relevant to a model of topological quantum computing. In the context of DNA groups investigated in the next section, we also find another surface with similar simple singularities as shown in Figure 3 (right). The defining polynomial is
f H ˜ ( x , y , z ) = z 4 2 x y z ( + z 3 ) + 2 x 2 + 2 y 2 3 z 2 ( 4 z ) 4 .
The homogenization of equation f H ˜ ( x , y , z ) allows us to classify it as a conic bundle in the family of K 3 surfaces.
For the DNA sequence, whose group π H ˜ contains the component f H ˜ ( x , y , z ) , we refer to the third subsection of the Results section below and the first table in this subsection. The relevant triplet nnn=CGG of the dodecameric sequence d ( C C n n n N 6 N 7 N 8 G G ) leads to a DNA conformation with the label 1ZEY in the PDB bank.
The DNA dodecamer sequence d(CCCCCGCGGGGG) is also found in the PDB bank with label 2 D 47 , corresponding to a complete turn of A-DNA. The character variety for the group defined by this sequence contains the polynomial f H and a polynomial similar to f H ˜ without the third-order term z 3 and the first-order term 4 z , but in the same family.

3.4. The Fricke–Klein Seventh Variable Polynomial

The Cayley cubic is a subset of the character variety for the four-punctured three-dimensional sphere S 4 2 (the sphere minus four points). Its fundamental group Π 1 is isomorphic to the free group F 3 of rank 3, Π 1 ( S 4 2 ) = α , β , γ , δ | α β γ δ , where the four homotopy classes α , β , γ , δ correspond to loops around the punctures.
The S L ( 2 , C ) character variety for Π 1 ( S 4 2 ) satisfies a quartic equation in terms of the Fricke–Klein seventh variable polynomial [21] (p. 65) and [22]:
f ( x , θ ) = x y z + x 2 + y 2 + z 2 θ 1 x θ 2 x θ 3 z + θ 4 ,
with θ 1 = u v + w k , θ 2 = u w + v k , θ 3 = u k + v w , θ k = u v w k + u 2 + v 2 + w 2 4 .

4. Results

In this section, we apply the S L ( 2 , C ) representation theory to specific non-canonical DNA sequences having regulatory functions in gene expression (the transcription factors), replication (the telomeres) and DNA conformations.

4.1. Group Structure and Topology of Transcription Factors

In a transcription factor, a motif-specific DNA binding factor controls the rate of the transcription of a gene from DNA to messenger RNA by binding a protein to the DNA motif. In reference [4], we found a correlation between motifs whose subgroup structure is that of a free group and the lack of a potential disease while the gene is activated in transcription, the property of ‘syntactical freedom’.
In Table 2, this idea is illustrated by restricting to a few transcription factors whose motif comprises two bases. The card seq of the motif is either the free group F 1 , close to F 1 or away from a free group when the card seq is that of the modular group H 3 , of the Baumslag–Solitar group B S ( 1 , 1 ) or that of groups π 1 and π 1 . Compared to the results provided in [4], there is the additional fourth column that signals when the Groebner base for the ideal ring of the S L ( 2 , C ) character variety contains the Cayley cubic, the unique component in the case of the Hopf link [6], a degree 3 del Pezzo surface (denoted HL), or not. An additional fifth column is filled to check the presence of a surface of type K 3 . Only the last row of the table for the transcription factor of gene EHF does not show this property.

The Character Variety for the Transcription Factor of the DBX Gene

We explicitly show the S L ( 2 , C ) character variety for the transcription factor of the DBX gene.
f D B X ( x , y , z ) = f H ( x , y , z ) ( y z 2 y 2 x z y + 2 ) ( x y 2 z 3 y z x + 3 z ) ( y 3 z 2 3 y + 2 ) ( y 2 z x y y z + x z ) ( z 4 x 2 y + x z 4 z 2 + y + 2 )
The factors in (5) are three degree 3 del Pezzo surfaces (including the Cayley cubic f H ), two rational ruled surfaces and a K 3 surface birationally equivalent to the projective plane, respectively. The latter factor also belongs to the character variety of group Π 1 ( S 4 \ E ˜ 6 ) , where S 4 is the four-sphere and E ˜ 6 is the singular fiber I V in Kodaira’s classification of minimal elliptic surfaces (Figure 4b in [6]).
It is important to mention that, for three-letter transcription factors, the ideal ring of the corresponding S L ( 2 , C ) character variety contains the Fricke–Klein seventh variable polynomial (4), which is a feature of the four-punctured sphere topology.
Table 3 provides a short account of the function or potential dysfunction of the genes under consideration. As mentioned before, most of the time, such a dysfunction is correlated to a card seq away from that of the free group F 1 .
In view of our results, it is interesting to correlate the presence of the Hopf link HL in the character variety with the possible remodeling of B-DNA into Z-DNA or another DNA conformation. To our knowledge, general information about this subject is still lacking. From a biological point of view, it is known that some of the Z-DNA-forming conditions that are relevant in vivo are the presence of DNA supercoiling, Z-DNA-binding proteins [27] and base modifications. When transcription occurs, the movement of RNA polymerase II along the DNA strand generates positive supercoiling in front of, and negative supercoiling behind, the polymerase [28].
Perhaps the lack of HL in the character variety for transcription factors of genes in Table 2 means that the Z-DNA-forming condition is not realized.

4.2. Group Structure and Topology of DNA Telomeric Sequences

Terminal structures of chromosomes are made of short highly repetitive G-rich sequences with proteins known as telomeres. They have a protective role against the shortening of chromosomes through successive divisions. Most organisms use a telomere-specific DNA polymerase called telomerase that extends the 3’ end of the G-rich strand of the telomere [29]. Telomere shortening is associated with aging, mortality and aging-related diseases such as cancer.
A list of results obtained by using our group theoretical approach is in Table 4. For two-letter telomere sequences, the S L ( 2 , C ) character variety contains the Cayley cubic, the characteristic of the Hopf link HL, only in the first row. In addition to the Cayley cubic, one finds surfaces of a general type. In the next two rows, the Cayley cubic is not found. There are degree 3 del Pezzo surfaces in the factors of the character variety but not general surfaces.
As for the Hopf link, the sequence is found to be aperiodic with the Perron–Frobenius eigenvalue λ P F equal to the golden ratio. For three-letter telomere sequences, the card seq is that of the free group of F 2 , except for the last row, where the identified group is π 2 ; see Figure 2 (right) for the definition of such a group. In the former seven cases, the DNA topology is known to be a G-quadruplex structure [30,31,32,33,34,35,36]. We could identify an aperiodic structure of the telomere sequence with the Perron–Frobenius eigenvalue λ P F as shown in column 5. In the latter case, the topology is of the basket type [36] and no aperiodicity of the telomere sequence could be found.
Figure 4, taken from the protein data bank (PDB 2HY9), illustrates the G-quadruplex structure of the telomere sequence in vertebrates.
Table 4. Group analysis of the telomere sequence found in some eukaryotes. The first column is for the telomere repeat, the second column is the organism under investigation, the third column is for the PDB code, the fourth column is for the card seq of the group π or that of the corresponding group that is identified, the fifth column is for the Perron–Frobenius eigenvalue when the sequence is found to be aperiodic, the sixth column identifies the presence of the Hopf link (in two-base sequences) or the DNA conformation (in three-base sequences) and the seventh column is a relevant reference. The notation G-quadr is for the G-quadruplex; see Figure 4. The card seq for π 1 is [ 1 , 3 , 2 , 16 , 16 , 69 , 118 , 719 , 1877 , 8949 ] . The Hecke group H 4 is defined in (Table 2 in [4]).
Table 4. Group analysis of the telomere sequence found in some eukaryotes. The first column is for the telomere repeat, the second column is the organism under investigation, the third column is for the PDB code, the fourth column is for the card seq of the group π or that of the corresponding group that is identified, the fifth column is for the Perron–Frobenius eigenvalue when the sequence is found to be aperiodic, the sixth column identifies the presence of the Hopf link (in two-base sequences) or the DNA conformation (in three-base sequences) and the seventh column is a relevant reference. The notation G-quadr is for the G-quadruplex; see Figure 4. The card seq for π 1 is [ 1 , 3 , 2 , 16 , 16 , 69 , 118 , 719 , 1877 , 8949 ] . The Hecke group H 4 is defined in (Table 2 in [4]).
SeqOrganismPDBCard Seq λ PF Link/DNA ConfRef
G4T4G4Oxytricha1D59 π 1 ( 5 + 1 ) / 2 HL[37]
TG4Tuniversal244D_1 H 4 .no[38]
T2G4Tetrahymena230D H 4 .no[29]
T2AG3Vertebrates2HY9 F 2 2.5468G-quadr.[30]
TAG3Giardia2KOW F 2 2.2055G-quadr[31]
T2AG2Bombys moriunknown F 2 noG-quadr[32]
T4AG3Green algaeunknown F 2 3.07959unknown[33]
G2T2AGHumanunknown F 2 2.5468G-quadr[34]
TAG3T2AG3Human2HRI F 2 3.3923G-quadr[35]
G3T2AG3T2AG3THumanunknown F 2 4.3186G-quadr[36]
(GGGTTA)3G3THumanunknown π 2 nobasket[36]

4.3. Group Structure and Topology of the DNA Decamer Sequence d ( C C n n n N 6 N 7 N 8 G G ) [10]

A challenging question of structural biology is to determine if and how a DNA (or RNA) sequence defines the three-dimensional conformation, as well as the secondary and tertiary structure of proteins. In the previous two subsections, we tackled the problem with regard to transcription factors and telomeric sequences, respectively. In the former case, we restricted to the DNA part of the transcription since the DNA motif is almost exactly known from X-ray techniques while the secondary structure of the binding protein strongly depends on the model employed and the choice made to recognize the sections of the secondary structures (e.g., alpha helices, beta sheets and coils) [39]. In the latter case, in many organisms, nature invented telomerase for taking care of the replication without damaging the sequences at the 3-ends too much, while keeping the catalyzing action of DNA polymerase. Again, there is a loop complex in telomerase comprising telomere-binding proteins, with secondary structures not being analyzed so far with our group theoretical approach.
In this section, we also study DNA conformations and their relationship to algebraic topology in a specific DNA decamer sequence investigated in reference [10] by a standard crystallization technique followed by X-ray diffraction discrimination. In the sequence d ( C C n n n N 6 N 7 N 8 G G ) , the factors N 6 , N 7 and N 8 are taken in the two nucleotides G and C, and nnn is specified in order to maintain the self-complementarity of the sequence. This inverse repeated motif is the minimum motif used to distinguish between the double-strand forms of B- and A-DNA, while excluding the Z-DNA forms. A third conformation is allowed and called the four-stranded Holliday junction J. We refer to (Table 1 in [10]) for the main results.
On our side, the card seq of each sequence was determined and the S L ( 2 , C ) character variety was obtained. Our results are summarized in the four Table 5, Table 6, Table 7 and Table 8.
In Table 5, N 6 , N 7 and N 8 are taken in the two nucleotides G and C, forming eight triplets and the associated two-letter decamer sequences. Note that the triplet C C C produces two distinct DNA conformations A and J. The character variety of the Hopf link HL (the Cayley cubic) is present in the factors of the ideal ring of the S L ( 2 , C ) character variety in five cases over the nine possibilities, where one case (with triplet C G G and code 1ZEY in the protein data bank) shows an algebraic surface similar to the Cayley cubic (with four simple singularities) as defined in Equation (3) and as shown in Figure 3 (right). We do not observe a clear correlation between the type of DNA conformation and the underlying HL topology, but the presence of HL in the variety seems to exclude the B-DNA conformation. In addition, the character variety always contains a surface of type K 3 in its factors.
In Table 6, N 6 , N 7 and N 8 are taken in the two nucleotides A and T, forming eight triplets. The DNA conformation (when known) is of type B. The card seq that we obtain is groups π 3 , π 3 or π 3 ( 4 ) as described in the caption of Table 5. In six cases over the eight possibilities, the groups encapsulate the topology of the rank 2 group π 2 , whose associated link is shown in Figure 2 (right). As already mentioned, the S L ( 2 , C ) character variety contains the Fricke–Klein seventh variable polynomial 4.
In Table 7, N 6 , N 7 and N 8 are taken in the two nucleotides A, G (left part) and A, C (right part). This time, either the card seq of the group π is that of the free group F 3 , of rank 3 (10 cases over the 16 possibilities), or not. In the latter case, the group encapsulates the topology of π 2 only at the right side of the table. Similar conclusions hold in Table 8 when N 6 , N 7 and N 8 are taken in the two nucleotides A, G, C (left part) and A, T, C (right part).
To summarize this section, no clear correlation is observed between the DNA conformations of the considered decamer and our group analysis. Longer sequences may be needed to obtain such a correlation. For instance, the two-letter DNA dodecamer sequence d ( C C C C C G C G G G G G ) (PDB 2D47) corresponding to a complete turn of A-DNA—see Figure 5 (right)—features the polynomial f H (for HL) and a fourth-order polynomial similar to f H ˜ with four simple singularities, as announced at the end of Section 3.

5. Conclusions

In the present paper, following earlier work about the genetic code [2,3] and about the role of transcription factors in genetics [4], we made use of group theory applied to appropriate DNA motifs and we computed the corresponding variety of S L ( 2 , C ) representations. The DNA motifs under consideration may be canonical structures, such as (double-stranded) B-DNA, or non-canonical DNA structures [40], such as (single-stranded) telomeres, (double-stranded) A-DNA, Z-DNA or cruciforms, (triple-stranded) H-DNA, (four-stranded) i-motifs or G-quadruplexes, etc. One objective of the approach is to establish a correspondence between the algebraic geometry and topology of the S L ( 2 , C ) character variety and the types of canonical or non-canonical DNA-forms. For example, for two-letter transcription factors, one can correlate the presence of the Cayley cubic and/or a K 3 surface in the variety with DNA supercoiling in the remodeling of B-DNA to Z-DNA. For three- or four-letter DNA structures, our work needs to be developed in order to put the features of the variety and potential diseases in correspondence. In a separate work devoted to topological quantum computing, the topology of the four-punctured sphere and the related Fricke surfaces (generalizing the Cayley cubic) are relevant [41]. In addition, Fricke surfaces may be put in parallel with differential equations of the Painlevé VI type. It will be important to compare these models with other qualitative models based on non-linear differential equations [42,43]. In the near future, we intend to apply these mathematical tools to the context of DNA structures.

Author Contributions

Conceptualization, M.P., F.F. and K.I.; methodology, M.P., D.C. and R.A.; software, M.P.; validation, R.A., F.F., D.C. and M.M.A.; formal analysis, M.P. and M.M.A.; investigation, M.P., D.C., F.F. and M.M.A.; writing—original draft preparation, M.P.; writing—review and editing, M.P.; visualization, F.F. and R.A.; supervision, M.P. and K.I.; project administration, K.I.; funding acquisition, K.I. All authors have read and agreed to the published version of the manuscript.

Funding

Funding was obtained from Quantum Gravity Research in Los Angeles, CA, USA.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

The datasets used and/or analyzed during the current study are available from the corresponding author on reasonable request.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Nerlich, B.; Dingwall, R.; Clarke, D.D. The book of life: How the completion of the Human Genome Project was revealed to the public. Health Interdiscip. J. Soc. Study Health Illn. Med. 2002, 6, 445–469. [Google Scholar] [CrossRef]
  2. Planat, M.; Aschheim, R.; Amaral, M.M.; Fang, F.; Irwin, K. Complete quantum information in the DNA genetic code. Symmetry 2020, 12, 1993. [Google Scholar] [CrossRef]
  3. Planat, M.; Chester, D.; Aschheim, R.; Amaral, M.M.; Fang, F.; Irwin, K. Finite groups for the Kummer surface: The genetic code and quantum gravity. Quantum Rep. 2021, 3, 68–79. [Google Scholar] [CrossRef]
  4. Planat, M.; Amaral, M.M.; Fang, F.; Chester, D.; Aschheim, R.; Irwin, K. Group theory of syntactical freedom in DNA transcription and genome decoding. Curr. Issues Mol. Biol. 2022, 44, 1417–1433. [Google Scholar] [CrossRef]
  5. Irwin, K. The code-theoretic axiom; the third ontology. Rep. Adv. Phys. Sci. 2019, 3, 1950002. [Google Scholar] [CrossRef]
  6. Planat, M.; Amaral, M.M.; Fang, F.; Chester, D.; Aschheim, R.; Irwin, K. Character varieties and algebraic surfaces for the topology of quantum computing. Symmetry 2022, 14, 915. [Google Scholar] [CrossRef]
  7. Bosma, W.; Cannon, J.J.; Fieker, C.; Steel, A. (Eds.) Handbook of Magma Functions; Australia, Edition 2.23; University of Sydney: Sydney, Australia, 2017; 5914p. [Google Scholar]
  8. Python Code to Compute Character Varieties. Available online: http://math.gmu.edu/~slawton3/Main.sagews (accessed on 1 May 2021).
  9. DNA. Available online: https://en.wikipedia.org/wiki/DNA (accessed on 1 January 2022).
  10. Hays, F.A.; Teegarden, A.; Jones, Z.J.R.; Harms, M.; Raup, D.; Watson, J.; Cavaliere, E.; Ho, P.S. How sequence defines structure: A crystallographic map of DNA structure and conformation. Proc. Natl. Acad. Sci. USA 2005, 20, 7157–7162. [Google Scholar] [CrossRef] [Green Version]
  11. Kwak, J.H.; Nedela, R. Graphs and their coverings. Lect. Notes Ser. 2007, 17, 118. [Google Scholar]
  12. The On-Line Encyclopedia of Integer Sequences. Available online: https://oeis.org/book.html (accessed on 1 June 2022).
  13. Baake, M.; Grimm, U. Aperiodic Order, Vol. I: A Mathematical Invitation; Cambridge University Press: Cambridge, UK, 2013. [Google Scholar]
  14. Glover, J.N.; Harrison, S.C. Crystal structure of the heterodimeric bZIP transcription factor c-Fos-c-Jun bound to DNA. Nature 1995, 373, 257–261. [Google Scholar] [CrossRef]
  15. Culler, M.; Shalen, P.B. Varieties of group representations and splitting of 3-manifolds. Ann. Math. 1983, 117, 109–146. [Google Scholar] [CrossRef]
  16. Cooper, D.; Culler, M.; Gillet, H.; Long, D.D.; Shalen, P.B. Plane curves associated to character varieties of 3-manifolds. Invent. Math. 1994, 118, 47–84. [Google Scholar] [CrossRef]
  17. Ashley, C.; Burelle, J.P.; Lawton, S. Rank 1 character varieties of finitely presented groups. Geom. Dedicata 2018, 192, 1–19. [Google Scholar] [CrossRef] [Green Version]
  18. Zeeman E., C. Linking spheres. Abh. Math. Sem. Univ. Hambg. 1960, 24, 149–153. [Google Scholar] [CrossRef]
  19. Rolfsen, D. Knots and Links; AMS Chelsea Publishing: Providence, RI, USA, 2000. [Google Scholar]
  20. Liskovets, V.; Mednykh, A. On the number of connected and disconnected coverings over a manifold. Ars Math. Contemp. 2009, 2, 181–189. [Google Scholar] [CrossRef] [Green Version]
  21. Goldman, W.M. Trace coordinates on Fricke spaces of some simple hyperbolic surfaces. In Handbook of Teichmüller Theory; European Mathematical Society: Zurich, Switzerland, 2009; Volume 13, pp. 611–684. [Google Scholar]
  22. Cantat, S.; Loray, F. Holomorphic dynamics, Painlevé VI equation and character varieties. arXiv 2007, arXiv:0711.1579v2. [Google Scholar]
  23. Sandelin, A.; Alkema, W.; Engström, P.; Wasserman, W.W.; Lenhard, B. JASPAR: An open-access database for eukaryotic transcription factor binding profiles. Nucleic Acids Res. 2004, 32, D91–D94. Available online: https://jaspar.genereg.net/ (accessed on 1 January 2022). [CrossRef] [Green Version]
  24. Lambert, S.A.; Jolma, A.; Campitelli, L.F.; Das, P.K.; Yin, Y.; Albu, M.; Chen, X.; Talpale, J.; Hughes, T.R.; Weirauch, M.T. The human transcription factors. Cell 2018, 172, 650–665. Available online: http://www.edgar-wingender.de/huTF_classification.html (accessed on 1 January 2022). [CrossRef] [Green Version]
  25. Lantz, K.A.; Vatamaniuk, M.Z.; Brestelli, J.E.; Friedman, J.R.; Matschinsky, F.M.; Kaestner, K.H. Foxa2 regulates multiple pathways of insulin secretion. J. Clin. Investig. 2004, 114, 512–520. [Google Scholar] [CrossRef]
  26. José-Edwards, D.S.; Oda-Ishii, I.; Kugler, J.E.; Passamaneck, Y.J.; Katikala, L.; Nibu, Y.; Di Gregorio, A. Brachyury, Foxa2 and the cis-Regulatory Origins of the Notochord. PLoS Genet. 2015, 11, e1005730. [Google Scholar] [CrossRef] [Green Version]
  27. Ray, B.K.; Dhar, S.; Shakya, A.; Ray, S. Z-DNA-forming silencer in the first exon regulates human ADAM-12 gene expression. Proc. Natl. Acad. Sci. USA 2011, 108, 103–106. [Google Scholar] [CrossRef] [Green Version]
  28. Ravichandran, S.; Subramani, V.K.; Kil, K.K. Z-DNA in the genome: From structure to disease. Biophys. Rev. 2019, 11, 383–387. [Google Scholar] [CrossRef] [PubMed]
  29. Nugent, C.I.; Lundblad, V. The telomerase reverse transcriptase: Components and regulation. Gene Dev. 1998, 12, 1073–1085. [Google Scholar] [CrossRef] [PubMed]
  30. Dai, J.; Punchihewa, C.; Ambrus, A.; Chen, D.; Jones, R.A.; Yang, D. Structure of the intramolecular human telomeric G-quadruplex in potassium solution: A novel adenine triple formation. Nucl. Acids Res. 2007, 35, 2440–2450. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  31. Hu, L.; Lim, K.W.; Bouazuz, S.; Phan, A.T. Giardia Telomeric Sequence d(TAGGG)4 Forms Two Intramolecular G-Quadruplexes in K+ Solution: Effect of Loop Length and Sequence on the Folding Topology. J. Am. Chem. Soc. 2009, 131, 16824–16831. [Google Scholar] [CrossRef] [PubMed]
  32. Kettani, A.; Bouazziz, S.; Wang, W.; Jones, R.A.; Patel, D.J. Bombyx mori single repeat telomeric DNA sequence forms a G-quadruplex capped by base triads. Nat. Struc. Biol. 1997, 4, 383–389. [Google Scholar]
  33. Fulnecčková, J.; Hasíková, T.; Fajkus, J.; LukesŠová, A.; EliásŠ, M. Sýkorová, E. Dynamic Evolution of Telomeric Sequences in the Green Algal Order Chlamydomonadales. Genome Biol. Evol. 2012, 4, 248–264. [Google Scholar] [CrossRef] [Green Version]
  34. Gavory, G.; Farrow, M.; Balasubramanian, S. Minimum length requirement of the alignment domain of human telomerase RNA to sustain catalytic activity in vitro. Nucl. Acids Res. 2002, 30, 4470–4480. [Google Scholar] [CrossRef] [Green Version]
  35. Parkinson, G.N.; Ghosh, R.; Neidle, S. Structural basis for binding of porphyrin to human telomeres. Biochemistry 2007, 46, 2390–2397. [Google Scholar] [CrossRef]
  36. Zhang, N.; Phan, A.T.; Patel, D.J. (3+1) assembly of three human telomeric repeats into an asymmetric dimeric G-Quadruplex. J. Am. Chem. Soc. 2005, 127, 17277–17285. [Google Scholar] [CrossRef] [Green Version]
  37. Kang, C.; Zhang, X.; Ratliff, R.; Moyzis, R.; Rich, A. Crystal structure of four-stranded Oxytricha telomeric DNA. Nature 1992, 356, 126–131. [Google Scholar] [CrossRef]
  38. Laughlan, G.; Murchie, A.I.H.; Norman, D.H.; Moore, M.H.; Moody, P.C.E.; Lilley, D.M.J.; Luisi, B. The High-Resolution Crystal Structure of a Parallel-Stranded Guanine Tetraplex. Science 1994, 265, 520–524. [Google Scholar] [CrossRef] [Green Version]
  39. Planat, M.; Aschheim, R.; Amaral, M.M.; Fang, F.; Irwin, K. Quantum information in the protein codes, 3-manifolds and the Kummer surface. Symmetry 2021, 13, 39. [Google Scholar]
  40. Bansal, A.; Kaushik, S.; Kukreti, S. Non-canonical DNA structures: Diversity and disease association. Front. Genet. 2022, 13, 959258. [Google Scholar] [CrossRef]
  41. Planat, M.; Chester, D.; Amaral, M.; Irwin, K. Fricke topological qubits. Preprints 2022. [Google Scholar] [CrossRef]
  42. Matsutani, S.; Previato, E. An algebro-geometric model for th shape of supercolied DNA. Phys. D Nonlinear Phenom. 2022, 430, 133073. [Google Scholar] [CrossRef]
  43. Rand, D.A.; Raju, A.; Saez, M.; Siggia, E.D. Geometry of gene regulatory dynamics. Proc. Natl. Acad. Sci. USA 2021, 118, e2109729118. [Google Scholar] [CrossRef]
Figure 1. From left to right, the structures of A-, B- and Z-DNA. The view of the double helix from above (or below) shows distinct symmetries, 11-fold for the A-DNA, 10-fold for the B-DNA and 6-fold for the Z-DNA [9,10].
Figure 1. From left to right, the structures of A-, B- and Z-DNA. The view of the double helix from above (or below) shows distinct symmetries, 11-fold for the A-DNA, 10-fold for the B-DNA and 6-fold for the Z-DNA [9,10].
Ijms 23 13290 g001
Figure 2. (Left): the Hopf link. (Right): the link L = A B is attached to the plane R 2 in the half-space R + 3 . It is not splittable. This can be proved by checking that the fundamental group π = π 2 ( L ) is not free [18] and p. 90 in [19]. One gets π 2 = x , y , z | ( x , ( y , z ) ) = z , where (.,.) means the group theoretical commutator. The cardinality sequence of cc of subgroups of π 2 is [ 1 , 3 , 10 , 51 , 164 , 1365 , 9422 , 81594 , 721305 , ] (Figure 3 in [4]).
Figure 2. (Left): the Hopf link. (Right): the link L = A B is attached to the plane R 2 in the half-space R + 3 . It is not splittable. This can be proved by checking that the fundamental group π = π 2 ( L ) is not free [18] and p. 90 in [19]. One gets π 2 = x , y , z | ( x , ( y , z ) ) = z , where (.,.) means the group theoretical commutator. The cardinality sequence of cc of subgroups of π 2 is [ 1 , 3 , 10 , 51 , 164 , 1365 , 9422 , 81594 , 721305 , ] (Figure 3 in [4]).
Ijms 23 13290 g002
Figure 3. (Left): a three-dimensional picture of the S L 2 ( C ) character variety Σ H for the Hopf link complement H. (Right): a modified character variety of defining equation f H ˜ ( x , y , z ) with similar singularities.
Figure 3. (Left): a three-dimensional picture of the S L 2 ( C ) character variety Σ H for the Hopf link complement H. (Right): a modified character variety of defining equation f H ˜ ( x , y , z ) with similar singularities.
Ijms 23 13290 g003
Figure 4. Human telomere DNA quadruplex structure in K+ solution hybrid-1 form, PDB 2HY9 [30].
Figure 4. Human telomere DNA quadruplex structure in K+ solution hybrid-1 form, PDB 2HY9 [30].
Ijms 23 13290 g004
Figure 5. (Left) The four-strand Holliday junction J: PDB 1 Z F 2 , (Right) A complete turn of A-DNA: PDB 2 D 47 . It is associated to DNA dodecamer sequence d ( C C C C C G C G G G G G ) with S L ( 2 , C ) containing the factor f H = x y z x 2 y 2 z 2 + 4 (the Cayley cubic) and the factor f H ˜ = z 4 2 x y z + 2 x 2 + 2 y 2 3 z 2 4 .
Figure 5. (Left) The four-strand Holliday junction J: PDB 1 Z F 2 , (Right) A complete turn of A-DNA: PDB 2 D 47 . It is associated to DNA dodecamer sequence d ( C C C C C G C G G G G G ) with S L ( 2 , C ) containing the factor f H = x y z x 2 y 2 z 2 + 4 (the Cayley cubic) and the factor f H ˜ = z 4 2 x y z + 2 x 2 + 2 y 2 3 z 2 4 .
Ijms 23 13290 g005
Table 1. Number of conjugacy classes of subgroups of index d in free group of rank r = 1 to 3 [11]. The last column is the index of the sequence in the on-line encyclopedia of integer sequences [12].
Table 1. Number of conjugacy classes of subgroups of index d in free group of rank r = 1 to 3 [11]. The last column is the index of the sequence in the on-line encyclopedia of integer sequences [12].
rCard SeqSequence Code
1 [ 1 , 1 , 1 , 1 , 1 , 1 , 1 , 1 , 1 , ] A000012
2 [ 1 , 3 , 7 , 26 , 97 , 624 , 4163 , 34470 , 314493 , ] A057005
3 [ 1 , 7 , 41 , 604 , 13753 , 504243 , 24824785 , 1598346352 , ] A057006
Table 2. Group structure of motifs for a few two-letter transcription factors. The card seq for the modular group H 3 is [ 1 , 1 , 2 , 3 , 2 , 8 , 7 , 10 , 18 , 28 , ] . The Baumslag–Solitar group B S ( 1 , 1 ) is the fundamental group of the Klein bottle. The card seq for B S ( 1 , 1 ) is [ 1 , 3 , 2 , 5 , 2 , 7 , 2 , 8 , 3 , 8 , 2 , 13 , 2 , 9 , 4 , ] . The card seq for π 1 is [ 1 , 4 , 1 , 2 , 4 , 2 , 1 , 7 , 2 , 2 , 4 , 2 , 2 , 8 , 1 , 2 , 7 , 2 , 3 , ] ; for π 1 , it is [ 1 , 1 , 1 , 2 , 1 , 3 , 3 , 1 , 2 , 2 , 1 , 1 , 9 , 2 , 14 , 2 , 1 , ] . The symbol HL means that the Cayley cubic is part of the Groebner base for the ideal ring of the corresponding S L ( 2 , C ) character variety. For three-letter transcription factors, the ideal ring of the corresponding S L ( 2 , C ) character variety contains the Fricke–Klein seventh variable polynomial 4, which is a feature of the four-punctured sphere topology. The group structure of three-letter transcription factors not leading to free groups is shown in (Table 5 in [4]).
Table 2. Group structure of motifs for a few two-letter transcription factors. The card seq for the modular group H 3 is [ 1 , 1 , 2 , 3 , 2 , 8 , 7 , 10 , 18 , 28 , ] . The Baumslag–Solitar group B S ( 1 , 1 ) is the fundamental group of the Klein bottle. The card seq for B S ( 1 , 1 ) is [ 1 , 3 , 2 , 5 , 2 , 7 , 2 , 8 , 3 , 8 , 2 , 13 , 2 , 9 , 4 , ] . The card seq for π 1 is [ 1 , 4 , 1 , 2 , 4 , 2 , 1 , 7 , 2 , 2 , 4 , 2 , 2 , 8 , 1 , 2 , 7 , 2 , 3 , ] ; for π 1 , it is [ 1 , 1 , 1 , 2 , 1 , 3 , 3 , 1 , 2 , 2 , 1 , 1 , 9 , 2 , 14 , 2 , 1 , ] . The symbol HL means that the Cayley cubic is part of the Groebner base for the ideal ring of the corresponding S L ( 2 , C ) character variety. For three-letter transcription factors, the ideal ring of the corresponding S L ( 2 , C ) character variety contains the Fricke–Klein seventh variable polynomial 4, which is a feature of the four-punctured sphere topology. The group structure of three-letter transcription factors not leading to free groups is shown in (Table 5 in [4]).
GeneMotifCard SeqLinkTypeLiterature
DBXTTTATTA F 1 HL K 3 [23], MA0174.1
SPT15TATATATAT...., MA0386.1
PHOX2ATAATTTAATTA F 1 ..., MA0713.1
FOXATGTTTGTTT F 1 ..[24,25]
FOXGTTTGTTTTT...[24]
NKX6-2TAATTAA H 3 no K 3 [23], [MA0675.1, MA0675.2]
FOXGTGTTTG B S ( 1 , 1 ) no K 3 [23,26], MA1865.1
HoxA1, HoxA2TAATTA π 1 no K 3 [23], [MA1495.1, MA0900.1]
POU6F1, Vax ., [MAO628.1, MA0722.1]
RUNX1TGTGGT.no.., MA0511.1
RUNX1TGTGGTT π 1 no K 3 [23], MA0002.2
EHFCCTTCCTC.HL ., MA0598.1
Table 3. A short account of the function or dysfunction (through mutations or isoforms) of genes associated with transcription factors and sections in Table 2.
Table 3. A short account of the function or dysfunction (through mutations or isoforms) of genes associated with transcription factors and sections in Table 2.
GeneTypeFunctionDysfunction
DBX drosophila segmentation
SPT15TATA-boxgene expression, regulation
binding proteinin Saccharomyces cerevisiae
PHOX2Ahomeodomaindifferentiation, maintenancefibrosis
of noradrenergic phenotypeof extraocular muscles
FOX proteinsforkhead boxgrowth, differentiation,
FOXA2.insulin secretiondiabete
longevity
NKX6-2homeoboxcentral nervous system, pancreasspastic ataxia
FOXGforkhead boxnotochord (neural tube)chordoma
HoxA1homeoboxembryonic devt of face and hearautism
HoxA2..cleft palate
Pou6F1.neuroendocrine systemclear cell adenocarcinoma
Vax.forebrain developmentcraniofacial malform.
RunX1Runt-relatedcell differentiation, pain neuronsmyeloid leukemia
EHFhomeoboxepithelial expressioncarcinogenesis, asthma
Table 5. Group analysis of the sequence d ( C C n n n N 6 N 7 N 8 G G ) , where N 6 , N 7 and N 8 are taken in the two nucleotides G and C and n n n is specified in order to maintain the self-complementarity of the sequence [10]. The first column is for the selected triplet N 6 N 7 N 8 , the second column is for the code in the protein data bank, the third column is for the DNA conformation when known (see Table 1 in [10]), the fourth column is for the cardinality structure of subgroups of π and the fifth column checks the occurrence of a surface corresponding to the Hopf link in the factorization of the S L ( 2 , C ) of π . The symbols A, B and J are for A-DNA, B-DNA and a four-stranded Holliday junction; lowercase is used when the conformation is not confirmed in [10].
Table 5. Group analysis of the sequence d ( C C n n n N 6 N 7 N 8 G G ) , where N 6 , N 7 and N 8 are taken in the two nucleotides G and C and n n n is specified in order to maintain the self-complementarity of the sequence [10]. The first column is for the selected triplet N 6 N 7 N 8 , the second column is for the code in the protein data bank, the third column is for the DNA conformation when known (see Table 1 in [10]), the fourth column is for the cardinality structure of subgroups of π and the fifth column checks the occurrence of a surface corresponding to the Hopf link in the factorization of the S L ( 2 , C ) of π . The symbols A, B and J are for A-DNA, B-DNA and a four-stranded Holliday junction; lowercase is used when the conformation is not confirmed in [10].
TripletPDBConformationCard Seq ( π )Knot
CCC1ZF1A [ 1 , 1 , 1 , 1 , 7 , 1 , 1 , 2 , 9 , 6 , ] HL
CCC1ZF2JidemHL
CCG1ZEXAidemHL
CGG1ZEYA [ 1 , 1 , 1 , 2 , 6 , 3 , 1 , 4 , 2 , 6 , ] HL like
CGCnoneunknown [ 1 , 1 , 2 , 1 , 6 , 3 , 2 , 1 , 3 , 6 , ] no
GGG1ZF9A [ 1 , 1 , 1 , 1 , 10 , 25 , 25 , 9 , 2 , 1798 , ] no
GCCnoneb/J [ 1 , 1 , 1 , 1 , 6 , 1 , 2 , 1 , 1 , 6 , ] HL
GCGnoneunknown [ 1 , 1 , 2 , 2 , 7 , 5 , 1 , 4 , 5 , 9 , ] no
GGCnoneB/a [ 1 , 1 , 1 , 1 , 6 , 11 , 9 , 5 , 2 , 208 , ] no
(card seq of Hecke group H 5 )
Table 6. Group analysis of the sequence d ( C C n n n N 6 N 7 N 8 G G ) , where N 6 , N 7 and N 8 are taken in the two nucleotides A,T [10]. Groups π 3 and π 3 are as in (Table 5 in [4]). The card seq for π 3 is [ 1 , 7 , 50 , 867 , 15906 , 570528 , ] ; for π 3 , it is [ 1 , 7 , 50 , 739 , 15234 , 548439 , ] ; for π 3 ( 4 ) , it is [ 1 , 7 , 59 , 1258 , 24787 , ]. Groups π 3 and π 3 may be simplified to a group whose card seq is that of π 2 , the fundamental group of the link L = A B described in Figure 3 (right).
Table 6. Group analysis of the sequence d ( C C n n n N 6 N 7 N 8 G G ) , where N 6 , N 7 and N 8 are taken in the two nucleotides A,T [10]. Groups π 3 and π 3 are as in (Table 5 in [4]). The card seq for π 3 is [ 1 , 7 , 50 , 867 , 15906 , 570528 , ] ; for π 3 , it is [ 1 , 7 , 50 , 739 , 15234 , 548439 , ] ; for π 3 ( 4 ) , it is [ 1 , 7 , 59 , 1258 , 24787 , ]. Groups π 3 and π 3 may be simplified to a group whose card seq is that of π 2 , the fundamental group of the link L = A B described in Figure 3 (right).
TripletPDBConformation π
TTA1ZFHB π 3 π 2
TAAnoneB π 3 π 2
AATnoneb π 3 π 2
ATTnoneunknown π 3 π 2
AAAnoneb π 3 π 2
TTTnoneunknown π 3 π 2
ATAnoneunknown π 3 ( 4 )
TATnoneunknown π 3 ( 4 )
Table 7. Group analysis of the sequence d ( C C n n n N 6 N 7 N 8 G G ) [10], where N 6 , N 7 and N 8 are taken in the two nucleotides A,G (left) and A,C (right). Groups π 3 and π 3 are as in (Table 5 in [4]). The card seq for π 3 ( 3 ) is [ 1 , 7 , 41 , 668 , 14969 , ] and, for π 3 ( 5 ) , it is [ 1 , 7 , 41 , 604 , 28153 , ].
Table 7. Group analysis of the sequence d ( C C n n n N 6 N 7 N 8 G G ) [10], where N 6 , N 7 and N 8 are taken in the two nucleotides A,G (left) and A,C (right). Groups π 3 and π 3 are as in (Table 5 in [4]). The card seq for π 3 ( 3 ) is [ 1 , 7 , 41 , 668 , 14969 , ] and, for π 3 ( 5 ) , it is [ 1 , 7 , 41 , 604 , 28153 , ].
TripletPDBConformation π TripletPDBConformation π
AGA1ZEWB F 3 ACAnoneunknown π 3 ( 3 ) π 2
AGGnoneunknown π 3 ( 5 ) ACCnoneJ F 3
GGA1ZFAA F 3 CCAnoneunknown F 3
AAGnoneunknown F 3 AAC1ZF0B π 3 π 2
TGTnoneunknown F 3 TCTnoneb π 3 ( 3 ) π 2
TGG1ZF6A F 3 TCCnoneunknown F 3
GGT1ZF8A F 3 CCTnoneb F 3
TTGnoneunknown π 3 TTCnoneB π 3 π 2
Table 8. Group analysis of the sequence d ( C C n n n N 6 N 7 N 8 G G ) [10], where N 6 , N 7 and N 8 are taken in the three nucleotides A, G, C (left) and A, T, C (right). The card seq for π 3 ( 6 ) is [ 1 , 7 , 59 , 874 , 20371 , 748320 ].
Table 8. Group analysis of the sequence d ( C C n n n N 6 N 7 N 8 G G ) [10], where N 6 , N 7 and N 8 are taken in the three nucleotides A, G, C (left) and A, T, C (right). The card seq for π 3 ( 6 ) is [ 1 , 7 , 59 , 874 , 20371 , 748320 ].
TripletPDBConformation π TripletPDBConformation π
AGC1ZFMB F 3 ATC1ZFC/1ZF3B/J π 3 ( 6 )
ACGnoneunknown F 3 ACTnoneB π 3 ( 3 ) π 2
GCA1ZFEB F 3 TCAnoneunknown π 3 ( 3 ) π 2
GAC1ZF7B F 3 TACnoneunknown π 3 ( 6 )
CAGnoneunknown F 3 CATnoneunknown F 3
CGAnoneunknown F 3 CTAnoneunknown F 3
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Planat, M.; Amaral, M.M.; Fang, F.; Chester, D.; Aschheim, R.; Irwin, K. DNA Sequence and Structure under the Prism of Group Theory and Algebraic Surfaces. Int. J. Mol. Sci. 2022, 23, 13290. https://doi.org/10.3390/ijms232113290

AMA Style

Planat M, Amaral MM, Fang F, Chester D, Aschheim R, Irwin K. DNA Sequence and Structure under the Prism of Group Theory and Algebraic Surfaces. International Journal of Molecular Sciences. 2022; 23(21):13290. https://doi.org/10.3390/ijms232113290

Chicago/Turabian Style

Planat, Michel, Marcelo M. Amaral, Fang Fang, David Chester, Raymond Aschheim, and Klee Irwin. 2022. "DNA Sequence and Structure under the Prism of Group Theory and Algebraic Surfaces" International Journal of Molecular Sciences 23, no. 21: 13290. https://doi.org/10.3390/ijms232113290

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop