this paper is a forward modeling investigation of the plasma dynamics of polar plumes .
these so - called `` polar rays '' or polar plumes ( e.g. , van de hulst 1950 ; saito 1958 ; harvey 1965 ; koutchmy , 1977 ; deforest et al .
1997 ) trace open magnetic field lines to different heights depending on observation type . in extreme ultraviolet ( euv ) emission line spectroheliograms , plumes appear as short spikes near the polar limb ( bohlin et al . 1975a ; ahmad & withbroe 1977 ; widing & feldman 1992 ; walker et al .
1993 ) with unchanged shape and sudden brightness changes over typical lifetimes ranging from several hours to days ( see deforest et al . 1997 ; del  zanna et al .
euv observations can be used to characterize the bases of polar plumes and also their plasma characteristics ( densities , temperatures , flows , abundances , etc . ) and also other processes such as heating , wave propagation , etc .
( e.g. bohlin et al .
1975b ; walker et al .
1988 , 1993 ) .
soft x - rays show mainly the hot plasma at the foot - points of the plumes ( e.g. , ahmad & webb , 1978 ) that are also seen as weak radio sources ( gopalswamy et al . , 1992 ) .
deforest et al . ( 1997 , 2001a ) have shown that most white light polar rays can be associated directly with the euv polar plumes and their foot - points on the solar surface .
above the solar limb , polar plumes appear brighter than the surrounding media , suggesting that they are denser than the background corona or inter - plume regions ( e.g. van de hulst 1950 ; saito 1958 & 1965 ; etc ) .
the coronal - background electron density is about @xmath2 @xmath3 and falls sharply with height ( see different density models in raouafi & solanki 2006 ) . in comparison ,
the density of polar plumes ranges from @xmath4 @xmath3 ( del  zanna et al .
1997 ; young et al . 1999 ) .
young et al . ( 1999 ) reported electron densities corresponding to the strong brightenings at plume foot - points of the order of @xmath5 @xmath3 and found no decrease with height up to 70 mm .
they also inferred temperatures of the order of 2 mk . in a recent publication , wilhelm ( 2006 ) using off - limb spectroscopic measurements from the spectrometer sumer ( wilhelm et al .
1995 ) on board soho ( domingo et al . 1995 ) found that plumes are approximately 5 - 6 times denser than inter - plume regions up to @xmath6 .
the plume - interplume density ratio changes little in this height range . note that these are off - limb measurements and they do not take into account the plume area projected on the solar disk .    the contribution of polar plumes to the fast solar wind arising from the polar coronal holes has been a subject of debate and controversy . in general , plumes are thought to harbor smaller outflow speeds than inter - plume regions ( e.g. , habbal 1992 ; wang 1994 ; hassler et al .
1999 ; etc ) .
thus , polar plumes observed above the solar limb seem to be nearly in hydrostatic equilibrium and show small or no line shifts , suggesting that the bulk of the acceleration of the solar wind takes place at larger heights ( see del  zanna et al .
1997 ; kohl et al . 1997 ; wilhelm et al . 2000 ; teriaca et al . 2003 ) .
doppler dimming techniques applied to soho / uvcs ( kohl et al .
1995 ) observations of the lines have shown outflows in inter - plume dark lanes ranging from 100 to 150 km  s@xmath7 at @xmath8 from sun center and smaller speeds in bright plumes ( 0 - 65 km  s@xmath7 ; see giordano et al .
however , gabriel et al . ( 2003 ) used the doppler dimming technique applied to soho / sumer data and found the intensity ratio of the doublet to be smaller in plumes than in inter - plumes .
they concluded that outflow speeds of the solar wind are greater in plumes than in inter - plumes .
unfortunately , they did not analyze line profiles , in particular the line widths , on which the doppler dimming effect depends .
euv coronal emissions in spectral lines that are formed within narrow temperature ranges are excellent temperature diagnostics for different coronal structures .
soho / eit ( delaboudinire et al .
1995 ) images ( 195   that forms at @xmath9 mk and /@xmath10 171   at @xmath11 mk ) reveal that plumes are cooler than the background corona ( deforest et al .
1997 ; young et al . 1999 ) .
spectral analysis have also shown that uv lines are narrower in plumes than in inter - plume regions ( e.g. 1032   line widths are 10 - 15% lower ; hassler et al .
1997 ; etc ) .
this suggests that the plume material is relatively cooler than or has less turbulence than dark lane plasma ( inter - plume regions ) .
wilhelm et al . ( 1998 ) used intensity ratios of temperature sensitive lines for accurate measurements of temperatures in the low corona .
they found evidence for an increasing temperature with height in the background corona , but no rise of temperature in plumes ( see also young et al .
1999 ) .
the geometry of plumes is an important key in understanding their contribution to the fast solar wind .
the high - speed solar wind at even moderate solar latitudes is thought to originate within coronal holes at high latitudes and to be affected by superradial expansion of the coronal hole magnetic field ( zirker 1977 ) . from white light observations plumes
are thought to also expand superradially with altitude ( ahmad & withbroe 1977 ; munro & jackson 1977 ; fisher & guhathakurta 1995 ) .
deforest et al . ( 1997 ) found that plumes expand highly superradially ( with a half - cone angle of 45 ) in their lowest 20 - 30 mm , and more slowly above .
deforest et al . ( 2001b ) also found that below @xmath12 plumes expand superradially at the same rate as the background coronal hole .
however , woo &  habbal ( 1999 ) and woo et al .
( 1999 ) have claimed to observe radial , rather than superradial , expansion of plumes in the coronal holes .
speculation on interaction between plume and inter - plume material has been reported , in particular at high altitudes in the corona .
saito and tanaka ( 1957a , b ) were the first to associate plumes with magnetic flux concentrations ( faculae ) in the polar regions .
polar plumes arise from footpoints 2 - 4 mm ( @xmath13 ) wide and expand rapidly with height ( see deforest et al .
a simulation has shown that a typical plume width at the base of the corona is 20 to 28 mm ( klaus wilhelm , private communication ) .
several authors ( harvey 1965 ; newkirk & harvey 1968 ; lindblom 1990 ; allen 1994 ; etc . ) have suggested that polar plumes arise mainly from unipolar magnetic structures coinciding with the supergranular network boundaries
. however , deforest et al . (
1997 ) have shown that not all of the flux concentrations give rise to polar plumes .
other authors suggest that unipolar magnetic flux concentrations reconnect with ephemeral emergent flux having opposite polarity ( saito 1965 ; wang 1994 , 1998 ; wang & sheeley 1995 ; etc ) .
this is supported by the high temperature observed at the plume footpoints , producing high pressure plasma from the dipole that can escape along open field lines .
deforest et al . ( 2001b ) found that polar plumes are of episodic nature : `` polar plumes are both transient and persistent : they are recurring structures that brighten for only 1 day but reappear at approximately the same location for up to 2 - 3 weeks '' .
they speculate that this behavior is the result of multiple magnetic reconnections of the unipolar flux concentrations at the network boundaries encountering multiple ephemeral dipoles driven by supergranular motion .
we consider model plumes having different outflow speeds and turbulence and calculate the line profile shape of the plume plasma .
we use the observed profile shapes of the lines as primary criteria to select the appropriate height variation of those quantities .
we then refine them to reproduce the other measured quantities , i.e. line widths , total intensities and intensity ratios .
in the following sections , we study the effect of polar plume locations along the line of sight on the line profiles and intensities of the doublet and ly@xmath0 .
the comparison with the observed quantities deduced from soho / uvcs spectra allows us to constrain the dynamic properties of the plasma inside plumes . in section 2 , we present a summary of plume spectroscopic observations by soho / uvcs and highlight the spectral properties of 1032   .
a polar plume model is described in section 3 and the results from this model are presented and discussed in sections 4 - 7 .
conclusions and prospects are to be found in section 8 .
a preliminary version of some of the results has been reported by raouafi et al .
the ultraviolet coronagraph spectrometer ( uvcs ; kohl et al .
1995 ) has provided important spectral information on coronal lines in polar holes .
the main spectral lines recorded by uvcs are ly@xmath0 , the doublet at 103  nm and the doublet centered at around 61  nm ( in the order of decreasing emission ) .
spectral analysis of uvcs data has shown that  ly@xmath0 has , to a good approximation , a gaussian shape at all heights accessible to this instrument .
kohl et al .
( 1999 ) pointed out small deviations from gaussians at the profile peaks , allowing for two line components resulting from the contributions of different plasma media with different properties along the los .
giordano et al . (
1997 ) have also shown that ly@xmath0 profiles are narrower when ray paths intersect high density structures ( plumes ) than otherwise ( inter - plumes ) .
the change with height of the line profiles is more complex than for ly@xmath0 . while at low altitudes ( say below @xmath14 ) the observed profiles are relatively gaussian shaped , with small deviations in the wings and peaks , more pronounced deviations of the observed profiles from a single gaussian are clearly seen in the observations at higher altitudes up to about @xmath15 . at this height , the profiles are well represented by two gaussian components : a narrow and a broad one .
the latter appears to be associated with regions of low density ( inter - plume regions ) while the narrow component shows a clear association with the denser regions along the los ( higher emission regions : e.g. , polar plumes ) .
the spectral behavior of the two components as a function of height above the limb is quite different .
the width of the broad component increases dramatically with height , while that of the narrow one remains almost constant ( see kohl et al .
1997 ; 1999 ) .
lines have a narrow component at @xmath16 , accounting for only a small fraction of the observed spectral radiance . for higher altitudes ,
the observations are not good enough to distinguish whether or not a narrow coronal component exists .
kohl et al .
( 1999 ) have shown also that the @xmath17 values for the narrow components of and are smaller than those for 1216   at the same heights , and the narrow value is smaller than that of .    at the solar activity
minimum the polar coronal holes are well developed and bordering streamers appear not to reach the uvcs observation altitudes , making it very likely that narrow components are contributions of fine structures inside the polar coronal hole .
polar plumes are the most prominent features at the heights at which uvcs observes , which makes them the main source of the narrow component observed in the spectral lines .    figs .
[ september19 - 231997 ] and [ june031996 ] display spectral profiles of 1032  recorded directly above the pole on 1997 september 19 - 23 and 1996 june 03 , respectively , using the @xmath18 long uvcs slit .
eit images and kitt peak vacuum telescope magnetograms clearly show the presence of polar plumes against the solar disk and magnetic concentrations with footpoints at @xmath19 ( fig .
[ september19 - 231997 ] ) and @xmath20 ( fig .  [ june031996 ] ) away from the north pole .
the profiles in the first figure are formed of two distinct components ( narrow and broad ) .
two gaussians are needed to give satisfactory fits to the profiles at @xmath21 and partly also around @xmath22 , although with a small contribution of the narrow component .
however , the profiles in the second figure are very close to a gaussian in shape , although they show a small degree of asymmetry .
thus , the spectral profiles depend relatively strongly on the distance of the plume footpoints to the pole and also on to the brightness of the plume . in other words
, they depend on where the plume crosses the los at a given altitude .
this difference in the profile shapes is a valuable tool to study plasma dynamic in these coronal fine structures .
the characteristics of the plumes spectral contribution ( narrow component ) to lines as observed by uvcs are summarized as follows :    * dominates the profiles below @xmath23 and decreases above ; * not seen in the profiles beyond @xmath24 .
only the broad component remains above this altitude .
note that the noise level in the profiles increases with height , which might screen small contributions from fine coronal structures along the los ; * mostly located at the center of the broad component which is close to the rest wavelength of the spectral lines .
thus , no significant doppler shifts are observed for the narrow component ; * the width of narrow component hardly changes as function of height in the range where this latter is observed ( see kohl et al .
in order to study the influence of polar plumes on the los - integrated profiles of and , we consider a number of plumes aligned along the los , with foot points placed at different angular locations in the polar coronal hole ( see fig .
[ ppmes_spat_dist ] ) .
the importance of the angular locations of the plume footpoints is enhanced because of the superradial expansion of the magnetic field .
the footpoint location determines the los outflow speed of the plume plasma at the location where the plume crosses the los .
based on the work of deforest et al .
( 2001b ) and others we assume that plumes expand superradially at the same rate as the surrounding background corona ( inter - plumes ) according to the global magnetic model by banaszkiewicz et al .
the electron density is considered to be greater in plumes than in inter - plumes , following wilhelm et al .
( 1998 ) and wilhelm ( 2006 ) .
the density contrast is largest just above the solar surface and decreases gently with height , such that it disappears above @xmath25 ( see set in fig .
[ ippp_densities ] ) .
the inter - plume electron density stratification is obtained from soho data ( sumer , uvcs and lasco ( brueckner et al .
1995 ) ; see doyle et al .
1999a , b : solid line in fig .  [ ippp_densities ] ) .
the density profile of plumes ( dashed line in fig .
[ ippp_densities ] ) is obtained by considering a higher density at the footpoints at the solar surface ( @xmath26 ; see del  zanna et al .
1997 ; young et al . 1999 ) and a lower temperature inside plumes ( @xmath27 ) than in inter - plumes ( @xmath28 and @xmath29 , respectively , for the model by doyle et al .
1999a , b ) .
the variation of both densities as a function of height is given by eq .
( 1 ) in doyle et al . ( 1999a , b ) .
we assume that the considered coronal species have simple maxwellian velocity distributions inside both plume and inter - plume regions , but with different velocity turbulence values , @xmath30 , that are functions only of height in both structures .
the plume outflow speed , @xmath31 , is assumed to be proportional to the solar wind speed in inter - plume regions , @xmath32 , and the proportionality coefficient is assumed to depend only on the radial distance to sun center : @xmath33 , where @xmath34 is obtained through the mass - flux conservation equation . because of the lack of conclusive observational results concerning @xmath35 and @xmath36 we consider height profiles for each .
two cases are considered for the plume velocity turbulence : @xmath37 constant ( @xmath38 for the lines following observational values from kohl et al .
1997 , 1999 ) and a height - dependent turbulent velocity @xmath39 .
the value of @xmath40 is approximately the observed width of the narrow component as measured at @xmath41 ( see fig .  3 of kohl et al . , 1999 ) . in the latter case a low value of the turbulence
is prescribed at low altitudes , which increases to reach the inter - plume value above @xmath42 .
three cases are considered for @xmath35 : constant , linear and non - linear .
the data presented in figs .
[ september19 - 231997 ] and [ june031996 ] correspond to plumes based between @xmath43 from the pole . in order to compare our simulations with these observed profiles ,
we limit ourselves in this section to the very left plume in fig .
[ ppmes_spat_dist ] that has its foot - point centered at @xmath44 from the pole .
this plume lies between the examples shown in figs .
[ september19 - 231997 ] and [ june031996 ] .    in the present section ,
we consider the four test cases ( sections 4.1 - 4.4 ) presented in table  1 .
note that we have computed the lines also for the remaining combinations of @xmath45 and @xmath31 , but nothing new was to be learned from them .
& @xmath46 & @xmath47 + 2 .
& @xmath46 & @xmath48 + 3 .
& @xmath49 & @xmath48 + 4 . &
@xmath49 & @xmath50 +    for the inter - plume regions , the plasma properties are similar to those found by raouafi & solanki ( 2004 & 2006 ) .
the theoretical formalism used here for the line profile computations is discussed by raouafi & solanki ( 2004 ) and references therein . in the present section ,
we limit ourselves to discussing the profiles of the 1032   line .
1037   is also computed and is found to behave similarly to the 1032   line .
ly@xmath0 profiles are also computed , but this line is less sensitive to the behavior of @xmath51 and @xmath52 and its shape does not change as much as that of 1032   .
thus , in contrast to the lines , the ly@xmath0 profile is close to a gaussian for most plume parameters and at most heights .      in a first step , we consider a plasma outflow speed inside plumes that is equal to a constant fraction of that in the inter - plume regions .
plume speeds that are smaller and greater than inter - plume values are considered ( @xmath53 & @xmath54 ) .
@xmath45 is height independent and equal to 50  km  s@xmath7 .
[ fig_o6_pp_pap_asc_vppcvip ] displays the profiles of the los - integrated 1032   line at @xmath8 and @xmath55 for different @xmath56 values . for small @xmath56 , the plume contribution ( narrow component )
dominates the profiles at low altitudes , showing some resemblance with the observed profiles ( see solid lines in figs .  [ fig_o6_pp_pap_asc_vppcvip]a - b ) .
however , at high altitudes the narrow component is still clearly present with a strength well above the typical noise level present in the observed profiles . for greater values of @xmath56 ( figs .
[ fig_o6_pp_pap_asc_vppcvip]c - d ) , the plume contribution is doppler shifted away from the line peak already at low altitudes ( due to the location of the considered plume relatively far from the pole ) .
this produces strongly asymmetric profiles , unlike the observed ones .
also , the plume contribution is still significant at high altitudes .
the present case ( @xmath57 ) does not reproduce the overall observed profiles .
consequently , it does not reflect the plasma conditions and mechanisms and taking place in polar plumes .    nonetheless , the computations suggest that outflow speeds in plumes are likely to be much smaller ( @xmath58 ) than inter - plume values at low altitudes .
this avoids large contributions from plumes far from the central wavelength of the observed line irrespective of their footpoint location .
plume outflow speeds close to or greater than than the inter - plume values at low altitudes will be excluded in the rest of the analysis .      in this section , we keep a height - independent velocity turbulence inside plumes ( @xmath59  km  s@xmath7 ) .
however , the plume - interplume outflow speed ratio is now allowed to vary linearly with height , such that @xmath60 where @xmath61 and @xmath62 are constants chosen such that @xmath63 is zero or very close to zero at the solar surface and increases toward unity at high altitudes , roughly above @xmath64 . a possible mechanism for such an acceleration of the plume plasma could be interaction with the surrounding background medium having higher outflow speeds .
we consider the three height profiles of @xmath65 that are given in fig .
[ asconsvpplvip]a .
los - integrated profiles computed along rays reaching @xmath15 and @xmath55 from disk center are plotted in figs .
[ asconsvpplvip]b - c .
the obtained profiles are to some extent similar to those in fig .
[ fig_o6_pp_pap_asc_vppcvip ] for @xmath66 .
although the profiles at low altitudes now all have the narrow component nearly centered at the broad component , which is close to the observations , those obtained at high altitudes have the same significant narrow contributions shifted to the wings of the profile .
such a signal is not observed in the corona .
the plume outflow speed is that of case 2 , while the velocity turbulence of the plume plasma is assigned a height - dependent function .
a variation in the velocity turbulence appears natural if cool plume and hot inter - plume material interacts .
due to the lack of observational results concerning the variation of both parameters , we assume , for simplicity , similar profiles for the turbulence inside plumes and inter - plumes @xmath67 .
thus , @xmath36 has the following functional form ( see raouafi & solanki 2004 , 2006 ) @xmath68 where @xmath69 , @xmath70 , @xmath71 and @xmath72 are adjustable parameters whose values have been selected in order to get as close as possible to the observations . since there is observational evidence for cooler plume plasma than in inter - plumes , we assume that @xmath36 is smaller than @xmath67 at low altitudes and converges gently towards the large values of @xmath73 ( see fig .
[ vpplvvip_alpsppnl]a ) .
this guarantees the presence of a narrow component at low heights and progressively broader plume profiles as we move further above the solar limb .    figs .
[ vpplvvip_alpsppnl]b - h displays the 1032   line profiles obtained for lines - of - sight ranging from @xmath74 to @xmath75 above the pole for the plume outflow speed profiles shown in fig .
[ asconsvpplvip]a . at altitudes below @xmath76 the contribution of polar plumes to the line profile is narrower than that of inter - plumes and is approximately centered at the rest wavelength of the line .
this results in approximately gaussian - shaped line profiles that are slightly narrower than those obtained without polar plumes ( see fig .  [ vpplvvip_alpsppnl]b ) . for @xmath77 a profile that can be well represented by two gaussians and that resembles the observed profiles
is obtained ( figs .  [ vpplvvip_alpsppnl]c - f ) .
the broad component is due to inter - plume material , the narrow component to plumes . due to the low plume outflow speeds at these altitudes , the doppler shift of the narrow component is low .    above @xmath78 ,
the increase in the plume velocity turbulence results in increasingly broader plume contributions , so that the line profile ( see figs .  [ vpplvvip_alpsppnl]g - h ) takes on the approximate shape of a single gaussian for the dashed velocity profile in fig .
[ asconsvpplvip]a ( dotted lines in the same figure ) . for the other velocity models ,
the plume component is narrower , in particular , for the dotted plume velocity model , so that one can still distinguish two line components at high altitudes .
hence , high plume outflow speeds at @xmath79 that are closer to inter - plume values fit the observations better than smaller ones .
the present case is in better agreement with the observation than cases 1 and 2 , although the agreement is not perfect , both at very low and very high altitudes .
e.g. at low altitudes the plume contribution does not dominate the los - integrated profiles .
probably the plume outflow speed at these altitudes is still high enough to dim the radiative plume component ( shifted from resonance due to the small velocity turbulence ) .
improvement can be obtained by considering a non - linear height - dependent @xmath65 allowing for lower and higher plume speeds at low and high altitudes , respectively .
this is the aim of case 4 .
the velocity turbulence in plumes @xmath36 is again described by eq.([nl_alpspp ] ) and is illustrated by the triple - dot - dashed curve in fig .
[ vpplvvip_alpsppnl]a .
the plume outflow speed is now considered to be related in a non - linear way to the inter - plume speed : @xmath80 where @xmath35 is illustrated by the solid line in fig .
[ vppnlvvip_alpsppnl]a .
the plume - inter - plume solar wind speed ratio is less than 10% below @xmath81 from sun center , and increases abruptly to more than 75% by about @xmath82 , then converges gently toward unity .
this profile allows more contribution from the plume radiative component at @xmath83 and favors broader plume profiles at @xmath84 .
the los - integrated 1032   line profiles are displayed in figs .
[ vppnlvvip_alpsppnl]b - h , together with the plume ( dotted profile ) and inter - plume ( long - dashed line ) contributions .
the plume contribution is now , as expected , more significant at low altitudes , in particular below @xmath85 and dominates the profile below @xmath86 ( see fig .  [ vppnlvvip_alpsppnl]b )
.    the change in the plume contribution is due to combined effects of the electron density decrease but mostly to the variation of the outflow speed and turbulence of the plasma inside plumes .
the calculated profiles are close to a gaussian shape at @xmath87 and display increasingly a bi - gaussian shape above this altitude up to @xmath88 ( figs .
[ vppnlvvip_alpsppnl]c - d ) . above @xmath89 ,
the obtained profiles can not be represented by one gaussian and the two components ( narrow and broad ) can be distinguished even without fitting .
the width of the plume component increases relatively rapidly above @xmath81 and so does its doppler shift .
this sudden change in the profile of the plume contribution allows the two ( broad and narrow ) components to merge completely above @xmath90 .
the resemblance of the computed profiles to the observed ones is now uniformly good ( compare profiles in figs .
[ september19 - 231997 ] & [ vppnlvvip_alpsppnl ] ) .
note that greater gas densities in plumes above @xmath91 than the one considered here allow for a greater contribution from plumes that results in broader los - integrated profiles at high altitudes , that are even closer to the observed ones .
any remaining small differences between computed and observed profiles could also reflect the footpoint location of the modeled plume , or the possible presence of multiple plumes along the los in the observations .
case 4 best reproduces the observed profile shapes .
we expect this model to be the closest to the plasma conditions in the polar plumes . in other words ,
the plume material remains cooler and much slower than the inter - plume plasma up to @xmath81 from sun center , where a rapid increase in both outflow speed and effective temperature takes place , leading to plume dynamic properties converging towards those of inter - plume region within the next solar radius .
the rapid change in plume plasma properties is likely to be due to interaction between the cool and slow plume and hot and fast inter - plume materials , although some authors speculated that this interaction takes place much higher in the solar corona ( see introduction ) . in the next sections
, we will consider this case only for an extensive study of the profiles and total intensities of the different spectral lines considered here .
the contribution of polar plumes located very close to or on the pole will also be discussed .
fig .  [ vppnlvvip_alpsppnl_wtirat ] displays the height dependence above the pole of the 1032   line width ( fig .  [
vppnlvvip_alpsppnl_wtirat]a ) and total intensity ( fig .
[ vppnlvvip_alpsppnl_wtirat]b ) as well as of the intensity ratio of the doublet ( figs .
[ vppnlvvip_alpsppnl_wtirat]c - d ) from slightly above the solar limb to @xmath92 from sun center . the profiles underlying this figure were computed according to case 4 ( section 4.4 ) .
they were fit with two gaussians below @xmath93 and with one gaussian above .
the widths of the broad and narrow components and of the single gaussian fit are represented by different symbols .
also plotted are values obtained from uvcs spectra together with their corresponding error bars according to kohl et al .
( 1997 ) and cranmer et al .
the narrow component widths hardly change with height up to @xmath93 and fit the measured values relatively well .
the widths of the broad component , however , change rapidly with height , leading to a non - gaussian shape of the composite profiles .
higher up the obtained line widths are comparable to those obtained by raouafi & solanki ( 2006 ; fig .
8) although they lie somewhat close to the measurements , in particular , around @xmath93 .
total intensities are also comparable to those computed by raouafi & solanki ( 2006 ) although the intensities below @xmath93 fit the observed values for the 1032   line better .
the change in total intensities can be more clearly seen in the intensity ratio of the doublet . above @xmath94 ,
the ratios obtained from the composite profiles ( full circles ) are improved compared to the case without plumes ( open circles ) , in particular , at low altitudes .
all the computed ratios now lie inside the error bars of uvcs measurements .
note that only simple maxwellian velocity distribution are used and no anisotropy in the kinetic temperature of the ions is considered .
below @xmath94 , the intensity ratios with plume contribution taken into account are smaller than those without plume contribution ( see bottom panel of fig .
[ vppnlvvip_alpsppnl_wtirat ] ) . in our computations
, this is due to the large electron density numbers in plumes compared to inter - plume densities and is not a solar wind effect as reported by gabriel et al .
( 2003 & 2005 ) .
in addition , we showed previously that plume wind speeds faster or just close to inter - plume speeds give line profiles different from those observed in the polar coronal holes . here
we demonstrate that the fast solar wind originates mainly from inter - plume regions and that the plume plasma remains slower and cooler up to approximately @xmath95 from sun center ( see fig .
fig .  [ lyalp_prwti]a displays the velocity turbulence used for the computation of ly@xmath0 ( solid line for inter - plume and dotted line for plume ) .
we assume the same @xmath96 variation of the plume velocity turbulence as in the case of the ions : small values at low altitudes and a rapid increase toward inter - plume values above @xmath81 .
the plume - inter - plume ratio of the outflow speed of the hydrogen atoms is assumed to be the same as for the ions in the previous section ( see fig .
[ vppnlvvip_alpsppnl]a ) .
note that the hydrogen outflow speed in inter - plume regions is lower than that of ions ( see raouafi & solanki 2006 ) .
the computed line profiles of ly@xmath0 are shown in fig .
[ lyalp_prwti]b - j ( solid - black lines ) together with the plume ( dot - dashed lines ) and inter - plume ( dotted lines ) contributions for different rays crossing the polar solar axis at different heights .
the red curves are single gaussian fits to the computed profiles .
the high quality of the fits at all heights demonstrates how close the computed profiles are to a gaussian shape
. however , small deviations from the single gaussian shape are noticeable , in particular , at low altitudes in the wings and peaks of the profiles .
kohl et al .
( 1999 ) observed similar deviations and interpreted them as due to the contribution of polar plumes .
note that slightly changing ( @xmath97 ) the model parameters ( i.e. the outflow speed and turbulence of the plasma inside plumes ) does not change much the obtained profiles , which remain gaussian shaped to a good approximation .
the widths of the computed line profiles are displayed in fig .
[ lyalp_prwti]k as a function of the projected heliocentric distance of the corresponding rays ( full circles ) .
the widths obtained without plumes ( open circles ) are also displayed for comparison , together with the best fit to uvcs observations ( solid curve ) and the error bars of the observed values ( vertical lines ; see cranmer et al .
line widths obtained in both cases ( with and without polar plumes ) are within the errors bars of the measured values .
however , the widths obtained with plumes taken into account fit the observed values better . by optimizing the number and position of plumes and their properties ,
an even better match to the observations may be obtained .
[ lyalp_prwti]l shows the total intensity of ly@xmath0 .
the best fit to the observed intensities along with the error bars are also displayed for comparison . at low altitudes ,
intensities obtained with plumes taken into account are very similar to those without plumes and are slightly greater than the measured ones .
however , at higher altitudes intensities obtained with plumes provide an improved fit to the observations .
generally , the presence of plumes along the los slightly increases the total intensity due to the density enhancement in plumes .
fig .  [ footpoints_fig]a - d shows the los - integrated profiles of the 1032   line with contributions from each of the four right - hand plumes in fig .
[ ppmes_spat_dist ] taken into account separately .
the contributions from the two polar plumes based at colatitude @xmath98 and @xmath99 ( the narrow component of the line profile ) dominate the profiles up to @xmath78 and remain clearly visible up to @xmath100 ( dotted and solid lines ) which is not the case for the observed profiles .
the reason for the continuing visibility of the truly polar plumes up to large altitudes is that the rapid acceleration of the solar wind in the plume hardly affects the plume profile , since it is almost perpendicular to the los .
the contribution from the plume at @xmath101 is important at low altitudes but relatively small at high altitudes ( dashed lines ) .
this suggests that polar plumes preferentially originate more than @xmath102 away from the pole .
the contribution from the plume with footpoint at @xmath103 ( dot - dashed lines ) is very similar to that shown in fig .
[ june031996 ] due to plumes at @xmath20 from the solar pole .
various authors have studied locations of polar plume foot - points within polar regions .
they traced plumes arising near the edges of coronal holes , relatively far away from the solar pole ( eclipse observations ; see saito 1965 ) .
in contrast , we did not find any report on plumes very close to the polar axis .
this case may be very rare for unknown physical reasons ( for example , bipolar flux may not emerge near the pole ) .
polar coronal plumes can be easily identified off - limb in white light ( lasco , eclipses ) and euv ( eit , trace ) images . on the solar disk , for instance by using eit images , it is also possible to trace them back to the solar surface , in particular , using images recorded in the wavelength bands containing the hot lines 171   and 195   that are regularly recorded by eit .
x - ray images also allow the determination of the locations of plume foot - points , that correspond very often to bright points reflecting the high temperatures there .
once the plume foot - points are identified , it is relatively easy to link them to the underlying magnetic structures using magnetograms .
data recorded daily over several consecutive days or better still weeks help to survey the latitudes of polar plume foot - points . for this purpose ,
periods of time when the solar axis is tilted toward the observer are more useful since the observation of a major area of the polar coronal hole including the pole is possible .
these times correspond to march and september of each year .
eit images recorded at solar minimum seem to support this hypothesis .
an average of all daily unsigned solis ( synoptic optical long - term investigations of the sun ) high sensitivity magnetograms recorded in september 2005 ( see bottom panel of fig .  [ footpoints_fig ] ) show magnetic flux concentrations preferentially between @xmath104 and @xmath105 latitude , although we are not at solar minimum yet .
another reason why plumes are more likely to have their footpoints some degrees away from the pole has got to do with the relative area available for plumes between 70 and @xmath106 is 3 times larger than at latitudes above @xmath106 .
however , preliminary analysis of solis magnetograms tends not to support the area argument .
this subject will be addressed in detail in a subsequent publication .
the aim of the present study is to obtain information on the height evolution of the plasma dynamics inside polar plumes .
we compared profile shapes of the doublet ( 1032 and 1037   ) and the ly@xmath0 spectral lines observed by soho / uvcs at different altitudes in polar coronal holes to synthetic profiles that include the contribution of polar plumes placed at different locations along the los .
observational constraints on these fine coronal structures ( densities , temperatures , geometry , ... ) have been taken into account following different reports in the literature .
since the outflow speed and kinetic temperature evolution with height are not conclusively known , we consider different height profiles for the outflow speed and plasma turbulence inside plumes and study how these choices influence the line profiles of the doublet , which are more sensitive to the detailed dynamic structure along the los than  ly@xmath0 .    by comparing the synthetic profiles to the observed ones in the polar coronal holes , we determined plausible height profiles for the outflow speed and plasma turbulence in polar plumes with respect to the surrounding background corona .
we find that models with constant ( height - independent ) velocity turbulence in the plumes show narrow components with a significant contribution to the los - integrated profile at all heights , in particular above @xmath107 where there is no observational indication of the presence of such a narrow component in the observed profiles .
this is independent of whether the plume outflow speed equals a constant or a height - dependent fraction of the inter - plume outflow speed .
synthetic profiles with shapes very similar to the observed ones are obtained when the plasma turbulence in plumes is height - dependent with similar variation to that in inter - plume regions and converges towards the latter at greater heights . at the same time , the outflow speed is small near the solar surface , but approaches the inter - plume value at greater heights .
the narrow component is found to contribute significantly to the resultant profiles at altitudes below @xmath108 and is increasingly dimmed above that altitude .
this model suggests that the plume plasma remains much slower and cooler ( in the sense that @xmath109 ) than inter - plume material up to @xmath110 . above @xmath110
these parameters experience a rapid rise towards inter - plume values reached by @xmath111 .
the rapid acceleration and increase in the effective temperature of the plasma inside plumes is probably the result of interaction with the faster and hotter inter - plume material .
the entrainment or mixing of material between plumes and inter - plumes is hindered by the magnetic field .
the smaller the magnetic energy density relative to the thermal or the kinetic energy density , the more efficiently entrainment takes place .
now consider the following numbers : from @xmath112 to @xmath113 the density @xmath114 decreases by a factor of approximately @xmath115 , while the area of a plume increases by roughly @xmath116 .
consequently the kinetic energy density , @xmath117 , remains roughly constant over this height range , while the magnetic energy density , @xmath118 drops by roughly a factor of @xmath115 .
this may explain why the plum properties remain distinct from those of the inter - plume gas up to about @xmath113 and then start to merge .
as far as the actual interaction is concerned , it may be enhanced by , e.g. , the kelvin - helmholtz instability which can act at the boundary between two streams with sufficiently different speeds .
in addition electron collisions may not be sufficient at heights @xmath119 to keep the different species in equilibrium . consequently , plume species are heated and accelerated differently and rapidly as the density drops sharply with height
. this may not be the case below this altitude where the density is high enough to keep all species in equilibrium contrasting inter - plumes regions where the ( electron ) density is smaller allowing for the plasma equilibrium to brake down at lower altitudes and thus the hotter and faster plasma compared to plume regions .
we find that observed profile shapes , line widths and total intensities of the doublet and of ly@xmath0 are better reproduced when the influence of appropriate plumes is included . in particular , the intensity ratios of the doublet below @xmath74 are smaller when the plume contribution is taken into account .
this is due to the density enhancement in the plume region .
this result is in disagreement with the interpretation preferred by gabriel et al .
( 2003 & 2005 ) that such a reduction in the ratio is due to the doppler dimming effect , which would imply a higher outflow speed in plumes than in inter - plume regions . in our analysis , such high outflow speeds in the plumes
produce synthetic profiles whose narrow component is doppler shifted towards a profile wing , in contrast to the observations .
it is noteworthy that including polar plumes increases the agreement of the computed profiles with the observed ones and with critical parameters like line width or line ratio even if no anisotropy in the temperature ( or turbulence velocity ) is included in the computations .
note that the properties of the plumes were constrained basically using the line profile shape only and the quantitative comparison with the line parameters and ratio was only carried out later .
this strengthens the thesis put forward by raouafi & solanki ( 2004 & 2006 ) that there is no compelling need for large anisotropies in temperature in coronal holes based on published uvcs data .
note that we have not tried to optimally reproduce the observed quantities by carrying out an exhaustive search in parameter space .
thus the obtained results can possibly be improved further by applying a @xmath120 minimization procedure to fit the line profiles .    plumes with footpoints within @xmath19 of the pole display significant narrow components even at altitudes above @xmath78 , contrary to the observations .
eit images during the solar minimum together with high sensitivity magnetograms from solis show evidence supporting the hypothesis that plumes originate away from the pole .
this subject will be studied in detail in a subsequent paper .
the authors would like to thank craig deforest for constructive comments and critics that greatly improved the manuscript and john raymond for helpful discussions .
the nso is operated by the association of universities for research in astronomy , inc . under cooperative agreement with the national science foundation .
ner work is supported by nso and the nasa grant nnh05aa12i .
cranmer , s. r. , kohl , j. l. , noci , g. , et al .
1999 , , 511 , 481 deforest , c. e. , hoeksema , j. t. , gurman , j. b. , thompson , b. j. , plunkett , s. p. , howard , r. , harrison , r. c. , hassler , d. m. 1997 , , 175 , 393              fisher , r. a. , & guhathakurta , m. 1995 , , 447 , l139 gabriel , a. h. , bely - dubau , f. , & lemaire , p. 2003
, , 589 , 623 gabriel , a. h. , abbo , l. , bely - dubau , f. , llebaria , a. , & antonucci , e. 2005 , , 635 , l185            harvey , j. w. 1965 , , 141 , 832 hassler , d. m. , wilhelm , k. , lemaire , p. , & schuehle , u. 1997 , , 175 , 375 hassler , d. m. , dammasch , i. e. , lemaire , p. , , brekke , p. , curdt , w. , mason , h. e. , vial , j .- c .
, & wilhelm , k. 1999 , science , 283 , 810 kohl , j. l. , esser , r. , gardner , l. d. , et al . 1995 , , 162 , 313 kohl , j. l. , noci , g. , antonucci , e. , et al .
1997 , , 175 , 613 kohl , j. l. , esser , r. , cranmer , s. r. , et al . 1999 , , 510 , l59 koutchmy , s. 1977 , solar phys . , 51 , 399 .
saito , k. , & tanaka , y. 1957a , , 9 , 106 saito , k. , & tanaka , y. 1957b , , 9 , 210 saito , k. 1958 , , 10 , 49 saito , k. 1965 , , 17 , 1 teriaca , l. , poletto , g. , romoli , m. , & biesecker , d. a. 2003 , , 588 , 566        walker , a. b. c. , deforest , c. e. , hoover , r. b. , & barbee , t. d. w. : 1993 , , 148 , 239 wang , y .- m .
1994 , , 435 , l153 wang , y .- m . , & sheeley , n. r. , jr .
1995 , , 452 , 457 wang , y .- m .
1998 , , 501 , l145 widing , k. g. , & feldman , u. 1992 , , 392 , 715      wilhelm , k. , marsch , e. , dwivedi , b. n. , hassler , d. m. , lemaire , p. , gabriel , a. h. , huber , m. c. e. 1998 , , 500 , 1023 wilhelm , k. , dammasch , i. e. , marsch , e. , & hassler , d. m. 2000 , , 353 , 749 wilhelm , k. 2006 , , 455 , 697 woo , r. , & habbal , s. r. 1999 , , 510 , l69 woo , r. , habbal , s. r. , howard , r. a. , & korendyke , c. m. 1999 , , 513 , 961 young , p. r. , klimchuk , j. a. , & mason , h. e. 1999 , , 350 , 286 zirker , j. b. , ed .
1977 , coronal holes and high speed wind streams ( boulder : univ .
colorado press )


this paper is concerned with the classification of legendrian rational unknots in lens spaces . the lens space in question
may be equipped with a tight or an overtwisted contact structure , but in the latter case we require that the knot complement be tight .
legendrian knots in overtwisted contact @xmath2-manifolds with tight complement are called _ non - loose _ or _ exceptional_.    the classification of legendrian unknots in @xmath3 is due to eliashberg and fraser  @xcite . in the case of the tight standard contact structure @xmath4 on @xmath3 ,
their classification is up to isotopy ; in the case of exceptional unknots in an overtwisted contact structure , up to coarse equivalence . recall that two legendrian knots @xmath5 , @xmath6 , in contact @xmath2-manifolds are called _ coarsely equivalent _ if there is a contactomorphism @xmath7 carrying @xmath8 to @xmath9 . here
the contact structures are understood to be ( co-)oriented , and the contactomorphism is supposed to preserve the ( co-)orientation . the classification of legendrian knots in overtwisted contact manifolds up to isotopy is complicated by the fact there are contactomorphisms topologically but not contact isotopic to the identity , cf .  the discussion in ( * ? ? ?
* section  4.3 ) .    in the present paper
we extend the classification result of eliashberg and fraser to rational unknots in lens spaces .
our focus will lie on the exceptional case , and we too are content with the classification up to coarse equivalence .
the classification in the tight case is essentially due to baker and etnyre  @xcite , although they give an explicit description only for @xmath0 with @xmath10 odd .
we obtain a complete classification ( both in the tight and the exceptional case ) for the lens spaces @xmath0 with @xmath10 any integer . as an illustration of the general case
we also discuss the classification for @xmath1 .
in particular , we determine the range of the classical invariants realisable by such rational unknots , and the @xmath2-dimensional homotopy invariant of the contact structures containing exceptional knots .
this classification is achieved as follows .
the number of distinct legendrian rational unknots with tight complements is determined via the classification of tight contact structures on solid tori ; this strategy has previously been employed by etnyre  @xcite .
we then describe the expected number of legendrian rational unknots explicitly in a contact surgery diagram of the lens space . for the @xmath2-sphere ,
such a description is due to plamenevskaya  @xcite . in all cases
the knots are distinguished by the rational analogues of the classical legendrian knot invariants .
here is an outline of the paper . in section  [ section : unknots ]
we recall the topological classification of rational unknots in lens spaces . in section  [ section : classical ]
we describe a result of lisca et al .
@xcite about the computation of the classical legendrian knot invariants of a legendrian knot presented in a contact surgery diagram .
we extend their result from integral to rational homology spheres and from nullhomologous to rationally nullhomologous knots .
the invariants in this case are the rational legendrian knot invariants  @xcite .    in section  [ section : plane ]
we recall how to compute the @xmath2-dimensional homotopy invariant of a contact structure from a surgery diagram .
this will be used in some cases to show that the contact structure defined by a certain surgery diagram is overtwisted .
sections [ section:3-sphere ] to  [ section : l52 ] contain the classification for @xmath3 , @xmath11 , @xmath0 and @xmath1 , respectively .
the classification for @xmath3 and @xmath11 is of course subsumed by that for @xmath0 .
nonetheless , the separate description of those two simple cases allows us to include some additional details and to make the whole classification scheme more transparent .
many of the necessary computations are relegated to section  [ section : compute ] .
we understand that blent tosun has been working on the classification problem discussed in this paper using a parallel approach , but staying closer to the argument in @xcite rather than relying on surgery diagrams for the existence part of the classification .
this may in fact be advantageous for dealing with the general @xmath12 .
the lens space @xmath12 with @xmath13 and @xmath14 coprime to  @xmath10 is defined as the quotient space of @xmath15 under the @xmath16-action generated by @xmath17 this gives @xmath12 a canonical orientation , and our contact structures are assumed to be positive for that orientation .
alternatively , @xmath12 with the described orientation can be obtained by surgery along a single @xmath18-framed unknot in  @xmath3 .
a _ rational unknot _ @xmath19 in some @xmath2-manifold @xmath20 is a knot with a rational seifert disc , i.e.  some cable of @xmath19 on the boundary @xmath21 of a tubular neighbourhood of  @xmath19 is supposed to bound a @xmath22-disc @xmath23 embedded in @xmath24 , cf .
as discussed in that paper , the union @xmath25 equals the complement of an open ball in a lens space , so for the study of rational unknots one may restrict attention to the case of @xmath20 being a lens space .
moreover , a rational unknot we always mean a rational unknot that is not an honest unknot , i.e.  the homological order of the knot is supposed to be greater than  @xmath26 . ] in @xmath12 is then necessarily the spine of one of the heegaard tori .
recall that the genus  1 heegaard splitting of a lens space is unique up to isotopy  @xcite .
hence , up to isotopy there are at most four oriented rational unknots in @xmath12 , namely @xmath27 , @xmath28 , where @xmath29\co 0\leq\theta\leq 2\pi / p\}\subset l(p , q),\ ] ] and likewise for @xmath30 . for @xmath31
this reduces in fact to one possibility , and for @xmath32 , @xmath33 the knot @xmath34 is isotopic to @xmath35 , both being fibres in an @xmath36-bundle over @xmath37 . in homology
one has @xmath38=q[k_1]$ ] , so for @xmath39 there are indeed four rational unknots up to isotopy , see  ( * ? ? ?
* lemma  5.2 ) .    in the surgery picture ,
@xmath40 can be represented as in figure  [ figure : standard - unknot ] .
the knot @xmath30 would be the spine of the solid torus glued in to perform the surgery . by exchanging the role of the two heegaard tori , which induces the orientation - preserving diffeomorphism @xmath41 for @xmath42 mod  @xmath10 ,
one gets a similar picture for @xmath30 , with the surgery coefficient replaced by @xmath43 .
@xmath40 [ r ] at 0 18 @xmath44 [ l ] at 70 20 .,title="fig : " ]    by expanding the rational surgery into integral surgeries along a link of unknots , one can give representations of @xmath40 and @xmath30 in a single surgery diagram .
for instance , in the case @xmath45 , @xmath46 we can take @xmath47 . since @xmath48 and @xmath49 we can represent @xmath40 and @xmath30 as in figure  [ figure : k1k2 ] . a slam dunk , cf .
* figure  5.30 ) , will then produce figure  [ figure : standard - unknot ] or the analogous picture for  @xmath30 , respectively .
@xmath40 [ r ] at 0 18 @xmath30 [ l ] at 175 18 @xmath50 [ tl ] at 38 12 @xmath51 [ tl ] at 63 12 @xmath50 [ tr ] at 109 12 @xmath51 [ tr ] at 135 12 .,title="fig : " ]    since we are interested in a classification up to coarse equivalence , we need to take the action of the diffeomorphism group into account . in this topological
setting , coarse equivalence of two knots is supposed to mean that there is an orientation - preserving diffeomorphism of the ambient manifold sending one knot to the other .    up to coarse equivalence
there is exactly one oriented rational unknot in @xmath12 for @xmath52 mod  @xmath10 , and exactly two for @xmath53 mod  @xmath10 .
the orientation - preserving diffeomorphism of @xmath12 induced by @xmath54 sends @xmath55 to @xmath56 , @xmath28 .
thus , topologically we can ignore the orientation of @xmath55 .    for @xmath52 mod  @xmath10 , the orientation - preserving diffeomorphism of @xmath12 induced by @xmath57 exchanges @xmath40 and @xmath30 .
for @xmath53 mod  @xmath10 , there are only two orientation - preserving diffeomorphisms of @xmath12 up to isotopy : the identity and the one described above , see  @xcite .
so @xmath40 and @xmath30 can not be coarsely equivalent .
however , as pointed out in  @xcite for the tight case , the two different orientations of @xmath40 may correspond to non - equivalent legendrian realisations .
similar considerations apply in the exceptional case .
this gives some information about the contactomorphism group of the corresponding contact structure .
in this section we first recall from  @xcite how to define the classical invariants for _ rationally _ nullhomologous legendrian knots .
we then show how to compute these invariants for knots presented in a surgery diagram of the ambient manifold , provided this manifold is a rational homology sphere .
this constitutes a mild extension of a result due to lisca et al .
* lemma  6.6 ) .
let @xmath58 be a rationally nullhomologous legendrian knot in a contact @xmath2-manifold , i.e.  @xmath59 is of some order @xmath60 in @xmath61 .
then there is a rational seifert surface @xmath62 for @xmath63 , i.e.  a surface that is embedded , except along its boundary , which is an @xmath64-fold covering of  @xmath59 .
note that the boundary of @xmath65 need not be connected .
( one can replace @xmath59 by a suitable embedded curve or collection of curves on the boundary of a tubular neighbourhood of  @xmath59 , representing the class @xmath63 in the tubular neighbourhood , and then find an embedded surface with that curve ( or those curves ) as its boundary . )
let @xmath66 be a push - off of @xmath59 in the direction of the contact framing , i.e.  the framing determined by @xmath67 .
then the _ rational thurston
bennequin invariant _ of @xmath59 is @xmath68 i.e.  the rational linking number of @xmath59 and @xmath66 .
any two rational seifert surfaces for @xmath59 differ by a class in @xmath69 .
since @xmath66 is rationally nullhomologous , its intersection number with such a class is zero , so @xmath70 is well defined .
now assume that @xmath59 is oriented .
the contact structure @xmath71 is a trivial plane bundle when restricted to the rational seifert surface  @xmath65 , and the _ rational rotation number _
@xmath72 is defined by writing @xmath73 for the number of full turns of the positive tangent vector to @xmath59 , as @xmath59 is traversed @xmath64 times , relative to the trivialisation of @xmath74 . in general , this number will depend on the relative homology class represented by  @xmath65 . if the euler class @xmath75 is a torsion class , then @xmath72 is well defined .
as shown in  @xcite , any ( closed , connected ) contact @xmath2-manifold @xmath76 has a contact @xmath77-surgery presentation @xmath78 , i.e.  there is a legendrian link @xmath79 in @xmath3 with its standard tight contact structure such that contact @xmath77-surgery along the components of @xmath80 produces @xmath76 .
now let @xmath81 be a contact @xmath77-surgery presentation of a rational homology @xmath2-sphere @xmath76 .
then @xmath82 will be a finite abelian group , so the euler class @xmath75 is a torsion class .
furthermore , let @xmath83 be a legendrian knot that becomes rationally nullhomologous in @xmath76 . denote the link components of @xmath79 by @xmath84 , and set @xmath85 , depending on whether @xmath86 belongs to @xmath87 or  @xmath88 .
so @xmath89 is the integral surgery coefficient of the link component  @xmath86 .
write @xmath20 for the linking matrix of  @xmath79 , i.e.@xmath90 define an extended matrix by @xmath91 in other words , @xmath92 is the linking matrix of @xmath93 , with the convention that @xmath94 is set to  @xmath95 . as a final piece of notation , we write @xmath96 for the rotation number of @xmath86 , @xmath97 , and @xmath98 for the thurston  bennequin invariant of  @xmath99 , all regarded as knots in @xmath100 .
we can now formulate a lemma that tells us how to compute the classical invariants of @xmath99 when it is regarded as a legendrian knot in the surgered manifold @xmath76 . for the case that @xmath76 is an integral homology sphere , this lemma is due to lisca et al .
* lemma  6.6 ) .
( the condition that @xmath101 be an integral homology sphere is not contained in the statement of their lemma , but in the paragraphs preceding it , and it is used implicitly in their argument . )    [ lem : loss ] the rational invariants of @xmath102 are given by @xmath103 and @xmath104    these formulae are exactly the same as those in  @xcite , with @xmath105 and @xmath106 replaced by their rational counterparts .
however , since it is not entirely clear where the order of @xmath59 in @xmath61 might or might not be relevant for the argument , we deem it worth to include a proof .
before we turn to that proof , we want to discuss the behaviour of the relative euler class of a contact structure under a contact @xmath77-surgery along a legendrian knot  @xmath86 .
a neighbourhood of @xmath86 can be identified with a neighbourhood of @xmath107 , equipped with the contact structure @xmath108 .
we think of @xmath109 as the solid torus we cut out during the surgery .
the boundary @xmath110 of this solid torus is a convex surface with two dividing curves @xmath111 .
these curves lie in the class of the longitude @xmath112 giving the contact framing .
write @xmath113 for the meridian of @xmath114 and @xmath115 for the standard longitude @xmath116
. then @xmath117 .
thus , in terms of the standard meridian and longitude @xmath118 , the slope of the dividing curves is  @xmath119 .
the convex torus @xmath110 has a linear legendrian ruling given by the @xmath120-curves , which represent the class @xmath121 .
write @xmath122 for meridian and longitude , respectively , of a solid torus we glue in to perform the surgery .
contact @xmath123-surgery can be described by the gluing maps @xmath124 contact @xmath125-surgery , by the maps @xmath126 note that in both cases @xmath127 gets glued to @xmath112 .
so the slope of the dividing curves on the boundary of the solid torus we want to glue in is again  @xmath119 , now with respect to @xmath122 .
the legendrian ruling of the convex torus @xmath114 in the original model can be changed from the class @xmath128 to either @xmath113 or @xmath129 by an isotopic deformation of the @xmath22-torus through convex tori of slope  @xmath119 and linear legendrian ruling , staying inside any arbitrarily small neighbourhood of the original torus .
after this modification , we see that contact @xmath77-surgery simply corresponds to regluing a standard solid torus with slope @xmath119 and linear legendrian ruling in the class  @xmath130 .
now suppose that we perform contact @xmath77-surgery along a legendrian knot @xmath59 in a contact @xmath2-manifold @xmath131 .
the relative euler class @xmath132 is poincar dual to the class in @xmath133 represented by the zero set of a generic section of  @xmath134 that coincides with the tangent direction along  @xmath59 . by what we just discussed
, we may assume that this section coincides with the legendrian ruling on the boundary of a standard tubular neighbourhood of  @xmath59 , and this section will extend without zeros over the solid torus we glue in when performing a surgery along  @xmath59 .
translated into our situation at hand , this implies the following statement .
[ lem : euler ] under the natural map @xmath135 induced by inclusion , the poincar dual of the relative euler class @xmath136 maps to the poincar dual of @xmath137 .
write @xmath138 for the meridian of @xmath86 , and @xmath139 for the longitude determined by the surface framing
. then @xmath140 where @xmath141 denotes a copy of the integers generated by the class  @xmath113 . in @xmath142 ,
the longitude @xmath139 represents the class @xmath143 surgery with coefficient @xmath89 along @xmath86 means that we glue a new meridional disc along @xmath144 , @xmath145 .
it follows that @xmath146    on the other hand , from the mayer
vietoris sequence of the triple @xmath147 and the assumption that @xmath101 be a rational homology sphere ( as well as some obvious identifications under excision isomorphisms ) we have the short exact sequence @xmath148 with @xmath61 a finite abelian group .
we have @xmath149 . the class @xmath150 maps to @xmath95 in @xmath151 ; the class @xmath130 , to  @xmath26 .
so the sequence reduces to @xmath152 ( alternatively , this follows from @xmath99 being rationally nullhomologous in  @xmath101 . )    hence the poincar dual of the relative euler class @xmath137 over the rationals , @xmath153 is some rational multiple of  @xmath150 .
beware that  over the integers  @xmath150 is not , in general , a primitive element in @xmath154 . for instance , for @xmath155 and @xmath99
representing the generator of @xmath156 , the class @xmath150 is twice the generator of @xmath157 .
the definition of the rotation number of a legendrian knot can be interpreted in terms of relative euler classes .
this translates into @xmath158 for the rational rotation number @xmath159 of @xmath102 we argue similarly .
if the order of @xmath99 in @xmath61 is  @xmath64 , and @xmath65 is a rational seifert surface for @xmath99 in  @xmath101 , then @xmath160\rangle= \operatorname{\mathrm{pd}}(e(\xi , l_0))\bullet\sigma.\ ] ] for this intersection product , only the free part of @xmath161 is relevant , and since the intersection product @xmath162 $ ] equals  @xmath64 , we conclude that @xmath163 hence , by lemma  [ lem : euler ] , @xmath164 the relations in the presentation of @xmath154 can be written formally as @xmath165 the surgery description of @xmath101 defines a @xmath166-dimensional handlebody @xmath167 with boundary @xmath168 . both @xmath169 and @xmath170 are isomorphic to @xmath171 .
the relevant part of the homology exact sequence of the pair @xmath172 is @xmath173 since @xmath101 is a rational homology sphere , we have @xmath174 , so the matrix @xmath20 is invertible over  @xmath175 . therefore ,
in @xmath176 we have @xmath177 this proves the first formula in the lemma .
we now turn to the thurston  bennequin invariant .
the contact framing of @xmath99 ( both in @xmath100 and in @xmath76 ) is given by @xmath178 .
on the other hand , from the exact sequence  ( [ eqn : sequence ] ) we see that there is a unique @xmath179 such that @xmath180 is nullhomologous in @xmath181 , where as before @xmath64 denotes the order of @xmath99 in  @xmath101 .
then the rational thurston
bennequin invariant of @xmath99 in @xmath76 can be computed as @xmath182 where the intersection product should be interpreted as a product on the boundary of a tubular neighbourhood of  @xmath99 .
from  ( [ eqn : lambda ] ) we have @xmath183 and the fact that this is nullhomologous in @xmath181 means that it can be expressed as a linear combination of the relations in @xmath154 , which yields @xmath184 with ( [ eqn : tb ] ) we get @xmath185
a surgery presentation @xmath78 of a given contact @xmath2-manifold @xmath76 determines a @xmath166-dimensional @xmath22-handlebody @xmath167 with boundary @xmath168 . following @xcite and @xcite we are now going to explain how to determine the homotopical data of @xmath71 as a tangent @xmath22-plane field from such a presentation .
given a choice of spin structure @xmath186 on @xmath101 , there is an invariant @xmath187 of the homotopy type of @xmath71 over the @xmath22-skeleton of  @xmath101 .
when the first chern class @xmath188 is a torsion class , the homotopy obstruction over the @xmath2-skeleton can be described by a rational number @xmath189 .    in (
* theorem  4.12 ) it is shown how to compute @xmath190 from a surgery diagram containing only contact @xmath123-surgeries .
a spin structure @xmath186 can be specified in terms of a characteristic sublink in the surgery diagram .
blent tosun has informed us of a way to compute the @xmath22-dimensional homotopy invariant @xmath190 from any contact surgery diagram , including those with @xmath26-handles and contact @xmath125-surgeries .
this would allow one to give a complete homotopy classification of the contact structures on @xmath12 we describe in terms of surgery diagrams in the following sections .
the @xmath2-dimensional invariant can be computed as follows .
write @xmath191 for the signature of  @xmath167 , and @xmath192 for its euler characteristic .
let @xmath193 be the surface obtained by gluing a seifert surface of @xmath86 with the core disc of the handle corresponding to @xmath194 . the homology class of @xmath195 in @xmath169 is completely determined by @xmath196 .
generalising a result of gompf , the following was shown in  @xcite .
[ prop : d3 ] suppose that @xmath188 is torsion , and @xmath197 for each @xmath198 .
then @xmath199 where @xmath200 denotes the number of components of @xmath87 , and @xmath201 is the cohomology class determined by @xmath202 for each @xmath203 .
see @xcite of an extensive discussion of this formula , in particular concerning the computation of the term @xmath204 .    the standard ( and unique tight ) contact structure @xmath4 on @xmath3 has @xmath205 . on @xmath0
there are , by  @xcite and  @xcite , exactly @xmath206 tight contact structures up to isotopy .
they can be obtained by contact @xmath123-surgery on @xmath3 along a single unknot with invariants @xmath207 and @xmath208 obtained from the standard legendrian unknot ( @xmath209 ) by any mix of @xmath210 positive or negative stabilisations .
the @xmath211-invariant of the corresponding contact structure on @xmath0 is given by @xmath212
topologically trivial legendrian knots in arbitrary tight contact @xmath2-manifolds were shown by eliashberg and fraser  @xcite to be classified up to legendrian isotopy by the classical invariants @xmath105 and @xmath106 , and they determined the range of these invariants .
so part ( a ) of the following theorem is a weaker formulation of their result , which we include for completeness and comparison with the case of exceptional knots .
the exceptional unknots in the @xmath2-sphere @xmath3 have also been classified , up to coarse equivalence , by eliashberg and fraser  ( * ? ? ?
* theorem  4.7 ) .
an alternative proof of their result was given by etnyre and vogel , see  @xcite .
we are going to give yet another proof of this classification , which contains _ in nuce _ all the key ideas required to extend the result to lens spaces .
our argument for determining an upper bound on the number of exceptional knots is parallel to that of  @xcite . the proof is then completed by finding as many explicit realisations of exceptional unknots as this bound allows . in the case of @xmath3 , these explicit realisations are due to plamenevskaya  @xcite .
[ thm : elfr ] ( a ) let @xmath213 be a legendrian unknot .
then @xmath214 with @xmath215 a negative integer , and @xmath216 lies in the range @xmath217 any such pair of invariants @xmath218 is realised , and it determines @xmath59 up to coarse equivalence , i.e.  for each @xmath219 we have @xmath220 distinct legendrian unknots .
\(b ) let @xmath221 be an exceptional unknot in an overtwisted contact structure @xmath71 on  @xmath3 .
then @xmath71 is the contact structure determined up to isotopy by @xmath222 , and @xmath223 these invariants determine @xmath59 up to coarse equivalence , and any pair of invariants in this set is realised .
examples of legendrian unknots in @xmath100 that realise the invariants stated in the theorem are given by arbitrary stabilisations of a standard legendrian unknot with @xmath224 and @xmath225 .    examples of exceptional unknots with the stated invariants have been described by plamenevskaya  @xcite in terms of the front projection of the knot in a contact surgery diagram , see figure  [ figure : olga - lens ] .
@xmath226 at 0 167 @xmath227 at 0 55 @xmath228 at 88 167 @xmath59 [ bl ] at 66 132 @xmath229 [ l ] at 66 148 @xmath229 [ l ] at 66 107 @xmath59 [ bl ] at 64 39 @xmath229 [ l ] at 64 14 @xmath59 [ bl ] at 146 39 @xmath229 [ l ] at 146 14 @xmath119 [ l ] at 146 58 @xmath119 [ l ] at 146 76 @xmath119 [ l ] at 146 132 @xmath119 [ l ] at 146 150 -sphere.,title="fig : " ]    each of these diagrams gives a copy of @xmath3 , as can be seen by simple kirby moves , cf .
a straightforward computation with the formula from proposition  [ prop : d3 ] shows that each diagram gives a contact structure on @xmath3 with @xmath230 .
so this contact structure is overtwisted ( and determined up to isotopy by this value of  @xmath211 thanks to eliashberg s classification of overtwisted contact structures  @xcite , cf .
contact @xmath123-surgery along @xmath59 cancels the @xmath125-surgery along the parallel knot , see  ( * ? ? ?
* section  3 ) or ( * ? ? ? * prop .
this leaves us with a diagram containing only contact @xmath123-surgeries , or one with a single @xmath125-surgery along the standard legendrian unknot .
the latter produces the tight contact structure on @xmath231 , see  ( * ? ? ?
* lemma  4.3 ) , the former a stein fillable and hence tight contact structure .
this shows that in all examples the knot @xmath59 is exceptional .
we claim that the knot @xmath59 in figure  [ figure : olga - lens](a ) has @xmath232 , the one in ( b ) has @xmath233 ( depending on a choice of orientation of  @xmath59 ) , and the one in ( c ) ( with @xmath234 unknots along which we perform @xmath123-surgery ) has @xmath235 .
plamenevskaya determines @xmath236 by keeping track of the contact framing through kirby moves ; no comment is made about @xmath216 .
in fact , the claimed values of @xmath236 and @xmath216 follow easily from lemma  [ lem : loss ] .
see section  [ section : compute ] for some details of these computations .
so we are left with showing that these invariants ( in the tight and exceptional case , respectively ) determine @xmath59 up to coarse equivalence , and that no other values of the classical invariants can be realised .
given a legendrian unknot @xmath59 in @xmath100 or an exceptional unknot @xmath59 in @xmath3 , decompose the @xmath2-sphere along a torus as @xmath237 , with @xmath238 a standard neighbourhood of  @xmath59 .
more precisely , with @xmath239 denoting meridian and longitude of the solid tori @xmath240 , we assume that the gluing is described by the identifications @xmath241 , @xmath242 , and @xmath243 is a convex torus with two dividing curves of slope @xmath244 , where @xmath245 .
both in the tight and the exceptional case , the contact structure on @xmath246 is tight , and the boundary @xmath247 is convex with two dividing curves of slope  @xmath215 .
moreover , up to coarse equivalence @xmath59 is determined by the contact structure on  @xmath246 . according to giroux  @xcite and honda  @xcite ,
the number of tight contact structures on a solid torus @xmath248 inducing a fixed characteristic foliation on @xmath249 divided by two curves of slope @xmath250 is given by @xmath251 where the @xmath252 are the terms in the continued fraction expansion @xmath253;\ ] ] for slope @xmath119 there is a unique structure .    for @xmath254
the continued fraction expansion is given by @xmath255 and @xmath256 , i.e.  we have @xmath220 distinct tight structures , which corresponds to the @xmath220 realisations of a legendrian unknot with @xmath257 in @xmath100 described above .    for @xmath258
, the contact structure on @xmath246 would have to be overtwisted , so this case does not occur in @xmath100 or when @xmath59 is exceptional .
finally , for @xmath259 we first have to modify @xmath246 by a dehn twist such that the dividing curves have a slope @xmath260 , in order to apply the classification result cited above . a dehn twist of @xmath246 that replaces @xmath261 by @xmath262 changes the slope to @xmath263 , since @xmath264 for @xmath265 we have to take @xmath266 , which gives @xmath267 .
for this slope there is exactly one tight contact structure on  @xmath246 . for @xmath268
, we have to take @xmath269 , resulting in a slope @xmath270 .
in this case there are exactly two tight contact structures on  @xmath246 , for inductively one sees that the continued fraction expansion of @xmath271 is @xmath272 $ ] .
thus , for @xmath273 the number of tight contact structures on @xmath246 equals the number of examples in figure  [ figure : olga - lens ] .
it follows that these examples constitute a complete list of exceptional unknots .
the following is the analogue of theorem  [ thm : elfr ] for the real projective space @xmath274 .
[ thm : rp3 ] ( a ) let @xmath275 be a legendrian rational unknot in the unique tight contact structure on @xmath11 .
then @xmath276 with @xmath215 a negative integer , and @xmath72 lies in the range @xmath277 any such pair of invariants @xmath278 is realised , and it determines @xmath59 up to coarse equivalence , i.e.  for each @xmath219 we have @xmath220 distinct legendrian rational unknots .
\(b ) up to coarse equivalence , the exceptional rational unknots @xmath59 in an overtwisted @xmath279 are in one - to - one correspondence with the following set of values of the classical invariants : @xmath280 the overtwisted contact structure containing the knots of the first series has @xmath211-invariant equal to @xmath281 , the one containing the second series has @xmath282 .    in other words
, there is exactly one exceptional rational unknot with @xmath283 , there are three with @xmath284 , and there are four each for @xmath285 with @xmath268 .
legendrian rational unknots in @xmath286 that realise the stated values of the invariants are given as follows .
represent @xmath287 by @xmath123-surgery along a single standard legendrian unknot in @xmath3 with @xmath224 and @xmath225 , and let @xmath99 be a push - off of the surgery curve with @xmath288 positive and @xmath289 negative stabilisations , @xmath290 .
observe that by lemma  [ lem : loss ] the push - off without any stabilisations has @xmath291 .
examples of exceptional rational unknots with the stated invariants are shown in figures [ figure : rp3-tb3 ] and  [ figure : rp3-tb5 ] . with some simple kirby moves one sees that in all cases @xmath59 is an isotopic copy of the standard rational unknot @xmath292 .
we illustrate this in section  [ section : compute ] for the example in figure  [ figure : rp3-tb5](a ) ; there we also explain how @xmath70 can be computed from such kirby moves instead of lemma  [ lem : loss ] .
@xmath226 at 0 97 @xmath227 at 103 97 @xmath228 at 203 97 @xmath59 [ bl ] at 76 56 @xmath229 [ l ] at 76 44 @xmath229 [ l ] at 76 33 @xmath229 [ l ] at 76 24 @xmath59 [ bl ] at 177 56 @xmath229 [ l ] at 177 21 @xmath59 [ bl ] at 286 74 @xmath229 [ l ] at 286 19 -space i.,title="fig : " ]    @xmath226 at 0 185 @xmath227 at 145 185 @xmath293 [ r ] at 0 96 @xmath293 [ l ] at 221 96 @xmath59 [ bl ] at 69 39 @xmath229 [ l ] at 69 14 @xmath119 [ l ] at 65 56 @xmath119 [ l ] at 65 74 @xmath119 [ l ] at 65 136 @xmath119 [ l ] at 65 167 @xmath59 [ br ] at 145 31 @xmath229 [ r ] at 145 23 @xmath119 [ r ] at 155 56 @xmath119 [ r ] at 155 74 @xmath119 [ r ] at 155 136 @xmath119 [ r ] at 155 167 -space ii.,title="fig : " ]    the invariants of these exceptional examples are listed in table  [ table : rp3 ] .
a sample computation of these invariants is given in section  [ section : compute ] .
since the @xmath211-invariant differs from @xmath294 , all contact structures given by these surgery diagrams are overtwisted .
.invariants of the exceptional rational unknots in  @xmath11 . [ cols="^,^,^,^,^",options="header " , ]
in this section we collect some hints for the computation of the invariants in various of the examples described above .
we consider the example in figure  [ figure : olga - lens](c ) . here
the linking matrix @xmath295 is the @xmath296-matrix @xmath297 where we have numbered the surgery curves @xmath298 from bottom to top in the figure . by successive subtraction of the @xmath299 from the @xmath300 row , @xmath301
, we obtain @xmath302 hence @xmath303 .
the first row of @xmath304 is @xmath305 this information suffices to compute the rotation number of  @xmath59 ( with clockwise orientation ) : @xmath306    by successive subtraction of the @xmath299 from the @xmath300 row , starting from @xmath307 , in the @xmath308-matrix @xmath309 we obtain @xmath310 by expanding the determinant of this matrix along the last row one shows inductively that @xmath311 hence @xmath312      we consider the example in figure  [ figure : rp3-tb5](a ) .
the kirby moves that transform the surgery link into a single unknot with topological framing @xmath51 , and @xmath59 into the rational unknot of figure  [ figure : standard - unknot ] , are shown in figure  [ figure : rp3-kirby ] .
these moves are analogous to those in plamenevskaya s example  ( * ? ? ?
* figure  4 ) ; we say more about them further down , where we use them to compute @xmath70 without appealing to lemma  [ lem : loss ] .
\(i ) at 0 192 @xmath51 at 9 169 @xmath59 [ bl ] at 40 187 @xmath119 [ b ] at 26 155 @xmath51 [ tl ] at 50 160 @xmath51 [ tl ] at 73 160 @xmath51 [ t ] at 115 160 @xmath50 [ t ] at 136 157 ( ii ) at 0 131 @xmath59 [ bl ] at 40 128 @xmath229 [ r ] at 0 113 @xmath229 [ r ] at 0 104 @xmath229 [ b ] at 26 95 @xmath51 [ tl ] at 50 100 @xmath51 [ tl ] at 73 100 @xmath51 [ t ] at 115 100 @xmath50 [ t ] at 136 97 ( iii ) at 0 75 @xmath59 [ bl ] at 28 73 @xmath229 [ r ] at 1 55 @xmath229 [ r ] at 1 45 @xmath229 [ t ] at 26 34 @xmath51 [ tl ] at 50 41 @xmath51 [ tl ] at 73 41 @xmath51 [ t ] at 115 41 @xmath50 [ t ] at 136 38 ( iv ) at 0 15 @xmath59 [ r ] at 60 16 @xmath51 [ l ] at 101 16 ( a).,title="fig : " ]    the linking matrix @xmath295 is the @xmath308-matrix @xmath313 where , as before , we have numbered the surgery curves @xmath84 from bottom to top . observe that this @xmath314 equals the @xmath315 from the previous example , with a single change in the very last entry of the matrix .
hence , arguing as before , one obtains @xmath316 .      by expanding the determinant of @xmath309 , transformed as in the previous example , along the last row , and using the result from the previous example ,
one obtains @xmath320 hence @xmath321 alternatively , @xmath70 can be computed by keeping track of the framing of @xmath59 during the kirby moves in figure  [ figure : rp3-kirby ] . in @xmath3
we have @xmath322 , so initially the contact framing of @xmath59 is given by @xmath323 , where @xmath130 is ( and remains throughout the following moves ) the longitude corresponding to the surface framing in @xmath3 .
this framing curve can be thought of as a parallel copy of @xmath59 , also going through the @xmath324-box .    to get from ( i ) to  (
ii ) , we make two positive blow - ups , i.e.  we add two @xmath125-framed unknots to the picture ( corresponding to taking the connected sum with two copies of @xmath325 ) , and then slide @xmath59 and the @xmath123-framed knot over them to undo the @xmath324-linking .
this adds two positive twists to the framing of @xmath59 , so the framing is now  @xmath130 .    to get from ( ii ) to ( iii ) , we slide @xmath59 over the parallel @xmath125-framed unknot .
this adds @xmath229 to the framing of  @xmath59 . to get from ( iii ) to ( iv ) , we first blow down the two @xmath125-framed unknots not linked with @xmath59 .
this has no effect on @xmath59 , but changes the third @xmath125-framed unknot into a @xmath123-framed one .
now we blow down the chain of unknots , starting with the @xmath123-framed one . at each step
, the adjacent @xmath324-framed unknot gets framing @xmath119 , and the framing of @xmath59 increases by  @xmath26 .
since we have to blow down a total of @xmath326 @xmath123-framed unknots to obtain ( iv ) , the framing of @xmath59 finally becomes @xmath327 .
now recall equation  ( [ eqn : tb ] ) from the proof of lemma  [ lem : loss ] and the argument preceding it .
the unique @xmath179 such that @xmath328 is nullhomologous in the surgered manifold given by figure  [ figure : rp3-kirby](iv ) is @xmath329 . hence @xmath330 giving us the same result for @xmath70 as before .    here
is how to compute @xmath189 for this example .
the surgery diagram is equivalent to @xmath326 unlinked @xmath123-framed unknots and a further unlinked @xmath324-framed unknot .
so the signature of the @xmath166-dimensional filling @xmath167 is @xmath331 , its euler characteristic is @xmath332 . in order to compute @xmath204
, we follow the algorithm described in  @xcite .
the poincar dual @xmath333  in terms of the obvious generators of @xmath334 , the meridional discs to the surgery curves  is given by the vector @xmath335 of rotation numbers .
the homomorphism @xmath336 induced by inclusion is described , again in terms of the obvious bases , by the linking matrix  @xmath20 , so the class @xmath337 that maps to @xmath338 can be thought of as a row vector with @xmath339 .
so this vector @xmath340 is given by the sum of the vectors in ( [ eqn : row1 ] ) and  ( [ eqn : row2 ] ) .
then @xmath341 then with equation  ( [ eqn : d3 ] ) , observing that @xmath342 in this example , we obtain @xmath343        @xmath59 [ r ] at 2 137 @xmath119 at 42 137 @xmath95 [ tl ] at 68 128 @xmath95 [ tl ] at 79 119 @xmath59 [ r ] at 0 78 @xmath229 [ b ] at 61 86 @xmath344 [ t ] at 63 56 @xmath229 [ r ] at 51 77 @xmath229 [ r ] at 73 77 @xmath59 [ r ] at 9 18 @xmath345 [ l ] at 77 20 ( a).,title="fig : " ]    the linking matrix is the @xmath346-matrix @xmath20 with zeros on the diagonal and all other entries equal to  @xmath26 .
it is a simple exercise to show that @xmath347 .
correspondingly , @xmath348 .
it follows that @xmath349 since @xmath350 , we have @xmath351 .
next we consider the example in figure  [ figure : lp1](b ) . here
the topological kirby diagram shows directly that @xmath59 is the rational unknot in @xmath0 .
the linking matrix @xmath20 is the @xmath352-matrix @xmath353 , the matrix @xmath92 is @xmath354 hence @xmath355 the rotation numbers @xmath96 , @xmath356 , equal @xmath357 ( with @xmath59 oriented clockwise ) .
hence @xmath358 so for @xmath359 in the range @xmath360 we get @xmath344 different legendrian realisations .
finally , we come to the example in figure  [ figure : lp1](c ) . here
the computations are minor modifications of those for the example we discussed in the case of @xmath11 .
the kirby moves for showing that @xmath59 is the rational unknot are as in figure  [ figure : rp3-kirby ] .
the linking matrix @xmath20 differs from the one in that previous case by the substitution of @xmath361 for  @xmath50 .
thus , one finds @xmath362 and @xmath363 , which yields @xmath364 the first row of @xmath304 is now @xmath365 the last row is @xmath366 with the rotation number of the surgery curve at the top of figure  [ figure : lp1](c ) being @xmath367 , one computes with lemma  [ lem : loss ] that @xmath72 , with either orientation of @xmath59 , takes for @xmath368 the values claimed in theorem  [ thm : lp1 ] .
we close with some comments about the computation of the @xmath211-invariant . for the example in figure  [ figure : lp1](a ) , the only term in formula ( [ eqn : d3 ] ) that is not entirely obvious is the signature .
topologically , the surgery diagram consists of @xmath344 @xmath95-framed unknots with a common @xmath123-linking . by making a @xmath125-blow up and sliding the corresponding @xmath125-framed unknot over this link ,
we obtain @xmath344 unlinked @xmath125-framed unknots , all of which are linked once with the extra @xmath125-framed unknot . by sliding the @xmath344 unknots off the extra one
, we obtain an unlink consisting of a single @xmath353-framed unknot and @xmath344 @xmath125-framed unknots .
this describes a filling of signature  @xmath10 . since we had to add a @xmath125-framed unknot to arrive at this picture , we have @xmath369
.      for the example in figure  [ figure : lp1](c ) , one sees @xmath370 by an argument similar to that for  ( a ) . since the surgery diagram corresponds to adding @xmath215 @xmath22-handles ,
we have @xmath371 . the vector of rotation numbers is given by @xmath372 , i.e.  we need to solve the equation @xmath373 over  @xmath175 .
this is achieved by @xmath374 then one computes as in section  [ subsection : rp3 ] .    a major part of the work on this project was done during an inspiring `` research in pairs '' stay at the mathematisches forschungsinstitut oberwolfach in september 2012 .
we thank the forschungsinstitut for its support , and its efficient and friendly staff for creating an exceptional research environment .
10 , rational linking and contact geometry , _ perspectives in analysis , geometry , and topology _ , progr . math .
* 296 * ( birkhuser , basel , 2012 ) , 1937 .
, grid diagrams and legendrian lens space links , _ j. symplectic geom . _
* 7 * ( 2009 ) , 415448 . , diffotopies des espaces lenticulaires , _ topology _ * 22 * ( 1983 ) , 305314 . , a legendrian surgery presentation of contact @xmath2-manifolds , _ math . proc .
cambridge philos .
_ * 136 * ( 2004 ) , 583598 .
, surgery diagrams for contact @xmath2-manifolds , _ turkish j. math .
_ * 28 * ( 2004 ) , 4174 . ,
classification of overtwisted contact structures on @xmath2-manifolds , _ invent .
_ * 98 * ( 1989 ) , 623637 . , topologically trivial legendrian knots , _ j. symplectic geom . _ * 7 * ( 2009 ) , 77127 . , on knots in overtwisted contact structures , _ quantum topol .
_ , to appear . , _ an introduction to contact topology _ , cambridge stud
adv . math .
* 109 * ( cambridge university press , cambridge , 2008 ) . , structures de contact en dimension trois et bifurcations des feuilletages de surfaces , _ invent . math . _ * 141 * ( 2000 ) , 615689 .
, handlebody construction of stein surfaces , _ ann . of math .
( 2 ) _ * 148 * ( 1998 ) , 619693 . , _ @xmath166-manifolds and kirby calculus _ , grad .
stud . math . * 20 * ( american mathematical society , providence , ri , 1999 ) .
, on the classification of tight contact structures  i , _ geom .
_ * 4 * ( 2000 ) , 309368 . , heegaard floer invariants of legendrian knots in contact three - manifolds , _ j. eur
( jems ) _ * 11 * ( 2009 ) , 13071363 .
, isometries of elliptic @xmath2-manifolds , _ j. london math . soc .
( 2 ) _ * 65 * ( 2002 ) , 167182 . , generalised thurston
bennequin invariants for real algebraic surface singularities , _ manuscripta math .
_ * 117 * ( 2005 ) , 273298 .
, on legendrian surgeries between lens spaces , _ j. symplectic geom . _ * 10 * ( 2012 ) , 165181 .