Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 46290

A continuously varying family of vector spaces of the same dimension over a topological space. If the vector spaces are one-dimensional, the term line bundle is used and has the associated tag line-bundles.

2 votes
2 answers
645 views

Does "symmetry" of a pullback connection should be obvious?

$\newcommand{\M}{M}$ $\newcommand{\N}{N}$ $\newcommand{\TM}{TM}$ $\newcommand{\TN}{TN}$ $\newcommand{\TstarM}{T^*M}$ $\newcommand{\Ga}{\Gamma}$ Let $\M,\N$ be smooth manifolds, $\phi:\M \to \N$ be a …
Asaf Shachar's user avatar
  • 6,741
0 votes
Accepted

Does "symmetry" of a pullback connection should be obvious?

$\newcommand{\id}{\operatorname{Id}}$ Well, there is a natural way to view this "pullback-symmetry": Exterior derivative commutes with pullbacks: Let $f:M \to N$ be a smooth map, $E$ a vector bundl …
Asaf Shachar's user avatar
  • 6,741
4 votes

Is $\delta(df \wedge df)=0$ an Euler-Lagrange equation?

Consider the following functional: $$ E_k(f)=\frac{1}{2}\int_{M} \| \bigwedge^k df\|^2 \text{Vol}_{M}.$$ Theorem: The Euler-Lagrange equation of $E_2$, is $A(\phi)=0$, where $A(\phi) \in \Ga …
Asaf Shachar's user avatar
  • 6,741
4 votes
2 answers
508 views

Is the kernel of the coderivative infinite-dimensional?

$\newcommand{\al}{\alpha}$ $\newcommand{\euc}{\mathcal{e}}$ $\newcommand{\Cof}{\operatorname{Cof}}$ $\newcommand{\Det}{\operatorname{Det}}$ Let $M,N$ be smooth $n$-dimensional Riemannian manifolds (p …
Asaf Shachar's user avatar
  • 6,741
1 vote
1 answer
135 views

How large can the cone of $\nabla$-compatible metrics be?

Let $E$ be a smooth vector bundle over a manifold $M$, equipped with a connection $\nabla$. The set of $\nabla$-compatible metrics on $E$ forms a convex cone. This cone can be empty, however (see he …
Asaf Shachar's user avatar
  • 6,741
15 votes
1 answer
1k views

Is $\delta(df \wedge df)=0$ an Euler-Lagrange equation?

$\newcommand{\id}{\operatorname{Id}}$ $\newcommand{\TM}{\operatorname{TM}}$ $\newcommand{\Hom}{\operatorname{Hom}}$ $\newcommand{\M}{\mathcal{M}}$ $\newcommand{\N}{\mathcal{N}}$ $\newcommand{\tr}{\ope …
Asaf Shachar's user avatar
  • 6,741
5 votes
1 answer
253 views

Does $\nabla g=\omega(\cdot) g$ imply $\nabla$ is metric w.r.t a conformal rescaling of $g$?

This is a cross-post. Let $E$ be a smooth vector bundle over a manifold $M$, where $\text{rank}(E) > 1,\dim M > 1$. Suppose that $E$ is equipped with a metric $g$ and an affine connection $\nabla$, …
Asaf Shachar's user avatar
  • 6,741
0 votes

Automatic transfer of pointwise metric computations to bundle computations

$\newcommand{\M}{\mathcal{M}}$ $\newcommand{\Hom}{\operatorname{Hom}}$ $\newcommand{\tr}{\operatorname{tr}}$ $\newcommand{\TM}{\operatorname{T\M}}$ $\newcommand{\sAverage}[1]{\langle#1\rangle} $ $\new …
Asaf Shachar's user avatar
  • 6,741
7 votes
3 answers
308 views

Automatic transfer of pointwise metric computations to bundle computations

$\newcommand{\M}{\mathcal{M}}$ $\newcommand{\N}{\mathcal{N}}$ $\newcommand{\deriv}[2]{\frac{d#1}{d#2}}$ $\newcommand{\sAverage}[1]{\langle#1\rangle} $ $\newcommand{\IP}[2]{\sAverage{#1,#2}}$ $\newcomm …
Asaf Shachar's user avatar
  • 6,741
2 votes
2 answers
2k views

Commuting of exterior derivative and contraction (vector-valued forms)

$\newcommand{\sig}{\sigma}$ $\newcommand{\tr}{\operatorname{tr}_{\eta}}$ $\newcommand{\al}{\alpha}$ $\newcommand{\be}{\beta}$ $\newcommand{\til}{\tilde}$ Let $E$ be a smooth vector bundle over a mani …
Asaf Shachar's user avatar
  • 6,741