Within the Formicidae, the higher classification of nearly all subfamilies has been recently revised due to the findings of molecular phylogenetics. Here, we integrate morphology and molecular data to holistically address the evolution and classification of the ant genus Lasius, its tribe Lasiini, and their subfamily Formicinae. We accomplish this through a critical re-examination of morphology of extant and fossil taxa, molecular phylogenetic analyses, total-evidence dating under fossilized birth-death process, phylogeography, and ancestral state estimation. We use these results to provide revised taxonomic definitions for the Lasiini and select genera, and we provide a key to the genera of the Lasiini with emphasis on the Lasius genus group. We find that the crown Lasiini originated around the end of the Cretaceous on the Eurasian continent and is divisible into four morphologically distinct clades: Cladomyrma, the Lasius genus group, the Prenolepis genus group, and a previously undetected lineage we name XXXgen. n. The crown of the Lasius genus group is considerably younger than that of the Prenolepis genus group, indicating that extinction has played a major role in the evolution of the former clade. Lasius itself is divided into two well-supported monophyletic groups which are approximately equally speciose. We present evidence that temporary social parasitism and fungiculture arose in Lasius two times independently. Additionally, we recover the paraphyly of three Lasius subgenera and propose replacing all subgenera with an informal species group classification: Lasius = Acanthomyopssyn. rev., = Austrolasiussyn. n., = Cautolasiussyn. n., = Chthonolasius vsyn. n., = Dendrolasiussyn. n. Total-evidence analysis reveals that the Baltic-region amber fossil species Lasius pumilus and Pseudolasius boreus are misplaced to genus; we therefore designate XXXgen. n. for the former and XXXgen. n. for the latter. Further, we transfer XXX and Glaphyromyrmex out of the tribe, considering the former to be incertae sedis in the subfamily, and the latter a member of the Formicini (tribal transfer). Two final taxonomic actions are deemed necessary: synonymy of Lasius escamole Reza, 1925 with Liometopum apiculatum Mayr, 1870 syn. n. (subfamilial transfer), and transfer of Paratrechina kohli to Anoplolepis (tribal transfer, forming A. kohli (Forel, 1916) n. comb.).
Peer Review #1 of "Taxonomic revision and molecular phylogenetics of the Idarnes incertus species-group (Hymenoptera, Agaonidae, Sycophaginae) (v0.1)"