« first day (3405 days earlier)      last day (4 days later) » 

2:07 AM
1
Q: Clarification about Cantor's Diagonal argument compared to Natural Numbers

peachyoanaI'm not a mathematician but I am a software engineering student. From what I've understood so far, the Cantor diagonal argument proves that the real numbers are infinite and uncountable. My biggest confusion arose from that I thought: "Why aren't the natural numbers uncountable? They continue for...

 
 
1 hour later…
3:07 AM
2
Q: Derivatives of diffeomorphism whose iterates on an open set converge to a point

user815293Consider a smooth manifold $M$, a diffeomorphism $\varphi\in\mathrm{Diff}^\infty(M)$, and an open subset $B\subseteq M$. Suppose that, when restricted to $B$, $\varphi^n$ converges uniformly to a constant map with image $x\in M$. For $\xi\in T_yM$ over some $y\in B$, do the tangent vectors $D_y\...

 
4:01 AM
5
Q: Field of definition of elliptic curves

ZZPLet $a,b$ be positive integers, $F=\mathbb{Q}(a^{1/3},b^{1/2})$. Let $E$ be the elliptic curve defined over $F$ by the cubic equation $$y^2=x^3+3a^{1/3}x+2b^{1/2}.$$ Then the $j$-invariant $j(E) = \frac{1728a}{a+b} \in \mathbb{Q}$. Hence $E$ has a model defined over $\mathbb{Q}$ up to an isomorph...

 
 
5 hours later…
8:37 AM
4
Q: A particular morphism being zero in the singularity category

stratLet $R$ be a commutative Noetherian ring and $D^b(R)$ be the bounded derived category of finitely generated $R$-modules. Let $D_{sg}(R)$ be the singularity category, which is the Verdier localization $D^b(R)/\text{thick}_{D^b(R)}(R)$. If $r\in R$ and $M\in D^b(R)$ are such that the morphism $M\xr...

 
 
6 hours later…
3:01 PM
3
Q: Atkin-Lehner involution on the modular abelian varieties

yhbLet $f$ be a CM modular forms with coefficients in the imaginary qudaratic field $K=Q(\sqrt{-3}))$ which correspond to an elliptic curve $E$ defined over $K$. Then Shimura constructed an abelian variety $A_f$ of dimension $2$ which is the quotient of the Jacobian $J_1(N)$ in the paper On the fact...

 
 
2 hours later…
5:25 PM
1
Q: What does "Tris dies" mean in "Ritchie's Fabulae Faciles"?

FlatAssemblerFrom Ritchie's Fabulae Faciles: Tris dies per totam insulam matrem quaerebat; tandem quarto die ad templum Dianae pervenit. http://www.thelatinlibrary.com/ritchie.html What does "Tris dies" mean? Is it a typo? Should it be "tres dies" (three days)?

4
Q: The closure of the space of Riemannian metrics with a fixed isometry class

MyShepherdLet $M$ be a closed manifold, and let $\mathscr{M}$ be the space of all Riemannian metrics over $M$. It is known that this is a Fréchet manifold. Consider also $\mathscr{D}$ the diffeomorphisms group of $M$. It acts upon $\mathscr{M}$ by pullback. It is well known Ebin70 that the set of Riemannia...

 
 
1 hour later…
6:49 PM
4
Q: On commutator of bounded operators

BazinLet $\mathbb H$ be a Hilbert space and let $\mathcal B(\mathbb H)$ be the bounded operators on $\mathbb H$. Let $J,K\in \mathcal B(\mathbb H)$ such that $ J=J^*, K=-K^*. $ Then the commutator $[J,K]$ is selfadjoint, equal to $JK+(JK)^*$. Claim. If $[J,K]\ge 0$, then $[J,K]=0$. Question. Is it tr...

 
 
3 hours later…
9:25 PM
2
Q: Subset of a complex manifold whose intersection with every holomorphic curve is analytic

 V. RogovThe Osgood's lemma in complex analysis says that if $f \colon \mathbb{C}^n \to \mathbb{C}$ a continuous function such that $f|_{L}$ is holomorphic for every complex line $L \subset \mathbb{C}^n$, then $f$ is holomorphic. I wonder if there is the following geometric analogue of Osgood's lemma: Le...

 

« first day (3405 days earlier)      last day (4 days later) »