Skip to main content
added 6 characters in body
Source Link
BCnrd
  • 7.1k
  • 2
  • 66
  • 74

The answer is yes, for arbitrary split connected reductive groups over any field. The main point is that the Existence, Isomorphism, and Isogeny Theorems (relating split connected reductive groups and root data) are valid over any field. One reference is SGA3 near the end (which works over any base scheme), but in Appendix A.4 of the book "Pseudo-reductive groups" there is given a direct proof over fields via faithfully flat descent, taking as input the results over algebraically closed fields (since for some reason the non-SGA3 references always seem to make this restriction).

[Caveat: that A.4 gives a complete treatment for the Isomorphism and Isogeny Theorems over general ground fields, and that is what the question is really about anyway; for the Existence Theorem in the case of exceptional types I don't know a way to "pull it down" from an algebraic closure, instead of having to revisit the constructions to make them work over prime fields or $\mathbf{Z}$.]

The answer is yes, for arbitrary connected reductive groups over any field. The main point is that the Existence, Isomorphism, and Isogeny Theorems (relating split connected reductive groups and root data) are valid over any field. One reference is SGA3 near the end (which works over any base scheme), but in Appendix A.4 of the book "Pseudo-reductive groups" there is given a direct proof over fields via faithfully flat descent, taking as input the results over algebraically closed fields (since for some reason the non-SGA3 references always seem to make this restriction).

[Caveat: that A.4 gives a complete treatment for the Isomorphism and Isogeny Theorems over general ground fields, and that is what the question is really about anyway; for the Existence Theorem in the case of exceptional types I don't know a way to "pull it down" from an algebraic closure, instead of having to revisit the constructions to make them work over prime fields or $\mathbf{Z}$.]

The answer is yes, for arbitrary split connected reductive groups over any field. The main point is that the Existence, Isomorphism, and Isogeny Theorems (relating split connected reductive groups and root data) are valid over any field. One reference is SGA3 near the end (which works over any base scheme), but in Appendix A.4 of the book "Pseudo-reductive groups" there is given a direct proof over fields via faithfully flat descent, taking as input the results over algebraically closed fields (since for some reason the non-SGA3 references always seem to make this restriction).

[Caveat: that A.4 gives a complete treatment for the Isomorphism and Isogeny Theorems over general ground fields, and that is what the question is really about anyway; for the Existence Theorem in the case of exceptional types I don't know a way to "pull it down" from an algebraic closure, instead of having to revisit the constructions to make them work over prime fields or $\mathbf{Z}$.]

Source Link
BCnrd
  • 7.1k
  • 2
  • 66
  • 74

The answer is yes, for arbitrary connected reductive groups over any field. The main point is that the Existence, Isomorphism, and Isogeny Theorems (relating split connected reductive groups and root data) are valid over any field. One reference is SGA3 near the end (which works over any base scheme), but in Appendix A.4 of the book "Pseudo-reductive groups" there is given a direct proof over fields via faithfully flat descent, taking as input the results over algebraically closed fields (since for some reason the non-SGA3 references always seem to make this restriction).

[Caveat: that A.4 gives a complete treatment for the Isomorphism and Isogeny Theorems over general ground fields, and that is what the question is really about anyway; for the Existence Theorem in the case of exceptional types I don't know a way to "pull it down" from an algebraic closure, instead of having to revisit the constructions to make them work over prime fields or $\mathbf{Z}$.]