Suppose $M_1, dots M_k$ are smooth manifolds, then each of the projection maps $pi_i : M_1 times dots times...
$begingroup$
Suppose $M_1, dots M_k$ are smooth manifolds of dimensions $n_1, dots, n_k$ respectively, then each of the projection maps $pi_i : M_1 times dots times M_k to M_i$ is a smooth submersion
This was my attempted proof:
Proof: Let $M = M_1 times dots M_k$ and let $p = (p_1, dots, p_k) in M$ choose a smooth chart $(U, phi)$ containing $p$. Then $U = U_1 times dots times U_k$ and $phi = phi_1 times dots times phi_k$ where each $(U_j, phi_j)$ is a smooth chart in $M_j$. Also note that $phi = phi_1 times dots times phi_k$ means that $phi(p_1, dots, p_k) = (phi_1(p_1), dots, phi_k(p_k)) = left(phi_1 times dots times phi_kright)(p_1, dots, p_k)$.
Let's now compute the local coordinate representation of $widehat{pi_i}$, this is given by $widehat{pi_i} = phi_i circ pi_i circ phi^{-1} : phi[U] to phi_i[U_i]$. Observe that $phi^{-1} = phi_1^{-1} times dots times phi_k^{-1}$. Letting $(x^1, dots, x^{n_i})$ denote the component functions of $phi_i$ we have begin{align*}widehat{pi_i}(x^1, dots, x^{n_1 + dots + n_k}) &= phi_ibigg(pi_ibig(phi_1^{-1}(x^1, dots, x^{n_1 + dots + n_k}), dots, phi_k^{-1}(x^1, dots, x^{n_1 + dots + n_k})big)bigg) \
&=phi_ibigg( phi_i^{-1}(x^1, dots, x^{n_1 + dots + n_k})bigg)
\
&=(x^1, dots, x^{n_1 + dots + n_k})
end{align*}
Then $dwidehat{pi}_{phi(p)}$ is represented by the Jacobian matrix of $widehat{pi_i}$ at $phi(p)$ and computing the Jacobian matrix for $widehat{pi_i}$ we see that $$dwidehat{pi}_{phi(p)} = begin{bmatrix}
I & 0 \
0 & 0\
end{bmatrix}$$
with $n_i$ many $1$'s down the main diagonal. Thus since $d(pi_i)_p = d(widehat{pi_i})_{phi(p)}$ in the chart $(U, phi)$ we have $operatorname{rank}d(pi_i)_p = operatorname{rank}d(widehat{pi_i})_{phi(p)} = n_i = operatorname{dim}T_{p_i} M_i$ hence $d(pi_i)_p$ is surjective and thus $pi_i$ is a smooth submersion. $square$
Is my proof correct? If not where have I gone wrong?
proof-verification differential-geometry
$endgroup$
add a comment |
$begingroup$
Suppose $M_1, dots M_k$ are smooth manifolds of dimensions $n_1, dots, n_k$ respectively, then each of the projection maps $pi_i : M_1 times dots times M_k to M_i$ is a smooth submersion
This was my attempted proof:
Proof: Let $M = M_1 times dots M_k$ and let $p = (p_1, dots, p_k) in M$ choose a smooth chart $(U, phi)$ containing $p$. Then $U = U_1 times dots times U_k$ and $phi = phi_1 times dots times phi_k$ where each $(U_j, phi_j)$ is a smooth chart in $M_j$. Also note that $phi = phi_1 times dots times phi_k$ means that $phi(p_1, dots, p_k) = (phi_1(p_1), dots, phi_k(p_k)) = left(phi_1 times dots times phi_kright)(p_1, dots, p_k)$.
Let's now compute the local coordinate representation of $widehat{pi_i}$, this is given by $widehat{pi_i} = phi_i circ pi_i circ phi^{-1} : phi[U] to phi_i[U_i]$. Observe that $phi^{-1} = phi_1^{-1} times dots times phi_k^{-1}$. Letting $(x^1, dots, x^{n_i})$ denote the component functions of $phi_i$ we have begin{align*}widehat{pi_i}(x^1, dots, x^{n_1 + dots + n_k}) &= phi_ibigg(pi_ibig(phi_1^{-1}(x^1, dots, x^{n_1 + dots + n_k}), dots, phi_k^{-1}(x^1, dots, x^{n_1 + dots + n_k})big)bigg) \
&=phi_ibigg( phi_i^{-1}(x^1, dots, x^{n_1 + dots + n_k})bigg)
\
&=(x^1, dots, x^{n_1 + dots + n_k})
end{align*}
Then $dwidehat{pi}_{phi(p)}$ is represented by the Jacobian matrix of $widehat{pi_i}$ at $phi(p)$ and computing the Jacobian matrix for $widehat{pi_i}$ we see that $$dwidehat{pi}_{phi(p)} = begin{bmatrix}
I & 0 \
0 & 0\
end{bmatrix}$$
with $n_i$ many $1$'s down the main diagonal. Thus since $d(pi_i)_p = d(widehat{pi_i})_{phi(p)}$ in the chart $(U, phi)$ we have $operatorname{rank}d(pi_i)_p = operatorname{rank}d(widehat{pi_i})_{phi(p)} = n_i = operatorname{dim}T_{p_i} M_i$ hence $d(pi_i)_p$ is surjective and thus $pi_i$ is a smooth submersion. $square$
Is my proof correct? If not where have I gone wrong?
proof-verification differential-geometry
$endgroup$
$begingroup$
Your proof looked correct to me. I would simplify it as follows: "By induction suffices to consider $k = 2$ and then, by definition, there exists charts such that the local expression of $pi$ is simply $(x,y) mapsto y,$ which is clearly of class $mathscr{C}^infty$ and its derivative has full rank."
$endgroup$
– Will M.
Jan 24 at 5:13
$begingroup$
You can try coordinate invariant approach as in here.
$endgroup$
– Sou
Jan 24 at 5:59
add a comment |
$begingroup$
Suppose $M_1, dots M_k$ are smooth manifolds of dimensions $n_1, dots, n_k$ respectively, then each of the projection maps $pi_i : M_1 times dots times M_k to M_i$ is a smooth submersion
This was my attempted proof:
Proof: Let $M = M_1 times dots M_k$ and let $p = (p_1, dots, p_k) in M$ choose a smooth chart $(U, phi)$ containing $p$. Then $U = U_1 times dots times U_k$ and $phi = phi_1 times dots times phi_k$ where each $(U_j, phi_j)$ is a smooth chart in $M_j$. Also note that $phi = phi_1 times dots times phi_k$ means that $phi(p_1, dots, p_k) = (phi_1(p_1), dots, phi_k(p_k)) = left(phi_1 times dots times phi_kright)(p_1, dots, p_k)$.
Let's now compute the local coordinate representation of $widehat{pi_i}$, this is given by $widehat{pi_i} = phi_i circ pi_i circ phi^{-1} : phi[U] to phi_i[U_i]$. Observe that $phi^{-1} = phi_1^{-1} times dots times phi_k^{-1}$. Letting $(x^1, dots, x^{n_i})$ denote the component functions of $phi_i$ we have begin{align*}widehat{pi_i}(x^1, dots, x^{n_1 + dots + n_k}) &= phi_ibigg(pi_ibig(phi_1^{-1}(x^1, dots, x^{n_1 + dots + n_k}), dots, phi_k^{-1}(x^1, dots, x^{n_1 + dots + n_k})big)bigg) \
&=phi_ibigg( phi_i^{-1}(x^1, dots, x^{n_1 + dots + n_k})bigg)
\
&=(x^1, dots, x^{n_1 + dots + n_k})
end{align*}
Then $dwidehat{pi}_{phi(p)}$ is represented by the Jacobian matrix of $widehat{pi_i}$ at $phi(p)$ and computing the Jacobian matrix for $widehat{pi_i}$ we see that $$dwidehat{pi}_{phi(p)} = begin{bmatrix}
I & 0 \
0 & 0\
end{bmatrix}$$
with $n_i$ many $1$'s down the main diagonal. Thus since $d(pi_i)_p = d(widehat{pi_i})_{phi(p)}$ in the chart $(U, phi)$ we have $operatorname{rank}d(pi_i)_p = operatorname{rank}d(widehat{pi_i})_{phi(p)} = n_i = operatorname{dim}T_{p_i} M_i$ hence $d(pi_i)_p$ is surjective and thus $pi_i$ is a smooth submersion. $square$
Is my proof correct? If not where have I gone wrong?
proof-verification differential-geometry
$endgroup$
Suppose $M_1, dots M_k$ are smooth manifolds of dimensions $n_1, dots, n_k$ respectively, then each of the projection maps $pi_i : M_1 times dots times M_k to M_i$ is a smooth submersion
This was my attempted proof:
Proof: Let $M = M_1 times dots M_k$ and let $p = (p_1, dots, p_k) in M$ choose a smooth chart $(U, phi)$ containing $p$. Then $U = U_1 times dots times U_k$ and $phi = phi_1 times dots times phi_k$ where each $(U_j, phi_j)$ is a smooth chart in $M_j$. Also note that $phi = phi_1 times dots times phi_k$ means that $phi(p_1, dots, p_k) = (phi_1(p_1), dots, phi_k(p_k)) = left(phi_1 times dots times phi_kright)(p_1, dots, p_k)$.
Let's now compute the local coordinate representation of $widehat{pi_i}$, this is given by $widehat{pi_i} = phi_i circ pi_i circ phi^{-1} : phi[U] to phi_i[U_i]$. Observe that $phi^{-1} = phi_1^{-1} times dots times phi_k^{-1}$. Letting $(x^1, dots, x^{n_i})$ denote the component functions of $phi_i$ we have begin{align*}widehat{pi_i}(x^1, dots, x^{n_1 + dots + n_k}) &= phi_ibigg(pi_ibig(phi_1^{-1}(x^1, dots, x^{n_1 + dots + n_k}), dots, phi_k^{-1}(x^1, dots, x^{n_1 + dots + n_k})big)bigg) \
&=phi_ibigg( phi_i^{-1}(x^1, dots, x^{n_1 + dots + n_k})bigg)
\
&=(x^1, dots, x^{n_1 + dots + n_k})
end{align*}
Then $dwidehat{pi}_{phi(p)}$ is represented by the Jacobian matrix of $widehat{pi_i}$ at $phi(p)$ and computing the Jacobian matrix for $widehat{pi_i}$ we see that $$dwidehat{pi}_{phi(p)} = begin{bmatrix}
I & 0 \
0 & 0\
end{bmatrix}$$
with $n_i$ many $1$'s down the main diagonal. Thus since $d(pi_i)_p = d(widehat{pi_i})_{phi(p)}$ in the chart $(U, phi)$ we have $operatorname{rank}d(pi_i)_p = operatorname{rank}d(widehat{pi_i})_{phi(p)} = n_i = operatorname{dim}T_{p_i} M_i$ hence $d(pi_i)_p$ is surjective and thus $pi_i$ is a smooth submersion. $square$
Is my proof correct? If not where have I gone wrong?
proof-verification differential-geometry
proof-verification differential-geometry
asked Jan 24 at 5:07


PerturbativePerturbative
4,49121553
4,49121553
$begingroup$
Your proof looked correct to me. I would simplify it as follows: "By induction suffices to consider $k = 2$ and then, by definition, there exists charts such that the local expression of $pi$ is simply $(x,y) mapsto y,$ which is clearly of class $mathscr{C}^infty$ and its derivative has full rank."
$endgroup$
– Will M.
Jan 24 at 5:13
$begingroup$
You can try coordinate invariant approach as in here.
$endgroup$
– Sou
Jan 24 at 5:59
add a comment |
$begingroup$
Your proof looked correct to me. I would simplify it as follows: "By induction suffices to consider $k = 2$ and then, by definition, there exists charts such that the local expression of $pi$ is simply $(x,y) mapsto y,$ which is clearly of class $mathscr{C}^infty$ and its derivative has full rank."
$endgroup$
– Will M.
Jan 24 at 5:13
$begingroup$
You can try coordinate invariant approach as in here.
$endgroup$
– Sou
Jan 24 at 5:59
$begingroup$
Your proof looked correct to me. I would simplify it as follows: "By induction suffices to consider $k = 2$ and then, by definition, there exists charts such that the local expression of $pi$ is simply $(x,y) mapsto y,$ which is clearly of class $mathscr{C}^infty$ and its derivative has full rank."
$endgroup$
– Will M.
Jan 24 at 5:13
$begingroup$
Your proof looked correct to me. I would simplify it as follows: "By induction suffices to consider $k = 2$ and then, by definition, there exists charts such that the local expression of $pi$ is simply $(x,y) mapsto y,$ which is clearly of class $mathscr{C}^infty$ and its derivative has full rank."
$endgroup$
– Will M.
Jan 24 at 5:13
$begingroup$
You can try coordinate invariant approach as in here.
$endgroup$
– Sou
Jan 24 at 5:59
$begingroup$
You can try coordinate invariant approach as in here.
$endgroup$
– Sou
Jan 24 at 5:59
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
It is almost correct. The idea is right, but I would have written it like this:
Let $mathbf x_i in mathbf R^{n_i}$, so $mathbf x = (mathbf x_1,dots,mathbf x_k)$ is a point in $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$.
Then,
begin{align*}
widehatpi_i(mathbf x) = mathbf x_i,
end{align*}
or in matrix form as
$$
widehatpi_i =
begin{bmatrix}
0 & dotsb & I_i & dotsb & 0
end{bmatrix},
$$
where $I_i$ is the $n_itimes n_i$ identity matrix.
Since $dwidehat pi_i = widehat pi_i$, and $widehatpi_i$ clearly has rank $n_i$, $widehat pi_i$ is a submersion.
Note, in particular, what is wrong with your proof:
You have written that the coordinate form of $pi_i$ is actually the identity map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}tomathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$ by just not being careful.
The matrix for $widehat pi_i$ is not correct, and actually shows the wrong conclusion because the matrix you wrote down does not have the correct dimensions. You should have found that the coordinate representation is a map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}to mathbf R^{n_i}$, so the matrix should have dimensions $n_itimes(n_1+dotsb+n_k)$.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3085483%2fsuppose-m-1-dots-m-k-are-smooth-manifolds-then-each-of-the-projection-maps%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
It is almost correct. The idea is right, but I would have written it like this:
Let $mathbf x_i in mathbf R^{n_i}$, so $mathbf x = (mathbf x_1,dots,mathbf x_k)$ is a point in $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$.
Then,
begin{align*}
widehatpi_i(mathbf x) = mathbf x_i,
end{align*}
or in matrix form as
$$
widehatpi_i =
begin{bmatrix}
0 & dotsb & I_i & dotsb & 0
end{bmatrix},
$$
where $I_i$ is the $n_itimes n_i$ identity matrix.
Since $dwidehat pi_i = widehat pi_i$, and $widehatpi_i$ clearly has rank $n_i$, $widehat pi_i$ is a submersion.
Note, in particular, what is wrong with your proof:
You have written that the coordinate form of $pi_i$ is actually the identity map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}tomathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$ by just not being careful.
The matrix for $widehat pi_i$ is not correct, and actually shows the wrong conclusion because the matrix you wrote down does not have the correct dimensions. You should have found that the coordinate representation is a map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}to mathbf R^{n_i}$, so the matrix should have dimensions $n_itimes(n_1+dotsb+n_k)$.
$endgroup$
add a comment |
$begingroup$
It is almost correct. The idea is right, but I would have written it like this:
Let $mathbf x_i in mathbf R^{n_i}$, so $mathbf x = (mathbf x_1,dots,mathbf x_k)$ is a point in $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$.
Then,
begin{align*}
widehatpi_i(mathbf x) = mathbf x_i,
end{align*}
or in matrix form as
$$
widehatpi_i =
begin{bmatrix}
0 & dotsb & I_i & dotsb & 0
end{bmatrix},
$$
where $I_i$ is the $n_itimes n_i$ identity matrix.
Since $dwidehat pi_i = widehat pi_i$, and $widehatpi_i$ clearly has rank $n_i$, $widehat pi_i$ is a submersion.
Note, in particular, what is wrong with your proof:
You have written that the coordinate form of $pi_i$ is actually the identity map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}tomathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$ by just not being careful.
The matrix for $widehat pi_i$ is not correct, and actually shows the wrong conclusion because the matrix you wrote down does not have the correct dimensions. You should have found that the coordinate representation is a map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}to mathbf R^{n_i}$, so the matrix should have dimensions $n_itimes(n_1+dotsb+n_k)$.
$endgroup$
add a comment |
$begingroup$
It is almost correct. The idea is right, but I would have written it like this:
Let $mathbf x_i in mathbf R^{n_i}$, so $mathbf x = (mathbf x_1,dots,mathbf x_k)$ is a point in $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$.
Then,
begin{align*}
widehatpi_i(mathbf x) = mathbf x_i,
end{align*}
or in matrix form as
$$
widehatpi_i =
begin{bmatrix}
0 & dotsb & I_i & dotsb & 0
end{bmatrix},
$$
where $I_i$ is the $n_itimes n_i$ identity matrix.
Since $dwidehat pi_i = widehat pi_i$, and $widehatpi_i$ clearly has rank $n_i$, $widehat pi_i$ is a submersion.
Note, in particular, what is wrong with your proof:
You have written that the coordinate form of $pi_i$ is actually the identity map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}tomathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$ by just not being careful.
The matrix for $widehat pi_i$ is not correct, and actually shows the wrong conclusion because the matrix you wrote down does not have the correct dimensions. You should have found that the coordinate representation is a map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}to mathbf R^{n_i}$, so the matrix should have dimensions $n_itimes(n_1+dotsb+n_k)$.
$endgroup$
It is almost correct. The idea is right, but I would have written it like this:
Let $mathbf x_i in mathbf R^{n_i}$, so $mathbf x = (mathbf x_1,dots,mathbf x_k)$ is a point in $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$.
Then,
begin{align*}
widehatpi_i(mathbf x) = mathbf x_i,
end{align*}
or in matrix form as
$$
widehatpi_i =
begin{bmatrix}
0 & dotsb & I_i & dotsb & 0
end{bmatrix},
$$
where $I_i$ is the $n_itimes n_i$ identity matrix.
Since $dwidehat pi_i = widehat pi_i$, and $widehatpi_i$ clearly has rank $n_i$, $widehat pi_i$ is a submersion.
Note, in particular, what is wrong with your proof:
You have written that the coordinate form of $pi_i$ is actually the identity map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}tomathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}$ by just not being careful.
The matrix for $widehat pi_i$ is not correct, and actually shows the wrong conclusion because the matrix you wrote down does not have the correct dimensions. You should have found that the coordinate representation is a map $mathbf R^{n_1}timesdotsbtimesmathbf R^{n_k}to mathbf R^{n_i}$, so the matrix should have dimensions $n_itimes(n_1+dotsb+n_k)$.
edited Jan 24 at 5:22
answered Jan 24 at 5:16
Alex OrtizAlex Ortiz
10.9k21441
10.9k21441
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3085483%2fsuppose-m-1-dots-m-k-are-smooth-manifolds-then-each-of-the-projection-maps%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Your proof looked correct to me. I would simplify it as follows: "By induction suffices to consider $k = 2$ and then, by definition, there exists charts such that the local expression of $pi$ is simply $(x,y) mapsto y,$ which is clearly of class $mathscr{C}^infty$ and its derivative has full rank."
$endgroup$
– Will M.
Jan 24 at 5:13
$begingroup$
You can try coordinate invariant approach as in here.
$endgroup$
– Sou
Jan 24 at 5:59