« first day (2291 days earlier)      last day (1113 days later) » 

12:34 AM
4
Q: Existence parallel vector fields and its effect on the topology of manifolds (Karp's Thesis)

C.F.GIt seems that there is no digital copy of Leon Karp's Ph.D. thesis L. Karp, Vector fields on manifolds, Thesis, New York Univ., 1976. on internet and his paper excerpted from his thesis is very brief and without any detailed proof. (I wonder that peers read the thesis or they trust to the advisor...

 
 
3 hours later…
3:56 AM
5
Q: Comparison of two monodromies

Francesco PolizziLet us consider a smooth projective curve $\Sigma_b$ of genus $b$, and assume that there is a surjective group homomorphism $$\varphi \colon \pi_1 (\Sigma_b \times \Sigma_b - \Delta) \to G,$$ where $\Delta \subset \Sigma_b \times \Sigma_b $ is the diagonal and $G$ is a finite group. Assume moreov...

 
 
3 hours later…
6:26 AM
...
 
 
4 hours later…
10:45 AM
6
Q: What's the average order of the reduction of a section of an elliptic curve

AsvinSuppose $E$ is an elliptic curve over $\mathbb Q$ and $x \in E(\mathbb Q)$ is not torsion. We can reduce $x \pmod p$ for a prime $p$ of good reduction and it will have some order $n_p$ in the group $E(\mathbb F_p)$. Has there been any work on the asympotitcs of the average of $n_p$ for $p < X$ as...

 
 
2 hours later…
1:03 PM
7
Q: Why does std::bit_width return 0 for the value 0, shouldn't it return 1?

rohittstd::bit_width finds minimum bits required to represent an integral number x as 1+floor(log(x)) Why does std::bit_width return 0 for the value 0, shouldn't it return 1. Since the number of bits required to represent 0 is 1. Also, I think the 1 in the formula is an offset

 
 
5 hours later…
5:45 PM
7
Q: Why is this borrow still "active"?

Tom FrankThis is a simplified example of something I've encountered: trait Bla<'a> { fn create(a: &'a Foo) -> Self; fn consume(self) -> u8; } struct Foo; impl Foo { fn take(&mut self, u: u8) {} } struct Bar { foo: Foo, } impl Bar { fn foobar<'a, 'b, B: Bla<'b>>(&'a mut self) whe...

 
 
2 hours later…
7:27 PM
4
Q: Orientation reversal and restriction to submanifold of lower dimension

malfatLet $M$ be a connected closed oriented manifold with at least one orientation-reversing homeomorphism $M\to M$. Let $S\subset M$ be a connected closed embedded submanifold of lower dimension. Let $f:M\to M$ be an orientation-preserving homeomorphism. Is there an orientation-reversing homeomorphis...

 
 
2 hours later…
9:15 PM
7
Q: Trying to understand "a refinement of the Peter–Weyl theorem" by Lusztig

მამუკა ჯიბლაძე"A refinement of the Peter–Weyl theorem" is the title of Chapter 29 in Lusztig's "Introduction to quantum groups" (Birkhäuser 2010, reprint of the 1994 edition). This chapter is inside Part IV ("Canonical basis of $\dot{\mathbf U}$", chapters 23–30). If I understand correctly, the said refinement...

 
 
2 hours later…
11:03 PM
18
Q: Applications of Zorn’s lemma that aren’t chain-complete/directed-complete?

Peter LeFanu LumsdaineZorn’s Lemma applies to posets in which every chain has an upper bound. However, in all applications I know, the poset is also evidently chain-complete — chains have least upper bounds. A few classic such applications: AC, using a poset of “partial choice functions” the Well-Ordering Principle...

 
11:15 PM
4
Q: Homotopy type of continuous/smooth/analytic loop spaces?

user2520938Apologies in advance if this is well-known; a google search did not produce anything useful. Let $(M,p)$ be a pointed real analytic manifold. Are the (free or pointed) loop spaces of continuous, smooth and analytic loops in $M$ all homotopy equivalent?

 

« first day (2291 days earlier)      last day (1113 days later) »