Neste trabalho encontramos bases para as identidades T Z 32 e T Z 22 gradu- adas dos octônios. Utilizando a base obtida no T Z 22 , re-obtivemos uma base para as identidades Z 2 -graduadas das matrizes dois por dois. Também obti- vemos as identidades simultaneamente fracas e antissimétricas ou skew dos octônios na categorias de álgebras alternativas. Também obtivemos as identi- dades antissimétricas da álgebra de Malcev simples de dimensão sete, sl(O). Para ambos os casos estudados de identidades não graduadas dos octônios, mostramos positivamente a conjectura de Shestakov-Zhukavets: O T -ideal de identidades dos octônios coincide com o da álgebra alternativa quadrá- tica. / In this work we find bases for the T Z 32 and T Z 22 graded identities of the octonion algebra. Using the base obtained in the T Z 22 case, we re-obtain a basis for the Z 2 -graded identities of two by two matrices. We also obtained the simultaneously skew and weak identities of the octonions in the category of alternative algebras. In addition we find a basis of identities for the simple Malcev algebra of dimension seven, sl(O). For both skew cases of identities studied we positively show the Shestakov-Zhukavets conjecture: The T -ideal of identities of the octonions coincides with that of the quadratic alternative algebra.

Two standard invariants used to study the fundamental group of the complement X of a hyperplane arrangement are the Malcev completion of its fundamental group G and the cohomology groups of X with coefficients in rank one local systems. In this thesis, we develop a tool that unifies these two approaches. This tool is the Malcev completion S_p of G relative to a homomorphism p from G into (C^*)^N. The relative completion S_p is a prosolvable group that generalizes the classical Malcev completion; when p is the trivial representation, S_p is the Malcev completion of G. The group S_p is tightly controlled by the cohomology groups H^1(X,L_{p^k}) with coefficients in the irreducible local systems L_{p^k} associated to the representation p.The pronilpotent Lie algebra u_p of the prounipotent radical U_p of S_p has been described by Hain. If p is the trivial representation, then u_p is the holonomy Lie algebra, which is well-known to be quadratically presented. In contrast, we show that when X is the complement of the braid arrangement in complex two-space, there are infinitely many representations p from G into (C^*)^2 for which u_p is not quadratically presented.We show that if Y is a subtorus of the character torus T containing the trivial character, then S_p is combinatorially determined for general p in Y. We do not know whether S_p is always combinatorially determined. If S_p is combinatorially determined for all characters p of G, then the characteristic varieties of the arrangement X are combinatorially determined.When Y is an irreducible subvariety of T^N, we examine the behavior of S_p as p varies in Y. We define an affine group scheme S_Y over Y such that if Y = {p}, then S_Y is the relative Malcev completion S_p. For each p in Y, there is a canonical homomorphism of affine group schemes from S_p into the affine group scheme which is the restriction of S_Y to p. This is often an isomorphism. For example, if there exists p in Y whose image is Zariski dense in G_m^N, then this homomorphism is an isomorphism for general p in Y. / Dissertation

Pour X un espace topologique, l'algèbre de Lie de Malcev de son groupe fondamental (ou algèbre de Lie de Malcev de X) fait partie des invariants étudiés en homotopie rationnelle. Un espace est dit 1-formel si cette algèbre de Lie est quadratique. Les connexions de type Knizhnik-Zamolodochikov peuvent permettre d'établir des résultats de "formalité " des espaces de configurations de points sur les surfaces. On s'intéresse à une famille d'espaces X qui sont des espaces de configurations de points sur la sphère, tordus par l'action d'un groupe fini d'homographies. On étudie le groupe fondamental de X et on construit une connexion de type Knizhnik-Zamolodochikov qui permet de calculer l'algèbre de Lie de Malcev de X et de démontrer sa 1-formalité. / The Malcev Lie algebra of the fundamental group of X (or Macev Lie algebra of X) is an algebraic invariant of the space X studied in rational homotopy theory. The space X is 1-formal if its Malcev algebra is quadratic. One can use Knizhnik–Zamolodchikov-type connections to obtain "formality" (1-formality or filtered formality) results for configuration spaces of surfaces. In the thesis we consider a family of orbit configuration spaces X of the complex projective line associated to finite finite groups of homographies. We study the fundamental group of X and constuct Knizhnik– Zamolodchikov-type connections. This allows us to give a presentation of the Malcev Lie algebra of X and to prove the 1-formality of X.