Let KK be a number field, and let SxSx denote the set of primes of norm at most xx. Is it possible to find a smaller set of places TxsubsetSxTxsubsetSx so that a lot of the solutions of the SxSx-unit equation a+b=1a+b=1 for a,binSxa,binSx are solutions of the TxTx-unit equation?
Here's a possible precise statement (although I'd be interested in other formulations as well): Does there exist a constant 0<c<10<c<1, depending on KK (but not xx), so that for each xx, there is a TxsubsetSxTxsubsetSx with |Tx|lesqrt|Sx||Tx|lesqrt|Sx| so that the number of solutions to the TxTx-unit equation is at least cc times the number of solutions of the SxSx-unit equation?
I'm interested in this mostly by analogy: Bellabas and Gangl have a bound for the set of places of a number field one must check in order to compute K2K2 of the ring of integers. It would be interesting to know if one could at least get a pretty good approximation for K2K2 by looking at a much smaller set of places.
No comments:
Post a Comment