The properties of the strongly interacting edge states of two dimensional topological insulators in the presence of two particle backscattering are investigated. We find an anomalous behavior of the density-density correlation functions, which show oscillations that are neither of Friedel nor of Wigner type: they instead represent a Wigner crystal of fermions of fractional charge e/2, with e the electron charge. By studying the Fermi operator, we show that the state characterized by such fractional oscillations still bears the signatures of spin momentum locking. Finally, we compare the spin-spin correlation functions and the density-density correlation functions to argue that the fractional Wigner crystal is characterized by a non trivial spin texture. [7][8][9] (2DTI). Particular emphasis has been devoted to the investigation of the transport properties of 2DTI: topological protection of the edge states facilitates the observation of conductance quantization [5,6,10] in short samples. Long edges on the other hand are characterized by a reduced conductance. Even though a comprehensive theoretical understanding of the scattering sources causing the reduction of the conductance of the edge is still lacking, the role of electron-phonon interactions[11], of magnetic [12] and nonmagnetic impurities [13,14], in the presence of random Rashba disorder [15,16], of breaking of axial symmetry in combination with electronelectron interactions and impurities [17,18], of tunneling among the edges and charge puddles in the bulk of the 2DTI [19], and of the coupling between opposite edges [20,21] has been theoretically elucidated. The mathematical tool allowing for most of such calculations is bosonization [22,23], a procedure that enables us to recast the Hamiltonian of the interacting electrons on the edges into a Hamiltonian of free bosonic excitations, representing charge density waves, and to express the Fermi operator in terms of the creation and annihilation bosonic operators. The physical meaning of the bosonization technique can be understood within the framework of Luttinger liquid theory [24], that is the one dimensional counterpart of the Fermi liquid theory for one dimensional gapless systems. More precisely, the exactly solvable Luttinger model [25][26][27], a strictly linear theory of interacting one dimensional fermions with infinite bandwidth in the single particle dispersion is usually employed. The validity of the Luttinger model as a basis for the description of interacting electrons has a number of experimental demonstrations, ranging from spin charge separation [28], to charge fractionalization [29,30], and to anomalous tunneling [31,32]. On the other hand, the Luttinger model alone fails in predicting a reasonable behavior of local observables [33][34][35][36], such as the electron density and the density-density correlation functions when electron-electron interactions are strong. In particular, the Luttinger model is not able to capture the transition between a weakly correlated state dominated by Fri...