2009 September 10th - questions
In , you can tile the plane with hexagons. However any closed trivalent graph has a face that’s smaller than a hexagon. You can tile with vertex-truncated octahedrons. Say we have a “generic” closed finite cell-complex (every edge has 3 incident faces, every vertex has 4 incident edges). Is there something “smaller” than a vertex-truncated octahedron (or the other polytopes that give generic tilings)?
Is there a space with trivial homology, non trivial homotopy? (Anton: isn’t there a result that say that first nontrivial homology and homotopy agree?)
Let be an abelian category, that might not have enough injectives? Can you embed into another abelian category with enough injectives? Is there a universal way? e.g. finite abelian groups embeds into -modules e.g. coherent sheaves embeds into quasi-coherent sheaves (Anton: the Freyd embedding theorem says every abelian category embeds in -mod. But this doesn’t help universality.)
Out(G) = Aut(G)/Inn(G). Is there a nice description of cosets, beyond that they’re cosets?
a banach space, convex. If is infinite dimensional, what extra conditions guarantee that is continuous?
Take a triangle in with coordinates at rational points. Can we find the smallest denominator point in the interior? (Take the LCM of the denominators of the coordinates.) (You can do the 1D version using continued fractions.)
Take a “sparse” (every vertex has reasonably small degree) graph. Consider a maximal independent set for the graph (a maximal set of disconnected vertices). Can we make a new graph, with vertices the set, and whatever edges we like, that is ``as topologically similar to the original graph as possible? (What does this mean?)
8 Andrew D
Consider the sequence , generalizing the Fibonacci sequence. Fix a prime. If is minimal such that and implies , then . (Here is the power of p dividing z.) Is there some framework that makes this sort of result obvious? Andrew only knows strange proofs.
Take , the half open interval. Do there exist topological spaces X and Y, with X and Y not homeomorphic, but and are homeomorphic? E.g., if instead , the closed interval, you can take X=mickey mouse=disc with two discs removed, Y=cross-eyed frog=disk with two linked bands glued on the boundary.
x^x^x^x … converges if . E.g. with , this converges to 2. Given a sequence , when does the “power tower sequence” converge?
11 Andrew D again
Can you define the set of all primes with a finitely-axiomatized first-order theory?
Given a first-order theory , let . You can get all prime powers with the field axioms. Is there some so is the set of primes?