attractors play a key role in the study of non - conservative dynamics .
the description of attractors and the properties of their basins help predict the future behaviour of the orbits of a system . in this work we deal with physical measures i.e. an ergodic measure
@xmath0 is physical if its basin of attraction has positive volume ( see section [ sec : preliminaries ] for precise definitions ) .
we will think these measures as the attractors of our systems .    in many cases ,
basins are ( essentially ) open sets and it is clear that if a point belongs to certain regions its trajectory goes , almost surely , to an attractor that is well determined .
for instance , uniformly hyperbolic diffeomorphisms exhibit a finite number of physical measures and the union of their basins cover lebesgue almost every point the ambient manifold .
moreover , each one of their basins is an open set ( modulo a set of null volume ) and then , we can clearly distinguish one attractor from the others .    outside the uniformly hyperbolic world , this kind of behaviour of the basins of attractors is no longer true .
open sets of diffeomorphisms of manifolds with boundary may have attractors with intermingled basins . more specifically ,
two or more basins are dense in the same open set .
it was i. kan  @xcite ( see also @xcite for a description of the example in terms of the partial hyperbolicty and lyapunov exponents ) who showed for the first time the existence of examples of partially hyperbolic endomorphisms defined on a surface and exhibiting two hyperbolic physical measures whose basins are intermingled .
moreover , he showed that such phenomenon is robust among the maps preserving the boundary .
we refer the reader to @xcite for a rigorous proof of kan example and @xcite for a generalization of the kan example and its relation with the sign of the schwarzian derivative . in @xcite
the authors shown that the set of points that are not attracted by either of the components in the kan s example has hausdorff dimension less than the dimension of the phase space itself .
following the same type of arguments , it is possible to construct a partially hyperbolic diffeomorphism defined on a 3-manifold with boundary exhibiting two intermingled physical measures , and such phenomenon still can be made robust .
furthermore , it is well known that it is possible to extend such example to the 3-torus , but in this case it is no longer robust .
we describe these examples in section  [ sec : examples ] .
the existence of these examples rise the question of how robust are the intermingled basins phenomenon for diffeomorphisms defined on boundaryless manifolds . in this work
we show that partially hyperbolic diffeomorphisms on the 3-torus having hyperbolic physical measures with intermingled basins are not robust .    in a recent work , okunev @xcite ,
studied attractors in the sense of milnor in the most restrictive case of @xmath1 partially hyperbolic skew products on @xmath2 with an anosov dffeomorphisms acting on the base @xmath3 .
the author obtains results with the same flavour as ours without any explicit hypotheses about lyapunov exponent in the central direction .
we are interested in diffeomorphisms defined on a 3-dimensional manifold @xmath4 , in particular we put our focus on @xmath5 .
we give some basic definitions necessary to formulate the results , but the reader can find the precise definitions , properties and more detailed information in section  [ sec : preliminaries ] and the references therein .
a diffeomorphism @xmath6 is _ partially hyperbolic _ if the tangent bundle splits into three non trivial sub - bundles @xmath7 such that the strong stable sub - bundle @xmath8 is uniformly contracted , the strong unstable sub - bundle @xmath9 is uniformly expanded and the center sub - bundle @xmath10 may contract or expand , but this contractions or expansions are weaker than the strong expansions and contractions of the corresponding strong sub - bundles .
it is known that there are unique foliations @xmath11 and @xmath12 tangent to @xmath9 and @xmath8 respectively @xcite but in general , @xmath10 , @xmath13 , and @xmath14 do not integrate to foliations ( see @xcite ) . the system is said to be _ dynamically coherent _ if there exist invariant foliations @xmath15 and @xmath16 tangent to @xmath17 and @xmath18 respectively .
of course , if this is the case , there exists an invariant foliation tangent to @xmath10 obtained just by intersecting @xmath15 and @xmath16
. we will study dynamically coherent diffeomorphism with compact center leaves . as we mentioned above these diffeomorphisms are not always dynamically coherent although there are some results providing this property .
just to mention one result , brin , burago , and ivanov have shown that every absolute partially hyperbolic system ( see subsection [ ssec : ph ] for the definition ) on the 3-torus is dynamically coherent @xcite .
a set @xmath19 is _ @xmath20-saturated _ if it is the union of complete strong unstable leaves .
the diffeomorphism @xmath21 is _ accessible _ if every pair of points @xmath22 can be joined by an arc consisting of finitely many segments contained in the leaves of the strong stable and strong unstable foliations . assuming that the center bundle is one - dimensional , k. burns , f. r. hertz , j. r. hertz
, a. talitskaya and r. ures @xcite proved that the accessibility property is open and dense among the @xmath1-partially hyperbolic diffeomorphisms ( see also @xcite ) .
our main theorem is the following .
[ mteo : a ] let @xmath23 , @xmath24 , be partially hyperbolic , dynamically coherent with compact center leaves .
let @xmath0 be a physical measure with negative center lyapunov exponent .
assume that @xmath25 is a compact , @xmath21-invariant and @xmath20-saturated subset such that @xmath26 .
then , @xmath27 contains a finite union of periodic 2-dimensional @xmath28-tori , tangent to @xmath29 .
in particular @xmath21 is not accessible .
we say that two physical measures @xmath0 and @xmath30 with disjoint supports have _ intermingled basins _
@xcite if for an open set @xmath31 we have @xmath32 and @xmath33 for any open set @xmath34 .
[ mcor : b ] the set of dynamically coherent partially hyperbolic @xmath1-diffeomorphisms defined on @xmath2 , @xmath24 , exhibiting intermingled hyperbolic physical measures has empty interior .
moreover , if @xmath35 is isotopic to a hyperbolic automorphism , there do not exist hyperbolic physical measures with intermingled basins .
closely related , hammerlindl and potrie @xcite showed that partially hyperbolic diffeomorphisms on @xmath36-nilmanifold admit a unique @xmath20-saturated minimal subset .
then , @xmath21 has a unique hyperbolic physical measure ( see section  [ ssec : metric ] for more details ) and thus , it is not possible to have the intermingled basins phenomenon .
we have as corollary of their work :    [ mcor : c ] if @xmath4 is a @xmath36-nilmanifold , then there does not exist hyperbolic physical measures with intermingled basins .
this paper is organized as follows .
section  [ sec : preliminaries ] is devoted to introduce the main tools in the proof : partial hyperbolic diffeomorphisms , physical measures , @xmath20-measures and lyapunov exponents .
a toy example as well as kan - like examples are revisited in section  [ sec : examples ] .
proofs of theorem  [ mteo : a ] and corollary  [ mcor : b ] are developed in section  [ sec : proofs ] .
throughout this paper we shall work with a _ partially hyperbolic diffeomorphism _
@xmath21 , that is , a diffeomorphism admitting a nontrivial @xmath37-invariant splitting of the tangent bundle @xmath38 , such that all unit vectors @xmath39 ( @xmath40 ) with @xmath41 satisfy : @xmath42 for some suitable riemannian metric .
@xmath21 also must satisfy that @xmath43 and @xmath44 .
we also want to introduce a stronger type of partial hyperbolicity .
we will say that @xmath21 is _ absolutely partially hyperbolic _ if it is partially hyperbolic and @xmath45 for all @xmath46 .    for partially hyperbolic diffeomorphisms ,
it is a well - known fact that there are foliations @xmath47 tangent to the distributions @xmath48 for @xmath49 .
the leaf of @xmath50 containing @xmath51 will be called @xmath52 , for @xmath49 .
in general it is not true that there is a foliation tangent to @xmath10 .
sometimes there is no foliation tangent to @xmath10 .
indeed , there may be no foliation tangent to @xmath10 even if @xmath53 ( see @xcite ) .
we shall say that @xmath21 is _ dynamically coherent _ if there exist invariant foliations @xmath54 tangent to @xmath55 for @xmath49 .
note that by taking the intersection of these foliations we obtain an invariant foliation @xmath56 tangent to @xmath10 that subfoliates @xmath54 for @xmath57 . in this paper
all partially hyperbolic diffeomorphisms will be dynamically coherent .
we shall say that a set @xmath58 is _ @xmath59-saturated _ if it is a union of leaves of the strong foliations @xmath60 for @xmath61 or @xmath62 .
we also say that @xmath58 is @xmath63-saturated if it is both @xmath64- and @xmath20-saturated .
the accessibility class of the point @xmath41 is the minimal @xmath63-saturated set containing @xmath51 . in case
there is some @xmath41 whose accessibility class is @xmath4 , then the diffeomorphism @xmath21 is said to have the _ accessibility property_. this is equivalent to say that any two points of @xmath4 can be joined by a path which is piecewise tangent to @xmath8 or to @xmath9 .      in this section
we consider @xmath65 be a diffeomorphism , not necessarily partially hyperbolic , defined on the riemannian manifold @xmath4 .
we denote by @xmath66 the normalized volume form on @xmath4 .
a point @xmath67 is _ birkhoff regular _ if the birkhoff averages @xmath68    @xmath69    are defined and @xmath70 for every @xmath71 continuous .
we denote by @xmath72 the set of birkhoff regular points of @xmath21 .
birkhoff ergodic theorem @xcite , implies that the set @xmath72 has full measure with respect to any @xmath21-invariant measure @xmath73 .
when @xmath73 is an ergodic measure , @xmath74 for every @xmath75 in a @xmath73-full measure set @xmath76 .
if @xmath73 is an @xmath21-invariant measure , the _ basin _ of @xmath73 is the set    @xmath77    if @xmath73 is an @xmath21-invariant ergodic measure , then @xmath78,and so @xmath79 has full @xmath73-measure .    an @xmath21-invariant probability measure @xmath0 is _ physical _ if its basin @xmath80 has positive lebesgue measure on @xmath4 @xcite . a physical measure is said to be _ hyperbolic _ if all its lyapunov exponents are nonzero @xcite .
in the setting of partially hyperbolic diffeomorphims defined on a 3-dimensional manifold , a physical measure is hyperbolic if    @xmath81    a point @xmath41 is _ lyapunov regular _ if there exist an integer @xmath82 , numbers @xmath83 and a decomposition @xmath84 into subspaces @xmath85 such that @xmath86 , and for every @xmath87 @xmath88 denote by @xmath89 the set of lyapunov regular points .
the numbers @xmath90 are called the _
lyapunov exponents _ of @xmath51 .
the splitting is called _ oseledets decomposition _ and the subspaces @xmath85 are called _ oseledets subespaces _ at @xmath51 .
s theorem @xcite guarantee that the set @xmath89 has full measure with respect any invariant measure .
in general the functions @xmath91 , @xmath92 , @xmath93 and @xmath94 are measurable . nevertheless , if @xmath73 is an ergodic invariant measure for @xmath21 , there is a subset @xmath95 , such that @xmath96 and there exist an integer @xmath97 , subspaces @xmath98 , numbers @xmath99 such that for every @xmath100 , we have    * @xmath101 ; * @xmath102 , for every @xmath103 ; * @xmath104 , for every @xmath103 ;    an ergodic measure @xmath73 is _ hyperbolic _ if @xmath105 , @xmath103 . in such case , for each @xmath100 we set @xmath106 @xmath107 we have @xmath108 , @xmath109 are constant and @xmath110
. the function @xmath111 and @xmath112 are measurables . if @xmath21 is @xmath1 , @xmath113 , pesin s theory @xcite guarantee the existence of invariant sub - manifolds @xmath114 , @xmath115 tangent to @xmath116 and @xmath117 respectively . more precisely , for every @xmath100
there is a @xmath1 embedded disk @xmath118 through @xmath51 such that    * @xmath118 is tangent to @xmath116 at @xmath51 , * @xmath119 , * the stable set @xmath120 * there exist constant @xmath121 , @xmath122 such that , for every @xmath123 @xmath124    the @xmath1 disk @xmath118 is called _ pesin stable manifold_. similarly , every @xmath100 has an _ pesin unstable manifold _
@xmath125 satisfying the corresponding properties with @xmath126 in place of @xmath21 .    the pesin manifolds above may be arbitrarily small , and they vary measurably on @xmath51 . for any integer @xmath127 , we may find _ hyperbolic blocks _ @xmath128 such that    * @xmath129 , * @xmath130 , as @xmath131 . *
the the size of the embedded disk @xmath118 is uniformly bounded from zero for each @xmath132 .
moreover , for every @xmath132 , @xmath133 and @xmath134 in .
analogous properties are satisfied by the unstable pesin s manifold @xmath125 . *
the disk @xmath118 and @xmath125 vary continuously with @xmath135 .
most important , the holonomy maps associated to the pesin stable lamination @xmath136 are absolutely continuous .
more precisely , fix an integer @xmath127 , a hyperbolic block @xmath137 and a point @xmath132 .
for @xmath138 , @xmath139 close to @xmath51 , let @xmath140 and @xmath141 be small smooth discs transverse to @xmath118 at @xmath138 and @xmath142 respectively .
the holonomy map @xmath143 defined on the points @xmath144 by associate @xmath145 , the unique point in @xmath146 . if @xmath21 is @xmath1 , @xmath113 , then every holonomy map @xmath147 as before is absolutely continuous @xcite .
of course , a dual statement holds for the unstable lamination .    in our setting
, @xmath21 is a @xmath1-partially hyperbolic diffeomorphism , @xmath113 , with splitting @xmath148 , where @xmath149 , @xmath150 .
let @xmath73 be an ergodic measure and we consider any point @xmath100
. then @xmath151 and @xmath152 , @xmath153 and @xmath154 .
moreover @xmath155 , @xmath156 and    @xmath157 is called the _ center lyapunov exponent _ at @xmath51 .
if we take @xmath158 , since @xmath159 we obtain that @xmath160    if we assume @xmath161 , then @xmath162 and @xmath163 for every @xmath100 .
the local strong stable manifold @xmath164 is an embedded curve inside the pesin stable manifold @xmath118 which is a surface . on the other hand ,
the pesin unstable manifold @xmath125 coincides with the strong unstable manifold @xmath165 , for every @xmath100 .
of course , analogous statement holds if we assume @xmath166 .
assume now that @xmath21 is partially hyperbolic and @xmath167 .
an @xmath21-invariant probability measure @xmath0 is a _
@xmath20-measure _ if the conditional measures of @xmath0 with respect to the partition into local strong - unstable manifolds are absolutely continuous with respect to the lebesgue measure along the corresponding local strong - unstable manifold .
if @xmath21 is a @xmath1 partially hyperbolic diffemorphism , @xmath168 , then there exist @xmath20-measures for @xmath21 @xcite .
several properties of the @xmath20-measures are well know ( see for instance @xcite , section 11.2.3 and the references therein , for a detailed presentation of such properties ) .
for instance , the support of any @xmath20-measure is a @xmath20-saturated , @xmath21-invariant , compact set .
if @xmath0 is a @xmath20-measure , then its ergodic components are @xmath20-measures as well .
furthermore , the set of @xmath20-measures for @xmath21 is a compact , convex subset of the invariant measures .
moreover , every physical measure for @xmath21 must be a @xmath20-measure .
it is well know that if @xmath0 is an ergodic @xmath20-measure with negative center lyapunov exponent , then , @xmath0 is a physical measure @xcite .
conversely , if @xmath0 is a physical measure with negative center lyapunov exponent , then @xmath0 is an ergodic @xmath20-measure .
in this section we show some examples that motivated this paper . in the first example ( anosov times morse - smale )
there are no intermingled basins but there is a @xmath20-saturated set in the boundary of one of them . of course , we know a priori that this set consists of tori and it is not difficult to show that this situation is not robust .
this example jointly with kan s was a source of inspiration to obtain theorem [ mteo : a ] .
this is the easiest case where the theorem works .
observe that there is only one physical measure . in the second case ( kan - like example )
the basins are intermingled .      in the 3-torus @xmath169
, we consider the @xmath1-diffeomorphism , @xmath24 , @xmath170 defined by @xmath171 where @xmath172 is a linear anosov diffeomorphism with eigenvalues @xmath173 , and @xmath174 is a morse - smale diffeomorphisms with having exactly two hyperbolic fixed points , a source @xmath175 and a sink @xmath176 , satisfying @xmath177 and @xmath178 .
we assume that @xmath179 satisfies : @xmath180 that means , @xmath179 is a partially hyperbolic diffeomorphism exhibiting a center foliation by compact leaves ( circles ) .
furthermore , @xmath179 has a foliation by smooth 2-tori tangent to the @xmath181-sub - bundle .
in particular , one of such leaves , the torus @xmath182 , is the only attractor of @xmath179 .
the dynamics restricted to @xmath182 is hyperbolic , in fact , is given by @xmath183 .
then , it supports the unique hyperbolic @xmath20-measure @xmath184 for @xmath179 ( actually the lebesgue measure on @xmath182 ) having negative center lyapunov exponent and so , it is physical . if @xmath185 denotes the basin of @xmath186 in the 2-torus @xmath182 under the anosov dynamics given by @xmath183 then , the basin of @xmath184 in @xmath2 is @xmath187 which is an open set modulus a set of zero lebesgue measure in @xmath2 .
the boundary of @xmath188 contains the invariant 2-torus @xmath189 which is the only hyperbolic repeller of @xmath179 .
this invariant torus is also a @xmath20-saturated set , tangent to @xmath181 .
the dynamics restricted to @xmath189 is again hyperbolic and then , it supports a @xmath20-measure @xmath190 for @xmath179 ( actually lebesgue measure on @xmath3 ) but it is not physical .
theorem a prevents the existence of such a @xmath20-saturated set from being robust . after a typical @xmath191-perturbation
, the new map @xmath192 is partially hyperbolic and dynamically coherent .
in fact , @xmath192 has a center foliation by compact leaves by classical results of normally hyperbolic foliations @xcite .
typically @xmath192 does not preserve the invariant foliation by 2-tori tangent to @xmath181 , which exists for @xmath179 .
nevertheless @xmath192 has two invariant compact subset @xmath193 and @xmath194 , the respective continuations of the hyperbolic basic sets @xmath189 and @xmath182 . of course , the dynamics of @xmath195 and @xmath196 are @xmath197-conjugated , so @xmath193 is ( homeomorphic to ) a continuous torus , and the dynamics of @xmath192 in @xmath193 is uniformly hyperbolic .
the set @xmath193 remains to be a hyperbolic repeller and so @xmath64-saturated , but in general it is not @xmath20-saturated .
similar conclusions hold for @xmath194 , the hyperbolic attractor of @xmath192 .
it is a topological 2-torus , @xmath20-saturated , and it supports the unique physical measure of @xmath192 . note that the topological torus @xmath193 is contained in the boundary of the basin @xmath198 , but , in general , @xmath193 is no longer a @xmath20-saturated set .      in @xcite
kan provided the first examples of partially hyperbolic maps with intermingled basin . in this section
we present the kan s examples with some variations , following @xcite , section 11.1.1 .
the kan s example corresponds to a partially hyperbolic endomorphism defined on a surface with boundary exhibiting two intermingled hyperbolic physical measures .
consider the cylinder @xmath199 $ ] , and @xmath200 the map defined by @xmath201 where @xmath202 is some integer , @xmath203 are two different fixed points of @xmath204 and @xmath205 $ ] is @xmath1 , @xmath24 , satisfying the following conditions :    1 .
for every @xmath206 we have @xmath207 and @xmath208 .
the map @xmath209\to[0,1]$ ] has exactly two fixed points , a hyperbolic source at @xmath210 and a hyperbolic sink in @xmath211 .
analogously , the map @xmath212\to[0,1]$ ] has exactly two fixed points , a hyperbolic sink at @xmath210 and a hyperbolic source in @xmath211 .
3 .   for every @xmath213 , @xmath214 , and 4 .   @xmath215 and @xmath216    the dynamics along the @xmath217-direction is given by @xmath218 , so it is uniformly expanding . from [ k3 ] we conclude that the map @xmath27 is partially hyperbolic : the derivative in the @xmath219-direction is dominated by the derivative in the @xmath217-direction .
condition [ k1 ] means @xmath27 preserves the boundary .
then , each one of the boundary circles @xmath220 and @xmath221 supports an absolutely continuous invariant probability measure @xmath222 and @xmath186 , respectively .
condition [ k4 ] implies that @xmath222 and @xmath186 have negative lyapunov exponent in the @xmath219-direction .
so they are physical measures .
moreover , their basin are intermingled .
magic comes from condition [ k2 ] : take any curve @xmath223 inside the open cylinder and transverse to the @xmath219-direction .
we can assume , up to taking some forward iterates , that @xmath223 crosses ( transversally ) the segments @xmath224 and @xmath225 $ ] .
this is possible since @xmath21 is uniformly expanding along the @xmath217 direction and the angle between @xmath223 and the @xmath219-direction goes to @xmath226 due to the domination .
then , there is a forward iterate of @xmath223 that intersects the basin of @xmath222 , in a set of positive lebesgue measure ( in @xmath223 ) , because @xmath223 intersects transversally @xmath227 . since @xmath223 also intersects transversally @xmath228 $ ] , then @xmath223 intersects the basin of @xmath186 in a set of positive lebesgue measure ( see figure  [ fig : kan ] ) .
fubini s theorem completes the argument .
$ ] ]    this example is robust among the maps defined on the cylinder preserving the boundaries .
indeed , for @xmath229 , any map @xmath230 , @xmath1 close to @xmath27 and preserving the boundaries can be written as @xmath231 where @xmath232 is expanding along the @xmath217-direction and @xmath233 $ ] preservs the boundaries , that means @xmath234 satisfies [ k1 ] . moreover ,
if @xmath234 is chosen @xmath1 close enough of @xmath235 , then also their derivatives @xmath236 and @xmath237 are close for every @xmath213 and so @xmath234 satisfies [ k3 ] and [ k4 ] above .
the two different fixed points of @xmath204 , @xmath203 , have continuations @xmath238 and the map @xmath239\to[0,1]$ ] has exactly two fixed points , a hyperbolic source at @xmath210 and a hyperbolic sink in @xmath211 .
analogously , the map @xmath240\to[0,1]$ ] has exactly two fixed points , a hyperbolic sink at @xmath210 and a hyperbolic source in @xmath211 .
then , @xmath234 satisfies [ k2 ] . arguing as before , we conclude that @xmath241 exhibits two intermingled hyperbolic physical measures supported on the boundary .
the next example , corresponds to a partially hyperbolic diffeomorphism defined on a 3-manifold with boundary exhibiting two intermingled physical measures .
the idea is to adapt the previous example , replacing @xmath242 with the torus @xmath3 and the expanding map @xmath204 with a hyperbolic automorphism of the 2-torus having at least two fixed points .
more precisely , we can consider @xmath243 $ ] and diffeomorphisms @xmath244 where @xmath245 is a hyperbolic automorphism , and @xmath246 $ ] is @xmath1 , @xmath24 , satisfying the following conditions :    1 .
for every @xmath247 we have @xmath248 and @xmath249 .
2 .   for @xmath250 , fixed points of @xmath183
, we assume that the map @xmath251\to[0,1]$ ] has exactly two fixed points , a source at @xmath210 and a sink in @xmath211 .
analogously , the map @xmath252\to[0,1]$ ] has exactly two fixed points , a sink at @xmath210 and a source in @xmath211 .
3 .   for every @xmath253 , @xmath254 , and 4 .   @xmath255 and @xmath256    as before , the dynamics along the @xmath75-direction of @xmath257 is uniformly hyperbolic . from [ kd3 ]
we conclude that the map @xmath257 is partially hyperbolic : the derivative in the @xmath219-direction is dominated by the derivative in the unstable direction of @xmath183 and the stable direction of @xmath183 is dominated by the derivative in the @xmath219-direction .
condition [ kd1 ] means @xmath257 preserves each boundary torus .
then both boundary torus @xmath258 and @xmath259 support the measures @xmath222 and @xmath186 corresponding to the lebesgue measure in the torus .
condition [ kd4 ] implies that @xmath222 and @xmath186 have negative lyapunov exponent in the center direction .
so they are physical measures .    as before , their basins are intermingled .
the argument is the same : take any curve @xmath223 in the interior of @xmath260 and transverse to the @xmath18 distribution .
up to some forward iterates , @xmath223 crosses ( transversally ) the surfaces @xmath261 and @xmath262 $ ] . this is possible since @xmath21 is uniformly expanding along the unstable direction and the domination improves the angle between @xmath223 and the center - stable direction .
then , there is a forward iterate of @xmath223 that intersects the basin of @xmath222 in a set of positive lebesgue measure ( in @xmath223 ) , because @xmath223 intersects transversally the stable manifold @xmath263 .
since @xmath223 also intersects transversally the stable manifold @xmath264 , then @xmath223 intersects the basin of @xmath186 in a set of positive lebesgue measure .
fubini s theorem complete the argument .
as before , this example is robust among the diffeomorphisms defined on @xmath260 preserving the boundary tori .
the same construction can be done if @xmath260 is replaced with @xmath265 ( or even the mapping torus of a hyperbolic diffeomorphism ) and @xmath266 $ ] is replaced with @xmath267 .
then , the four conditions are :    1 .   for every @xmath247 we have @xmath268 and @xmath269 .
2 .   for @xmath250 ,
fixed point of @xmath183 , we assume that the map @xmath270 has exactly two fixed points , a source at @xmath271 and a sink in @xmath211 .
analogously , the map @xmath272 has exactly two fixed points , a sink at @xmath271 and a source in @xmath211 .
3 .   for every @xmath253 , @xmath273 , and 4 .   @xmath274 and @xmath275 .
exactly the same proof gives that the basins of the lebesgue measures of the boundary tori are intermingled .
the difference is that this phenomenon is no longer robust .
in fact , there exists a unique physical measure after most perturbations ( see , for instance , @xcite ) .
recently , bonatti and potrie announced that they are able to construct diffeomorphisms on the torus @xmath2 with exactly @xmath276 hyperbolic physical measures @xmath277 whose basins are all intermingled ( and dense on the whole torus ) , in fact , for every open set @xmath278 and every @xmath279    @xmath280    their example is partially hyperbolic in the following broad sense : the tangent space has an invariant splitting @xmath281 where @xmath282 dominates @xmath18 but the sub - bundle @xmath18 is indecomposable into dominated sub - bundles .
we remark that partially hyperbolic diffeomorphisms on surfaces do not admit intermingled hyperbolic physical measures @xcite .
the situation is different in the absence of domination as showed by fayad @xcite .
inspired in the fayad example , melbourne and windsor @xcite give a family of @xmath283-diffeomorphisms on @xmath284 with arbitrary number of physical measures with intermingled basins .
motivated by the latter situation , we say that a partially hyperbolic diffeomorphism @xmath21 is a _ kan - like differmorphisms _ if there exist , at least , two hyperbolic physical measures with intermingled basins .
let @xmath285 , @xmath24 , be partially hyperbolic and dynamically coherent with compact center leaves .
let @xmath0 be a hyperbolic physical measure for @xmath21 with @xmath286 . for further use
let @xmath287 where @xmath288 are pesin blocks and @xmath289 .
we assume that @xmath290 is invariant and its points are regular both in the sense of pesin s theory as in the sense of birkhoff s theorem .
moreover , we will assume that every @xmath291 is a lebesgue density point of @xmath292 .
suppose @xmath298 .
fix @xmath299 .
then , it is not difficult to see there is a sequence @xmath300 such that the distance between @xmath301 and @xmath302 converges to @xmath303 . indeed , if there is @xmath304 such that the distance of @xmath305 to @xmath302 is greater than @xmath303 you can construct a continuous which that takes the value @xmath306 for every point in @xmath302 and @xmath303 if the distance to @xmath302 is greater or equal to @xmath307 .
since @xmath302 has positive @xmath0-measure this contradicts the fact that @xmath298 .
denote by @xmath311 the space of center curves , that is , the quotient space obtained by the relation of equivalence @xmath312 if they are in the same center manifold .
we denote by @xmath58 the space of compact subsets of @xmath4 . given a @xmath20-saturated closed subset @xmath19 , we define the function @xmath313 by @xmath314 .
observe that this intersection is nonempty for every @xmath315 .
on the other hand , since @xmath27 is saturated by strong unstable leaves and the unstable holonomy is continuous , the set of continuity points of @xmath316 is also saturated by strong unstable leaves .
more precisely , if @xmath317 is a point of continuity of @xmath316 , then for every @xmath318 we have that @xmath319 is also a point of continuity of @xmath316 .
let @xmath323 . taking iterates for the future , and recalling that almost every point returns infinitely many times to a positive measure set , we can assume that @xmath324 with @xmath325 where @xmath326 is the uniform size of the pesin stable manifolds of the points of the block @xmath327 .
close to @xmath328 we take @xmath329 , with @xmath330 , and such that @xmath331 is a continuity point of @xmath332 .
in particular , there is a @xmath333 such that , if @xmath334 then , there exists @xmath335 with @xmath336 .
let @xmath337 and @xmath338
. the absolute continuity of the partition by pesin stable manifolds implies that @xmath339 .
then , the ergodicity of the measure implies that there are infinitely many iterates of @xmath328 that belong to @xmath192 .
in particular , there is an @xmath340 such that @xmath341 and @xmath342 .
thus , we obtain that @xmath343 .
the fact that @xmath344 implies that there is @xmath345 , such that @xmath346 . since @xmath347 we have that corresponding center arc @xmath348_c$ ] is completely contained in a pesin stable manifold .
we take @xmath349 and this gives the conclusion of the lemma for the points of @xmath350 .    in what follows
we consider @xmath25 satisfying the hypotheses in theorem  [ mteo : a ] .
that is , @xmath27 is a compact , @xmath21-invariant and @xmath20-saturated subset such that @xmath26 .
our strategy to prove theorem [ mteo : a ] will be to study the intersections of the set @xmath27 with the center manifolds of @xmath21 .
let s begin with the proof .
suppose on the contrary that for every @xmath354 there are @xmath356 and three points @xmath352 with @xmath357 for every pair of points @xmath358 .
take the topological surfaces @xmath359 , @xmath360 and @xmath361 . without loose of generality
we can assume that @xmath362 is in the center arc that joins @xmath51 and @xmath75 and has length less than @xmath354 .
take @xmath363 such that @xmath364 and suppose that @xmath365 .
since @xmath366 , lemma [ l1 ] implies that it can be approximated by a point @xmath367 belonging to @xmath368 . by lemma [ l2 ]
we have that @xmath367 can be joined to @xmath369 by a center arc completely contained in @xmath370 .
observe that @xmath367 is very close to @xmath371 and then , the length of this center arc is greater than , say , @xmath372 .
still much larger than @xmath354 .
this implies that the center arc joining @xmath367 and @xmath369 must intersect either @xmath359 or @xmath361 ( see figure  [ fig:1 ] ) .
[ finito ] let @xmath0 be an ergodic @xmath20-measure with negative center exponent and @xmath27 an invariant @xmath20-saturated set such that @xmath374 .
then , the intersection of @xmath27 with each center manifold consists of finitely many points .
let @xmath317 be a point of continuity of @xmath379 .
continuity at @xmath317 implies that @xmath380 if @xmath381 is close enough to @xmath317 .
the @xmath20-minimality , again , implies the inequality for every @xmath382 .
suppose that the function @xmath378 is not constant .
then , there is a dense set @xmath383 such that for @xmath384 we have that @xmath385 .
continuity at @xmath317 implies that there are a point @xmath386 , a sequence @xmath387 and for each integer @xmath127 , a pair of points @xmath388 , @xmath389 so that both sequences @xmath390 , @xmath391 , converge to @xmath51
. then , taking @xmath260 large enough we can choose a center curve with two points @xmath392 and @xmath393 a very small @xmath353-distance .
we will argue in a similar way to the arguments of the proof of lemma [ lemah ] .
we want to obtain three points that are very close to each other in the same center manifold and surfaces through them that are not in @xmath370 , to arrive to a contradiction with lemma [ l2 ] .
since @xmath375 is @xmath20-minimal we can find @xmath394 very close to @xmath395 .
continuity of the holonomy gives that there are center manifolds converging to the center manifold of @xmath75 and pairs of points @xmath396 of @xmath375 in each of these center manifolds converging to @xmath75 .
finally , fix an integer @xmath397 large enough ( in such a way that the @xmath353 distance between @xmath398 and @xmath399 is much smaller than the one between @xmath395 and @xmath400 ) and call @xmath401 and @xmath402 .
denote @xmath403 the center leaf that contains @xmath404 .
because of the choices we have made , @xmath405 intersects @xmath403 in a point @xmath406 that is close to @xmath407 and @xmath408 but at a greater distance than @xmath409 .
that means that one of the two points @xmath410 lies in between the other two ( see figure [ fig:3 ] ) .
let @xmath376 be @xmath20-minimal and closed .
lemma [ constant ] shows that @xmath375 is locally the graph of a continuous function and then , it is a closed topological surface topologically transverse to the center foliation .
since it is foliated by unstable leaves , that are lines , we have that @xmath375 is a torus .
moreover , proposition [ finito ] implies that the torus @xmath375 is periodic .
thus , all that remains is to prove that the strong stable manifolds of the points of @xmath375 are completely contained in @xmath375 .
as @xmath376 is periodic , we can take an iterate @xmath127 such that @xmath411 . by simplicity
we assume that @xmath412 .
suppose that there is a point @xmath413 such that its strong stable manifold @xmath414 has a point @xmath362 that does not belong to @xmath375 .
since @xmath375 is closed , there exists an open neighbourhood @xmath415 of @xmath362 such that @xmath416 . by the continuity of the strong stable foliation , reducing @xmath417 if necessary , we can find an open neighbourhood @xmath31 of @xmath51 with the property that the strong stable manifold of every point in @xmath417 has a point in @xmath418 , in particular , in @xmath375 .
we know that @xmath419 , then @xmath420 .
hence , there is @xmath421 and if we take @xmath422 , then @xmath423 ( see figure [ fig:2 ] ) .
in particular , @xmath424 and its omega limit is contained in @xmath369 . since @xmath375 is @xmath21-invariant , then @xmath425 which contradicts the hypotheses @xmath426 .
this finishes the proof of the theorem  [ mteo : a ] .
first of all , observe that neither @xmath0 nor @xmath30 can have positive center lyapunov exponent .
this is a consequence of the well - known fact that under our hypotheses the basin of attraction of such a measure would be essentially open ( see for instance @xcite where the conservative case is discussed with details and recently @xcite for a discussion about the non conservative case . ) .
suppose that the center exponents are negative .
if their basins are intermingled then @xmath427 . indeed , it is not difficult to see that the definition of intermingled basins implies that there is a point of the stable manifold ( in the sense of pesin ) of a regular point of @xmath30 that is accumulated by points of the basin of @xmath0 .
since @xmath30 is ergodic the orbit of a regular point is dense in its support . by forward iteration
we obtain the desired inclusion .
then , as consequence of theorem  [ mteo : a ] applied to @xmath428 , @xmath21 is not accessible . as mentioned above accessibility
is an open an dense property , and then we obtain the first assertion .    for the second statement , the works of a. hammerlindl @xcite and r. potrie @xcite proved that the center foliation of every dynamically coherent partially hyperbolic diffeomorphism on the 3-torus is homeomorphic to the corresponding foliation of a linear toral automorphism . as a consequence , there are two possibilities : either the center foliation is by circles or the diffeomorphism is homotopic to a hyperbolic automorphism , it is always dynamically coherent and the center foliation is by lines .
we have already studied the first case . in the second case , potrie @xcite
( see also @xcite ) proved that if @xmath21 is isotopic to a hyperbolic automorphism , there is a unique minimal @xmath20-saturated set .
this implies that @xmath21 has at most one physical measure with negative center exponent .
a.  bonifant and j.  milnor .
schwarzian derivatives and cylinder maps . in _
holomorphic dynamics and renormalization _ ,
volume  53 of _ fields inst .
_ , pages 121 .
soc . , providence , ri , 2008 .        k.  burns , d.  dolgopyat , and y.  pesin .
partial hyperbolicity , lyapunov exponents and stable ergodicity . , 108(5 - 6):927942 , 2002 .
dedicated to david ruelle and yasha sinai on the occasion of their 65th birthdays .
a.  fathi , m.  herman , and j.  yoccoz .
a proof of pesin s stable manifold theorem .
in _ geometric dynamics ( rio de janeiro , 1981 ) _ , volume 1007 of _ lecture notes in math .
_ , pages 177215 .
springer , berlin , 1983 .