Ask Your Question

JackHughes14's profile - activity

2024-01-18 07:55:21 +0200 marked best answer Computing the Chern–Pontryagin invariant

Hi there,

I'm currently trying to construct the so called Chern–Pontryagin invariant for (say) Schwarzschild spacetime, which is a term constructed as the Riemann tensor contracted with its dual:

$ P_4 = R_{\alpha \beta \mu \nu} \varepsilon^{\alpha \beta \rho \sigma} R_{\rho \sigma}^{\mu \nu}, $

where $\varepsilon$ is the volume form (or effectively the Hodge dual in this set up).

This term cannot be broken up into two independent contractions which we then trace over, since in this case the trace will vanish identically. Therefore the contraction has to appear as is, in one single computation.

I thought about constructing this as a sequence of for loops (regardless of how long it would take)

Id = 0
for i in range(4):
    for j in range(4):
        for k in range(4):
            for l in range(4):
                for m in range(4):
                    for n in range(4):
                        Id = R_down['_ijkl']*dual['^ijmn']*R_up['^kl_mn']

But this always returns the TypeError: 'the second item of * must be a tensor with specified indices'.

How can I perform the type of triple tensor contraction appearing above in general? Note that the problem would be the same as for computing the topological Euler density, which involves a double dual:

$ \varepsilon^{\alpha \beta \gamma \delta} R^{\mu \nu}_{\alpha \beta} R^{\rho \sigma}_{\gamma \delta} \varepsilon_{\mu \nu \rho \sigma} $

Any ideas?

Many thanks.

2024-01-12 20:53:30 +0200 received badge  Notable Question (source)
2024-01-12 08:26:08 +0200 asked a question Computing the Chern–Pontryagin invariant

Computing the Chern–Pontryagin invariant Hi there, I'm currently trying to construct the so called Chern–Pontryagin inv

2023-07-10 13:07:52 +0200 received badge  Popular Question (source)
2021-05-05 15:07:55 +0200 asked a question Gaussian Curvature of a 2D manifold.

Gaussian Curvature of a 2D manifold. Given a two-dimensional manfiold M, a chart X, a metric and the connection coeffice

2021-05-04 16:26:20 +0200 marked best answer Working with tetrads and the spin connection

Using sagemanifolds, is there any way to work within the tetrad formalism and calculate the spin connection coefficients for some specified spacetime manifold and choice of vierbein?

2021-05-04 16:26:20 +0200 received badge  Scholar (source)
2021-05-04 16:26:19 +0200 received badge  Supporter (source)
2021-05-01 16:18:13 +0200 received badge  Nice Question (source)
2021-04-30 19:29:00 +0200 received badge  Student (source)
2021-04-30 16:39:05 +0200 asked a question Working with tetrads and the spin connection

Working with tetrads and the spin connection Using sagemanifolds, is there any way to work within the tetrad formalism a