1
vote
0answers
54 views

Special expression for 3-linear symmetric map $T(X,Y,Z) = \langle -Jh(X,Y),Z \rangle$ [Ejiri]

For a project in Riemannian Geometry, I have been working out the details of a paper by Ejiri (http://www.ams.org/journals/proc/1982-084-02/S0002-9939-1982-0637177-8/S0002-9939-1982-0637177-8.pdf) ...
1
vote
0answers
26 views

prove that ''pullback'' maps forms to forms

Suppose we have $A: V_{1}\to V_{2}$ where $V_{1},V_{2}$ are real vector spaces. Then $A^{\star}:\mathcal{J}^{k}(V_{2})\to \mathcal{J}^{k}(V_{1})$ where $\mathcal{J}(V):=\{\text{space of all ...
2
votes
1answer
53 views

Why can't $\partial X^i/\partial x^j$ be the components of a tensor field?

From Paul Renteln, "Manifolds, Tensors and Forms" in a chapter on tensor fields: Exercise 3.22 Not every object with indices is a tensor field. Let $X = X^i \partial / \partial x^i$ be a vector ...
0
votes
0answers
37 views

How to compute saddle point index using sourcing flow lines?

Prove $Index_{p}(\bigtriangledown f)$= "dimension of sourcing flow lines from p" ,where p is a critical point. Attempt Near $ p \in Cr(f) $ in some coord. $ f(x) - f(p) = $ $\sum_j x_j^2 - \sum_k ...
3
votes
2answers
164 views

Intuitively when to use the wedge product?

When I first learned the dot product and the cross product in $\mathbb{R}^3$ I spent some time understanding when I would like to use them. After some time I understood that the dot product usefulness ...
1
vote
0answers
40 views

Tensor vector bundle construction

$\newcommand{\p}{\partial}$Let $M$ be a smooth manifold, and define $$T_{r,s} := \bigsqcup_{p \in M} (T_p M)_{r,s} = \bigsqcup_{p \in M} \big( \underbrace{T_p M \otimes \dots \otimes T_p M}_r \otimes ...
2
votes
1answer
41 views

Notation in Bleecker's Gauge Theory and Variational Principles

In the proof of the theorem that there is a unique linear isomorphism $\star:\bigwedge^k(E)\to\bigwedge^{n-k}$ on p.4 in Bleecker's Gauge Theory and Variational Principles he says For ...
2
votes
1answer
28 views

sufficient condition for being an integral factor

Let $ f: \mathbb {R}^m \rightarrow \mathbb {R}-\{0\} $ function $C^{\infty}$ class and $w$ a one-form $C^{\infty}$ class in $\mathbb {R}^m $. If $\alpha=w-\dfrac{1}{f}dx_{m+1} $ satisfies $\alpha ...
4
votes
1answer
101 views

Is invariance of a multi-linear form required for co/contra variance?

I'm reading the book: The Absolute Differential Calculus by Levi-Civita to get an idea of the history behind the development of tensor calculus. On page 71 he states: An m-fold covariant is an ...
6
votes
2answers
216 views

Why are differential forms more important than symmetric tensors?

In differential geometry, differential forms are totally anti-symmetric tensors and play an important role. I am led to wonder why do we not study totally symmetric tensors as much as forms. What ...
1
vote
2answers
102 views

Why in differential geometry tensors are usually defined as multilinear maps?

In multilinear algebra books tensors are usually defined through the universal property. Given a family of $k$ vector spaces $V_1,\dots,V_k$ over the same field $F$ we want to construct a space $S$ ...
2
votes
2answers
100 views

p-forms as multilinear maps

I'm studying differential geometry and am learning about differential forms. We have a very intuitive and simple way to understand 1-forms as linear maps on from the tangent space to the base field, ...
0
votes
0answers
179 views

$\alpha \wedge \beta = 0$ iff $\beta = \alpha \wedge \gamma$

I have been given the following problem: Let $\alpha$ be a nowhere-zero 1-form. Prove that for a (p+1)-form $\beta$ $(p\geq0)$, one has $\alpha \wedge \beta = 0$ if and only if $\beta = \alpha ...
7
votes
0answers
202 views

Hodge-Star-Operator on arbitrary oriented basis

Assume that $V$ is oriented finite dimensional vectorspace with dimension $n$, $g \in T^0_2(V)$ a given symmetric and nondegenerate tensor. Let $\mu$ be the corresponding volume element of $V$. ...
3
votes
1answer
84 views

Finding all alternating bilinear $T$ that preserve a certain group of isometries of $\mathbb{R}^{n+1}$

Let $$G=\left\{\begin{pmatrix} H & 0 \\ 0 & 1\end{pmatrix} \ | \ H\in O(n), HJ=JH \right\}\subset \mathrm{Lin}(\mathbb{R}^{n+1},\mathbb{R}^{n+1}) $$ where: $n=2m$, $J$ is the standard complex ...
4
votes
2answers
146 views

For covariant tensors, why is it $\bigwedge^k(V)$, not $\bigwedge^k(V^*)$?

In learning the very basics of differential geometry, I have seen the exterior product defined a couple of ways: First, I have seen it as the image of the covariant tensors (which I believe are ...
2
votes
1answer
138 views

basis-independent isomorphism

Could some one give me some help with this proof? Given the hint, I still don't have a clue about how to proceed. Thanks.
5
votes
3answers
171 views

The interior product and the isomorphism $\bigwedge^k(V^*)\otimes\bigwedge^n(V)\cong\bigwedge^{n-k}(V)$

Let $V$ be an $n$-dimensional vector space. According to Wikipedia, there is an isomorphism $\bigwedge^k(V^*)\otimes\bigwedge^n(V)\cong\bigwedge^{n-k}(V)$. The explanation is that for $\alpha \in ...
4
votes
1answer
248 views

Tensors as mutlilinear maps

I am aware that many books on differential geometry define tensors as multilinear maps. Namely $$ V\otimes W := L_2(V^*\times W^*,\Bbb F) $$ I am also aware that this space is isomorphic to the tensor ...
1
vote
0answers
59 views

Operations on vector spaces

Is there a symmetrical analogue of the grassmann tensor products? Is it the polyadic tensor product? Are such symmetrical products used anywhere in differential geometry?
4
votes
0answers
120 views

Differentiable manifolds, Serge Lang

I have started reading "Introduction to differentiable manifolds" by Serge Lang. In this book, Lang takes a different approach, by immediately introducing manifolds on arbitrary Banach spaces. His ...
2
votes
1answer
74 views

Help with algebraic manipulation to prove that $\Omega (M)$ constructed from $\Omega^1 (M)$ forms an algebra over $C^\infty (M)$

In Baez´s Gauge Theories, Knots and Gravity he states that the differential forms on a n dimensional manifold M, $\Omega (M) = {\bigoplus}_p \Omega^p (M)$, constructed from $\Omega^1(M)$ and the ...
1
vote
1answer
292 views

Geometric meaning of Gram determinant

Let $v_1,v_2$ be vectors in $\mathbb{R}^4$. Let $M$ be the $2\times 4$ matrix with rows $v_1,v_2$ in this order. The Gram determinant of $M$ is defined as the determinant of the $2\times 2$ matrix ...
7
votes
2answers
503 views

Notation to work with vector-valued differential forms

What it the standard notation used while working with vector-valued differential forms? I tried using abstract index notation, for example denoting a $1$-form valued $2$-form as $P_{i[bc]}$, but I'm ...
6
votes
1answer
414 views

how to understand the tensor product canonical line bundle $\otimes$ dual bundle

Suppose we have a Riemann surface $M$ together with a holomorphic vector bundle $E \to M$ of rank n. let $K$ denote the canonical line bundle and let $E^*$ denote the dual bundle I am trying to ...
3
votes
1answer
95 views

Linear independence regarding Exterior Power .

I have been trying to learn the proof of dimension of exterior power from this text : http://www.thehcmr.org/issue1_2/poincare_lemma.pdf.( Page 16) I am not able to understand the part of linear ...
5
votes
1answer
640 views

Covectors $\omega^1, …, \omega^k$ are linearly dependent iff their wedge product is zero

How can I prove that covectors $\omega^1, ..., \omega^k$ are linearly independent iff their wedge product $\omega^1\wedge ...\wedge \omega^k$ is not zero?
1
vote
2answers
265 views

Wedge product and linear subspace

I am trying to understand the relationship between the wedge product and linear subspace. Let $e_1,\cdots, e_4$ be the standard basis of $\mathbb{R}^4$. The wedge product $$(e_1+2e_2)\wedge ...
3
votes
1answer
384 views

Universal Definition for Pullback

The concept of "pullback" has several definitions depending on the context in which it is applied, e.g., smooth functions on manifolds, differential forms, multilinear forms and so forth. See, for ...
10
votes
2answers
919 views

Are “differential forms” an algebraic approach to multivariable calculus?

I am recently learning some basic differential geometry. As I understand, differential forms provide a neat way to deal with the topics in calculus such as Stoke's theorem. In order to define the ...
0
votes
1answer
185 views

Canonical Isomorphism Between $\Omega^2(\mathbb{R^3})$ and $\mathbb{R^3}$?

Let $\Omega^2(\mathbb{R}^3)$ represent the collection of differential 2-forms on $\mathbb{R}^3$. For this space we take as an (ordered) basis $\{dx \wedge dy, dx \wedge dz, dy \wedge dz\}$. First ...
3
votes
1answer
468 views

understanding of the tensor product $V^*\otimes W^*$

In S.S.Chern's Lectures on Differential Geometry, I don't understand the following text in Chapter 2, which introduces the tensor product: The tensor product $V^*\otimes W^*$ of the vector spaces ...
6
votes
5answers
1k views

Concrete Example Illustrating the Interior Product

Let $V$ be a finite-dimensional vector space, let $v \in V$ and let $\omega$ be an alternating $k$-tensor on $V$, i.e., $\omega \in \Lambda^{k}(V)$. Then, the interior product of $v$ with $w$, denoted ...
5
votes
1answer
199 views

Extension of Riemannian Metric to Higher Forms

I've been reading about Riemannian manifolds, and have come across a comment that says that for a metric $g$ on an $N$-dimensional manifold $M$, considered as a bilinear map $$ g:\Omega^1(M) \times ...