Feeds:
Posts

## Topological Diophantine equations

The problem of finding solutions to Diophantine equations can be recast in the following abstract form. Let $R$ be a commutative ring, which in the most classical case might be a number field like $\mathbb{Q}$ or the ring of integers in a number field like $\mathbb{Z}$. Suppose we want to find solutions, over $R$, of a system of polynomial equations

$\displaystyle f_1 = \dots = f_m = 0, f_i \in R[x_1, \dots x_n]$.

Then it’s not hard to see that this problem is equivalent to the problem of finding $R$-algebra homomorphisms from $S = R[x_1, \dots x_n]/(f_1, \dots f_m)$ to $R$. This is equivalent to the problem of finding left inverses to the morphism

$\displaystyle R \to S$

of commutative rings making $S$ an $R$-algebra, or more geometrically equivalent to the problem of finding right inverses, or sections, of the corresponding map

$\displaystyle \text{Spec } S \to \text{Spec } R$

of affine schemes. Allowing $\text{Spec } S$ to be a more general scheme over $\text{Spec } R$ can also capture more general Diophantine problems.

The problem of finding sections of a morphism – call it the section problem – is a problem that can be stated in any category, and the goal of this post is to say some things about the corresponding problem for spaces. That is, rather than try to find sections of a map between affine schemes, we’ll try to find sections of a map $f : E \to B$ between spaces; this amounts, very roughly speaking, to solving a “topological Diophantine equation.” The notation here is meant to evoke a particularly interesting special case, namely that of fiber bundles.

We’ll try to justify the section problem for spaces both as an interesting problem in and of itself, capable of encoding many other nontrivial problems in topology, and as a possible source of intuition about Diophantine equations. In particular we’ll discuss what might qualify as topological analogues of the Hasse principle and the Brauer-Manin obstruction.

Preliminaries: morphisms as families

It will be useful to keep the following intuition in mind throughout this post: in a category of some sort of spaces, a morphism $f : E \to B$ should be thought of as a family or bundle of spaces $f^{-1}(b)$ varying over the base space $B$, and anything one does for spaces one can try to do for families of spaces. Here by $f^{-1}(b)$ I mean a suitable pullback, namely the pullback of a diagram of the form $E \xrightarrow{f} B \xleftarrow{b} \text{pt}$, where $\text{pt}$ is any object in the category in question serving as a point. From this perspective, trying to find a section $s : B \to E$ of $f$ can be thought of as finding a “continuous” choice of point $s(b) \in f^{-1}(b)$ in each space in this family: it can be thought of as the families version of the problem of finding a point in a space.

This is Grothendieck’s relative point of view, which was perhaps first made famous via the Grothendieck-Riemann-Roch theorem in algebraic geometry. This is the families version of the Hirzebruch-Riemann-Roch theorem. But there are simpler examples of the relative point of view.

Example. A covering map $f : E \to B$ should be thought of as a locally constant family of sets $f^{-1}(b)$ varying over $B$. This idea can be made precise as the following restatement of the classification of covering spaces: for reasonable base spaces $B$ (locally contractible should be enough; there’s no need to require that $B$ or its covers be path-connected), there is an equivalence of categories between

• covering spaces of $B$ and covering maps, and
• functors $\Pi_1(B) \to \text{Set}$ from the fundamental groupoid of $B$ to $\text{Set}$ and natural transformations

where the equivalence is given in one direction by monodromy: we send a covering space $f : E \to B$ to the functor sending a point $b \in B$ to the fiber $f^{-1}(b)$ and we send a path $p : [0, 1] \to B$ between points to map of sets $f^{-1}(p(0)) \to f^{-1}(p(1))$ given by taking the unique lift $\tilde{p} : [0, 1] \to E$ of $p$ to a path in $E$ starting at a point in $f^{-1}(p(0))$ and then evaluating it at $1$ to obtain a point in $f^{-1}(p(1))$.

This expanded version of the classification of covering spaces, where we do not restrict to path-connected bases or path-connected covers, results in a category with much better formal properties than the category of path-connected covers of a path-connected base; for example, we can now take coproducts and products of covering spaces, which correspond to taking disjoint unions and fiber products respectively. In fact, the equivalence above makes it clear that anything we can do to a family of sets we can do fiberwise to a family of covering spaces.

(This is a good place to really see fiber products earn their names: thinking of a morphism $E \to B$ in terms of its fibers $f^{-1}(b)$ makes it clear that taking the fiber product of two such morphisms $f_1, f_2 : E_1, E_2 \to B$ amounts, on fibers, to literally taking the products of the fibers, thanks to the fact that limits commute with limits.)

Preliminaries: the function field analogy

The analogy we’re implicitly trying to make here can be thought of as a relative of the function field analogy. Already it’s interesting to think about the function field analogue of solving Diophantine equations, e.g. finding solutions in $k[t]$ to systems of polynomial equations with coefficients in $k[t]$, where $k$ is a field. Geometrically such a thing defines a map

$\displaystyle \text{Spec } k[t][x_1, \dots x_n]/(f_1, \dots f_m) \to \text{Spec } k[t]$

which, from the relative point of view, we should think of as a family of affine varieties over the affine line, and finding a solution to the corresponding Diophantine equation amounts to “continuously” choosing a point in each of these varieties. When $k = \mathbb{C}$, we can even equip the corresponding complex affine varieties with their analytic topologies, and then ask for topological obstructions for the corresponding map of topological spaces to admit a continuous section; such obstructions also obstruct the original map of varieties having an algebraic section.

Example. Sections of the map

$\displaystyle f : \text{Spec } k[t][x]/(x^2 - t) \to \text{Spec } k[t]$

encode solutions to the Diophantine equation $x^2 = t$, where we want to find solutions $x \in k[t]$. This equation of course fails to have a solution, but it fails to have a solution for several reasons which generalize to more complicated situations.

First, the fiber over each $k$-point $t_0 \in k$ of the affine line is the affine scheme $\text{Spec } k[x]/(x^2 - t_0)$ whose points over $k$ are the solutions to $x^2 = t_0$ in $k$, so if there are any $t_0 \in k$ with no square roots then there is a local obstruction to the existence of a solution to $x^2 = t$ in $k[t]$. In more number-theoretic language, an obstruction to the existence of a solution is the existence of a solution $\bmod (t - t_0)$.

But this is not enough: even if $k$ is algebraically closed, there are still no solutions. There is a further problem that $x^2$ is necessarily divisible by $t$ an even number of times, while $t$ is divisible by $t$ once (which is odd). Equivalently, the problem is that there is no solution $\bmod t^2$, or more geometrically, that the map above, which can equivalently be described as the squaring map

$\displaystyle \mathbb{A}^1 \ni x \mapsto x^2 \in \mathbb{A}^1$,

fails to be surjective on Zariski tangent spaces at $0$. Yet another description of the problem is that although there exists a solution locally at $0$, that local solution cannot be extended to a formal neighborhood of $0$.

Moreover, even if we delete $0$ by localizing away from it to get a map

$\displaystyle \text{Spec } k[t, t^{-1}][x]/(x^2 - t) \to \text{Spec } k[t, t^{-1}]$

then there is still no section / solution. One way to describe the problem is that although we can no longer talk about solutions $\bmod t^2$, we can still talk about solutions in formal Laurent series $k((t))$ in $t$, and looking at $t$-adic valuations we see that there aren’t any such solutions. Equivalently, we are looking at solutions in a formal neighborhood of the deleted point even though we can no longer look at the deleted point itself.

There is a related global topological obstruction in the case that $k = \mathbb{C}$, which is that we get an induced map on the punctured complex line

$\displaystyle \mathbb{C} \setminus \{ 0 \} \ni z \mapsto z^2 \in \mathbb{C} \setminus \{ 0 \}$

which induces multiplication by $2$ on $H_1$, and this map has no section (in particular, is not surjective) so the original map cannot either.

Examples: associated bundles of vector bundles

In this section we’ll describe a large source of interesting examples of section problems in topology coming from vector bundles.

Let $V \to B$ be a vector bundle on a base $B$, for example the tangent bundle of a smooth manifold. From $V$ we can construct various associated bundles whose sections, if they exist, have interesting meanings in terms of $V$. (The problem of classifying sections of $V$ itself is also interesting, but the problem of determining whether they exist is not, since the zero section always exists.)

Example. If $V_b$ denotes the fiber over $b \in B$, then removing the zero section from $V$ gives a bundle over $B$ whose fiber over $b$ is $V_b \setminus \{ 0 \}$ and whose sections are precisely nonvanishing sections of $V$. More generally, there is an associated bundle whose fiber over $b$ is linearly independent $k$-tuples $v_1, \dots v_k \in V_b$ and whose sections are precisely $k$-tuples of (pointwise) linearly independent sections of $V$. Already the problem of describing the largest $k$ for which this is possible for the tangent bundles of spheres is an extremely interesting problem, solved by Adams in 1962 using topological K-theory. For example, the only spheres $S^k$ for which it is possible to construct the maximum possible number of linearly independent vector fields, namely $k$, occur when $k = 1, 3, 7$; they can be constructed using the fact that these are precisely the unit spheres in the complex numbers, the quaternions, and the octonions respectively.

Characteristic classes give obstructions to finding such sections: using the fact that the total Stiefel-Whitney resp. Chern class is multiplicative under direct sum, it’s not hard to show that if a real resp. complex vector bundle $V$ of dimension $n$ admits $k$ linearly independent sections then its $k$ top Stiefel-Whitney classes $w_{n-k+1}, \dots w_n$ resp. Chern classes $c_{n-k+1}, \dots c_n$ vanish. Similarly, if $V$ is a real oriented vector bundle and it admits a single nonvanishing section then its Euler class vanishes.

Subexample. For the tangent bundles of oriented smooth closed manifolds, where the Euler class evaluates to the Euler characteristic, the last observation above reproduces the PoincarĂ©â€“Hopf theorem and shows that the even-dimensional spheres $S^{2k}$ don’t admit nonvanishing vector fields. Applied to $S^2$, we reproduce the hairy ball theorem.

Example. If $V$ is a real vector bundle of even dimension $2n$, then there is an associated bundle whose fiber over $b$ is the space of complex structures on $V_b$ (that is, the space of ways to equip $V_b$ with the structure of a complex vector space). Explicitly, this is the space of automorphisms $J_b : V_b \to V_b$ such that $J_b^2 = -1$, topologized as a subspace of $\text{GL}(V_b)$ with the usual Euclidean topology. $\text{GL}_{2n}(\mathbb{R})$ acts transitively on the space of complex structures on $\mathbb{R}^{2n}$, with the stabilizer of a fixed complex structure (coming from a fixed identification $\mathbb{R}^{2n} \equiv \mathbb{C}^n)$ isomorphic to $\text{GL}_n(\mathbb{C})$. Similar remarks apply in the presence of a Riemannian metric on $\mathbb{R}^{2n}$ and hence the space of complex structures can be identified as a homogeneous space

$\displaystyle \text{GL}_{2n}(\mathbb{R})/\text{GL}_n(\mathbb{C}) \cong \text{O}(2n)/\text{U}(n)$.

Sections of the corresponding bundle then correspond, unsurprisingly, to complex structures on $V$ (that is, ways to equip $V$ with the structure of an $n$-dimensional complex vector bundle). When $V$ is the tangent bundle of $B$, equipping $V$ with a complex structure is in turn an obstruction to equipping $B$ with the structure of a complex manifold; a manifold which has the weaker structure of a complex structure on its tangent bundle is called an almost complex manifold, and the distinction between the two is given by the Newlander-Nirenberg theorem.

Characteristic classes also give obstructions to finding complex structures: as we saw earlier, if a real vector bundle $V$ has a complex structure then the odd Stiefel-Whitney classes $w_{2k+1}$ vanish and the even Stiefel-Whitney classes $w_{2k}$ are reductions of Chern classes $c_k \bmod 2$; equivalently, after applying the Bockstein homomorphism $\beta : H^{\bullet}(B, \mathbb{Z}_2) \to H^{\bullet+1}(B, \mathbb{Z})$, the odd integral Stiefel-Whitney classes $W_{2k+1} = \beta w_{2k}$ vanish. The Pontryagin classes must also satisfy some identities determining them in terms of Chern classes.

Moreover, since any symplectic manifold admits a compatible almost complex structure, any obstruction to having an almost complex structure is also an obstruction to having a symplectic structure.

Subexample. This is another problem that is already interesting for spheres. First, using Pontryagin classes we can show that the spheres $S^{4k}$ don’t admit almost complex structures, as follows. If $S^{4k}$ admitted an almost complex structure, then it would have Chern classes, although all of them except $c_{2k} \in H^{4k}(S^{4k}, \mathbb{Z})$ automatically vanish. This last Chern class does not vanish since it must be equal to the Euler characteristic $2$, where we identify $H^{4k}(S^{4k}, \mathbb{Z}) \cong \mathbb{Z}$ via an orientation. We know that we can express the Pontryagin classes of a complex vector bundle in terms of its Chern classes, and here that gives us a top Pontryagin class of

$\displaystyle p_k = - (c_{2k} + c_{2k}) = -4$.

On the other hand, since all spheres are stably parallelizable, all of their Pontryagin classes must vanish; contradiction.

Next, an argument relying on stronger tools in fact shows that $S^{2k}$ doesn’t admit an almost complex structure for $k \ge 4$. Namely, the following version of the Hirzebruch-Riemann-Roch theorem can be deduced from the Atiyah-Singer index theorem: if $X$ is a closed almost complex manifold and $V$ is a complex vector bundle on $X$, then

$\displaystyle \int_X \text{ch}(V) \text{td}(X)$

is the index of a certain Dirac operator, and hence is an integer. Here $\text{ch}(V)$ is the Chern character of $V$ while $\text{td}(X)$ denotes the Todd class. If $X = S^{2k}$ admits an almost complex structure, then $\text{ch}(V)$ and $\text{td}(X)$ are nonvanishing only in bottom and top degrees, since in all other degrees the relevant cohomology groups vanish, and so the above expression reduces to

$\displaystyle \int_{S^{2k}} \text{ch}_k(V) + \int_{S^{2k}} \text{td}_k(S^{2k})$

where $\text{ch}_k(V)$ and $\text{td}_k(S^{2k})$ denote the components of the Chern character and Todd class respectively in $H^{2k}(S^{2k}, \mathbb{Q})$. Applying the index theorem twice, first with $V$ a trivial bundle, we conclude that the Todd genus $\int_X \text{td}_k(X)$ is an integer and hence that

$\displaystyle \int_{S^{2k}} \text{ch}_k(V) \in \mathbb{Z}$

for all complex vector bundles $V$. Now taking $V$ to be the tangent bundle of $S^{2k}$ itself, and using the fact that we know that all of the Chern classes vanish except the top class $c_k$, which as above must be twice a generator of $H^{2k}(S^{2k}, \mathbb{Z})$, we compute (e.g. using the splitting principle) that $\text{ch}_k(V) = \frac{k c_k(V)}{k!}$ and hence that

$\displaystyle \int_{S^{2k}} \frac{k c_k(V)}{k!} = \frac{2k}{k!} \in \mathbb{Z}$

from which it follows that $(k-1)! \mid 2$, so $k \le 3$ as desired.

In fact the intermediate result above, that for a $k$-dimensional complex vector bundle $V$ on $S^{2k}$ the top Chern class $c_k(V)$ is divisible by $(k-1)!$, is true for all $k$ and is due to Bott; see this blog post by Akhil Mathew for an alternate proof using K-theory. The proof above can be salvaged using a stronger version of the Hirzebruch-Riemann-Roch theorem: it suffices for $X$ to have a $\text{Spin}^{\mathbb{C}}$-structure, which unlike an almost complex structure every sphere possesses.

Since odd-dimensional manifolds can’t admit almost complex structures, the only spheres we haven’t ruled out at this point are $S^2$ and $S^6$. $S^2$ has a complex structure coming from its identification with the complex projective line $\mathbb{CP}^1$, while $S^6$ has an almost complex structure coming from its identification with the unit imaginary octonions. It is a major open problem to determine whether $S^6$ admits a complex structure; see, for example, this MO question.

Some categorical remarks

Recall that if a morphism $f : E \to B$ has a section, or equivalently a right inverse, then it is called a split epimorphism, and in particular it is an epimorphism. Recall also the following two equivalent alternative definitions of a split epimorphism:

• A split epimorphism is a morphism $f : E \to B$ which is an absolute epimorphism in the sense that if $F$ is any functor, then $F(f) : F(E) \to F(B)$ is an epimorphism;
• A split epimorphism is a morphism $f : E \to B$ which is surjective on generalized points in the sense that for any other object $X$, the induced map $\text{Hom}(X, f) : \text{Hom}(X, E) \to \text{Hom}(X, B)$ is surjective.

Another way of restating the second definition which is particularly amenable to topological thinking is that a split epimorphism is a map $f : E \to B$ such that any map $X \to B$ lifts to a map $X \to E$ along $f$.

Both of these equivalent definitions give several straightforward obstructions for a map $f : E \to B$ of spaces to admit a section. For example, applying homology functors, we get that the induced maps $H_k(f) : H_k(E) \to H_k(B)$ on homology must admit sections: this happens iff $H_k(f)$ is surjective and the short exact sequence

$\displaystyle 0 \to \text{ker}(H_k(f)) \to H_k(E) \xrightarrow{H_k(f)} H_k(B) \to 0$

splits. Similarly, the induced maps $\pi_1(f) : \pi_1(E) \to \pi_1(B)$ on fundamental groups (with some choice of basepoint) must admit sections, and again this happens iff $\pi_1(f)$ is surjective and the short exact sequence

$\displaystyle 1 \to \text{ker}(\pi_1(f)) \to \pi_1(E) \xrightarrow{\pi_1(f)} \pi_1(B) \to 1$

splits. If $f : E \to B$ is a smooth map between smooth manifolds, then $f$ must be a submersion. And so forth.

Two Hasse principles

In this section the term “Hasse principle” will mean a necessary condition for a section to exist which is roughly of the form “in order for a section to exist, it must exist locally,” analogous to the statement that in order for a Diophantine equation to have a solution over $\mathbb{Q}$ it must have a solution over all completions $\mathbb{Q}_p, \mathbb{R}$. The term “Hasse principle holds” means the stronger statement that this condition is also sufficient, which won’t hold for most of our examples (much as the condition in the Hasse principle itself isn’t sufficient for most Diophantine equations).

The simplest thing that could be called a topological Hasse principle is the pointwise Hasse principle: in order for a map $f : E \to B$ to have a section $s : B \to E$, the fiber $f^{-1}(b)$ over every point $b \in B$ must be nonempty, since $s(b) \in f^{-1}(b)$ for all $b$. Equivalently, $f$ must be surjective. Intuitively, for a section to exist, it must first exist locally in the most local possible sense, namely pointwise. The number-theoretic analogue is that in order for a Diophantine equation with integer coefficients to have solutions over $\mathbb{Z}$ it must have solutions over $\mathbb{F}_p$ for all $p$.

The pointwise Hasse principle is very weak. Its hypothesis is always satisfied for fiber bundles, and in particular is always satisfied for covering maps. But a nontrivial covering map $f : E \to B$ (say path-connected, with a path-connected base) never has a section because the induced map $\pi_1(E) \to \pi_1(B)$ on fundamental groups is not surjective with any choice of basepoints, and so cannot have a section.

(Note, however, that “a map of sets has a section iff it’s surjective” is equivalent to the axiom of choice, and hence we can think of the axiom of choice as asserting that the pointwise Hasse principle holds for sets.)

But there are even simpler examples involving no algebraic topology: consider the map

$\displaystyle f : [0, 1] \sqcup [1, 2] \to [0, 2]$

where $\sqcup$ denotes the disjoint union and so there are two copies of $1$ in the codomain, and where $f$ restricts to the obvious inclusion on each connected component of the codomain. This map has no section despite the fact that the base is contractible and the induced map on $\pi_0$ is surjective, so no homotopy-invariant argument can detect this fact.

In the above example $f$ not only fails to have a section defined on all of $[0, 2]$, but in fact it fails to have a section defined on any neighborhood of $1 \in [0, 2]$. This suggests the following construction. Starting from a map $f : E \to B$ we can build a sheaf $\Gamma_f$ on $B$ whose sections over an open subset $U \subseteq B$ (in the sheaf sense) consist of sections of $f$ (in the right-inverse sense) over $U$:

$\displaystyle \Gamma_f(U) = \{ s : U \to E \mid f \circ s = u \forall u \in U \}$.

The problem of finding a section of $f : E \to B$ is then equivalent to the problem of finding a global section $s \in \Gamma_f(B)$ of the sheaf $\Gamma_f$. This sheaf is a convenient way of encoding the local-to-global aspects of this problem.

$\Gamma_f$ does not allow us to recover the data of the fibers $f^{-1}(b)$ of $f$. The next best thing we can do is to look at the stalks at each point $b \in B$, defined as a cofiltered limit

$\displaystyle \Gamma_f(b) = \lim_{U \ni b} \Gamma_f(U)$

over $\Gamma_f(U)$ for all $U$ containing $b$. Equivalently, $\Gamma_f(b)$ consists of equivalence classes of sections of $f$ over an open neighborhood of $b$ modulo the equivalence relation of being equal in some possibly smaller open neighborhood of $b$; these are the germs of sections of $f$ at $b$.

Looking at stalks gives us a stalkwise Hasse principle: in order for $f$ to have a section, each stalk $\Gamma_f(b)$ must be non-empty. Equivalently, for every $b \in B$ there must be a section of $f$ defined on some open neighborhood of $b$. A number-theoretic analogue is looking at solutions over the $p$-adics rather than just looking at solutions $\bmod p$ (although this involves looking at formal neighborhoods rather than, say, open neighborhoods in the Zariski topology), so we’re getting closer to the actual Hasse principle.

The stalkwise Hasse principle successfully detects that the map

$\displaystyle [0, 1] \sqcup [1, 2] \to [0, 2]$

has no section, since the stalk at $1$ is empty: equivalently, $f$ has no section defined in a neighborhood of $1$. But a slight modification of this example defeats even the stalkwise Hasse principle: consider now the map

$\displaystyle (0, 2) \sqcup (1, 3) \to (0, 3)$.

Here the problem is that there is a unique section over $(0, 2)$, and similarly a unique section over $(1, 3)$, but these two sections don’t agree on their intersection $(1, 2)$. And again the base is contractible.

Like the pointwise Hasse principle, the hypothesis of the stalkwise Hasse principle is also satisfied for all fiber bundles. So even in fairly straightforward examples we see that there are many global obstructions for sections to exist. In that light the fact that the usual Hasse principle holds for quadratic forms is quite surprising.

A Brauer-Manin obstruction

Suppose that $f : E \to B$ is a map and $B = \bigcup_{\alpha} B_{\alpha}$ is an open cover of the base for which we’ve found, on each open $B_{\alpha}$, a local section $s_{\alpha} : B_{\alpha} \to E$. (This is equivalent to the hypothesis of the stalkwise Hasse principle.) Then to check whether the $s_{\alpha}$ glue to a section $s : B \to E$ it remains to check whether they agree on intersections in the sense that

$\displaystyle s_{\alpha} \mid_{B_{\alpha \beta}} = s_{\beta} \mid_{B_{\alpha \beta}}$

where $B_{\alpha \beta} = B_{\alpha} \cap B_{\beta}$.

Now suppose that for whatever reason we don’t want to or can’t do this, but that we understand the cohomology of all of the spaces involved fairly well. Then we can do the following instead: each $s_{\alpha}$ induces a map

$\displaystyle H^k(s_{\alpha}) : H^k(E) \to H^k(B_{\alpha})$

which gives us a pairing

$\displaystyle H^k(E) \times \Gamma_f(B_{\alpha}) \to H^k(B_{\alpha})$

from which we can build a pairing

$\displaystyle H^k(E) \times \prod_{\alpha} \Gamma_f(B_{\alpha}) \to \prod_{\alpha} H^k(B_{\alpha})$.

In other words, given a family $\prod_{\alpha} s_{\alpha} \in \prod_{\alpha} \Gamma_f(B_{\alpha})$ of local sections, we can pull a cohomology class in $H^k(E)$ back along all of the local sections to get a family of cohomology classes in $H^k(B_{\alpha})$. But there are restrictions on what families of cohomology classes we can get in this way: if $s : B \to E$ is a global section, then it induces a map

$\displaystyle H^k(s) : H^k(E) \to H^k(B)$

which lets us construct a pairing

$\displaystyle H^k(E) \times \Gamma_f(B) \to H^k(B)$

and this pairing and the above pairing fit into a commutative square

expressing the following restriction: if the $s_{\alpha}$ glue together to (equivalently, are induced by restriction from) a global section $s$, then pairing the $s_{\alpha}$ with a cohomology class in $H^k(E)$ gives a family of cohomology classes in $H^k(B_{\alpha})$ which glue together to (equivalently, are induced by restriction from) a cohomology class in $H^k(B)$. In other words, there is a pairing

$\displaystyle H^k(E) \times \prod_{\alpha} \Gamma_f(B_{\alpha}) \to \text{coker} \left( H^k(B) \to \prod_{\alpha} H^k(B_{\alpha}) \right)$

and a necessary condition for a family of local sections $\prod s_{\alpha} \in \prod_{\alpha} \Gamma_f(B_{\alpha})$ to glue to a global section $s \in \Gamma_f(B)$ is that the family must pair to zero with every class in $H^k(E)$.

This is what might be called a topological Brauer-Manin obstruction. The number-theoretic analogue, namely the usual Brauer-Manin obsruction, comes from making the following substitutions to the above picture.

First, $B$ is $\text{Spec } \mathbb{Q}$ (for simplicity), $E$ is a variety over $\mathbb{Q}$ (for example, a smooth projective algebraic curve defined by equations with rational coefficients), and the $B_{\alpha}$ are $\text{Spec } \mathbb{Q}_p$ where $p$ runs over all primes, including the “infinite prime” $p = \infty$, where $\mathbb{Q}_{\infty} = \mathbb{R}$. So the situation is that we want to find rational points on the variety $E$, we’ve found points over $\mathbb{Q}_p$ for all primes $p$, and we’d like to write down a cohomological obstruction to them gluing together to a rational point.

Next, $H^k(X)$ is the Brauer group $\text{Br}(X)$ of a scheme $X$; for $X = \text{Spec } K$ this is the Brauer group of $K$ in the usual sense, and is equivalently the Galois cohomology group

$\displaystyle H^2(\text{Gal}(\overline{K}/K), \overline{K}^{\ast})$

or the etale cohomology group

$\displaystyle H^2(\text{Spec } K, \mathbb{G}_m)$.

In general the Brauer group is some torsion subgroup of $H^2(X, \mathbb{G}_m)$. In particular, $\text{Br}(X)$, like $H^k(X)$, is a contravariant functor in $X$.

This wouldn’t be a useful thing to write down if we didn’t know the Brauer groups of the relevant fields, but in fact we do (this is part of class field theory): $H^k(B_{\alpha})$ are the Brauer groups $\text{Br}(\mathbb{Q}_p)$, which are equal to $\mathbb{Q}/\mathbb{Z}$ when $p$ is finite and $\frac{1}{2} \mathbb{Z}/\mathbb{Z}$ when $p = \infty$, and $H^k(B)$ is the Brauer group $\text{Br}(\mathbb{Q})$, which fits into a short exact sequence

$\displaystyle 0 \to \text{Br}(\mathbb{Q}) \to \bigoplus_p \text{Br}(\mathbb{Q}_p) \to \mathbb{Q}/\mathbb{Z} \to 0$.

(In particular, the pullback of an element of $\text{Br}(\mathbb{Q})$ to $\text{Br}(\mathbb{Q}_p)$ is nontrivial for only finitely many primes $p$.) Letting $E(K)$ denote the $K$-points of the variety $E$, the number-theoretic analogue of the pairing we constructed above is a pairing

$\displaystyle \text{Br}(E) \times \prod_p E(\mathbb{Q}_p) \to \mathbb{Q}/\mathbb{Z}$

and the Brauer-Manin obstruction is the necessary condition for a collection of points in $E(\mathbb{Q}_p)$ to lift to a point in $E(\mathbb{Q})$ that this pairing must be zero for every element of $\text{Br}(E)$. I am told that there are examples of curves for which each $E(\mathbb{Q}_p)$ is non-empty but where the Brauer-Manin obstruction does not vanish, and examples of higher-dimensional varieties for which each $E(\mathbb{Q}_p)$ is non-empty and the Brauer-Manin obstruction vanishes but there are still no rational points.

### 8 Responses

1. You might be interested that the Brauer Manin obstruction can indeed be re-defined using (e’tale) homotopy theory, for details see my paper with y.Harpaz

Click to access 1110.0164v1.pdf

2. Nice Post…Detailed insights on Diophantine equations

3. Dear qiaochu,
I think one of $f_i$s in the line 5, must be constantly zero. Because the solution of the equational system needs to vanish all the ideal of generated by $f_i$s.

• Aha, yes, that was a typo. Thanks!

4. There are examples of failure of Braur-Manin (due to Skorbogatov and later with an explanation by Poonen). The most recent strengthening of the Braur-Manin construction is by T. Schlank, and it is truly inspired by algebraic topology (namely, changing fixed points to homotopy fixed points).

5. Qiaochu,

As I believe you are alluding to with the statement “some torsion subgroup”, it’s an open question as to when $\text{Br}(X)$ (defined in terms of Azumaya algebras), which is the definition I believe you’re taking, is equal to $H^2_\text{et}(X,\mathbb{G}_m)_{\text{tors}}$. Is there some way in which your analogy makes this a reasonable thing to expect?

Also, and I apologize if I missed it, you didn’t seem to mention that you can think of $\text{Br}(X)$ as being a colimit of $H^1(X,\text{PGL}_n)$. This has obvious interpretations, topologically, in terms of $\mathbb{P}^n$-bundles which are not the projectivization of vector bundles (I believe). This seems too apropos for there not to be a conection.

Thanks!

• Oops–I made a typo. It should have said “in terms of $\mathbb{P}^n$-bundles **up** to projectivizations of vector bundles”. Sorry!

• The analogy suggests (to me, anyway) that if this is a hard question then $\text{Br}(X)$ is the wrong invariant to look at, and we should instead be figuring out what is being represented by all of (or the entire torsion subgroup of) $H^2$. I think this is done in a paper of Toen.

As for $\mathbb{P}^n$-bundles, one way to think about the Brauer class represented by such a bundle is as a characteristic class.