Когда Python создает новые объекты списка для пустых списков?

В первом примере [] не совсем [], потому что списки изменяемы. Если бы это было не так, они могли бы безопасно сопоставляться с одним и тем же без проблем.

Во втором примере id([]) создает список, получает идентификатор и освобождает список. Во второй раз он создает список снова, но "помещает его на то же место", потому что больше ничего не произошло. id действует только во время жизни объекта, и в этом случае его время жизни практически равно нулю.

Из документов по идентификатору:

Это целое (или длинное целое), которое гарантированно будет уникальным и постоянным для данного объекта в течение всего времени его жизни. Два объекта с непересекающимися временами жизни могут иметь одинаковое значение id().

Разборка с комментариями:

   0 LOAD_GLOBAL              0 (id)    # load the id function
   3 BUILD_LIST               0         # create the first list
   6 CALL_FUNCTION            1         # get the id
   9 LOAD_GLOBAL              0 (id)    # load the id function
  12 BUILD_LIST               0         # create the second list
  15 CALL_FUNCTION            1         # get the id
  18 COMPARE_OP               2 (==)    # compare the two ids
  21 RETURN_VALUE                       # return the comparison

Обратите внимание, что нет STORE_FAST для сохранения списка. Поэтому он был отброшен сразу после передачи в функцию id.