Hartshorne define divisores de Weil bajo la hipótesis de "Noetherian integral separados esquema regular de codimension 1", que, por ejemplo, asegura que el divisor de una función racional es una suma finita. Recuerdo de Arthur Ogus' las conferencias que los separados hipótesis no es que sea necesario para que las cosas tengan sentido. También, si debilitamos "Noetherian" a "local Noetherian", podemos hacer una sheafy versión y definir los divisores de Weil a ser global secciones de esa gavilla (entonces sólo había de ser "localmente finito" sumas).
Así que ahora me pregunto, ¿cuál es el más general de "trabajo" definición de Wiel divisor? Lo que estoy buscando es un buen sitio de referencia con una definición generalizada y sus consecuencias, todo funcionó a convencerme de que en realidad vale la pena.
(Entre otras cosas, esto podría ayudar a comprender mejor el papel de Hartshorne diversas hipótesis.)
