Em que estrutura de dados é baseada a fila de prioridade padrão da biblioteca (priority_queue)?

Heap (montículo). Em particular, um max-heap por padrão, garantindo acesso ao elemento máximo em $O(1)$. As operações de inserção e remoção levam $O(\log N)$, onde $N$ é o número de elementos.