Let $P$ be a normal, $\mathbb{Q}$-Gorestein variety with terminal singularities. Let $X \subseteq P$ be a normal, irreducible Weil divisor such that $X \sim\_{\mathbb{Q}} - K\_P$, that is $\mathbb{Q}$-linearly equivalent to the anticanonical divisor of $P$ (which is $\mathbb{Q}$-Cartier) .


My question is, does $X$ have $\mathbb{Q}$-trivial canonical divisor? In the adjuction formula for Weil divosr, it seems there is a $Diff$ term appears. I was wondering if this term is zero here?



Is an anticanonical Weil divisor in $\mathbb{Q}$-Gorenstein variety Calabi-Yau?
How about this:
As you assumed, $P$ has terminal singularities, which means that the singular locus of $P$ has codimension at least 3 (see Corollary 5.18 in Kollár-Mori's book). Hence, the singular locus has codimension at most 2 in $X$. We can consider everything outside the singular locus because we work on the level of divisors of $X$. Hence $P$ is just smooth and $X$ is Cartier and everything is true for you.


EDIT:
@LiYutong, of course I did not mean that $K\_P$ is Cartier (which is not true in general). I mean that there exists a codimension 3 subset $Z$ of $P$ such that $U=P-Z$ is smooth and hence $X|\_U$ is Cartier divisor on $U$. Hence $K\_{X|\_U}=(K\_U+X|\_U)|\_{X|\_U}$ is $\mathbb{Q}$-trivial by adjunction. Note that $X-X|\_U$ has codimension at least 2 in $X$, so the Weil divisors class $\rm{Cl}(X)$ on $X$ coincides with the Weil divisors class $\rm{Cl}(X|\_U)$ on $X|\_U$ by restriction.
 So $K\_X\sim\_\mathbb{Q}0$.


