# Questions tagged [torsion]

The torsion tag has no usage guidance.

21
questions

**15**

votes

**1**answer

264 views

### Can a torsion-free group be quasi-isometric to a torsion group?

I have looked around in the literature on group theory and geometric group theory and this looks to be an open question as far as I can tell (by torsion group, I mean as usual a group in which every ...

**4**

votes

**3**answers

329 views

### Possible $p$-torsion subgroup of $E(\mathbb{Q}_p)$, and if there is a theorem to say which case happens when?

What is the possible $p$-torsion subgroup of $E(\mathbb{Q}_p)$ for an elliptic curve $E$ over $\mathbb{Q}_p$, and if there is a theorem to say which case happens when?

**1**

vote

**0**answers

56 views

### Poincaré connection encode torsion and curvature

I'm trying to understand something that is written in Baez & Wise paper "Teleparallel Gravity as a Higher Gauge Theory". In section 4, they discuss Poincaré connection and, first of all, split ...

**6**

votes

**1**answer

161 views

### Cohomology of toric blowup

Let $n\geq2$. Let $G$ be a linear automorphisms group of prime order on $\mathbb{C}^n$. We assume that $0$ is the unique fixed point of $G$.
I consider the quotient $\mathbb{C}^n/G$. It is a toric ...

**4**

votes

**2**answers

350 views

### Why torsion is only defined for linear connection on TM?

The concept of curvature is defined for any linear connection on any vector bundle $E \to M$, but the concept of torsion is only defined for connection on the tangent bundle $TM$ of a manifold $M^n$, ...

**3**

votes

**1**answer

150 views

### Torsion submodules of non-noetherian modules

Let $R$ be a commutative ring, let $\mathfrak{a}\subseteq R$ be an ideal, and let $M$ be an $R$-module. The $\mathfrak{a}$-torsion submodule of $M$ is defined as $$\Gamma_{\mathfrak{a}}(M)=\{x\in M\...

**5**

votes

**0**answers

178 views

### Torsion-free sheaf cohomology over discrete valuation rings

Let $R$ be a Henselian discrete valuation rings with algebraically closed residue field and $X$ be a regular, flat, proper $R$-scheme. Assume that the generic fiber to the natural morphism from $X$ to ...

**1**

vote

**0**answers

90 views

### Torsion functors and weak assassins

Let $R$ be a commutative ring, and let $\mathfrak{a}\subseteq R$ be an ideal. For an $R$-module $M$, we set $\Gamma_{\mathfrak{a}}(M)=\{x\in M\mid\exists n\in\mathbb{N}:\mathfrak{a}^nx=0\}$, and we ...

**2**

votes

**1**answer

354 views

### Torsion theory for quasi-coherent sheaves?

In a category $\mathcal C$, we will say that $(\mathcal T,\mathcal F)$ is a torsion theory if it satisfies:
(1) $Hom(T,F)=0$ for all $T\in \mathcal T$ and $F\in \mathcal F$.
(2) If $Hom(T,F)=0$ for ...

**0**

votes

**0**answers

187 views

### Torsion in cohomology

Suppose to have a short exact sequence of chain complexes of $\mathbb{Z}$-modules:
$$0\to A^\bullet\to B^\bullet\to C^\bullet\to 0$$
such that $A^k,B^k,C^k$ are non zero for $k=0,1,2$.
Moreover, ...

**2**

votes

**0**answers

260 views

### Alternate definition for the torsion tensor

I would be pleased to have some information about an alternate definition for the torsion tensor.
Let us consider a smooth manifold $\mathcal{M}$ together with an arbitrary connection $\nabla$. The ...

**0**

votes

**1**answer

350 views

### Torsion and submanifolds [closed]

EDIT: Let me modify the question then: for what submanifolds $N$ does the torsion $T$ preserve tangent vectors to $N$?
If $\nabla$ is a connection on a manifold $M$, then torsion is defined to be the ...

**3**

votes

**2**answers

849 views

### Torsion and Non-metricity Tensor on a Surface

In differential geometry of surfaces, how can one define a non-zero Torsion tensor? It seems that the connection you provide has always to be symmetric since, by definition,
$$\Gamma^{\gamma}_{\alpha\...

**14**

votes

**2**answers

3k views

### Torsion and Parallel Transport

There's a close relationship between curvature and the holonomy group; the holonomy theorem of Ambrose and Singer, for example. It seems to me that there should be an analogous result for torsion. I ...

**2**

votes

**0**answers

211 views

### Full $n$-torsion of elliptic curves and the cyclotomic field of order $n$

Hi, overflowers.
I have a question concerning the torsion of elliptic curves over number fields.
Let us consider an elliptic curve $E$ defined over ${\mathbb Q}$. From the Weil pairing one can ...

**21**

votes

**4**answers

3k views

### Why is it important that partial derivatives commute?

I am asking this in the context of differential geometry (specifically Riemannian).
When the Levi-Civita Connection is defined, we require that the torsion tensor is 0, which in local coordinates ...

**3**

votes

**2**answers

2k views

### Interpretation of Curvature and Torsion

Dear all,
When dealing with General Relativity one uses the Levi-Civita connection with is torsion-free. Thus the commutator of the covariant derivatives yields
$[\nabla_\mu,\nabla_\nu]V^\rho = R_{\...

**6**

votes

**3**answers

814 views

### Torsion-free tensor powers

Let $R$ be an integral domain. If $M$ is an $R$-module such that every tensor power of $M$ over $R$ is $R$-torsion-free, then is $M$ necessarily flat as an $R$-module? If not, then does this ...

**1**

vote

**0**answers

326 views

### connection between non-orientable manifolds and torsion in 1D (co) homology

I'm interested in understanding the probability that given a prime $p$, $p$ divides the order of the torsional part of $H^k(X,Z)$, where $X$ is a finite simplicial complex.
Lets say you have a ...

**24**

votes

**4**answers

3k views

### Rolling without slipping interpretation of torsion

This is, in a sense, a follow up to this question.
Hehl and Obukhov try to give an intuitive description of torsion. I am confused about their description. I am looking at the following paragraph on ...

**174**

votes

**21**answers

29k views

### What is torsion in differential geometry intuitively?

Hi,
given a connection on the tangent space of a manifold, one can define its torsion:
$$T(X,Y):=\triangledown_X Y - \triangledown_Y X - [X,Y]$$
What is the geometric picture behind this definition&...