Skip to main content
deleted 2 characters in body
Source Link
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 98

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It seems that codimension $1$ irreducible subvarietiessubschemes of these models yield valuations of $F$. My question is: which valuations are obtained this way? Would it be appropriate to call them 'geometric'; is there any canonical text that treats this question (an introduces some terms of sort)? The problem is that I do not want to restrict myself to the case when all of these subschemes are defined over a fixed subfield of $F$.

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It seems that codimension $1$ irreducible subvarieties of these models yield valuations of $F$. My question is: which valuations are obtained this way? Would it be appropriate to call them 'geometric'; is there any canonical text that treats this question (an introduces some terms of sort)? The problem is that I do not want to restrict myself to the case when all of these subschemes are defined over a fixed subfield of $F$.

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It seems that codimension $1$ irreducible subschemes of these models yield valuations of $F$. My question is: which valuations are obtained this way? Would it be appropriate to call them 'geometric'; is there any canonical text that treats this question (an introduces some terms of sort)? The problem is that I do not want to restrict myself to the case when all of these subschemes are defined over a fixed subfield of $F$.

Source Link
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 98

Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It seems that codimension $1$ irreducible subvarieties of these models yield valuations of $F$. My question is: which valuations are obtained this way? Would it be appropriate to call them 'geometric'; is there any canonical text that treats this question (an introduces some terms of sort)? The problem is that I do not want to restrict myself to the case when all of these subschemes are defined over a fixed subfield of $F$.