Definition:Direct Image Sheaf