1: \begin{abstract}

2: We consider the approach of replacing trees by multi-indices

3: as an index set of the abstract model space $\mathsf{T}$,

4: which was introduced in \cite{OSSW} to tackle

5: quasi-linear singular SPDEs.

6: We show that this approach is consistent with the postulates of regularity structures in \cite{Hairer}

7: when it comes to the structure group $\mathsf{G}$.

8: In particular, $\mathsf{G}\subset{\rm Aut}(\mathsf{T})$

9: arises from a Hopf algebra $\mathsf{T}^+$

10: and a comodule $\Delta\colon\mathsf{T}\rightarrow \mathsf{T}^+\otimes\mathsf{T}$.  

11: 

12: \smallskip

13: 

14: In fact, this approach, where the dual $\mathsf{T}^*$ of the abstract model

15: space $\mathsf{T}$ naturally embeds into a formal power series algebra,

16: allows to interpret $\mathsf{G}^*\subset{\rm Aut}(\mathsf{T}^*)$ as a

17: Lie group arising from a Lie algebra $\L \subset{\rm End}(\mathsf{T}^*)$ consisting of derivations

18: on this power series algebra. These derivations in turn

19: are the infinitesimal generators of two actions on the space of pairs (nonlinearities, functions of space-time mod constants). These actions are shift of space-time and tilt by space-time polynomials.

20: 

21: 

22: \smallskip

23: 

24: The Hopf algebra $\mathsf{T}^+$ arises from a

25: coordinate representation of the

26: universal enveloping algebra ${\rm U}(\L)$ of the Lie algebra $\L$. The coordinates are determined by an underlying pre-Lie algebra structure of the derived algebra of $\mathsf{L}$.

27: Strong finiteness properties, which are enforced by gradedness and the restrictive definition of $\T$, allow for this purely algebraic construction of $\mathsf{G}$.

28: 

29: \smallskip

30: 

31: We also argue that there exist pre-Lie algebra and Hopf algebra morphisms between our structure and the tree-based one in the cases of branched rough paths (Grossman-Larson, Connes-Kreimer) and of the generalized parabolic Anderson model.

32: \end{abstract}

33: