Description:
Discussion of current mathematical research. (Moderated)
|
|
|
Periodic Knots
|
| |
Hello, how can I find the quotient knot to a given knot? For example I got trefoil knot. Its quotient knot is the unknot, but how can I figure that out? Thanks for your help! Josef
|
|
|
characters for subgroups
|
| |
What is the relation between characters of a group and its subgroup? e.g. what is the relation between characters of E(8) [group] and E(7) and SU(2) [Sub-groups]?
|
|
|
direct image of a locally free sheaf
|
| |
Hi! Does anybody know is this statement right or wrong? f: Y->X - flat projective morphism E - locally free sheaf on Y Then f_* (E) is locally free. Zhenya
|
|
|
Eighteen papers published by Geometry & Topology Publications
|
| |
Geometry & Topology Publications is please to anounce the publication of eighteen papers, nine each in AGT (issue 1) and GT (issue 2). Full details follow. Nine papers have been published by Algebraic & Geometric Topology (1) Algebraic & Geometric Topology 8 (2008) 343-379 Volume and homology of one-cusped hyperbolic 3-manifolds... more »
|
|
|
One-step reduction strategy for micro-lambda and extensionality in TRS
|
| |
Hello, Some time ago I exchanged a few emails with Prof. Barendregt on certain aspects of lambda calculus and the extensionality property. Prof. Barendregt suggested that I could write to J. Klop for clarification of some questions on explicit substitution and term rewriting systems. Unfortunately, professor Klop did not respond.... more »
|
|
|
F^\omega in Di Cosmo's presentation
|
| |
Hello, I have a question regarding Di Cosmo's presentation titled "A brief history of rewriting with extensionality", which is available using the following link: [link] Specifically, on page 8 the author refer to the system denoted as "F^ \omega". Unfortunately, I was not able to figure out the meaning of this... more »
|
|
|
Rooted trees and isometry classes for a ternary linear code
|
| |
I've just recently had a look at rooted trees and wrote up a short pedagogical note on the subject at [link] under "A Walk in the Woods with Cayley and Comtet". In item 3) of the note on page 7, I surmise (from some brute force calculations) a relation between certain forests of rooted trees and the isometry... more »
|
|
|
isometries + fixed point = 3-sphere
|
| |
I came up with a nice proof. Or possibly it's an embarassing poof. I skimmed over a bunch of articles on conjugate loci and didn't see this mentioned. Suppose there's a complete Riemannian 3-manifold M, with a lot of symmetry: there's an isometry group G(p) which fixes a point p and is transitive on the unit... more »
|
|
|
Fundamental group of PSp(2n,R)
|
| |
What is the fundamental group of the (real) projective symplectic group, PSp(2n,R). This group is defined as the quotient of the real symplectic group Sp(2n,R) by its center, Z_2: PSp(2n,R)=Sp(2n,R)/Z_2. From the homotopy sequence of the fibration 0->Z_2->Sp(2n,R)- ...either Z or ZxZ_2. But which one is it?... more »
|
|
|
