Dense, fast-moving ejecta knots in supernova remnants are prime sites for molecule and dust formation. We present SOFIA far-IR spectrometer FIFI-LS observations of CO-rich knots in Cas A which cover a ~1 square arc minute area of the northern shell, in the [O III] 52 and 88 micron and [O I] 63 micron lines. The FIFI-LS spectra reveal that the line profiles of [O III] and [O I] are similar to those of the Herschel PACS [O III] and CO lines. We find that the [O III] maps show very different morphology than the [O I] map. The [O III] maps reveal diffuse, large-scale structures and the ratio of the two [O III] lines imply the presence of gas with a range of density 500 - 10,000 per cm^3 within the mapped region. In contrast, the [O I] map shows bright emission associated with the dense CO-rich knots. The 63 micron [O I] line traces cooled, dense post-shocked gas of ejecta. We find that IR-dominated [O III] emission is from post-shocked gas based on its morphology, high column density, and velocity profile. We describe multi-phase ejecta knots, a lifetime of clumps, and survival of dust in the young supernova remnants.

The formation of silicate dust in oxygen-rich envelopes of evolved stars is thought to be initiated by formation of seed particles that can withstand the high temperatures close to the stellar photosphere and act as condensation cores farther away from the star. Candidate species considered as first condensates are TiO and TiO$_2$. We aim to identify and characterize the circumstellar gas-phase chemistry of titanium that leads to the formation of solid titanium compounds in the envelope of $o$ Cet, the prototypical Mira, and seek an observational verification of whether titanium oxides play a major role in the onset of dust formation in M-type AGB stars. We present high angular-resolution ALMA observations at submillimeter (submm) wavelengths supplemented by APEX and Herschel spectra of the rotational features of TiO and TiO$_2$. In addition, circumstellar features of TiO and TiI are identified in optical spectra which cover multiple pulsation cycles of $o$ Cet. The submm ALMA data reveal TiO and TiO$_2$ bearing gas within the extended atmosphere of Mira. While TiO is traceable up to a radius (FWHM/2) of 4.0 R$_{\star}$, TiO$_2$ extends as far as 5.5 R$_{\star}$ and unlike TiO appears to be anisotropically distributed. Optical spectra display variable emission of TiI and TiO from inner parts of the extended atmosphere (<3 R$_{\star}$). Chemical models which include shocks are in general agreement with the observations of gas-phase titanium-bearing molecules. It is unlikely that substantial amounts of titanium is locked up in solids because the abundance of the gaseous titanium species is very high. In particular, formation of hot titanium-rich condensates is very improbable because we find no traces of their hot precursor species in the gas phase. It therefore appears unlikely that the formation of dust in Mira, and possibly other M-type AGB stars, is initiated by titanium oxides.

Context: Dust is efficiently produced by cool giant stars, but the condensation of inorganic dust is poorly understood. Aims: Identify and characterize aluminum bearing species in the circumstellar gas of Mira ($o$ Ceti) in order to elucidate their role in the production of Al$_2$O$_3$ dust. Methods: Multiepoch spectral line observations at (sub-)millimeter, far-infrared, and optical wavelengths including: maps with ALMA which probe the gas distribution in the immediate vicinity of the star at ~30 mas; observations with ALMA, APEX, and Herschel in 2013-2015 for studying cycle and inter-cycle variability of the rotational lines of Al bearing molecules; optical records as far back as 1965 to examine variations in electronic transitions over time spans of days to decades; and velocity measurements and excitation analysis of the spectral features which constrain the physical parameters of the gas. Results: Three diatomic molecules AlO, AlOH, and AlH, and atomic Al I are the main observable aluminum species in Mira, although a significant fraction of aluminum might reside in other species that have not yet been identified. Strong irregular variability in the (sub-)millimeter and optical features of AlO (possibly the direct precursor of Al$_2$O$_3$) indicates substantial changes in the excitation conditions, or varying abundance that is likely related to shocks in the star. The inhomogeneous distribution of AlO might influence the spatial and temporal characteristics of dust production. Conclusions: We are unable to quantitatively trace aluminum depletion from the gas, but the rich observational material constrains time dependent chemical networks. Future improvements should include spectroscopic characterization of higher aluminum oxides, coordinated observations of dust and gas species at different variability phases, and tools to derive abundances in shock excited gas.

We study the dust evolution in the supernova remnant Cassiopeia A. We follow the processing of dust grains that formed in the Type II-b supernova by modelling the sputtering of grains. The dust is located in dense ejecta clumps crossed by the reverse shock. Further sputtering in the inter-clump medium once the clumps are disrupted by the reverse shock is investigated. The dust evolution in the dense ejecta clumps of Type II-P supernovae and their remnants is also studied. We study oxygen-rich clumps that describe the ejecta oxygen core, and carbon-rich clumps that correspond to the outermost carbon-rich ejecta zone. We consider the dust components formed in the supernova, several reverse shock velocities and inter-clump gas temperatures, and derive dust grain size distributions and masses as a function of time. We find that non-thermal sputtering in clumps is important and accounts for reducing the grain population by ~ 40% to 80% in mass, depending on the clump gas over-density and the grain type and size. A Type II-b supernova forms small grains that are sputtered within clumps and in the inter-clump medium. For Cas A, silicate grains do not survive thermal sputtering in the inter-clump medium. Our derived masses of currently processed silicate, alumina and carbon grains in Cas A agree well with values derived from observations. Grains produced by Type II-P supernovae better survive the remnant phase. For dense ejecta clumps, dust survival efficiencies range between 42% and 98% in mass. For the SN1987A model, the derived surviving dust mass is in the range ~ 0.06-0.13 Msolar. This type of dense supernovae may efficiently provide galaxies with dust. Specifically, silicate grains over 0.1 micron and other grains over 0,05 micron survive thermal sputtering in the remnant. Therefore, pre-solar grains of supernova origin possibly form in the dense ejecta clumps of Type II-P supernovae.

We model the synthesis of molecules and dust in the inner wind of the oxygen-rich Mira-type star IK Tau, by considering the effects of periodic shocks induced by the stellar pulsation on the gas, and by following the non-equilibrium chemistry in the shocked gas layers between 1 and 10 Rstar. We consider a complete set of molecules and dust clusters, and combine the nucleation phase of dust formation with the condensation of these clusters into dust grains. Our derived molecular abundances and dust properties are compared to the most recent observational data. The chemistry is described by using a chemical kinetic network of reactions and the condensation mechanism is described by a Brownian formalism. The shocks drive an active non-equilibrium chemistry in the dust formation zone of IK Tau where the collision destruction of CO in the post-shock gas triggers the formation of C-bearing species such as HCN and CS. Most of the modelled molecular abundances agree well with the latest values derived from Herschel data. Clusters of alumina are produced within 2 Rstar and lead to a population of alumina grains close to the stellar surface. Clusters of silicates form at larger radii (r > 3 Rstar), where their nucleation is triggered by the formation of HSiO and H2SiO. They efficiently condense and reach their final grain size distribution between ~ 6 and 8 Rstar, with a major population of medium size grains peaking at~ 0.02 microns. This two dust-shell configuration agrees with recent interferometric observations. The derived dust-to-gas mass ratio for IK Tau is in the range 1-6x10^-3 and agrees with values derived from observations of O-rich Mira-type stars. Our results confirm the importance of periodic shocks in chemically shaping the inner wind of AGB stars and providing gas conditions conducive to the efficient synthesis of molecules and dust by non-equilibrium processes.

Aims: We study the production of dust in Type II-P supernova by coupling the gas-phase chemistry to the dust nucleation and condensation phases. We consider two supernova progenitor masses with homogeneous and clumpy ejecta to assess the chemical type and quantity of dust that forms. Grain size distributions are derived as a function of post-explosion time. Methods: The chemistry of the gas phase and the simultaneous formation of dust clusters are described by a chemical network. The formation of key species (CO, SiO) and dust clusters of silicates, alumina, silica, metal carbides and sulphides, pure metals, and amorphous carbon is considered. The master equations describing the chemistry of the nucleation phase are coupled to a dust condensation formalism based on Brownian coagulation. Results: Type II-P supernovae produce dust grains of various chemical compositions and size distributions as a function of time. The grain size distributions gain in complexity with time, are slewed towards large grains, and differ from the usual MRN power-law distribution used for interstellar dust. Gas density enhancements in the form of clumps strongly affect the dust chemical composition and the grain size distributions. Silicates and pure metallic grains are highly dependent on clumpiness. Specifically, clumpy ejecta produce grains over 0.1 micron, and the final dust mass reaches 0.14 Msun. Conversely, carbon and alumina dust masses are controlled by the mass yields of alumina and carbon in the zones where the dust is produced. Several dust components form in the ejecta and the total dust mass gradually builds up over a time span of 3 to 5 years post-outburst. This gradual growth provides a possible explanation for the discrepancy between the small dust masses formed at early post-explosion times and the high dust masses derived from recent observations of supernova remnants.

Supernovae have long been proposed to be efficient dust producers in galaxies. Observations in the mid-infrared indicate that dust forms a few hundred days after the stellar explosion. Yet, the chemical type and the amount of dust produced by supernovae are not well quantified. In this review, we summarise our current knowledge of dust formation derived from observations of supernovae, present the various theoretical models on dust synthesis and their predictions, and discuss these results in the context of the most recent observations of dust in supernova remnants.

Aims: We study the chemistry of the Type IIb supernova ejecta that led to the Cas A supernova remnant to assess the chemical type and quantity of dust that forms and evolves in the remnant phase. We later model a dense oxygen-rich ejecta knot that is crossed by the reverse shock in Cas A to study the evolution of the clump gas phase and the possibility to reform dust clusters in the post-reverse shock gas. Methods: A chemical network including all processes efficient at high gas temperatures and densities is considered. The formation of key bimolecular species (CO, SiO) and dust clusters is described. Stiff, coupled, ordinary, differential equations are solved for the conditions pertaining to both the SN ejecta and the post-reverse shock gas. Results: We find that the ejecta of Type IIb SNe are unable to form large amounts of molecules and dust clusters as opposed to their Type II-P counterparts because of their diffuse ejecta. The gas density needs to be increased by several orders of magnitude to allow the formation of dust clusters. We show that the chemical composition of the dust clusters changes drastically and gains in chemical complexity with increasing gas density. Hence, the ejecta of the Cas A supernova progenitor must have been in the form of dense clumps to account for the dust chemical composition and masses inferred from infrared observations of Cas A. We show that the ejecta molecules in a clump that is processed by the reverse shock reform in the post-reverse shock gas with lower abundances than those of the initial ejecta clump, except SiO. These molecules include CO, SiS and O2. Dust clusters are destroyed by the reverse shock and do not reform in the post-reverse shock gas, even for the highest gas density. These results indicate that the synthesis of dust grains from the gas phase in the dense knots of Cas A and in other supernova remnants is unlikely.

We study the formation of molecules and dust clusters in the ejecta of solar metallicity, Type II-P supernovae using a chemical kinetic approach. We follow the evolution of molecules and small dust cluster masses from day 100 to day 1500 after explosion. We consider stellar progenitors with initial mass of 12, 15, 19 and 25 Msun that explode as supernovae with stratified ejecta. The molecular precursors to dust grains comprise molecular chains, rings and small clusters of silica, silicates, metal oxides, sulphides and carbides, pure metals, and carbon, where the nucleation of silicate clusters is described by a two-step process of metal and oxygen addition. We study the impact of the 56Ni mass on the type and amount of synthesised dust. We predict that large masses of molecules including CO, SiO, SiS, O2, and SO form in the ejecta. We show that the discrepancy between the small dust masses detected at infrared wavelengths some 500 days post-explosion and the larger amounts of dust recently detected with Herschel in supernova remnants can be explained by the non-equilibrium chemistry linked to the formation of molecules and dust clusters in the ejected material. Dust gradually builds up from small (~10^{-5} Msun) to large masses (~5x 10^{-2} Msun) over a 5 yr period after explosion. Subsequent dust formation and/or growth is hampered by the shortage of chemical agents participating in the dust nucleation and the long time scale for accretion. The results highlight the dependence of the dust chemical composition and mass on the amount of 56Ni synthesised during the explosion. This dependence may partly explain the diversity of epochs at which dust forms in supernovae. More generally, our results indicate that type II-P supernovae are efficient but moderate dust producers with an upper limit on the mass of synthesised dust ranging from ~ 0.03 to 0.09 Msun.

We report a Herschel detection of high-J rotational CO lines from a dense knot in the supernova remnant Cas A. Based on a combined analysis of these rotational lines, and previously observed ro-vibrational CO lines, we find the gas to be warm (two components at 400 and 2000 K) and dense (1e6-7 cm-3), with a CO column density of 5e17 cm-2. This, along with the broad line widths (400 kms-1), suggests that the CO emission originates in the post-shock region of the reverse shock. As the passage of the reverse shock dissociates any existing molecules, the CO has most likely reformed in the last few years, in the post-shock gas. The CO cooling time is comparable to the CO formation time, so possible heating sources (UV photons from the shock front, X-rays, electron conduction) to maintain the large column density of warm CO are discussed.

Massive stars in their late stages of evolution as Red Supergiants experience mass loss. The resulting winds show various degrees of dynamical and chemical complexity and produce molecules and dust grains. This review summarises our knowledge of the molecular and dust components of the wind of Red Supergiants, including VY CMa and Betelgeuse. We discuss the synthesis of dust as a non-equilibrium process in stellar winds, and present the current knowledge of the chemistry involved in the formation of oxygen-rich dust such as silicates and metal oxides.

Aims. We model the chemistry of the inner wind of the carbon star IRC+10216 and consider the effect of periodic shocks induced by the stellar pulsation on the gas to follow the non-equilibrium chemistry in the shocked gas layers. We consider a very complete set of chemical families, including hydrocarbons and aromatics, hydrides, halogens and phosphorous-bearing species. Derived abundances are compared to the latest observational data from large surveys and Herschel. Results. The shocks induce a non-equilibrium chemistry in the dust formation zone of IRC+10216 where the collision destruction of CO in the post-shock gas triggers the formation of O-bearing species (H2O, SiO). Most of the modelled abundances agree very well with the latest values derived from Herschel data on IRC+10216. Hydrides form a family of abundant species that are expelled into the intermediate envelope. In particular, HF traps all the atomic fluorine in the dust formation zone. Halogens are also abundant and their chemistry is independent of the C/O ratio of the star. Therefore, HCl and other Cl-bearing species should also be present in the inner wind of O-rich AGB or supergiant stars. We identify a specific region ranging from 2.5 R* to 4 R*, where polycyclic aromatic hydrocarbons form and grow. The estimated carbon dust-to-gas mass ratio derived from the mass of aromatics ranges from 1.2 x 10^(-3) to 5.8 x 10^{-3} and agrees well with existing observational values. The aromatic formation region is located outside hot layers where SiC2 is produced as a bi-product of silicon carbide dust synthesis. Finally, we predict that some molecular lines will show flux variation with pulsation phase and time (e.g., H2O) while other species will not (e.g., CO). These variations merely reflect the non-equilibrium chemistry that destroys and reforms molecules over a pulsation period in the shocked gas of the dust formation zone.

The first molecules detected at infrared wavelengths in the ejecta of a Type II supernova, namely SN1987A, consisted of CO and SiO. Since then, confirmation of the formation of these two species in several other supernovae a few hundred days after explosion has been obtained. However, supernova environments appear to hamper the synthesis of large, complex species due to the lack of microscopically-mixed hydrogen deep in supernova cores. Because these environments also form carbon and silicate dust, it is of importance to understand the role played by molecules in the depletion of elements and how chemical species get incorporated into dust grains. In the present paper, we review our current knowledge of the molecular component of supernova ejecta, and present new trends and results on the synthesis of molecules in these harsh, explosive events.

Context: The presence of water in the wind of the extreme carbon star IRC+10216 has been confirmed by the Herschel telescope. The regions where the high-J H2O lines have been detected are close to the star at radii r \geq 15 R\ast. Aims: We investigate the formation of water and related molecules in the periodically-shocked inner layers of IRC+10216 where dust also forms and accelerates the wind. Methods: We describe the molecular formation by a chemical kinetic network involving carbon-and oxygen-based molecules. We then apply this network to the physical conditions pertaining to the dust-formation zone which experiences the passage of pulsation- driven shocks between 1 and 5 R\ast. We solve for a system of stiff, coupled, ordinary, and differential equations. Results: Non-equilibrium chemistry prevails in the dust-formation zone. H2O forms quickly above the photosphere from the synthesis of hydroxyl OH induced by the thermal fragmentation of CO in the hot post-shock gas. The derived abundance with respect to H2 at 5 R\ast is 1.4\times10-7, which excellently agrees the values derived from Herschel observations. The non-equilibrium formation process of water will be active whatever the stellar C/O ratio, and H2O should then be present in the wind acceleration zone of all stars on the Asymptotic Giant Branch.

Two distinct scenarios for the origin of the ~ 4 \times 10^8 M\odot of dust observed in the high-redshift (z = 6.4) quasar J1148+5251 have been proposed. The first assumes that this galaxy is much younger than the age of the universe at that epoch so that only supernovae (SNe) could have produced this dust. The second scenario assumes a significantly older galactic age, so that the dust could have formed in lower-mass asymptotic giant branch (AGB) stars. Presenting new integral solutions for the chemical evolution of metals and dust in galaxies, we offer a critical evaluation of these two scenarios, and observational consequences that can discriminate between the two. We show that AGB stars can produce the inferred mass of dust in this object, however, the final mass of surviving dust depends on the galaxy's star formation history (SFH). In general supernovae cannot produce the observed amount of dust unless the average SN event creates over ~ 1 M\odot of dust in its ejecta. However, special SFHs can be constructed in which SNe can produce the inferred dust mass with a reasonable average dust yield of ~ 0.15 M\odot. The two scenarios propose different origins for the galaxy's spectral energy distribution, different star formation efficiencies and stellar masses, and consequently different comoving number densities of J1148+5251-type hyperluminous infrared (IR) objects. The detection of diagnostic mid-IR fine structure lines, and more complete surveys determining the comoving number density of these objects can discriminate between the two scenarios.

The formation of Polycyclic Aromatic Hydrocarbons in the circumstellar outflows of evolved stars is reviewed, with an emphasis on carbon stars on the Asymptotic Giant Branch. Evidence for PAHs present in their winds is provided by meteoritic studies and recent observations of the Unidentified Infrared bands. We detail the chemical processes leading to the closure of the first aromatic ring as well as the growth mechanisms leading to amorphous carbon grains. Existing studies on PAH formation in evolved stellar envelopes are reviewed and new results for the modelling of the inner wind of the archetype carbon star IRC+10216 are presented. Benzene, C6H6, forms close to the star, as well as water, H2O, as a result of non-equilibrium chemistry induced by the periodic passage of shocks. The growth process of aromatic rings may thus resemble that active in sooting flames due to the presence of radicals like hydroxyl, OH. Finally, we discuss possible formation processes for PAHs and aromatic compounds in the hydrogen-rich R CrB star, V854 Cen, and their implication for the carriers of the Red Emission and the Diffuse Interstellar Bands.

We study the formation of molecular precursors to dust in the ejecta of Population III supernovae using a chemical kinetic approach. Our work focuses on zero-metallicity 20 Msun and 170 Msun progenitors, and we consider fully-macroscopically mixed and unmixed ejecta. The nucleation stage for small silica, metal oxides and sulphides, pure metal, and carbon clusters is described with a new chemical reaction network. We consider the effect of the pressure dependence of critical nucleation rates, and test the impact of microscopically-mixed He+ on carbon dust formation. The unmixed ejecta of a 170 Msun progenitor supernova synthesizes ~ 5.6 Msun of small clusters, while its 20 Msun counterpart produces ~ 0.103 Msun. Our results point to smaller amounts of dust formed in the ejecta of Pop. III supernovae by a factor ~ 5 compared to values derived by previous studies, and to different dust chemical composition. Such deviations result from some erroneous assumptions made, the inappropriate use of classical nucleation theory to model dust formation, and the omission of the synthethis of molecules in supernova ejecta. Unmixed ejecta of massive Pop. III supernovae chiefly form silica and/or silicates, and pure silicon grains whereas their lower mass counterparts form a dust mixture dominated by silica and/or silicates, pure silicon and iron sulphides. Amorphous carbon can only condense in ejecta where the carbon-rich zone is deprived of He+. The first dust enrichment to the primordial gas in the early universe from Pop. III massive supernova comprises primarily pure silicon, silica and silicates. If carbon dust is present at redshift z> 6, alternative dust sources must be considered.

We review the observational evidence for dust formation in Wolf-Rayet binary systems and in Type II Supernova ejecta. Existing theoretical models describing the condensation of solids in carbon-rich Wolf-Rayet stars and in Supernovae close by and at high redshift are discussed. We describe new modeling of carbon- and oxygen-based grain nucleation using a chemical kinetic approach applied to the ejecta of massive pair-instability Supernovae in the early universe. Finally, dust formation processes in colliding wind regions of WC binary systems are discussed.

We study the formation and destruction of molecules in the ejecta of Population III supernovae (SNe) using a chemical kinetic approach to follow the evolution of molecular abundances from day 100 to day 1000 after explosion. The chemical species included range from simple di-atomic molecules to more complex dust precursor species. All relevant chemical processes that are unique to the SN environment are considered. Our work focuses on zero-metallicity progenitors with masses of 20, 170, and 270 Msun, and we study the effect of different levels of heavy element mixing and the inward diffusion of hydrogen on the ejecta chemistry. We show that the ejecta chemistry does not reach a steady state within the relevant time-span for molecule formation. The primary species formed are O2, CO, SiS, and SO. The SiO, formed as early as 200 days after explosion, is rapidly depleted by the formation of silica molecular precursors in the ejecta. The rapid conversion of CO to C2 and its thermal fractionation at temperatures above 5000 K allow for the formation of carbon chains in the oxygen-rich zone of the unmixed models, providing an important pathway for the formation of carbon dust in hot environments where the C/O ratio is less than 1. We show that the fully-mixed ejecta of a 170 Msun progenitor synthesizes 11.3 Mun of molecules whereas 20 Msun and 270 Msun progenitors produce 0.78, and 3.2 Msun of molecules, respectively. The admixing of 10 % of hydrogen into the fully-mixed ejecta of the 170 Msun progenitor increases its molecular yield to ~ 47Msun. The unmixed ejecta of a 170 Msun progenitor supernova without hydrogen penetration synthesizes ~37 Msun of molecules, whereas its 20 Msun counterpart produces ~ 1.2 Msun. Finally, we discuss the cosmological implication of molecule formation by Pop. III SNe in the early universe.

We study the ejecta chemistry of a zero-metallicity progenitor, massive, supernova using a novel approach based on chemical kinetics. Species considered span the range of simple, di-atomic molecules such as CO or SiO to more complex species involved in dust nucleation processes. We describe their formation from the gas phase including all possible relevant chemical processes and apply it to the ejecta of a primordial 170 Msun supernova. Two ejecta cases are explored: full mixing of the heavy elements, and a stratified ejecta reflecting the progenitor nucleosynthesis. Penetration of hydrogen from the progenitor envelope is considered. We show that molecules form very efficiently in the ejecta of primordial supernovae whatever the level of mixing and account for 13 to 34% of the total progenitor mass, equivalent to 21 to 57 Msun of the ejecta material in molecular form. The chemical nature of molecules depends on mixing of heavy elements and hydrogen in the ejecta. Species produced include O2, CO, CO2, SiS, SO, SiO and H2. Consequently, molecules can be used as observational tracers of supernova mixing after explosion. We conclude that primordial massive supernovae are the first molecule providers to the early universe.

Asymptotic Giant Branch (AGB) stars are typified by strong dust-driven, molecular outflows. For long, it was believed that the molecular setup of the circumstellar envelope of AGB stars is primarily determined by the atmospheric C/O ratio. However, recent observations of molecules such as HCN, SiO, and SO reveal gas-phase abundances higher than predicted by thermodynamic equilibrium (TE) models. UV-photon initiated dissociation in the outer envelope or non-equilibrium formation by the effect of shocks in the inner envelope may be the origin of the anomolous abundances. We aim at detecting (i.) a group of `parent' molecules (CO, SiO, HCN, CS), predicted by the non-equilibrium study of Cherchneff (2006) to form with almost constant abundances independent of the C/O ratio and the stellar evolutionary stage on the Asymptotic Giant Branch (AGB), and (ii.) few molecules, such as SiS and SO,which are sensitive to the O- or C-rich nature of the star. Several low and high excitation rotational transitions of key molecules are observed at mm and sub-mm wavelengths with JCMT and APEX in four AGB stars: the oxygen-rich Mira WX Psc, the S star W Aql, and the two carbon stars V Cyg and II Lup. A critical density analysis is performed to determine the formation region of the high-excitation molecular lines. We detect the four `parent' molecules in all four objects, implying that, indeed, these chemical species form whatever the stage of evolution on the AGB. High-excitation lines of SiS are also detected in three stars with APEX, whereas SO is only detected in the oxygen-rich star WX Psc. This is the first multi-molecular observational proof that periodically shocked layers above the photosphere of AGB stars show some chemical homogeneity, whatever the photospheric C/O ratio and stage of evolution of the star.

The gas-phase non-equilibrium chemistry of the inner wind of the oxygen-rich Mira variable IK Tau (NML Tau) is investigated using a physio-chemical model describing the periodically shocked gas close to the stellar photosphere. We predict the formation in large amounts of a few carbon species in the inner envelope, in particular CO$_2$, which has been recently detected with ISO in the spectra of several oxygen-rich semi-regular and Mira stars. The theoretical abundances are also in excellent agreement with values derived from millimeter and sub-millimeter observations, pointing to the fact that some carbon species in oxygen stars do form from shock chemistry in the inner layers and travel the envelope as ``parent'' species.