I have spent some time being confused by the nature of global methods in number theory. It seems that there are in some sense (for my purposes) three levels at which algebraic number theorists operate: local (at one prime), everywhere local (at all primes simultaneously, including the infinite ones) and global (actually playing with the number field). When we talk about things like local class field theory we mean the first one, and when we talk about global class field theory I guess we mean the last one (but the extent to which the ideles seem to get involved suggests to my naive mind a strong whiff of the second one also).

When we talk about local to global principles we most definitely mean the passage from the second to the third. I guess my question can therefore by crystallised in terms of elementary number theory as follows: what global techniques do we have for proving the non-existence of solutions to diophantine equations? In other words, given a failure of the local-global principle, what are the techniques one can use to demonstrate it independently of local information?

If I am given a diophantine equation and asked to show it has no solutions, I can think of very few methods that are not in some sense `local', certainly if we count working at the infinite primes also as local (which surely we should?).

One possibility I have been considering is that something to do with heights/descent is perhaps a global method. However, the height of a point is still measurable by concatenating local data, and descent is normally via some trick involving congruences, but perhaps the `well-orderedness' of the process is a truly global trick.

Also, returning to a pessimistic analysis, in an important classical result that I have seen called a `measure of the failure of the local-global principle': the finiteness of the class number, it seems to me that the statement doesn't involve the infinite primes in any way, so to prove it we milk the infinite primes for all the have got and get the Minkowski bound by directly studying local behaviour above infinity. Is my opinion in this regard incorrect? If so, which of the arguments are truly global?

So to conclude, are there such things as "global methods", and if there are, what are they? Apologies for posing what is probably a naive, overly-simplistic and absurdly general question, but I am hoping several people may have thought about this and have interesting things to say.

Thanks, Tom.

how $K$ sits inside $\mathbb{A}_K$, then you are definitely in a truly global setting. $\endgroup$