differential varieties