Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $K\subset L$ be a field extension and let $K\subset F_1,F_2,...,F_n\subset L$ be proper intermediate fields. Consider the "mixed" affine space $\mathbb{A}_{(F_i)}:=\prod_{i=1}^n F_i$ instead of $\mathbb{A}_K^n$ (or $\mathbb{A}_L^n$ for that matter) and consider zero sets of polynomials $f\in K[X_1,X_2,...,X_n]$ in $\mathbb{A}_{(F_i)}$. From the perspective of classic algebraic geometry, it only seems natural to look for such a generalization.

Has this specific type of problems been studied/discussed in more detail anywhere and, if yes, under what wording? A reference will be most appreciated. I am mostly interested in the case of algebraic number fields, but other examples are most welcome as well.

share|improve this question
1  
What is the natural definition of a regular function coming out of that mixed affine space? –  Mariano Suárez-Alvarez Jun 24 '13 at 22:04
    
As far as I can tell, this is just affine space over $K$, but you are looking at $L$-points whose coordinate maps are defined over the various subfields. –  S. Carnahan Jun 24 '13 at 23:39
2  
You can think of this in terms of the Weil restriction functor. For each $i=1,\dots,n$, there is a natural map of $K$-algebras, $K[X_i] \to \text{Res}_{F_i/K}(F_i[X_i])$. The tensor product of these natural maps is $K[X_1,\dots,X_n] \to \bigotimes_{i=1}^n_K \text{Res}_{F_i/K}(F_i[X_i])$. –  Jason Starr Jun 25 '13 at 0:38
3  
We used such a construction in papers with Tschinkel. It serves us to describe an étale neighborhood of a point in a variety over a number field endowed with a divisor which is geometrically SNC. See Igusa integrals and volume asymptotics in analytic and adelic geometry, Confluentes Math., 2010. –  ACL Jun 25 '13 at 6:07
add comment

1 Answer 1

up vote 4 down vote accepted

The product of Weil restrictions $P = \prod_{i=1}^n {\rm{R}}_{F_i/K}(\mathbf{A}^1_{F_i})$ is naturally a closed subscheme of the direct product $\prod_{i=1}^n {\rm{R}}_{L/K}(\mathbf{A}^1_L) = {\rm{R}}_{L/K}(\mathbf{A}^n_L)$. For any closed subscheme $Z \subset \mathbf{A}^n_K$, we also get a closed subscheme ${\rm{R}}_{L/K}(Z_L) \subset {\rm{R}}_{L/K}(\mathbf{A}^n_L)$ and can see where it meets $P$. Those intersections are the $K$-schemes you're wondering about (e.g., the $K$-points are precisely the loci inside $\prod F_i$ defined by the vanishing of several polynomials in $n$ variables over $K$).

From the viewpoint of Weil restriction of affine schemes of finite type, this looks like a rather special kind of construction. It isn't clear why it should be useful or a natural thing to consider from the viewpoint of classical algebraic geometry (though Weil restriction is very useful). Is there a situation you have in mind for which this is interesting to consider?

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.