The formation of inorganic dust in circumstellar environments of evolved stars is poorly understood. Spectra of molecules thought to be most important for the nucleation, i.e. AlO, TiO, and TiO2, have been recently detected in the red supergiant VY CMa. These molecules are effectively formed in VY CMa and the observations suggest that non-equilibrium chemistry must be involved in their formation and nucleation into dust. In addition to exploring the recent observations of VY CMa, we briefly discuss the possibility of detecting these molecules in the dust-poor circumstellar environment of Betelgeuse.

We report the first detection of pure rotational transitions of TiO and TiO_2 at (sub-)millimeter wavelengths towards the red supergiant VY CMa. A rotational temperature, T_rot, of about 250 K was derived for TiO_2. Although T_rot was not well constrained for TiO, it is likely somewhat higher than that of TiO_2. The detection of the Ti oxides confirms that they are formed in the circumstellar envelopes of cool oxygen-rich stars and may be the "seeds" of inorganic-dust formation, but alternative explanations for our observation of TiO and TiO_2 in the cooler regions of the envelope cannot be ruled out at this time. The observations suggest that a significant fraction of the oxides is not converted to dust, but instead remains in the gas phase throughout the outflow.

Aims: Little information exists on the circumstellar molecular abundance stratifications of many molecules. The aim is to study the circumstellar chemical abundance pattern of 11 molecules and isotopologs ($^{12}$CO, $^{13}$CO, SiS, $^{28}$SiO, $^{29}$SiO, $^{30}$SiO, HCN, CN, CS, SO, SO$_2$) in the oxygen-rich evolved star IK~Tau. Methods: We have performed an in-depth analysis of a large number of molecular emission lines excited in the circumstellar envelope around IK~Tau. The analysis is done based on a non-local thermodynamic equilibrium (non-LTE) radiative transfer analysis, which calculates the temperature and velocity structure in a self-consistent way. The chemical abundance pattern is coupled to theoretical outer wind model predictions including photodestruction and cosmic ray ionization. Not only the integrated line intensities, but also the line shapes, are used as diagnostic tool to study the envelope structure. Results: The deduced wind acceleration is much slower than predicted from classical theories. SiO and SiS are depleted in the envelope, possibly due to the adsorption onto dust grains. For HCN and CS a clear difference with respect to inner wind non-equilibrium predictions is found, either indicating uncertainties in the inner wind theoretical modeling or the possibility that HCN and CS (or the radical CN) participate in the dust formation. The low signal-to-noise profiles of SO and CN prohibit an accurate abundance determination; the modeling of high-excitation SO$_2$ lines is cumbersome, possibly related to line misidentifications or problems with the collisional rates. The SiO isotopic ratios ($^{29}$SiO/$^{28}$SiO and $^{30}$SiO/$^{28}$SiO) point toward an enhancement in $^{28}$SiO compared to results of classical stellar evolution codes. Predictions for H$_2$O lines in the spectral range of the Herschel/HIFI mission are performed. [abbreviated]

Polycyclic Aromatic Hydrocarbons (PAHs) are widely accepted as the carriers of the Aromatic Infrared Bands (AIBs), but an unambiguous identification of any specific interstellar PAH is still missing. For polar PAHs, pure rotational transitions can be used as fingerprints for identification. Combining dedicated experiments, detailed simulations and observations, we explored the mm domain to search for specific rotational transitions of corannulene (C20H10). We performed high-resolution spectroscopic measurements and a simulation of the emission spectrum of UV-excited C20H10 in the environment of the Red Rectangle, calculating its synthetic rotational spectrum. Based on these results, we conducted a first observational campaign at the IRAM 30m telescope towards this source to search for several high-J rotational transitions of (C20H10). The laboratory detection of the J = 112 <- 111 transition of corannulene showed that no centrifugal splitting is present up to this line. Observations with the IRAM 30m telescope towards the Red Rectangle do not show any corannulene emission at any of the observed frequencies, down to a rms noise level of Tmb = 8 mK for the J =135 -> 134 transition at 137.615 GHz. Comparing the noise level with the synthetic spectrum, we are able to estimate an upper limit to the fraction of carbon locked in corannulene of about 1.0x10(-5) relative to the total abundance of carbon in PAHs. The sensitivity achieved shows that radio spectroscopy can be a powerful tool to search for polar PAHs. We compare this upper limit with models for the PAH size distribution, emphasising that small PAHs are much less abundant than predicted. We show that this cannot be explained by destruction but is more likely related to the chemistry of their formation in the environment of the Red Rectangle.