I am reading the recent book by Kawamata, *Algebraic Varieties: Minimal Models and Finite Generation*. There is an English translation [here](http://homepage.fudan.edu.cn/chenjiang/files/2019/06/main.pdf) .


In the bottom of page 16 he says that an $\mathbb{R}$-Cartier divisor can be written as $D = \sum d\_i D\_i$ with $D\_i$ Cartier and $d\_i \in \mathbb{R}$. Then for $f: X \rightarrow Y$ between normal varieties we can define $f^\* D $ as $\sum d\_i f^\*D\_i$. He says that this doesn't depends on the expression of $D$ (There are many ways to decompose $D$ as linear combination of Cartier divisors). How can I see that?


A similar fact(?) mentioned in this book is that an $\mathbb{R}$-Cartier divisor that is a $\mathbb{Q}$-Weil divisor is a $\mathbb{Q}$-Cartier divisor. I don't think this is obvious also, since we may write an $\mathbb{R}$-Cartier divisor as $\sum d\_i \sum k\_jD\_{ij}$ with $d\_i \in \mathbb{R}$ but after summing up the coefficient it becomes a $\mathbb{Q}$ divisor.



Pullback of $\mathbb{R}$-Cartier divisors
1. If you have morphism of free abelian groups $g : A \to B$ then $g \otimes Id\_{\mathbb R} : A \otimes \mathbb R \to B \otimes \mathbb R$ which sends $a \otimes r \mapsto g(a) \otimes r$ is well-defined (in the sense that it does not depend on how you present the element $\sum a\_i \otimes r\_i \in A \otimes \mathbb Q$ in coordinates), this is just about the construction of tensor products, just check that $g \otimes Id\_{\mathbb R}$ respects relations which are part of tensor product construction. To apply to your case you have to take $A = CartierDiv(Y), B=CartierDiv(X), g = f^\*$.
2. You have to check that if $A \subset B$ is embedding of free abelian groups then $(A \otimes \mathbb R) \cap (B \otimes \mathbb Q) = A \otimes \mathbb Q$ (as $\mathbb Q$-vector spaces inside $B \otimes \mathbb R$). We have obvious embedding $A \otimes \mathbb Q \subset (A \otimes \mathbb R) \cap (B \otimes \mathbb Q)$ of $\mathbb Q$-vector spaces, tensoring this embedding by $\mathbb R$ we would obtain
$A \otimes \mathbb R = (A \otimes \mathbb R) \cap (B \otimes \mathbb R)$ (we use the fact that intersections commutes with tensor products in flat case), but for any two $\mathbb Q$-vector spaces $W$ and $V \subset W$, we have that $V \otimes \mathbb R = W \otimes \mathbb R$ implies $V = W$ (you can check this simply by choosing the basis and considering everything in coordinates). To apply in your case just take $A = CartierDiv(X), B = WeilDiv(X)$.


