Dimming an AC light

Not sure which option is best, but for #2 you might try a digital potentiometer like a DS1666 (if it's powerful enough for the dimmer).