Covariance and contravariance on manifolds

Explained also in covariance and contravariance in linear algebra.
If we have two charts for the same region of a manifold $M$ , denoted $x$ and $y$ , related through a transformation

ϕ : x \to y

the matrix

d ϕ = \frac{\partial y^{b}}{\partial x^{a}}

is the one that converts the coordinates of the tangent space vectors in the base provided by $x$ to the coordinates of the base provided by $y$ .
But $d ϕ$ and $d ϕ^{- 1}$ are not just changes of coordinates, they can also be interpreted as a transformation of vectors (this occurs from the level of linear algebra, matrices can be base changes or transformation of space, if we leave the second base fixed). However, then, the matrix that transforms the base provided by the chart $x$ into the base provided by $y$ is not $d ϕ$ , but

d ϕ^{- 1} = \frac{\partial x^{a}}{\partial y^{b}}

Moreover, if to transform the coordinates of the vectors from chart $x$ into the coordinates in $y$ we have used column matrices and the matrix multiplied the vector from the left, to convert vectors from the base of chart $x$ into those of the base of chart $y$ we use row matrices (although internally they are vectors) and multiplication from the right. This can be switched to the comfortable form (columns and multiplication from the left) by taking the transpose.
So, the matrix to transform one into the other is:

d {(ϕ^{- 1})}^{t} = {(\frac{\partial x^{a}}{\partial y^{b}})}^{t}

That is, vectors themselves transform in one direction, but their coordinates transform in the opposite direction. Hence the name contravariance.
It's somewhat analogous to what happens when we change the time. If we advance our clock, our temporal coordinate is at +1 but we are actually moving backwards (-1) because at the same hour as yesterday it is now earlier (there's more light).

Summing up:

Transformation	Kind	Expression
Coordinates change	Contravariant	$ϕ : x \mapsto y, y = ϕ (x)$
Vector conversion	Covariant	${\frac{\partial}{\partial y}} = {\frac{\partial}{\partial x}} \frac{\partial x}{\partial y}$ (chain rule)
Vector components	Contravariant	$V_{y} = \frac{\partial y}{\partial x} V_{x}$
Covector conversion	Contravariant	${d y} = \frac{\partial y}{\partial x} {d x}$ (chain rule)
Covector components	Covariant	$η_{y} = η_{x} \cdot \frac{\partial x}{\partial y}$

Moreover:
Let's restrict to 2D case. When we have a vector, say

2 \partial x + \partial y

and a covector

d x + 3 d y

we can represent them like an arrow, the first one, and a gradient (at least locally), the second one
The application of one into the other is the number of lines of the gradient that cross the vector. This is because to count the crossing lines we can count first in the horizontal direction and then add those from the vertical direction. See visualization of k-forms.
The gradient produced by, for example, $d x + 3 d y$ corresponds to a line trough the point $(0, 1 / 3)$ and $(1, 0)$ , its parallel line through the $(0, 0)$ and others at the same distance. Why the 3 produces 1/3? It has to do with real examples:

imagine vectors are stock in a shop and covectors are prices, a cost, a barrier, to every product in the shop.
a covector is a frequency, a vector is like a wavelength, and their product is analogous to a velocity (no estoy seguro de esto, es copiado de aquí y creo que se le puede sacar más partido a la analogía, viendo lo que pasa en la exponencial solución de la ecuación de onda multidimensional).

Observe that the set of parallel lines is perpendicular to the vector (arrow) $(1, 3) = \partial x + 3 \partial y$ . The similitud with the original $d x + 3 d y$ is not coincidence: it is the covariant version of the other. It is exactly the same because in this case we are assuming the trivial metric

(\begin{array}{cc} 1 & 0 \\ 0 & 1 \end{array})

What if we were with the metric

(\begin{array}{cc} 4 & 0 \\ 0 & 1 \end{array}) $ $ ? T h e c o v e c t o r $ d x + 3 d y $ w o u l d b e c o m i n g f r o m t h e v e c t o r $ 1 / 4 \partial x + 3 \partial y $, t h a t i s s t i l l o r t h o g o n a l t o t h e p a r a l l e l l i n e b u t w i t h t h e n e w c o n c e p t o f o r t h o g o n a l i t y . N o w c o n s i d e r a c h a n g e o f b a s i s, a c l o c k w i s e r o t a t i o n o f a n g l e $ θ $, $ R_{θ} $, f o r e x a m p l e . I t i s a p a s s i v e c h a n g e, i n t h e s e n s e t h a t w e t r a n s f o r m o u r b a s i s b u t t h e m a i n c h a r a c t e r s, t h e a r r o w a n d t h e g r a d i e n t, a r e t h e s a m e . T h e n e w b a s i s i s o b t a i n e d b y a p p l y i n g t h e m a t r i x $ R_{θ} $ t h r o u g h t h e r i g h t s i d e o r w i t h t h e t r a n s p o s e o f $ R_{θ} $ i n t h e u s u a l s i d e (i . e ., i s c o v a r i a n t) . B u t h o w i e x p r e s s e d n o w t h e v e c t o r $ 2 \partial x + \partial y $ ? Y o u c a n c h e c k t h a t y o u h a v e t o m u l t i p l y $ R_{- θ} $ t o t h e c o m p o n e n t s! T h i s i s w h y v e c t o r s a r e c a l l e d c o n t r a v a r i a n t v e c t o r s . A n d w h a t a b o u t t h e g r a d i e n t ? N o w, y o u c a n c h e c k t h a t t h e l i n e a p p e a r s r o t a t e d a n d c o r r e s p o n d t o a d i f f e r e n t c o v e c t o r . T h e n e w c o m p o n e n t s c a n b e o b t a i n e d b y m u l t i p l y i n g b y $ R_{θ} $ i n t h e r i g h t s i d e, j u s t l i k e t h e v e c t o r c o n v e r s i o n! S o t h e y a r e c a l l e d c o v a r i a n t v e c t o r s . * * A n d e v e n m o r e a b o u t c o n t r a a n d c o v a r i a n c e * * I n a s h o p, i m a g i n e w e h a v e a p r o d u c t, a p p l e s, w h o s e a m o u n t w e m e a s u r e i n k g . T h e p r i c e i s m e a s u r e d i n e u r / k g . W h e n s o m e b o d y c o m e s t o t h e s h o p a n d b u y s 4 k g o f a p p l e s w i t h a p r i c e o f 2^{'} 5 e u r / k g, h e d o e s t h e s i m p l e c o m p u t a t i o n :

4 \cdot 2'5=10

to obtain an scalar. It could be done with several items and several prices, but we always obtain a scalar. But, what if we change the units in which we measure the apples. For example, imagine that apples are sold in packets of 2'3 kg. Observe: - The unit itself has been multiplied by 2'3 (kg to packet). - The quantity of apples bought is no longer 4, but less than 4. It is divided by 2'3, for which we say is contravariant. - The price is no longer 2'5, but it change to a greater price. It is multiplied by 2'3. So it is called covariant. - The fact is that we obtain the same scalar: the total money. - Everything works well if we replace apple with a list of products and a list of prices: vectors and covectors. --- ## Application to Markets This price-quantity duality extends naturally toHamiltonian mechanics applied to markets, where the action $\int p_a \, dq^a$ represents the accumulated money (total spending or profit) along any economic trajectory. The covariant/contravariant behavior ensures that money is invariant under changes of units or reference frames.