JHKs photometry is presented from a 3-yr survey of the central regions of the Local Group dwarf irregular galaxy IC 1613. The morphologies of the colour-magnitude and colour-colour diagrams are discussed with particular reference to the supergiants and M- and C-type asymptotic giant branch (AGB) stars. Mean JHKs magnitudes, amplitudes and periods are given for five O-rich and nine C-rich Mira variables for which bolometric magnitudes are also estimated. A distance of 750kpc ((m-M)0=24.37+/-0.08mag) is derived for IC 1613 by fitting a period-luminosity (PL) relation to the C-rich Miras. This is in agreement with values from the literature. The AGB stars exhibit a range of ages. A comparison with theoretical isochrones suggests that four luminous O-rich Miras are as young as 2x10^8^yr. One of these has a lithium absorption line in its spectrum, demonstrating that it is undergoing hot bottom burning (HBB). This supports the idea that HBB is the cause of the high luminosity of these AGB stars, which puts them above the fundamental PL relation. Further studies of similar stars, selected from their positions in the PL diagram, could provide insight into HBB. A much fainter, presumed O-rich, Mira is similar to those found in Galactic globular clusters. The C Miras are of intermediate age. The O-rich variables are not all recognized as O-rich, or even as AGB stars, on the basis of their J-Ks colour. It is important to appreciate this when using near-infrared surveys to classify AGB stars in more distant galaxies.

Cone search capability for table J/MNRAS/452/910/table1 (*Data for stars with standard errors less than 0.1mag)

Cone search capability for table J/MNRAS/452/910/table2 (Photometry of objects identified as supergiants in the literature)

Cone search capability for table J/MNRAS/452/910/table4 (Large-amplitude variables (O-rich and probable O-rich))

Cone search capability for table J/MNRAS/452/910/table7 (Other large-amplitude variables)

Cone search capability for table J/MNRAS/452/910/table8 (Red stars from Sibbons et al. (2015, J/A+A/573/A84) not in the IRSF list, illustrated in Fig. 5)

Cone search capability for table J/MNRAS/452/910/table5 (O-rich variables - other data)

Cone search capability for table J/MNRAS/452/910/table6 (Large-amplitude variables (C-rich and probable C-rich))