Did the Ottomans give Hagia Sophia a different name during the 500ish years that it was used as a mosque?
No, it was not renamed. Its Turkish name has been Ayasofya since the time of Mehmed the Conqueror. Since the Greek name was Ayia Sophia, the Turkish names and Greek names are even closer than English and Greek.