Use this tag for questions about specific tensors (curvature tensor, stress tensor), or questions regarding tensor computations as they appear in multivariable calculus and differential/Riemannian geometry (specifically, when it is amenable to be treated as objects with multiple indices that ...

learn more… | top users | synonyms

12
votes
0answers
181 views

Vector valued 2-forms which satisfy Jacobi Identity

Motivated by this MO question we ask the following two questions: 1)What is an example of a compact manifold $M$ which does not admit any smooth (1,2) tensor $\omega$ which restriction to each ...
8
votes
0answers
731 views

Determinant of a tensor

Is there such a thing as the determinant of a tensor of rank $\gt 2$? I'm tried to think how it might be defined -- potentially like, the determinant of the tensor $A=a_{ijk}$ is ...
6
votes
0answers
219 views

Physical components of a third-order tensor

Aris' book Vectors, Tensors, and the Basic Equations of Fluid Mechanics describes how to convert between covariant, contravariant, and physical components of vectors and tensors. For example, in ...
6
votes
0answers
367 views

What is the difference between tensor calculus and exterior derivative type concepts?

I am trying to clarify terms in order to help me figure out what I'd like to study. I understand that $p$-forms and $p$-vectors are used with things like wedge products, exterior algebras, and a ...
6
votes
0answers
187 views

Mnemonic device for relationships between Hom and Tensor

Probably this is a stupid question, but nevertheless... Let $A$, $B$, $C$ and $D$ be rings, and $M$, $N$ and $K$ be appropriate bimodules between them. There are extremely well-known canonical ...
5
votes
0answers
151 views

Examples of geometric structures on real manifold that lead to almost complex structure

I have a $M^{2n}$ real manifold. I am interested, if there are any well known geometric structures on manifold that lead in some natural manner to almost complex structure on $M.$ I read on wiki ...
5
votes
0answers
91 views

Decomposition of order-$n$ tensors

If $V$ is a finite-dimensional vector space, then $V\otimes V\cong\mathbf{S}^2(V)\oplus\bigwedge^2(V)$. The first summand on the right is the symmetric part of $V\otimes V$ and the second summand is ...
5
votes
0answers
109 views

Elastic wave equation in curvilinear coordinates: how do you perform a coordinate change?

The essence of this question is that I don't know how to convert an equation from Cartesian coordinates into curvilinear coordinates, and would like to know how, preferably using the language of ...
5
votes
0answers
183 views

What are spinor fields?

For example, a tensor field $T=T_{a,b}^{\ \ \ \ c}$ on a manifold $M$ should be thought as $$ T_{a,b}^{\ \ \ \ c}dx^{a}\otimes dx^{b}\otimes \frac{\partial}{\partial x^{c}} $$ with local coordinate ...
4
votes
0answers
88 views

Eigendecomposition and eigenvalue scaling for tensor networks

I've recently been interested in studying tensors and networks of tensors. Consider the following quantity: $$Tr(A^N)$$ Where $A$ is a square matrix and $N$ is large. This is extremely easy - all we ...
4
votes
0answers
87 views

Einstein notation

I'm confused about a specific issue that I have with the Einstein notation (for tensor fields on manifolds). I want to write the following thing: Let $X$ be a smooth manifold. Choosing local ...
4
votes
0answers
89 views

Matrix Calculus

My school offers Matrix Calculus class next semester. I have never heard about this subject before and got intrigued. After a short chat with professor I found myself unable to get rid of suspicion ...
4
votes
0answers
85 views

Is there a method of knowing which of the Christoffel symbols of second kind survive and vanish for a given metric?

I'm trying to solve a problem and the given $g_{ij}$ metric is $$\left[\begin{array}{cc}1&0&0\\0&(x^1)^2&0\\0&0&(x^1 \sin x^2)^2\end{array}\right]$$ The non-zero Christoffel ...
4
votes
0answers
165 views

Intuition about the Riemann and Ricci tensors

I have started an attempt to self-study Riemannian Geometry. I well understand all the algebraic properties of the Riemann tensor (With a symmetric connection), and how it gradually becomes less and ...
4
votes
0answers
203 views

What is tensor, really?

How can one understands the definition of tensor from the purely formal point of view? To what abstract structure this concept can be generalized?
4
votes
0answers
264 views

Multilinear or Tensor Regression?

Given input data $x_t\in \mathbb{R}^n$ and output data $y_t\in\mathbb{R}^m$, the closed form solution to $\min_A \sum_t \|y_t - Ax_t\|^2_2$ is given by $A = (XX^T)^{-1}XY^T$ where $x_t$ form the ...
4
votes
0answers
446 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 ...
4
votes
0answers
170 views

Use of graph theory to determine tensor contraction ordering

I am considering using a computer program to execute tensor contractions like the following: $\displaystyle \sum_{ij}^{o} \sum_{ab}^{v} \sum_{KL}^{X} B_{ia}^{K} B_{ia}^{L} B_{jb}^{K} B_{jb}^{L} $ ...
4
votes
0answers
43 views

Is $H^{\alpha}_{ij,k}=H^{\alpha}_{ik,j}$ for submanifolds in $R^n$?

Consider $\Sigma^n\subset {\bf R}^{n+p}$ a submanifold and $\{e_i, e_\alpha\}$ an orthonormal frame where the Greek indexes stand for the normal vectors. Then define $H^{\alpha}_{ij,k}=e_k\langle ...
4
votes
0answers
284 views

Constant tensors and covariant derivatives

I seem to have trouble with an elementary computation, and figure it may help others if faced with a similar situation. The basic question is as follows: if I have a tensor field $T$ on some ...
4
votes
0answers
266 views

Better Tensor Notation

I am in a General Relativity class, and I am finding the usual tensor notation very difficult to think about -- it seems like there are too many names to express something simple. E.g., I think of ...
3
votes
0answers
58 views

Meaning of / intuition for contraction of tensors (in the Riemannian setting)

I'm currently taking a course in differential geometry, and we are, I'm guessing, finally going to start working with the Riemannian curvature tensor after having covered a lot of smooth manifold ...
3
votes
0answers
31 views

Derivative of product tensor (or matrix product )

if I define a "product tensor" of two second-order tensors as the second-order tensor: $\boldsymbol{C}=\boldsymbol{AB}$ such that $C_{ij}=A_{ik}B_{kj}$ does the product rule applies to ...
3
votes
0answers
36 views

Proving a vector identity using Einstein summation

I need to prove $$\nabla \times [(u\cdot \nabla)u]=(u\cdot \nabla)(\nabla \times u)-[(\nabla \times u)\cdot \nabla]u+(\nabla\cdot u)(\nabla \times u)$$ So the ith component of each side using ...
3
votes
0answers
26 views

Rotation of eigenvectors of a time-dependent tensor

I have a symmetric, real tensor in ${\mathbb R}^3 $ where the components are continuous functions of time: $${\mathbf D} = \left( \begin{matrix} d_{1,1}(t) & d_{1,2}(t) & d_{1,3}(t) \\ ...
3
votes
0answers
91 views

Tensor notation generally

I'm pretty new to tensors in differential geometry and I have a basic question about the notation used. In general a vector field $X$ can be expressed as $$X=\sum_{i=1}^n X^i \partial_i,$$ where ...
3
votes
0answers
74 views

Understanding tensors

Locally in a chart, a tensor field looks like $$T= T^{i_1,...i_n}_{j_1,...,j_m} dx^{j_1} \otimes...\otimes dx^{j_m} \otimes \partial_{i_1} \otimes ... \otimes \partial_{i_n},$$ where ...
3
votes
0answers
89 views

Computing volume element in spherical coordinates

Suppose $y = (r, \theta^1, \theta^2)$ are spherical coordinates in $(\mathbb{R}^3,g)$. What is the $d\text{vol}$ in these coordinates? I solved it but I don't know if it's right. My solution: We ...
3
votes
0answers
109 views

Is the identification between symmetric tensors and homogeneous polynomials useful?

The general question: Given an $n$-dimensional vector space $V$ over a field $k$, there exists an identification $$\mathrm{Sym}^d(V) \sim k[x_1, \dots, x_n]_d$$ between the space of symmetric order ...
3
votes
0answers
153 views

Prove the Curvature Tensor is a Tensor

For an affine connection $\nabla$, prove the curvature R $R(X,Y,Z,\alpha)=\alpha(\nabla_X \nabla_Y Z - \nabla_Y \nabla_X Z -\nabla_{[X,Y]}Z)$ with $X,Y,Z$ vector fields and $\alpha$ a co-vector, is ...
3
votes
0answers
88 views

dot product between vector and matrix

In my book on fluid mechanics there is an expression $$ \boldsymbol{\nabla}\cdot \boldsymbol{\tau}_{ij} $$ where $\boldsymbol{\tau}_{ij}$ is a rank-2 tensor (=matrix). Given that ...
3
votes
0answers
50 views

Equivalent definitions of tensors on finite dimensional spaces.

I have recently been studying various texts on differential geometry, and I am quite puzzled that various authors define the notion of a tensor quite differently. I have come across the following ...
3
votes
0answers
402 views

Gradient and Einstein summation

Suppose I have a vector in the covariant basis $\bar e_i$ and a metric $g$ and I want to obtain a unit vector $\bar u_i$ parallel to $\bar e_i$. I would write: $$\bar e_i = \hat u_i ||\bar e_i|| = ...
3
votes
0answers
229 views

Extending Tensor Fields defined on Manifolds to Ambient Space

I am currently reading about tensor fields on manifolds, and I came across two comments that sound contradictory to me. The first comment is made in the book by James Munkres "Analysis on Manifolds", ...
2
votes
0answers
29 views

Derivative of an eigenvalue with respect to tensor itself

I have a rank-2 tensor $\mathbf{C}=C_{\alpha\beta} \mathbf{A}^\alpha \otimes \mathbf{A}^\beta$ defined in a curvilinear coordinate system. I want to compute the derivative of an eigenvalue $\Lambda_i$ ...
2
votes
0answers
68 views

What are the non-vanishing directions of $A_{a(b} B_{cd)} - B_{a(b} A_{cd)}$? ($A$ and $B$ symmetric tensors)

Question Consider two symmetric tensors $A_{ab}=A_{ba},\, B_{ab}=B_{ba}$ which are generally of full rank (non-degenerate, all eigenvalues non-zero but of general sign) and their tensor product under ...
2
votes
0answers
48 views

Why is the transformation law for tangent space coordinate basis vectors “easily seen” using the chain rule?

In Spacetime & Geometry, Carrol immediately posits that, given that you have some tangent space vector (in the coordinate basis representation): ...
2
votes
0answers
30 views

Tensor formula in SU(3) representations

I am trying to understand the Georgi chapter of tensor methods in $SU(3)$ representations, and I don't know how to resolve the tensor product of 2 matrices in a 2 heavy quark + 2 light antiquark ...
2
votes
0answers
89 views

Are quaternions used in tensor analysis?

At the moment I am learning tensor analysis. In the books I study (civil engineering/mechanical books on tensors) there is a lot written about rotation matrices/tensors, however quaternions are not ...
2
votes
0answers
55 views

Connecting physical tensors to mathematical tensors

I feel like I (maybe) understand the mathematical /algebraic perspective on tensors, for example as described in Wikipedia/Monoidal Category. You need a (simultaneously left & right) unit and an ...
2
votes
0answers
43 views

Tensor varieties?

I read somewhere that the space of rank-one tensors, known as the Segre variety, defined by $$ Seg: \mathbb{P}V_1 \times \cdots \times \mathbb{P}V_n \rightarrow \mathbb{P}(V_1 \otimes \cdots \otimes ...
2
votes
0answers
65 views

Integration is only possible for forms and not for general tensors?

Integration is only possible for forms and not for general tensors? What is the true reason for this? Or can integration of $k$-forms be extended in some natural way to arbitrary $(k,l)$ tensors;if so ...
2
votes
0answers
83 views

Identities involving covariant derivatives

Is there an identity that says for a tensor of rank $4$, if we cycle the indices, including the index with respect to which its covariant derivative is taken, will the sum of all those quantities ...
2
votes
0answers
33 views

Border rank of tensors

Can anyone help me find the rank and border rank of the following tensor: \begin{align} T=a_{11}\otimes b_{11}\otimes c_{11}+a_{12}\otimes b_{21}\otimes c_{11}+a_{11}\otimes b_{12}\otimes c_{12}\\ ...
2
votes
0answers
53 views

Symmetry of the second derivative

For the purposes of this question, a function $f$ is differentiable at $x\in \mathbb{R}^d$ iff (i) the directional derivative $\mathrm{D}_vf(x)$ exists for all $v\in \mathrm{T}_x(\mathbb{R}^d)$ and ...
2
votes
0answers
34 views

Does $\mathfrak T^r(\Bbb R^m)$ count as an vector space?

Here $\mathfrak T^r (\Bbb R^m)$ denotes all the $r$-th tensors (multi-linear functions) acting upon the elements $(u_1,\cdots,u_r)$ from the product space $\displaystyle \prod^r \Bbb R^m$. And the ...
2
votes
0answers
30 views

Natural bilinear map $B\colon Alt^p(E^*)\times Alt^p(E)\rightarrow\mathbb R$

$Alt^P(E^*):=\{ u\colon \overbrace{E^*\times\cdots\times E^*}^{p- times}\rightarrow \mathbb R\ \ , u \text{ is alternating multilinear map}\}$ $Alt^P(E):=\{ \alpha\colon ...
2
votes
0answers
39 views

Pullback maps and an equallity

Let $\Lambda^p (E)$ be the set of $p$-covariant exterior tensors on linear space $E$ over field $K$ (dim$E=n$ and $ 0\leq p\leq n $ , $\Lambda^0E:=K$). We define linear map ...
2
votes
0answers
28 views

Hodge star of second-rank antisymmetric tensor

Say we have a tensor $F$ which just for familiarity's sake, we take to be a second rank antisymmetric tensor. I understand that given the Hodge star operator defined as ...
2
votes
0answers
32 views

$T(M) \cong R<x_1,\ldots,x_n>$ isomorphism question

I have that $T(M) = \bigoplus_{i =1}^{\infty} T^i(M)$ where $T^k(M) = \bigotimes_{i =1}^{k} M$. In a paper i have that to prove such isomorphism, we define: $$\Phi:R<x_1, \ldots, x_n> ...