Hello, everyone! I have a doubt in relation to this question: https://physics.stackexchange.com/questions/299621/the-desitter-group-vs-the-poincare-group-for-a-non-zero-cosmological-constant
In QFT, for the Poincare group to be replaced with the deSitter group, I think the non-zero cosmological constant should suffice. Aren't we sufficiently sure that the cosmological constant is non-zero? If we are then is it a consensus that using the deSitter group is the right way rather than using the Poincare group?