We have that the endomorphism bundle of a smooth vector bundle $E$ is $\text{End}(E) = \text{Hom(E,E)}$. Is it necessarily true that $\det(\text{End}(E))$ is always trivial for any smooth vector bundle $E$?
I'm unsure on how to prove this. I have seen and proved that a smooth $n$-dimensional manifold is orientable if and only if $\Lambda^nM$ is trivial or if it admits a smooth nowehere-vanishing $n$-form. Given the fibres of $\det E$ are exactly $\Lambda^n E_x$ perhaps this would give some way to prove it, but I don't quite see how.
Best Answer
$\newcommand\End{\operatorname{End}}$Any vector space $V$ has an identity map $I_V: V \rightarrow V$ and $I_V \in \End(V)$. Therefore, for each $x \in M$, $I_{E_x} \in \End(E_x)$. This defines a section $I_E$ of $E$. You can check using either a smooth frame or trivialization that $I_E$ is a smooth section.
Now observe that if $E$ is a rank 1 vector bundle (i.e., line bundle), then so is $\End(E)$. Therefore, since the identity section $I_E$ is everywhere nonzero, it defines a global trivialization of $\End(E)$.
Let me include the definition of the determinant bundle. First, given any linear map $L: V \rightarrow V$, where $\dim(V) = k$, there is an naturally (i.e., independent of any choice of basis) induced map $$ \det(L): \Lambda^kV \rightarrow \Lambda^kV, $$ where for any $v_1, \dots, v_k \in V$, $$ L(v_1\wedge\cdots\wedge v_k) = L(v_1)\wedge\cdots\wedge L(v_k). $$ In particular, $\det(L) \in \End(\Lambda^kV)$.
The determinant line bundle of $\End(E)$ is $$\det(\End(E)) = \End(\Lambda^kE). $$ If $L: E \rightarrow E$ is a bundle map, i.e., a section of $\End(E)$, then $\det(L)$ is a section of $\det(\End(E))$.
My original comment can be made even simpler. There is no need to mention the identity section $I_E$ at all. Since $\Lambda^kE$ is a line bundle, the bundle $\det(\End(E)) = \End(\Lambda^kE)$ is trivial.