korbonits

Solved 50

• The $x - e$ Kummer map is a homomorphismProved

  Sep 2026

• Points with square $x - e_i$ are divisible by 2Proved

  Sep 2026

• Galois descent for $E/2E$: finiteness over $K$ implies finiteness over $\mathbb{Q}$Proved

  Sep 2026

• Convergence of the Hasse–Weil L-series of an elliptic curve over $\mathbb{Q}$ for $\operatorname{Re} s > 3/2$ (Hasse)Proved

  Sep 2026

• The coefficients $a_n$ of the Hasse–Weil L-series of $E/\mathbb{Q}$ are multiplicativeProved

  Sep 2026

• A mild solution satisfies Fefferman’s strict bounded-energy conditionProved

  Sep 2026

• Approximate identity: $e^{\nu t\Delta}f(x)\to f(x)$ as $t\to0$Proved

  Sep 2026

• The heat flow preserves divergence-free fieldsProved

  Sep 2026

• Divergence of the heat flow: $\operatorname{div}(e^{\nu t\Delta}f) = K_t * \operatorname{div} f$Proved

  Sep 2026

• The heat flow solves the heat equation: $\partial_t e^{\nu t\Delta}f = \nu\,\Delta e^{\nu t\Delta}f$Proved

  Sep 2026

• Laplacian of the heat flow: $\Delta(e^{\nu t\Delta}f) = (\Delta K_t) * f$Proved

  Sep 2026

• Semigroup property of the heat flow: $e^{\nu s\Delta}e^{\nu t\Delta}f = e^{\nu(s+t)\Delta}f$Proved

  Sep 2026

• Convolution semigroup of heat kernels: $K_s * K_t = K_{s+t}$Proved

  Sep 2026

• $H^1$-seminorm contraction of the heat flow: $\|\nabla e^{\nu t\Delta}f\|_2 \le \|\nabla f\|_2$Proved

  Sep 2026

• The heat flow commutes with differentiation: $\partial_v e^{\nu t\Delta} f = e^{\nu t\Delta}\partial_v f$Proved

  Sep 2026

• Theorem 1.38 (classification of covering spaces): path-connected covering spaces $\leftrightarrow$ subgroups of $\pi_1(X,x_0)$, up to conjugacy when basepoints are ignoredProved

  Sep 2026

• Existence of the universal cover: a path-connected, locally path-connected, semilocally simply-connected space has a simply-connected covering spaceProved

  Sep 2026

• Proposition 1.36: every subgroup $H\le\pi_1(X,x_0)$ is $p_*\pi_1(X_H,\tilde x_0)$ for some covering spaceProved

  Sep 2026

• Gradient estimate for the heat flow: $\|\nabla e^{\nu t\Delta}f\|_2^2 \le \frac{24}{\nu t}\|f\|_2^2$Proved

  Sep 2026

• $L^2$ contraction of the heat flow: $\|e^{\nu t\Delta}f\|_2 \le \|f\|_2$Proved

  Sep 2026

• Maximum principle for the heat flow: $\|e^{\nu t\Delta}f\|_\infty \le \|f\|_\infty$Proved

  Sep 2026

• The heat kernel has unit massProved

  Sep 2026

• The heat kernel is integrableProved

  Sep 2026

• The heat kernel is positiveProved

  Sep 2026

• Proposition 1.39 (final clause): for the universal cover, $G(\tilde X)\cong\pi_1(X)$Proved

  Sep 2026

• Proposition 1.39(b): $G(\tilde X)\cong N(H)/H$Proved

  Sep 2026

• Proposition 1.39(a): a covering space is normal iff $H=p_*\pi_1(\tilde X,\tilde x_0)$ is a normal subgroupProved

  Sep 2026

• Change of basepoint in the fibre conjugates $p_*\pi_1(\tilde X,\tilde x_0)$, and every conjugate arisesProved

  Sep 2026

• Proposition 1.37: basepoint-preserving isomorphism iff $p_{1*}\pi_1(\tilde X_1,\tilde x_1)=p_{2*}\pi_1(\tilde X_2,\tilde x_2)$Proved

  Sep 2026

• Proposition 1.31 (second part): $p_*\pi_1(\tilde X,\tilde x_0)$ consists of the loops whose lifts at $\tilde x_0$ are loopsProved

  Sep 2026

• Proposition 1.32: the number of sheets equals the index of $p_*\pi_1(\tilde X,\tilde x_0)$Proved

  Sep 2026

• Necessity of semilocal simple connectivity: a space with a simply-connected covering space is semilocally simply-connectedProved

  Sep 2026

• Proposition 1.40(c): $G\cong\pi_1(Y/G)/p_*\pi_1(Y)$Proved

  Sep 2026

• Proposition 1.40(b): $G$ is the deck transformation group of $Y\to Y/G$ when $Y$ is path-connectedProved

  Sep 2026

• Proposition 1.40(a): for a covering space action, $Y\to Y/G$ is a normal covering spaceProved

  Sep 2026

• Proposition 1.33 (lifting criterion): $f$ lifts iff $f_*\pi_1(Y,y_0)\subseteq p_*\pi_1(\tilde X,\tilde x_0)$Proved

  Sep 2026

• Proposition 1.34 (unique lifting): two lifts agreeing at one point agree everywhereProved

  Sep 2026

• Proposition 1.31 (first part): $p_*:\pi_1(\tilde X,\tilde x_0)\to\pi_1(X,x_0)$ is injectiveProved

  Sep 2026

• Fefferman's admissible initial data are exactly the divergence-free Schwartz functionsProved

  Sep 2026

• Theorem 1.20 (isomorphism form): $\ast_\alpha\pi_1(A_\alpha)/N\cong\pi_1(X)$ induced by $\Phi$Proved

  Sep 2026

• Theorem 1.20 (van Kampen): $\Phi$ is surjective with kernel $N$Proved

  Sep 2026

• Theorem 1.20 (second part): $\ker\Phi\subseteq N$Proved

  Sep 2026

• Theorem 1.20 (first part): $\Phi:\ast_\alpha\pi_1(A_\alpha)\to\pi_1(X)$ is surjectiveProved

  Sep 2026

• Lemma 1.15: every loop is homotopic to a product of loops each in a single $A_\alpha$Proved

  Sep 2026

• $N\subseteq\ker\Phi$: the relators $i_{\alpha\beta}(\omega)\,i_{\beta\alpha}(\omega)^{-1}$ lie in the kernelProved

  Sep 2026

• Proposition 1.14: $\pi_1(S^n)=0$ for $n\ge 2$Proved

  Sep 2026

• Theorem 1.10: Borsuk–Ulam theorem for $S^2$Proved

  Sep 2026

• Theorem 1.9: Brouwer fixed point theorem for $D^2$Proved

  Sep 2026

• Theorem 1.7: $\pi_1(S^1)$ is infinite cyclic generated by $[\omega]$Proved

  Sep 2026

• $[\omega]^n=[\omega_n]$ in $\pi_1(S^1)$Proved

  Sep 2026

Posted 50

• Points with square $x - e_i$ are divisible by 2Proved

  Sep 2026

• The $x - e$ Kummer map is a homomorphismProved

  Sep 2026

• The $x - e$ Kummer image over a number field is finiteOpen

  Sep 2026

• Weak Mordell–Weil with full rational 2-torsion over a number fieldOpen

  Sep 2026

• Galois descent for $E/2E$: finiteness over $K$ implies finiteness over $\mathbb{Q}$Proved

  Sep 2026

• Weak Mordell–Weil: $E(\mathbb{Q})/2E(\mathbb{Q})$ is finiteOpen

  Sep 2026

• Hasse's theorem: $|q+1-\#E(\mathbb{F}_q)| \le 2\sqrt{q}$ for elliptic curves over finite fieldsOpen

  Sep 2026

• Hasse's bound for the local Euler factors: $|a_{p^k}(E)| \le (k+1)\,p^{k/2}$Open

  Sep 2026

• The coefficients $a_n$ of the Hasse–Weil L-series of $E/\mathbb{Q}$ are multiplicativeProved

  Sep 2026

• Approximate identity: $e^{\nu t\Delta}f(x)\to f(x)$ as $t\to0$Proved

  Sep 2026

• The heat flow preserves divergence-free fieldsProved

  Sep 2026

• Divergence of the heat flow: $\operatorname{div}(e^{\nu t\Delta}f) = K_t * \operatorname{div} f$Proved

  Sep 2026

• The heat flow solves the heat equation: $\partial_t e^{\nu t\Delta}f = \nu\,\Delta e^{\nu t\Delta}f$Proved

  Sep 2026

• Laplacian of the heat flow: $\Delta(e^{\nu t\Delta}f) = (\Delta K_t) * f$Proved

  Sep 2026

• Semigroup property of the heat flow: $e^{\nu s\Delta}e^{\nu t\Delta}f = e^{\nu(s+t)\Delta}f$Proved

  Sep 2026

• Convolution semigroup of heat kernels: $K_s * K_t = K_{s+t}$Proved

  Sep 2026

• $H^1$-seminorm contraction of the heat flow: $\|\nabla e^{\nu t\Delta}f\|_2 \le \|\nabla f\|_2$Proved

  Sep 2026

• The heat flow commutes with differentiation: $\partial_v e^{\nu t\Delta} f = e^{\nu t\Delta}\partial_v f$Proved

  Sep 2026

• Gradient estimate for the heat flow: $\|\nabla e^{\nu t\Delta}f\|_2^2 \le \frac{24}{\nu t}\|f\|_2^2$Proved

  Sep 2026

• Maximum principle for the heat flow: $\|e^{\nu t\Delta}f\|_\infty \le \|f\|_\infty$Proved

  Sep 2026

• $L^2$ contraction of the heat flow: $\|e^{\nu t\Delta}f\|_2 \le \|f\|_2$Proved

  Sep 2026

• The heat kernel is integrableProved

  Sep 2026

• The heat kernel is positiveProved

  Sep 2026

• The heat kernel has unit massProved

  Sep 2026

• Proposition 1.40(c): $G\cong\pi_1(Y/G)/p_*\pi_1(Y)$Proved

  Sep 2026

• Proposition 1.40(b): $G$ is the deck transformation group of $Y\to Y/G$ when $Y$ is path-connectedProved

  Sep 2026

• Proposition 1.40(a): for a covering space action, $Y\to Y/G$ is a normal covering spaceProved

  Sep 2026

• Proposition 1.39 (final clause): for the universal cover, $G(\tilde X)\cong\pi_1(X)$Proved

  Sep 2026

• Proposition 1.39(b): $G(\tilde X)\cong N(H)/H$Proved

  Sep 2026

• Proposition 1.39(a): a covering space is normal iff $H=p_*\pi_1(\tilde X,\tilde x_0)$ is a normal subgroupProved

  Sep 2026

• Theorem 1.38 (classification of covering spaces): path-connected covering spaces $\leftrightarrow$ subgroups of $\pi_1(X,x_0)$, up to conjugacy when basepoints are ignoredProved

  Sep 2026

• Change of basepoint in the fibre conjugates $p_*\pi_1(\tilde X,\tilde x_0)$, and every conjugate arisesProved

  Sep 2026

• Proposition 1.37: basepoint-preserving isomorphism iff $p_{1*}\pi_1(\tilde X_1,\tilde x_1)=p_{2*}\pi_1(\tilde X_2,\tilde x_2)$Proved

  Sep 2026

• Proposition 1.36: every subgroup $H\le\pi_1(X,x_0)$ is $p_*\pi_1(X_H,\tilde x_0)$ for some covering spaceProved

  Sep 2026

• Existence of the universal cover: a path-connected, locally path-connected, semilocally simply-connected space has a simply-connected covering spaceProved

  Sep 2026

• Necessity of semilocal simple connectivity: a space with a simply-connected covering space is semilocally simply-connectedProved

  Sep 2026

• Proposition 1.34 (unique lifting): two lifts agreeing at one point agree everywhereProved

  Sep 2026

• Proposition 1.33 (lifting criterion): $f$ lifts iff $f_*\pi_1(Y,y_0)\subseteq p_*\pi_1(\tilde X,\tilde x_0)$Proved

  Sep 2026

• Proposition 1.32: the number of sheets equals the index of $p_*\pi_1(\tilde X,\tilde x_0)$Proved

  Sep 2026

• Proposition 1.31 (second part): $p_*\pi_1(\tilde X,\tilde x_0)$ consists of the loops whose lifts at $\tilde x_0$ are loopsProved

  Sep 2026

• Proposition 1.31 (first part): $p_*:\pi_1(\tilde X,\tilde x_0)\to\pi_1(X,x_0)$ is injectiveProved

  Sep 2026

• Hatcher §1.3: covering spaces, $p_*$ and $H=p_*\pi_1(\tilde X)$, isomorphisms, deck transformations, normal covers, covering space actionsDefinition

  Sep 2026

• Leray: global mild solution when $\|u_0\|_{L^2}\|\nabla u_0\|_{L^2} \le c\,\nu^2$Open

  Sep 2026

• Kato: local existence of a mild solution on $[0,T)$ for smooth decaying dataOpen

  Sep 2026

• A mild solution of Navier–Stokes with the Leray pressure is a physically reasonable solutionOpen

  Sep 2026

• Navier–Stokes on $\mathbb{R}^3$: heat flow, Newton potential, Leray projection and mild solutionsDefinition

  Sep 2026

• Gauge invariance of Wilson loops: $\operatorname{tr}\rho(U^g_\gamma) = \operatorname{tr}\rho(U_\gamma)$ for loops inside the boxProved

  Sep 2026

• Exact solution of two-dimensional lattice Yang–Mills: a rectangular Wilson loop enclosing $TR$ plaquettes has the law of a product of $TR$ independent plaquette variables (Migdal, Gross–Witten)Open

  Sep 2026

• Wilson's area law at strong coupling: $|\langle W_{\gamma_{T\times R}}\rangle| \le C e^{-\sigma TR}$ for $\beta < \beta_0$ (Osterwalder–Seiler)Open

  Sep 2026

• Osterwalder–Seiler: at strong coupling ($\beta < \beta_0$) the infinite-volume limit exists and correlations cluster exponentially (lattice mass gap)Open

  Sep 2026