Condizione algebrica

L'intento della ricerca è scrivere, mimando quello che è stato possibile fare nel caso del bialgebroide di Lie associato ad una varietà di Poisson-Nijenhuis, la condizione di bialgebroide alla Mackenzie-Xu come due condizioni di accoppiamento tra le ancore. La prima condizione, a senso, è la seguente:

Ora, perché debba valere è ancora un po' oscuro. Credo che salti fuori naturalmente se cerco di imporre la f-linearità (o, almeno, un difetto come quello per PN), come funzionava nella tesi.