Хочу оставить в грядке под зиму чеснок. Надо ли срезать ботву?

Вопрос: а Вы уверены, что не сформировались? Оставить под зиму, конечно, можно. И что-то наверняка вырастет. Но если сейчас у Вас на грядке не однозубки, а пусть маленькие, но головки (например, из двух-трех зубчиков), то Вы и на следующий год будете без нормального урожая чеснока. Потому что взойти-то он взойдет, и даже расти будет — но из-за тесноты снова не сформирует полноценную головку. И получится сказка-неотвязка: вроде, и есть чеснок — а по сути его нет…

Я выращиваю чеснок в двулетней культуре (бульбочки — однозубки — головка). Так вот, случается, при посадке большой однозубки вместо ожидаемой крупной головки вырастает пара мелких, потому что однозубка оказалась «с сюрпризом». По сути, это не до конца сформировавшаяся головка, у нее две дольки, каждая из которых образует самостоятельное растение — со всеми вытекающими последствиями.

Этот опыт и побуждает меня задать Вам вопрос, уверены ли Вы в том, что у Вас на грядке действительно сплошь однозубки, а не мелкие головки?

Что до зелени («ботвы»), то тут тоже вопрос: а откуда она сейчас? У однозубок к осени надземной части и не найдешь — она отмирает. А если сформировались цветоносы (они могут сохраняться до морозов, да), то в земле уже точно не однозубка…

У меня никогда лук в двухлетней культуре из бульбочек не вырастал. Минимум три года росли.
Очень часто в земле остаются не выкопанные чесночины. И они у меня также формируют головку, конечно не такую крупную, как при одиночной или двухярусной посадке, но в принципе нормальную.
В любом случае я бы ботву не обрезала. В ботве все силы и соки.

Срезать ботву чеснока не надо.