Convert a high-voltage output to 0-5V for Arduino ADC

Can you tell us what current capacity your 10-15 kV supply can deliver? It is unlikely in my book that it has sufficient current capacity to enable voltage dividers to work.

Also as the supply seems to be variable then a voltage divider is no good to you anyway.