Faithful action of braid group on bosonic extensions

The braid group action on the bosonic extension of the quantum group has been introduced in recent works, and it can be regarded as a generalization of Lusztig’s symmetries on the quantum group. In this notes, we prove the faithfulness of this braid group action.