28,971 reputation
257129
bio website math.tsukuba.ac.jp/~carnahan
location 筑波市, Japan
age
visits member for 5 years
seen 1 hour ago
I think this is a neat project.

Oct
26
answered How many isolated roots can a polynomial in $z$ and $\overline{z}$ have?
Oct
26
reviewed Close Convert constraint to do convex optimization or use Lagrange multiplier method
Oct
26
comment The space $W = \{u \in L^2(0,T;V) : u_t \in L^2(0,T:V^*)\}$ without having identified $H$ and $H^*$
Please use the "edit" link under the question text to make it more clear.
Oct
26
reviewed Close The space $W = \{u \in L^2(0,T;V) : u_t \in L^2(0,T:V^*)\}$ without having identified $H$ and $H^*$
Oct
26
reviewed Leave Open Semigroup nilpotents and compostional inversion
Oct
26
reviewed Leave Open Which groups are LERF?
Oct
25
reviewed Close Compare time it takes to travel a curve and a line
Oct
24
answered What is the difference between the moduli space of curves and the moduli space of orbi-curves?
Oct
23
reviewed Close A question on the Euclidean domain $\mathbb{Z}[\omega]$
Oct
23
reviewed Leave Open Is a group uniquely determined by the sets $\{ab,ba\}$ for each pair of elements a and b?
Oct
23
comment Second Hardy-Littlewood Conjecture theme
Sure. Bertrand's postulate is the case $f(x,y) = 2$ if $x > 2y$ and zero otherwise.
Oct
21
reviewed Approve suggested edit on Estimation of growth rate of spectral radius
Oct
19
comment Is the kissing number in $n$ dimensions always divisible by $n$? And what is the base of exponential growth of the kissing number?
1st question: Probably not, but we don't have a proof.
Oct
19
comment How to extend index theorem to infinite dimensional manifolds?
If you want something to regularize, you need more structure. For example, Witten's work relating the Dirac operator on loop space to modular forms uses the circle action in an essential way.
Oct
19
comment What is an infinite prime in algebraic topology?
I saw a talk by Morava in 2009, where he displayed a picture of the "Berkovich spectrum of the sphere spectrum". All of the finite prime branches had extended bits corresponding to homotopy-theoretic localizations. The archimedean branch ran into a picture of a dragon, labeled "$C^*$-algebras?".
Oct
18
comment A good book on adeles and ideles
Have you looked at Ramakrishnan-Valenza?
Oct
18
comment Is the upper half plane an algebraic stack?
By the way, a semi-rigorous source is Proposition 2.2 in Deligne's Formes modulaires et représentations $\ell$-adiques (Séminaire Bourbaki, 21 1968/69, no. 355). If you can find an unburned copy of Conrad's book on the Ramanujan conjecture, that has a rigorous development (which disagrees with Deligne by a sign).
Oct
18
reviewed Leave Open Tangent space describes the manifold's first order characteristic. Is there something like tangent space describes higher order characteristic?
Oct
17
comment Shift-invariant symmetric functions in representation theory?
This appears to be the ring of $S_n$-invariants on the symmetric algebra of the standard $n-1$-dimensional representation.
Oct
17
reviewed Close Can I find a resolution of singularities that is both smooth and projective?