time-dependent Schr\"odinger operators; product formula; rotating potentials, rapid rotation