En matemáticas, una superficie de Raynaud es un tipo particular de superficie algebraica que se introdujo en William E. Lang ( 1979 ) y recibió el nombre de Michel Raynaud ( 1978 ). Para ser precisos, una superficie de Raynaud es una superficie cuasi-elíptica sobre una curva algebraica de género g mayor que 1, de modo que todas las fibras son irreducibles y la fibración tiene una sección. El teorema de desaparición de Kodaira falla para tales superficies; en otras palabras, el teorema de Kodaira, válido en geometría algebraica sobre los números complejos, tiene superficies como contraejemplos, y estos solo pueden existir en la característica p.
Las superficies de Raynaud generalizadas se introdujeron en ( Lang 1983 ) y dan ejemplos de superficies de tipo general con campos vectoriales globales.