$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ $\newcommand{\Cof}{\operatorname{cof}}$

Let $V$ be a $d$-dimensional real oriented inner product space. ($d \ge 4$). Fix an odd $2 \le k \le d-2$. Define $H_{>k}=\{ A \in \End(V) \mid \operatorname{rank}(A) > k \}$. Consider the map $$ \psi:H_{>k} \to \End(\bigwedge^k V) \, \,, \, \, \psi(A)=\bigwedge^{k}A. $$

$\psi$ is a smooth injective immersion.

Question: Is there an explicit formula for $\psi^{-1}$?

Comments:

1. Since $\operatorname{rank}(\bigwedge^kA) = \binom {\operatorname{rank}(A)}{k} $, we might start by considering each rank separately.

2. The limitation $k$ is odd is not essential. When $k$ is even, $\psi(A)=\psi(B)$ implies $A=\pm B$ (assuming $A,B \in H_{>k}$), so the inverse is well-defined up to a sign. In fact, the following more general property holds:

Let $V$ be a vector space over an arbitrary field $F$. Then, for $A,B \in H_{>k}$, $\psi(A)=\psi(B)$ iff $A=\lambda B$ when $\lambda^k=1$. So, one could ask my question in this more general setting as follows:

Is there an explicit formula, which given an element in $\text{Image }(\psi)$, produces a source element?

Part of the problem is that we do not have a closed-form description of $\text{Image }(\psi)$, and it is clear that in general we don't expect $\psi^{-1} $ to have a continuous extension to all $\End(\bigwedge^k V)$ (or even to the space of all endomorphisms of rank bigger than $k$, which is where $\text{Image }(\psi)$ lies, but I am not sure about that.)

I am OK with a formula which uses the inner product and orientation structures. Even though we don't need them in order to define $\psi$, they somehow appear naturally when trying to compute $\psi^{-1}$.

Indeed, in the special case $k=d-1$, $\psi(A) \in \text{GL}(\bigwedge^{d-1}V)$ can be identified with the cofactor matrix of $A$. (The identification is done using the Hodge dual $\star:\bigwedge^{d-1}V \to V$).

Then we have $ \Cof(\Cof A)=(\det A)^{d-2}A$. Now, if $\Cof A=B$, then $\Cof B=(\det A)^{d-2}A$, and $\det(B)=(\det(A))^{d-1}$.

Since $k=d-1$ is odd, we can take the (unique) $ d-1 $-th root, so $(\det(B))^{\frac{1}{d-1}}=\det(A)$.

Thus,

$$ A=(\Cof)^{-1} B=(\det B)^{\frac{2-d}{d-1}} \Cof B $$ gives the formula for $\psi^{-1}$.

Trying to generalize this derivation using the Hodge dual for general $k$ seems to hit a wall.

$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ $\newcommand{\Cof}{\operatorname{cof}}$

Let $V$ be a $d$-dimensional real vector space. ($d \ge 4$). Fix an odd integer $2 \le k \le d-2$. Define $H_{>k}=\{ A \in \End(V) \mid \operatorname{rank}(A) > k \}$. Consider the map $$ \psi:H_{>k} \to \End(\bigwedge^k V) \, \,, \, \, \psi(A)=\bigwedge^{k}A. $$

$\psi$ is a smooth injective immersion.

Question: Is there an explicit formula for $\psi^{-1}$?

Comments:

1. Since $\operatorname{rank}(\bigwedge^kA) = \binom {\operatorname{rank}(A)}{k} $, we might start by considering each rank separately.

2. The limitation $k$ is odd is not essential. When $k$ is even, $\psi(A)=\psi(B)$ implies $A=\pm B$ (assuming $A,B \in H_{>k}$), so the inverse is well-defined up to a sign. In fact, the following more general property holds:

Let $V$ be a vector space over an arbitrary field $F$. Then, for $A,B \in H_{>k}$, $\psi(A)=\psi(B)$ iff $A=\lambda B$ when $\lambda^k=1$. So, we can ask the question in this more general setting:

Is there an explicit formula, which given an element in $\text{Image }(\psi)$, produces a source element?

Part of the problem is that we do not have a closed-form description of $\text{Image }(\psi)$, and it is clear that in general we don't expect $\psi^{-1} $ to have a continuous extension to all $\End(\bigwedge^k V)$ (or even to the space of all endomorphisms of rank bigger than $k$, which is where $\text{Image }(\psi)$ lies, but I am not sure about that.)

I am OK with a formula which uses an inner product and orientation structures. Even though we don't need them in order to define $\psi$, they somehow appear naturally when trying to compute $\psi^{-1}$.

Indeed, in the special case $k=d-1$, $\psi(A) \in \text{GL}(\bigwedge^{d-1}V)$ can be identified with the cofactor matrix of $A$. (The identification is done using the Hodge dual $\star:\bigwedge^{d-1}V \to V$).

Then we have $ \Cof(\Cof A)=(\det A)^{d-2}A$. Now, if $\Cof A=B$, then $\Cof B=(\det A)^{d-2}A$, and $\det(B)=(\det(A))^{d-1}$.

Since $k=d-1$ is odd, we can take the (unique) $ d-1 $-th root, so $(\det(B))^{\frac{1}{d-1}}=\det(A)$.

Thus,

$$ A=(\Cof)^{-1} B=(\det B)^{\frac{2-d}{d-1}} \Cof B $$ gives the formula for $\psi^{-1}$.

Trying to generalize this derivation using the Hodge dual for general $k$ seems to hit a wall.

$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ $\newcommand{\Cof}{\operatorname{cof}}$

Let $V$ be a $d$-dimensional real oriented inner product space. ($d \ge 4$). Fix an odd $2 \le k \le d-2$. Define $H_{>k}=\{ A \in \End(V) \mid \operatorname{rank}(A) > k \}$. Consider the map $$ \psi:H_{>k} \to \End(\bigwedge^k V) \, \,, \, \, \psi(A)=\bigwedge^{k}A. $$

$\psi$ is a smooth injective immersion.

Question: Is there an explicit formula for $\psi^{-1}$?

Comments:

1. Since $\operatorname{rank}(\bigwedge^kA) = \binom {\operatorname{rank}(A)}{k} $, we might start by considering each rank separately.

2. The limitation $k$ is odd is not essential. When $k$ is even, $\psi(A)=\psi(B)$ implies $A=\pm B$ (assuming $A,B \in H_{>k}$), so the inverse is well-defined up to a sign.

I am OK with a formula which uses the inner product and orientation structures. Even though we don't need them in order to define $\psi$, they somehow seem to appear naturally, when trying to compute the inverse map (see below).

For the special case $k=d-1$, $\psi(A) \in \text{GL}(\bigwedge^{d-1}V)$ can be identified with the cofactor matrix of $A$. (The identification is done using the Hodge dual isomorphism $\star:\bigwedge^{d-1}V \to V$).

Then we can see that $ \Cof(\Cof A)=(\det A)^{d-2}A$. Now, if $\Cof A=B$, then $\Cof B=(\det A)^{d-2}A$, and $\det(B)=(\det(A))^{d-1}$.

Since $k=d-1$ is odd, we can take the (unique) $ d-1 $-th root, so $(\det(B))^{\frac{1}{d-1}}=\det(A)$.

Thus,

$$ A=(\Cof)^{-1} B=(\det B)^{\frac{2-d}{d-1}} \Cof B $$ gives the formula for $\psi^{-1}$.

Trying to generalize this derivation using the Hodge dual for general $k$ seems to hit a wall.

$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ $\newcommand{\Cof}{\operatorname{cof}}$

Let $V$ be a $d$-dimensional real oriented inner product space. ($d \ge 4$). Fix an odd $2 \le k \le d-2$. Define $H_{>k}=\{ A \in \End(V) \mid \operatorname{rank}(A) > k \}$. Consider the map $$ \psi:H_{>k} \to \End(\bigwedge^k V) \, \,, \, \, \psi(A)=\bigwedge^{k}A. $$

$\psi$ is a smooth injective immersion.

Question: Is there an explicit formula for $\psi^{-1}$?

Comments:

1. Since $\operatorname{rank}(\bigwedge^kA) = \binom {\operatorname{rank}(A)}{k} $, we might start by considering each rank separately.

2. The limitation $k$ is odd is not essential. When $k$ is even, $\psi(A)=\psi(B)$ implies $A=\pm B$ (assuming $A,B \in H_{>k}$), so the inverse is well-defined up to a sign. In fact, the following more general property holds:

Let $V$ be a vector space over an arbitrary field $F$. Then, for $A,B \in H_{>k}$, $\psi(A)=\psi(B)$ iff $A=\lambda B$ when $\lambda^k=1$. So, one could ask my question in this more general setting as follows:

Is there an explicit formula, which given an element in $\text{Image }(\psi)$, produces a source element?

Part of the problem is that we do not have a closed-form description of $\text{Image }(\psi)$, and it is clear that in general we don't expect $\psi^{-1} $ to have a continuous extension to all $\End(\bigwedge^k V)$ (or even to the space of all endomorphisms of rank bigger than $k$, which is where $\text{Image }(\psi)$ lies, but I am not sure about that.)

I am OK with a formula which uses the inner product and orientation structures. Even though we don't need them in order to define $\psi$, they somehow appear naturally when trying to compute $\psi^{-1}$.

Indeed, in the special case $k=d-1$, $\psi(A) \in \text{GL}(\bigwedge^{d-1}V)$ can be identified with the cofactor matrix of $A$. (The identification is done using the Hodge dual $\star:\bigwedge^{d-1}V \to V$).

Then we have $ \Cof(\Cof A)=(\det A)^{d-2}A$. Now, if $\Cof A=B$, then $\Cof B=(\det A)^{d-2}A$, and $\det(B)=(\det(A))^{d-1}$.

Since $k=d-1$ is odd, we can take the (unique) $ d-1 $-th root, so $(\det(B))^{\frac{1}{d-1}}=\det(A)$.

Thus,

$$ A=(\Cof)^{-1} B=(\det B)^{\frac{2-d}{d-1}} \Cof B $$ gives the formula for $\psi^{-1}$.

Trying to generalize this derivation using the Hodge dual for general $k$ seems to hit a wall.