Коммутатор ковариантных производных, действующих на векторную плотность

Позволять$\mathfrak n^\alpha$— векторная плотность веса 1. Определить ковариантную производную$\nabla$такое, что при преобразовании координат$x^\mu \to \bar x^\mu$

$$\nabla_\rho \mathfrak n^\alpha \to \left\lvert \frac{\mathrm d \bar x^\mu}{\mathrm d x^\nu} \right\rvert \frac{\partial x^\sigma}{\partial \bar x^\rho} \frac{\partial \bar x^\alpha}{\partial x^\beta} \nabla_\sigma \mathfrak n^\beta$$ Является ли это правильной формой ковариантной производной?: $$\mathfrak q_\nu^\alpha \equiv \nabla_\nu \mathfrak n^\alpha = \partial_\nu \mathfrak n^\alpha + \Gamma^\alpha_{\nu\beta} \mathfrak n^\beta - \Gamma^\rho_{\nu\rho} \mathfrak n^\alpha$$ Я пытаюсь вычислить действие коммутатора ковариантных производных на$\mathfrak n^\alpha$, и, в конечном счете, аналог того, что означает тензор Риччи для векторов. Вот что у меня есть до сих пор: $$\nabla_\mu \mathfrak q_\nu^\alpha - \nabla_\nu \mathfrak q_\mu^\alpha = (\partial_\mu \mathfrak q_\nu^\alpha + \Gamma^\alpha_{\mu\beta} \mathfrak q_\nu^\beta - \Gamma^\sigma_{\mu\nu} \mathfrak q_\sigma^\alpha - \Gamma^\rho_{\mu\rho} \mathfrak q_\nu^\alpha) - (\partial_\nu \mathfrak q_\mu^\alpha + \Gamma^\alpha_{\nu\beta} \mathfrak q_\mu^\beta - \Gamma^\sigma_{\nu\mu} \mathfrak q_\sigma^\alpha - \Gamma^\rho_{\nu\rho} \mathfrak q_\mu^\alpha)$$

$$\begin{multline} {}=(\partial_\mu (\Gamma^\alpha_{\nu\beta} \mathfrak n^\beta - \Gamma^\rho_{\nu\rho} \mathfrak n^\alpha ) + \Gamma^\alpha_{\mu\beta} \mathfrak q_\nu^\beta - \Gamma^\rho_{\mu\rho} (\partial_\nu \mathfrak n^\alpha + \Gamma^\alpha_{\nu\beta} \mathfrak n^\beta)) - {} \\ (\partial_\nu (\Gamma^\alpha_{\mu\beta} \mathfrak n^\beta - \Gamma^\rho_{\mu\rho} \mathfrak n^\alpha ) + \Gamma^\alpha_{\nu\beta} \mathfrak q_\mu^\beta - \Gamma^\rho_{\nu\rho} (\partial_\mu \mathfrak n^\alpha + \Gamma^\alpha_{\mu\beta} \mathfrak n^\beta)) \end{multline}$$

$$\begin{multline} {}=(\partial_\mu \Gamma^\alpha_{\nu\beta} \mathfrak n^\beta - \partial_\mu \Gamma^\rho_{\nu\rho} \mathfrak n^\alpha + \Gamma^\alpha_{\mu\beta} (\Gamma^\beta_{\nu\gamma} \mathfrak n^\gamma - \Gamma^\rho_{\nu\rho} \mathfrak n^\beta ) - \Gamma^\rho_{\mu\rho} \Gamma^\alpha_{\nu\beta} \mathfrak n^\beta) - {} \\ (\partial_\nu \Gamma^\alpha_{\mu\beta} \mathfrak n^\beta - \partial_\nu \Gamma^\rho_{\mu\rho} \mathfrak n^\alpha + \Gamma^\alpha_{\nu\beta} (\Gamma^\beta_{\mu\gamma} \mathfrak n^\gamma - \Gamma^\rho_{\mu\rho} \mathfrak n^\beta ) - \Gamma^\rho_{\nu\rho} \Gamma^\alpha_{\mu\beta} \mathfrak n^\beta) \end{multline}$$

$$\begin{multline} {}=R^\alpha_{\beta\mu\nu} \mathfrak n^\beta + (- \partial_\mu \Gamma^\rho_{\nu\rho} \mathfrak n^\alpha - \Gamma^\alpha_{\mu\beta} \Gamma^\rho_{\nu\rho} \mathfrak n^\beta - \Gamma^\rho_{\mu\rho} \Gamma^\alpha_{\nu\beta} \mathfrak n^\beta) - ( - \partial_\nu \Gamma^\rho_{\mu\rho} \mathfrak n^\alpha - \Gamma^\alpha_{\nu\beta} \Gamma^\rho_{\mu\rho} \mathfrak n^\beta - \Gamma^\rho_{\nu\rho} \Gamma^\alpha_{\mu\beta} \mathfrak n^\beta) \end{multline}$$

$$\nabla_\mu \nabla_\nu \mathfrak n^\alpha - \nabla_\nu \nabla_\mu \mathfrak n^\alpha = R^\alpha_{\beta\mu\nu} \mathfrak n^\beta - ( \partial_\mu \Gamma^\rho_{\nu\rho} - \partial_\nu \Gamma^\rho_{\mu\rho} ) \mathfrak n^\alpha$$ $$\nabla_\mu \nabla_\nu \mathfrak n^\mu - \nabla_\nu \nabla_\mu \mathfrak n^\mu = \left[ R_{\beta\nu} - ( \partial_\beta \Gamma^\rho_{\nu\rho} - \partial_\nu \Gamma^\rho_{\beta\rho} ) \right] \mathfrak n^\beta$$ Может ли это быть правильным? Я подозреваю, что тензор в скобках на RHS имеет антисимметричную часть.