# 091006qa

*215,811*pages on

this wiki

## Ad blocker interference detected!

### Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

# 2009 October 6th - questions/answers

Navigation: 20 Questions home | view only questions | last week | next week

#### 1 Sune

Is it possible to explicitly define (without AC) a total ordering on a set with cardinality greater than ?

**FIRST ANSWER** by Eric Wofsey.

Yes. Here's a kind of cheap example; there's probably a less ad hoc one you could find. Let X be any well-ordered set which does not inject into (such a set can be proved to exist without AC). Then with the ordering that all of X is greater than all of gives an example.

**SECOND ANSWER** by Todd Trimble.

The first answer might be question-begging, since the follow-up might be, "How do you construct such a well-ordered set X?" But this isn't hard: let X be the set whose elements are isomorphism classes of well-ordered subsets, i.e., subsets of which have been equipped with a well-ordering. Any two such classes are comparable (one is isomorphic to an initial segment of the other), and this doesn't require AC: just match up their first elements, second elements, etc. and see which one runs out first. In fact, X is well-ordered by this comparability relation. But can't be in bijection with X; if it were, we could transfer the well-ordering of X to a well-ordering of along the bijection, and this latter well-ordering gives an element of X, i.e., X is isomorphic to one of its initial segments, which is a contradiction. Notice this is just a variant of the argument behind the Burali-Forti paradox.

**THIRD ANSWER** by George Lowther.

Thanks Todd, I was just wondering that, but after a quick search discovered the Hartogs number of X, which you are describing.

(click __edit__ at the right to add an answer)

#### 2 Yuhao

Let be the function field of an algebraic curve . Then by the birational nature of the genus, it determines the genus of the curve. How can we see directly from the field?

(One way is to PICK a function in and we get a ramified morphism , then use Riemann-Hurwitz to compute the genus; However, I think there should be a more "intrinsic" way to see that, i.e. without picking a function in an arbitrary manner. The genus is a well-defined invariant for any extension of the ground field of tr.deg. 1, right?)

FIRST ANSWER by David Speyer

Here is one answer, although you might not find it very satisfying: let be the ground field. The Kahler differentials are the vector space generated by formal symbols subject to , and for . This is a one dimensional vector space.

Let be a differential. For any valuation on , let be such that . We say that is regular at if . We say that is regular if it is regular at every valuation. Then the space of regular differentials is a vector space of dimension .

FURTHER THOUGHTS by David Speyer

Both Ben's answer and mine used the set of valuations of . This essentially means that we used the ground field . A valuation of is defined as a valuation of which is trivial on ; conversely, the ground field can be recovered from the valuations that respect it by the formula .

Here is a cautionary example to show that there can not be any solution which only uses properties of the field , without reference to . Let and be two irreducible curve of different genuses. Let be the field of meromorphic function on , let and be the fields of functions on and . Then is a transcendence degree 1 extension of both and , but has different genuses when considered in these two ways.

Remark by Ian Agol

Danny Calegari has a blog post about this for an affine curve. I suppose to get this from the function field, one would have to choose two generic elements of the field, and determine a minimal polynomial relation between them, then compute the number of points in the interior of the Newton polygon of this polynomial.

(click __edit__ at the right to add an answer)

#### 3 Anon

Determine explicitly a partition of the plane into two sets A and B such that neither A nor B contains (the image of) a non-constant continuous curve.

**FIRST ANSWER** by George Lowther

Let S be a subset of the reals such that and cannot be written as a countable union of closed sets for any a<b. This can be done (eg, explicit examples of non-Borel sets achieve this). Let Q be the rationals. Then, and should do it. Btw, I also posted this answer, with a proof, on mathoverflow.net

(click __edit__ at the right to add an answer)

#### 4 An H

Let denote the cyclotomic field obtained by adjoining th roots of unity to , where is prime. Let be a prime element in the ring of integers of which is coprime to . Let denote the Kummer extension of by adjoining a th root of to .

Question: is it always true that divides the exponent of the prime ideal in the relative discriminant ? (as usual, denotes a primitive pth root of unity)

**FIRST ANSWER** by An Huang.

No, not always. Counterexample: p=3, q=5, then the exponent equals 4. (One can calculate the relative discriminant by using local and global conductors, and solving some simple congruence equations explicitly.)

(click __edit__ at the right to add an answer)

#### 5 Critch

In the categories Set and AbGrp (and I believe any topos), finte limits (e.g. kernels, products, equalizers...) commute with directed colimits (aka direct limits). Give an example category where this fails.

**FIRST ANSWER** by Peter LeFanu Lumsdaine.

A straightforward, if slightly unsatisfying, answer: .

For an example of how finite colimits fail to commute with filtered (i.e. co-directed) limits in Sets: let , and consider the two constant maps . These pairs stack into a nice ladder, with sitting constant on the right, and the obvious injections marching down on the left.

Now the (filtered) limit over of the coequalisers of is 1, since each coequaliser is 1; but the coequaliser of the limits is 2, since the limits give the diagram .

There are more satisfying answers too—i.e. nice concrete "right-way-round" categories where it fails—but they elude me now, I'm afraid (it's late).

(click __edit__ at the right to add an answer)

#### 6 Anton

Can a coequalizer in the category of Schemes fail to be surjective? (Note: it must hit all closed points in the target, because otherwise the closed point could be removed to make the coequalizer smaller.)

(click __edit__ at the right to add an answer)

#### 7 Darsh

Let be rational.

In what generalized notions of convergence does the sequence converge?

(click __edit__ at the right to add an answer)

#### 8 Harold

In the category of smooth manifolds, when does the fibre product of two maps exist?

A) Necessary conditions

B) Sufficient conditions (e.g. that each map is a fibration).

**FIRST ANSWER** by Todd Trimble.

Let and be two smooth maps. A sufficient condition for their pullback to exist in the category of manifolds is that they be transverse to each other, meaning that whenever , the images of the tangent spaces at under the induced maps together span the tangent space at . (The condition is equivalent to meeting the diagonal submanifold transversally, so that the inverse image of the diagonal becomes a submanifold of .)

**FIRST ANSWER** by Dmitri Pavlov.

If I remember everything correctly, the following two statements are true: A sufficient condition is that at least one of the maps is a submersion. If for all smooth maps f: X → Y the fiber product of f and g: Z → Y exists, then g must be a submersion.

(click __edit__ at the right to add an answer)

#### 9 James T

Which bounded linear maps on a Hilbert space are the exponentials of other maps? I.e., what is the image of the map ?

**FIRST ANSWER** by Dmitri Pavlov.

The image of exp contains an open neighborhood of 1. Hence it contains the connected component of 1 in the group of invertible elements of B(H), which is an open subset of B(H). The image of a connected space is connected, hence the image of exp coincides with the connected component of 1.

Correction: Of course, this argument only proves that the set of all products of elements in the image of exp coincides with the connected component of 1, which is the set of all invertible elements.

**SECOND ANSWER** by Todd Trimble:

Dmitri, I don't quite follow. Why does the second sentence follow from the first? (Warning: we don't always have since two exponentials might not commute.)

**THIRD ANSWER** by George Lowther

Actually, by the polar decomposition, every invertible operator can be written as exp(X)exp(Y), so the invertible elements is already connected and Dmitri's answer says every invertible operator is an exponential (which seems wrong). It is the case that every finite dimensional invertible matrix has a logarithm (consider Jordan normal form), but seems unlikely in the infinite dimensional case.

**FOURTH ANSWER** by Anonymous

As far as I know this is open and likely to have no nice answer. This is a special case of the known-to-be-essentially-impossible general problem of characterizing the range of the exponential map on a Banach algebra. What is easy to see is that anything close enough to the identity must be in the range of the exponential map, and using Dmitri's argument it follows that the set of finite products of things in the range of the exponential map is the connected component of the identity in the group of invertible elements. This much is true for a general Banach algebra. When the algebra is commutative, of course, this means that anything invertible is in the range of the exponential map.

[**passing edit** from Yemon Choi: the last statement is not quite correct, it should be "anything in the connected component of the identity is in the range of the exponential map". Consider C(T), the algebra of continuous functions on the circle with pointwise multiplication, and look at the function sending exp(i\theta) to exp(i\theta). This is invertible, but has winding number 1 and so can't be in the same component of the invertible group as the identity of the algebra, which has winding number 0. More generally one has the Arens-Royden theorem for commutative Banach algebras, saying that the invertibles modulo their connected component form a group isomorphic to 1st Cech cohomology of the maximal ideal space (integral coefficients, I think).]

To continue George's remark, one way to see that there are invertible bounded operators on Hilbert space with no logarithms is to note that there are invertible bounded operators on Hilbert space with no square roots (there is a paper by Halmos and maybe some more people from the 1950s, something like "operators with square roots," containing examples).

There is a paper by Conway and Morrel from the 80s, "Roots and logarithms of bounded operators" which identifies the closure and interior of the set of logarithm-able operators. This is probably the best that functional analysis can do. Not that that means the problem has been worked over; I just don't think functional analysts are inclined to ask or work on questions like this. (Or maybe the ones that are, are more interested in the invariant subspace problem.)

(click __edit__ at the right to add an answer) ]

#### 10 Pablo

Give a simple example of a (necessarily infinte dimensional) Lie algebra that is not the lie algebra of any (necessarily infinite dimensional) lie group.

**FIRST ANSWER** by Andrew Stacey

(Source: "Loop Groups" by Pressley and Segal)

The polynomial loop Lie algebra, L_{pol}𝔤, is "associated" to the polynomial loop group, L_{pol}G, but there is no exponential map between them.

**SECOND ANSWER** by Allen Knutson

Of course it depends on what "is the Lie algebra of" means. If you feel that an exponential map is required, then the example above works. I personally start from the Lie group and induce a Lie algebra on the tangent space to the identity, in which case the example above is not interesting.

Again from Pressley and Segal: let diff(S^1) be the Lie algebra of vector fields on the circle. This is the Lie algebra of a real group, Diff(S^1), the diffeomorphisms of the circle. But its complexification diff(S^1) tensor C is not the Lie algebra of any group. (It wants to be the Lie algebra of the Neretin semigroup of contractions of the unit disc, but that's as close as you can get.)

**THIRD ANSWER** by Alan Weinstein

Let G be the unitary group of an infinite dimensional Hilbert space. Its center is a circle. In the product G x G, the center is a torus. Let R be a dense 1-dimensional subgroup of this torus. It is normal in G x G, so its Lie algebra r is an ideal in g x g. Now the quotient g x g/r is a Lie algebra which is not the Lie algebra of any Lie group. The proof uses the fact that an infinite-dimensional unitary group is contractible (Kuiper's theorem.) Otherwise, you could get a group by passing to universal coverings, which works in the finite dimensional case.

I believe that this example is due to Douady.

(click __edit__ at the right to add an answer)

#### 11 Theo

(click __edit__ at the right to add an answer)