Could a large group of miners theoretically lower the network hashrate to manipulate difficulty?
The difficulty adjusts every 2016 blocks based on the average block time for all of those 2016 blocks. So just making the 2016th block take longer to mine has little effect on adjustment. A miner would have to manipulate block times for the entire 2016 block period to get any significant difficulty change.