in warped compactications one needs to include some object that violates the strong energy condition to obtain 4D de Sitter.
In this talk I will provide a 10D description of a popular 4D construction to obtain de Sitter and show that the 4D effective field theory misses a crucial point when trying to uplift the vacuum energy above zero. Then, I will apply this knowledge to other models in the market.