certain strong relations between birational minimal models have long been suspected .
kollr @xcite proved that 3-dimensional birational @xmath1-factorial terminal minimal models have isomorphic hodge structures on intersection cohomology groups by employing intersection cohomology theory . for higher dimensions ,
it was proven by batryev @xcite that birational calabi - yau manifolds have the same betti numbers by using p - adic integration .
this result was extended by wang @xcite to the classes of k - equivalent smooth projective manifolds which in particular applies to birational smooth minimal models . with the aid of motivic integration developped by denef and loeser
these results were further refined @xcite to the equivalence of hodge numbers .
most of the results nowadays are either established by certain integration formalism to obtain `` numerical results '' @xcite , or are restricted to particular cases of flops to obtain rather strong `` geometric conclusions '' @xcite,@xcite .
a series of conjectures concerning k - equivalent proper smooth varieties are proposed in ( * ? ? ?
* section 6 ) and explained in ( * ? ? ?
* section 4.3 ) .
the first one of these conjecture is to find an algebraic correspondence between k - equivalent projective smooth varieties that identifies their chow motives .
this article makes a progress in this direction .    the main result ( [ main ] ) of this paper is of a style intermediating between these two ends , stating that two smooth projective varieties related by a _ semismall flop _
( ) have isomorphic chow motives with coefficients in a local ring . following several ideas of @xcite , @xcite , @xcite and @xcite
, we adopt perverse sheaves to compare the motives of smooth varietes under semismall flops .    for motives with coefficients @xmath1 ,
the decomposition theorem is available and it suffices to compare local systems over respective strata ( [ intcmp ] ) .
this can be achieved by employing arc spaces to compare irreducible components of the fibres .
the decomposition theorem can fail , even for fields of positive characteristics .
nevertheless , this difficulty can be remedied for coefficients in local rings by the extensibility of morphisms between sheaves from an zariski open subset ( [ cat ] ) and then to the ability to lift invertibles in the category of finite associative algebras over a noetherian commutative local ring ( [ lift ] ) .
these properties permit an abstract gluing of isomorphisms of perverse sheaves across strata .
an immediate consequence ( [ tor ] ) of the main result is that the singular cohomology groups @xmath2 of a smooth variety @xmath3 are unchanged under semismall flops .
i am indebted to professor chin - lung wang for his supervision and innumerable inspiring discussions , and i am thankful to chen - yu chi , luc illusie , ming - lun hsieh , hui - wen lin , jeng - daw yu and many others for their advices .
we will always work in the category of separated schemes of finite type over the complex numbers @xmath4 , an object whereof is simply called a variety henceforth .
we will mostly compare complexes of sheaves in the bounded derived category @xmath5 of cohomologically constructible complexes sheaves of @xmath0 of finite tor - dimension on @xmath3 with coefficients in a ( commutative unital ) noetherian local ring @xmath0 .
see @xcite and ( * ? ? ?
* expos 2 ) for a reference .
henceforth we will simply call sheaves in place of sheaves of @xmath0-modules we summerise briefly here important properties of this category .
recall that an ( algebraic ) _ whitney stratification _ of an algebraic variety @xmath3 is a partition ( called stratification ) of @xmath3 into finite disjoint collection of zariski locally closed subsets @xmath6 , whereof each element ( called stratum ) @xmath7 is a smooth subvarieties such that the closure @xmath8 is a union of strata . every stratification admits a whitney stratification as refinement .    according to @xcite , by a stractification of a algebraic variety @xmath3 we mean a whitney stratification of equidimensional strata of @xmath3 .
we call a sheaf @xmath9 of @xmath0-modules on @xmath3 a _ locally constant constructible sheaf _ , if there is an open covering @xmath10 ( in the classical topology ) of @xmath3 such that the restriction of @xmath9 to each @xmath11 is a finitely generated free @xmath12-module .
a sheaf @xmath9 is called _ constructible _ if there is a whitney stratification of @xmath3 along each stratum of which @xmath9 is locally constant constructible .
a complex of sheaves is called _ cohomologically constructible _ if every cohomology sheaf of it is constructible .
a complex of sheaves @xmath13 is called _ of finite torsion dimension _ if each of its stalk @xmath14 is isomorphic in the bounded derived category of @xmath0-modules @xmath15 to a complex of projective @xmath0-modules .
let @xmath16 denote the full subcategory of @xmath17 of bounded cohomologically constructible complexes of finite torsion dimension ( ctf for short )
.    amongst the most important topological properties of an algebraic map is the preservation of constructibility .
given an morphism of varieties @xmath18 , the six operations are induced on the subcategories :    f _ * , f_!d^b_(x , ) d^b_(y , ) , f^ * , f^!d^b_(y , ) d^b_(x , ) ,    as well as the derived tensor product    ^ld^b_(x , ) d^b_(x , ) d^b_(x , )    and the internal homomorphism    _ x ( , ) d^b_(y , ) ^d^b_(x , ) d^b_(x , ) .
proofs of the constructibility can be found in @xcite . as an immediate consequence ,
@xmath19 is a ctf @xmath0-complex for any pair @xmath20 .
there is a natural biduality functor @xmath21 defined by @xmath22 , where @xmath23 is the dualising complex , and @xmath24 is the constant map .
perverse t - structures of middle perversity are defined on these categories of the following manner :    ^0 = \ { kd^b_(x , ) : ( isx ) ( k > s)^k i^ * k = 0 }    and    ^0 = \ { kd^b_(x , ) : ( isx ) ( k <
s)^k i^ ! k = 0 } .
the heart @xmath25 of this t - structure is simply called the category of perverse sheaves on @xmath3 .
we remark that @xmath25 is a noetherian abelian category and that it is not in general artinian .
see @xcite for detailed properties of arc spaces . to each variety
@xmath3 we can associate a projective system of schemes @xmath26 , called the _
@xmath27^th^ truncated arc space _ of @xmath3 , which represents the functor @xmath28/t^{m+1 } , x \right)$ ] that sends a @xmath4-scheme @xmath7 to @xmath29/t^{m+1 } , x \right)$ ] .
let @xmath30 be the limit of this system , which represents the functor @xmath31 .
when @xmath3 is smooth of equidimension @xmath32 , the natural projection @xmath33 is a zariski locally trivial @xmath34-fibration over @xmath3 .    when there is a birational morphism @xmath18 between smooth varieties , one can read the structure of the system of induced morphisms @xmath35 from the relative canonical divisor @xmath36 and vice versa .
we have an important lemma about the structure of a birational morphism  ( * ? ? ?
* lemma 3.4 ) .
[ str ] let @xmath3 and @xmath37 be smooth algebraic varieties over @xmath38 , of pure dimension @xmath39 and let @xmath18 be a birational morphism .
for @xmath38 in @xmath40 , let    ( x)^k = \ { ( x ) : ( _ t ) ( ) = k ( f ) ( y)}.    for @xmath41 , let @xmath42 be the morphism induced by @xmath43 , and let @xmath44 be the image of @xmath45 in @xmath26 .
then , for all @xmath38 in @xmath40 with @xmath46 , the following holds .    1 .
the set @xmath44 is a union of fibres of @xmath47 .
the restriction of @xmath47 to @xmath44 is a piecewise trivial fibration with fibre @xmath48 onto its image .
besides @xmath44 , we introduce the notations    ( x)^k = \ { ( x ) : ( _ t ) ( ) k ( f ) ( y ) } , + ( x)^ > k = \ { ( x ) : ( _ t ) ( ) > k ( f ) ( y ) } ,    etc , to indicate the subvarieties of arcs of corresponding orders , and denote their images by @xmath49 , @xmath50 , etc .
moreover , for a subset @xmath51 , we add the restriction sign @xmath52 to indicate those arcs @xmath53 on @xmath3 that are originated from @xmath54 , that is to say @xmath55 .
for example , @xmath56 .
notations concerning order of arcs in the previous paragraph also applies to this situation .
in this section , we will consider complexes of sheaves of abelian groups and the bounded derived categories @xmath57 thereof .
let @xmath3 and @xmath58 be smooth varieties of dimension @xmath32 , @xmath37 a varieties , and @xmath59 and @xmath60 be proper birational morphisms .
suppose that @xmath3 and @xmath58 are k - equivalent through @xmath61 .
that is to say , given any common resolution @xmath62 and @xmath63 , the relative canonical divisors @xmath64 and @xmath65 are equal .
we suppose further that @xmath43 and @xmath66 are _ semismall _ in the sense that @xmath67 and @xmath68 . in this case
@xmath69 is refered to as a _ semismall k - equivalence_.    one important example we shall bear in mind is that when @xmath18 is a semismall crepant resolution and @xmath60 is a flop , @xmath3 and @xmath58 are k - equivalent through @xmath61 . in this case
@xmath69 is refered to as a _ semismall flop_.    a stratum @xmath70 is called _ @xmath43-relevant _ if @xmath71 .    the goal of this section is to prove the following [ intcmp ] .
[ intcmp ] for a sufficiently fine stratification @xmath72 of @xmath37 , on each relevant stratum @xmath73 of dimension @xmath39 , there is an isomorphism @xmath74 .
taking the dual local system ,    [ dual ] under the assumptions of [ intcmp ] , let @xmath75 be the embedding .
there is an isomorphism @xmath76    here is a plan of the proof .
given an initial stratification @xmath72 , we shall recursively study the isomorphism and at the same time refine the stratification and the common resolution @xmath77 if necessary .
+ to be more precise , assume the comparison is done on a union of strata , which is zariski open in @xmath37 .
we shall pick a stratum dense , say @xmath7 , in the complement , blow up @xmath77 accordingly , and establish the comparison on a zariski open subset of @xmath7 in case @xmath7 is relevant , by means of arc spaces .
then we shall refine the stratification by splitting up @xmath7 into the zariski open subset and some other smooth zariski locally closed subvarieties . by noetherian induction , this will prove [ intcmp ] .
let @xmath78 be a zariski locally closed smooth conncected subvariety , of dimension @xmath39 .
suppose that @xmath79 and @xmath80 are ( classically ) locally constant constructible , and that @xmath43 and @xmath66 are flat over @xmath7 .
we begin with some observations on the irreducible components .
consider the projection    _ m , f^-1(t)_m(x)|_f^-1(t ) f^-1(t )    from the space of @xmath27^th^ truncated arcs with origin in @xmath81 , to @xmath81 .
[ toarc ] under the above assumptions , the irreducible components of @xmath82 correspond to those of @xmath81 under @xmath83 , and that    r_m , f^-1(t ) , ! .
let @xmath84 be an irreducible component .
then @xmath85 is a zariski locally trivial @xmath34-fibration over @xmath86 , and hence is irreducible .
consequently , the irreducible components of @xmath82 correspond to those of @xmath81 under the projection @xmath87 .
since it is a @xmath34-fibration , by the base change property for exceptional push - forwards , the projection @xmath83 induces    r_m , f^-1(t ) , ! .    in regards to [ toarc ]
, we have    r_m , f^-1(t ) , !    as well as    r_m , f^-1(t ) , !    and    r_m , h^-1(t ) , ! .
the situation is indicated below    & _ m(z)|_h^-1(t ) & + _ m(x)|_f^-1(t ) & h^-1(t ) & _ m(x)|_f^-1(t ) + f^-1(t ) & & f^-1(t ) +    the next step is to establish relations between the irreducible components of @xmath88 and those of @xmath82 .
we shall see that each component of @xmath82 is dominated by one certain irreducible component of @xmath88 .    for each irreducible component @xmath89 ,
let    \(f ) = \{k : _
m(z)^kf } .
[ cmpcomp ] under the above assumptions , assume in addition that @xmath90 for all irreducible components @xmath91 .
then @xmath92 , and that the equality holds exactly when @xmath93 dominates an irreducible component of maximal dimension @xmath94 .    by [ str ] ,
the additional assumption @xmath90 make arcs @xmath95 of contact order @xmath96 all stabilised(i.e .
there is a piecewise affine fibration structure ) , in particular , @xmath97 is a zariski locally trivial @xmath98-fibration when restricted to @xmath99 with image @xmath100 . therefore    ( _ m(z)^(f ) f)- ( _ m(x)^(f ) _
m(g)(f ) ) = ( f ) .
on the other hand , @xmath101 is zariski open and dense in @xmath93 , and that @xmath102 is zariski open and dense in @xmath103 , so    \(f ) & = ( _ m(z)^(f ) f ) - ( _ m(x)^(f ) _
m(g)(f ) ) + & = f - _ m(g)(f ) .
recall that the assumption on semismallness forces that @xmath104 , and hence @xmath105 .
\(f ) = f - _ m(g)(f ) f - 2 - mn .
the equality holds exactly when @xmath106 . in that case
, @xmath103 is of maximal dimension in @xmath82 .
[ cmpcomp1 ] under the assumptions of [ cmpcomp ] , @xmath97 induces a bijection    & \ { : e = 2 + mn } + & \ { : ( f ) = f - 2 - mn }    in regards to [ cmpcomp ] , we are left to prove that each irreducible component @xmath107 is dominated by exactly one irreducible component of @xmath88 .
this is clear by the surjectivity of @xmath97 and the fact that @xmath97 is an @xmath98-fibration over an zariski open set of @xmath86 .    for convenience , we may and we shall refine the resolution as @xmath108 , which is an isomorphism outside the closure @xmath109 , such that @xmath110 is a sum of divisors , and that @xmath111 for all @xmath93 .
the condition then becomes @xmath112 .
we rename @xmath113 .
[ cmpcomp1 ] describes explicitly the relation between components of importance , the difficulty to the comparison being that @xmath97 is only an @xmath114-fibration on an zariski open subset .
this difficulty is evitable by restricting everything to an zariski open subset of @xmath7 .
set    u = \ { tt : ( _ m(x)^ > |_f^-1(t ) ) < 2 + mn,(_m(x)^ > |
_ f^-1(t ) ) < 2 + mn}.    [ res ] under the assumptions of [ cmpcomp ] , @xmath115 is zariski open and dense in @xmath7 .
put    v & = \ { tt : ( _ m(x)^ > |_f^-1(t ) ) < 2 + mn } + v & = \ { tt : ( _ m(x)^ > | _ f^-1(t ) ) < 2 + mn } ,    so that @xmath116
. then it suffices to verify that @xmath117 and @xmath118 are zariski open and dense in @xmath7 .
we shall do that for @xmath117 only .
we may assume that @xmath7 is irreducible .
firstly , @xmath117 is nonempty . if @xmath119 , then by the piecewise fibration structure [ str ] @xmath120 for all @xmath121 , so    ( _ m(z)^ > |_h^-1(t ) ) + 1 + 2 + mn + d = ( m+1)n ,    which is absurd .
thus @xmath122 .
we study the set @xmath117 by applying @xmath123 to the sequence    0 _ _ m(x)^|_f^-1(t ) _ _ m(x)|_f^-1(t)__m(x)^ > |_f^-1(t ) 0
.    then    r^(n - d)+2mn ( f_m , f^-1(t ) ) _ ! _ _
m(x)|_f^-1(t)r^(n - d)+2mn ( f_m , f^-1(t ) ) _ ! _ _
|_f^-1(t ) 0 .    by [ toarc ] ,
the former sheave is    r^(n - d)+2mn ( f_m , f^-1(t ) ) _ ! _ _
m(x)|_f^-1(t)r^n - df_*_f^-1(t ) ,    which is locally constant constructible by assumption .
according to the `` semicontinuity '' of quotients of locally constant sheaves , the set of @xmath124 at which the stalk is zero    0 = ( r^(n - d)+2mn ( f_m , f^-1(t ) ) _ ! _ _
m(x)^ > |_f^-1(t))_t = h^(n - d ) + 2mn_c ( _
|_f^-1(t ) , )    is zariski open in @xmath7 .
since @xmath125 , @xmath126 exactly when @xmath127 .
the set is exactly @xmath117 , whence @xmath117 is zariski open .    by restricting to @xmath128 and its image @xmath129 ,
we arrive at the new situation indicated below :    & _ m(z)^|_h^-1(u ) & + _ m(x)^|_f^-1(u ) & h^-1(u ) & _ m(x)^|_f^-1(u ) + f^-1(u ) & & f^-1(u ) + & u & +    according to the structure theorem ( [ str ] ) , the morphisms @xmath130 and @xmath131 are piecewise trivial @xmath114-fibrations
. therefore there are zariski open dense @xmath132 and @xmath133 such that @xmath134 and @xmath135 are trivial @xmath114-fibrations .
let @xmath136 and @xmath137 be the corresponding complements .
finally , pick @xmath138 such that the fibre of @xmath139 and of @xmath140 over each point of @xmath141 is of dimension @xmath142 .
[ cohomcmp ] under the assumptions of [ cmpcomp ] , in the above diagramme , there is an isomorphism on @xmath141 , @xmath143 .    in this context
, leray spectral sequence for @xmath144 then gives @xmath145    since @xmath97 is trivial @xmath114-fibration over @xmath117 .
@xmath146    applying @xmath147 to the relative sequence on @xmath148    0_v _ _ m(x)^|_f^-1(u ) _ v^c 0 ,    we have @xmath149    applying @xmath147 to the relative sequence on @xmath148    0__m(x)^|_f^-1(u ) _ _ m(x)|_f^-1(u ) _ _ m(x)^ > |_f^-1(u ) 0 ,    we have then @xmath150 and the latter is isomorphic to @xmath151    combining equations [ eq1 ] , [ eq2 ] , [ eq3 ] , [ eq4 ] and [ eq5 ] , we get    & ( r^(n - d ) + 2mn+ 2 ( h_m , h^-1(u ) ) _ ! _
_ m(z)^|_h^-1(u))|_w + & ( r^(n - d ) + 2mn+ 2 ( f_m , f^-1(u)_m(g ) ) _ !
+ & ( r^(n - d ) + 2mn ( f_m , f^-1(u))_!_v)| _ w + & ( r^(n - d ) + 2mn ( f_m , f^-1(u))_!__m(x)^|_f^-1(u))| _ w + & ( r^(n - d ) + 2mn ( f_m , f^-1(u))_!__m(x)|_f^-1(u))| _ w + & ( r^n - df _ * _ f^-1(u))| _ w +    similarly ,    ( r^(n - d ) + 2mn+ 2 ( h_m , h^-1(u ) ) _ ! _ _
m(z)^|_h^-1(u))| _ w ( r^n - df _ * _ f^-1(u))| _ w.    therefore    r^n - df _ * _ f^-1(w ) ( r^n - df _ * _ f^-1(u))|_w ( r^n - df _ * _ f^-1(u))|_w r^n - df _ * _ f^-1(w ) .
we may redefine @xmath7 as @xmath141 and refine the stratification @xmath72 accordingly , so that    r^n - df _ * r^n - df _ * .
from the arguments above , one sees that    [ dim ] under the assumptions of [ cmpcomp ] , the semismallness of @xmath43 implies that of @xmath66 , and that @xmath152 .
moreover , if a stratum @xmath7 is @xmath43-relevant , then it is also @xmath66-relevant .    finally , we can prove [ intcmp ] .
as is sketched right after the statement of [ intcmp ] , the proof proceeds by recurrence on strata .
we assign a partial order on the set of strata .
there is a relation between two strata @xmath153 if @xmath154 .
suppose that @xmath70 is a stratum , and that on every @xmath155 with @xmath156 but @xmath157 , the comparison @xmath158 has been established .
apply [ cohomcmp ] to @xmath7 , so that there is a resolution @xmath159 and an zariski open @xmath160 with @xmath161 .
refine the stratification on @xmath162 so that @xmath163 is one of the strata .
this finishes the recursive step .    clearly by the noetherian assumption on @xmath37 , the recurrence eventually stops . that finishes the proof .
[ qmot ] in coefficient @xmath1 , we have    rf _ * rf _ *    consequently , if @xmath3 and @xmath58 are projective , then the chow motives in @xmath1-coefficients are isomorphic    m(x ) _
m(x ) _    tensoring with @xmath1 the isomorphisms provided by [ intcmp ] , we have    r^n - df_*&r^n - df_*(^l f^*)r^n - df_*^l + & r^n - df_*^l r^n - df_*(^l f^ * ) r^n - df_*.    then    ( t , r^n - df _ * ) ( t , r^n - df _ * ) .    by the explicit decomposition theorem of @xcite ,    rf_*_t(t , r^n - df _ * ) _
t(t , r^n - df _ * ) rf_*.    an argument in @xcite , which we will reproduce in the next section , shows that @xmath164 .
as the decomposition theorem is available only with coefficients in fields of characteristic @xmath165 , in order to extend the result to more general coefficients , we shall study the extensions of perverse sheaves across strata in the next section and forth .
provided with [ intcmp ] we are left with extending the isomorphisms across strata , in other words , to glue the isomorphisms of perverse sheaves over strata . the gluing is not automatic . for nice general expositions of gluing of perverse sheaves , confer @xcite or @xcite .
now fix a noetherian coefficient ring @xmath0 . throughout this section , we work on the derived categories @xmath166 of ctf @xmath0-complexes with respect to a stratification @xmath72 of @xmath37 obtained in [ intcmp ] .
according to the notations of @xcite , we will write @xmath167 for the derived functor , whereas standard cohomology sheaf functors will be denoted by @xmath168 , and the perverse cohomology sheafs by @xmath169 .    the situation of semismall k - equivalence @xmath170 is continued in this section . according to @xcite , the sheaves @xmath171 $ ] and @xmath172 $ ] are perverse .
that can be shown by estimation of supports using leray spectral sequences together with the self - duality of @xmath171 $ ] and of @xmath172 $ ] .
we begin with a observation on the convolution algebra and morphisms between @xmath171 $ ] and @xmath172 $ ] .    for @xmath173 open subset ,    _
d^b_c(u , ) ( f_*_f^-1(u ) , f_*_f^-1(u ) ) h^_2n(f^-1(u ) _ u f^-1(u ) , ) .    and this isomorphism commutes with the obvious restriction morphisms of open subsets @xmath174 in the sense that the following diagramme commutes    _ d^b_c(u , ) ( f_*_f^-1(u ) , f_*_f^-1(u ) ) & h^_2n(f^-1(u ) _ u f^-1(u ) , ) + _ d^b_c(v , ) ( f_*_f^-1(v ) , f_*_f^-1(v ) ) & h^_2n(f^-1(v ) _ v f^-1(v ) , )    when there is a third @xmath175 , the composition pairing    _ d^b_c(u , ) ( f_*_f^-1(u ) , f _ * _ f^-1(u ) ) _ _ d^b_c(u , ) ( f _ * _ f^-1(u ) , f  _ * _ f^-1(u ) ) + _ d^b_c(u , ) ( f_*_f^-1(u ) , f  _ * _ f^-1(u ) )    is compatible with the convolution product of cohomological correspondences    h^_2n(f^-1(u ) _
u f^-1(u ) , ) _ h^_2n ( f^-1(u ) _ u
f^-1(u ) , ) + h^_2n ( f^-1(u ) _ u f^-1(u ) , )    emphasis is put on the compatibility with restriction maps , whereof we will be using in a crucial way .
observe also that in the situation of semismall k - equivalence , since the borel - moore homology groups are freely generated by the respective sets of irreducible components of dimension @xmath32 ( [ dim ] ) , the restriction map is surjective , and so is the other restriction map .
besides , the compatibility of product structure provides a link between isomorphism of sheaves and of chow motives .
[ corr ] in the situation of semismall k - equivalence @xmath176 , any isomorphism @xmath171\cong f'_*\lambda[n]$ ] gives rise to a cohomological correspondence @xmath177 , which is the class of an algebraic cycle with coefficients in @xmath0 .
when @xmath3 and @xmath58 are projective , @xmath178 provides an isomorphism of chow motives @xmath179 with coefficients in @xmath0 .
we shall prove by recurrence on strata in @xmath72 that @xmath171 \cong f'_*\lambda[n]$ ] .
we are then reduced to the situation under which there are zariski open subsets @xmath180 with smooth complement @xmath181 of equidimension @xmath39 , on which @xmath182 $ ] and @xmath183 $ ] are locally constant constructible sheaves , isomorphisms @xmath184 \cong f'_*\lambda _ { { f'}^{-1}(v)}[n]$ ] and @xmath182 \cong\operatorname { { \prescript{o } { } { \calh}}}^{-d}f ' _ * \lambda[n]$ ] .
lift the isomorphism @xmath185 to a morphism @xmath186 \to f'_*\lambda _ { { f'}^{-1}(u)}[n]$ ] , and its inverse @xmath187 to @xmath188 \to f_*\lambda_{f^{-1}(u)}[n]$ ] .
we remark that @xmath189 and @xmath190 may not be isomorphisms anymore
.    then there are morphisms between distinguished triangles    i_*i^ !
f _ * & f _ * & j_*j^ * f _ * & i_*i^ ! f _ * + i_*i^ !
f _ * & f _ * & j_*j^ * f _ * & i_*i^ ! f _ * + i_*i^ !
f _ * & f _ * & j_*j^ * f _ * & i_*i^ !
f _ * +    recall that by the semismallness of @xmath43 and of @xmath66 , @xmath171 $ ] and @xmath172 $ ] are perverse .
applying the perverse cohomolology functor @xmath191 to this diagramme , we have exact sequences    0 & ^0 i_*i^ !
f _ * & f _ * & ^0 j_*j^ * f _ * & ^1 i_*i^ !
f _ * & 0 + 0 & ^0 i_*i^ ! f _ * & f _ * & ^0 j_*j^ * f _ * & ^1 i_*i^ ! f _ * & 0 + 0 & ^0 i_*i^ ! f _ * & f _ * & ^0 j_*j^ * f _ * & ^1 i_*i^ ! f _ * & 0 +    since @xmath192 , @xmath193 as well .
similarly @xmath194 , so @xmath195 and @xmath196 are inverse to each other .
the diagramme is reduced to    0 & ^0 i_*i^ !
f _ * & f _ * & d & 0 + 0 & ^0 i_*i^ ! f _ * & f _ * & d & 0 + 0 & ^0 i_*i^ !
f _ * & f _ * & d & 0 +    where @xmath185 and @xmath197 are isomorphisms . since @xmath198 \cong \left(\operatorname { { \prescript{o } { } { \calh}}}^{n - d } i_*i^ !
f _ * \lambda\right)[d ] \cong \left(\operatorname { { \prescript{o } { } { \calh}}}^{n - d } i_*i^ ! f ' _ * \lambda\right)[d ] \cong \operatorname { { \prescript{\frakp } { } { \calh}}}^0 i_*i^ ! f ' _ * \lambda[n]$ ] by [ dual ] tensored with @xmath0 , it amounts now to a statement concerning extensions of perverse sheaves , which will be demonstrated in the next section .    [ cat ]
let @xmath12 and @xmath199 be objects in an abelian category @xmath200 locally finite over a noetherian local ring @xmath0 , such that @xmath201 .
suppose we have a diagramme of short exact sequences    0 & a & b & c & 0 + 0 & a & b & c & 0 + 0 & a & b & c & 0 +    where @xmath185 and @xmath197 are isomorphisms .
then there exists an isomorphism @xmath202 which lifts @xmath185 .    with this lemma in combination with [ corr ]
, we have proven    [ main ] let @xmath0 be a noetherian local ring . given projective birational morphisms @xmath18 and @xmath60 of complex algebraic varieties .
suppose that @xmath43 and @xmath66 are semismall and that @xmath3 and @xmath58 are smooth varieties k - equivalent through @xmath69 ( e.g. when @xmath203 is a semismall flop ) .
then    rf _ * rf _ * .
suppose further that @xmath3 and @xmath58 are projective varieties , then there is an isomorphism of motives in coefficient @xmath0    m(x)_m(x)_.    [ tor ] under the assumptions of [ main ] , there are isomorphisms of singular cohomology groups    h^*(x , ) h^*(x , )    and    h^*(x , _ p ) h^*(x , _
p )    for all prime @xmath204 .
since @xmath2 and @xmath205 are finitely generated abelian groups , it suffices to compare the ranks and the @xmath204-primary components @xmath206 $ ] and @xmath207 $ ] for all primes @xmath204 .
[ main ] provides in particular @xmath208 for all local rings @xmath0 .
taking @xmath209 , we see that @xmath210 .
taking @xmath211 the ring of @xmath204-adic integers , we have on the other hand @xmath212\cong h^k(x , \bfz_p)\left [ p^{\infty } \right]\cong h^k(x ' , \bfz_p)\left [ p^{\infty } \right ] \cong h^k(x , \bfz)\left [ p^{\infty } \right]$ ] .
this proves @xmath213 .
the latter statement is similarly proven by taking @xmath214 .
in this section we work abstractly on a noetherian abelian category @xmath200 _ locally finite _ over a noetherian local ring @xmath0 .
this means that the noetherian abelian category @xmath200 has on every hom set @xmath215 a finitely generated @xmath0-module structure for every @xmath216 , such that each composition map        given objects @xmath218 such that @xmath201 , we shall study the @xmath0-module @xmath219 of extensions of @xmath199 by @xmath12 .
recall that elements of @xmath219 are short exact sequences in @xmath200            let @xmath222 and @xmath223 .
then @xmath219 is endowed with a natural @xmath224-bimodule structure in the following manner : for any @xmath225 , the element @xmath226 is defined as the second row of the following diagramme            1 .
suppose we have a diagramme of short exact sequences + 0 & a & b & c & 0 + 0 & a & b & c & 0 + then the left square is cocartesian .
dually , suppose we have a diagramme of short exact sequences + 0 & a & b & c & 0 + 0 & a & b & c & 0 + then the right square is cartesian .
3 .   given any diagramme of short exact sequence + 0 & a & b & c & 0 + 0 & a & b & c & 0 +
there is a 3-step factorisation + 0 & a & b & c & 0 + 0 & a & a ^ ( , ) b & c & 0 + 0 & a & b _ ( , ) c & c & 0 + 0 & a & b & c & 0 + where @xmath229 is defined by + ( a , b ) = ( ( a ) + ( b ) , ( b ) ) .                      with @xmath187 . in other words , this amounts to @xmath236 = [ ( b ' , \gamma , \delta)]\cdot \varphi$ ] and @xmath237 = [ ( b , \alpha , \beta)]\cdot \varphi^{-1}$ ] in @xmath219
. we will invoke the following easy lemma .
[ lift ] let @xmath0 be a noetherian commutative local ring , and @xmath12 be an ( associative unital ) @xmath0-algebra which is a finitely generate @xmath0-module . given any surjection of @xmath0-algebras @xmath238 , the induced group homomorphism @xmath239 is surjective as well .
we prove firstly that @xmath240 , where @xmath241 is the jacobson radical of @xmath12 , and similarly that @xmath242 .
the jacobson radical is the intersection of all maximal left ideals of @xmath12 .
thus it suffices to show that for every maximal left ideal @xmath243 , the pullback @xmath244 in @xmath0 is equal to @xmath245 , or equivalently that @xmath246 is a field . to this effect , consider the irreducible left @xmath12-module @xmath247 , whose endomorphism algebra @xmath248 is a finitely generated division @xmath249-algebra .
we identify @xmath246 with a subring of the centre of @xmath250 .
let @xmath251 be an element .
we shall find its inverse element in @xmath246 .
firstly , @xmath252 has a two - sided inverse @xmath253 in @xmath250 .
since @xmath250 is a finite @xmath249-algebra , every element is integral over @xmath246 .
let @xmath254 be a monic polynomial relation for @xmath253 , with coefficients @xmath255 . multiplying it with @xmath256 , we obtain @xmath257 .
hence @xmath253 is a inverse of @xmath252 in @xmath246 , so @xmath246 is a field .
the inclusion @xmath240 shows in particular that @xmath258 is a quotient of @xmath259 , thus a semisimple artinian @xmath260-algebra .    now given @xmath261 , the reduction
@xmath262 is invertible as well .
since @xmath263 is an epimorphism of semisimple artinian algebras , there clearly exists @xmath264 such that @xmath265 and @xmath266 .
since @xmath267 , there exists @xmath268 such that @xmath269 .
it remains to verify that @xmath270 .
let @xmath271 such that @xmath272 .
then @xmath273 , and that @xmath274 is invertible according to the characterisation . similarly , @xmath275 is invertible
. therefore @xmath270 .
let @xmath276 $ ] be the sub-@xmath277-module generated by @xmath278 $ ] .
then @xmath279\cdot \varphi$ ] .
thus @xmath280 induces an automorphism on @xmath281 . put @xmath282 and @xmath283 .
then the lemma gives an invertible @xmath284 such that @xmath285 = [ ( b ' , \gamma , \delta)]$ ] .
therefore there is a diagramme of exact sequences        99  _ lments de gomtrie algbrique ( rdigs avec la collaboration de jean dieudonn ) : iv .
tude locale des schmas et des morphismes de schemas.,troisime partie .
_ publications mathmatiques de li.h..s . ,
tome 28 ( 1966 ) , p. 5
http://www.numdam.org/item?id=pmihes_1966__28__5_0  _ sminaire de gomtrie algbrique : 4 1/2 .
cohomologie tale .
_ lecture notes in mathematics , vol .
569 , berlin ; new york : springer - verlag , 1977 .
 _ analyse et topologie sur les espaces singuliers ( i ) .
_ socit mathmatique de france , astrisque 100 , 1982 .
 _ birational calabi
yau n - folds have equal betti numbers .
_ _ new trends in algebraic geometry _ ( warwick , 1996 ) , pp 1 - 11 , london math .
lecture note ser .
264 , cambridge univ . press , cambridge 1999 .
 _ partial resolutions of nilpotent varieties .
_ socit mathmatique de france , astrisque 101(102):23 - 74 , 1983 .
 _ the hard lefschetz theorem and the topology of semismall maps .
_ annales scientifiques de lcole normale suprieure , 4^e^ srie , t. 35 , 2002 , p. 759 - 772 .
 _ the chow motive of semismall resolutions . _ mathematical research letters , 2004 , volume 11 , number 2 , pp 151 - 170 .  _ representation theory and complex geometry .
_ birkuser , boston , 1997 .
 _ germs of arcs on singular algebraic varieties and motivic integration . _ inventiones mathematicae , january 1999 , volume 135 , issue 1 , pp 201 - 232 .
 _ motivic and quantum invariance under stratified mukai flops . _ journal of differential geometry , 2008 , volume 80 , pp 261 - 80 .  _
decomposition numbers for perverse sheaves .
_ annales de linstitut fourier 59.3 , 2009 .  _ flops .
_ nagoya mathematical journal , 1989 , volume 113 , pp 15 - 36 .  _ flops , motives , and invariance of quantum rings . _
annals of mathematics , july 2010 , second series , volume 172 - 1 , pp 243 - 290 .  _ topology of singular spaces and constructible sheaves .
_ monografie matematyczne , 2003 , volume 63 , birkhuser basel .
 _ on the topology of birational minimal models .
_ j. differential geometry , 1998 , volume 50 , number 1 , pp 129 - 146 .
 _ k - equivalence in birational geometry and characterizations of complex elliptic genera . _ j. algebraic geometry , 2003 , volume 12 , number 2 , pp 285 - 306 .
 _ k - equivalence in birational geometry .
_ in _ proceeding of the second international congress of chinese mathematicians _
( grand hotel , taipei 2001 ) .


in the nearby universe , the population of galaxies with stellar masses greater than 10@xmath2 m@xmath5 is dominated by large early  type galaxies ( baldry et al .
2004 ) with correspondingly large sizes ( shen et al .
these nearby systems contain old and metal - rich stellar populations that formed quickly in the early universe ( heavens et al .
2004 ; feulner et al . 2005 ; thomas et al .
however , it has remained unknown whether the stars in these galaxies were all assembled in the same system , or formed in lower mass galaxies that later merged .
two major formation models have been proposed in order to explain the properties of these galaxies : the so - called monolithic collapse model ( eggen , lynden - bell & sandage 1962 ; larson 1975 ; arimoto & yoshii 1987 ; bressan , chiosi & fagotto 1994 ) and the hierarchical merging scenario ( toomre 1977 ; white & frenk 1991 ) . these two mechanisms have both observational and theoretical successes and drawbacks .
for instance , evidence in favor of a fast and dissipative monolithic collapse is the fact that the bulk of stars in massive ellipticals are old ( mannucci et al .
2001 ) and have high [ @xmath11/fe ] ratios ( i.e. short star formation time - scales ; worthey et al . 1992 ) .
in addition , the structural and dynamical properties of observed spheroid galaxies are well reproduced by cold dissipationless collapse ( van albada 1982 ; may & van albada 1984 ; mcglynn 1984 ; aguilar & merritt 1990 ; londrillo et al . 1991 ; udry 1993 ; hozumi et al .
2000 ; trenti et al .
2005 ) , a process that is expected to dominate the last stages of a highly dissipative collapse . on the other hand , supporting a hierarchical merger scenario ,
observations find a decline in the number of massive galaxies seen at higher redshifts .
this decline is moderate since z@xmath61 and much stronger at even higher redshifts ( daddi , cimatti & renzini 2000 ; pozzetti et al . 2003 ; bell et al .
2004 ; drory et al .
2004 , 2005 ; daddi et al . 2005 ; saracco et al . 2005 ; faber et al .
2005 ; pozzetti et al . 2007 ) .
moreover , new renditions of semi - analytical models where merging is the cornerstone of galaxy formation ( e.g. de lucia et al .
2006 ) are much better able to match the stellar population properties of elliptical galaxies .
finally , it has been found theoretically that the scaling laws followed by elliptical galaxies are robust against merging ( ciotti et al .
2007 ) .    exploring the assembly of massive galaxies with cosmic time through number density analysis or merger rate estimations
are however difficult to conduct since , first , very massive galaxies are scarce and , second , their clustering properties make them strongly affected by field - to - field variance associated with limited observed volumes .
these two difficulties make claims of the assembly of massive galaxies in the early universe based on number densities and merger rate estimations highly uncertain ( e.g. , cimatti , daddi & renzini 2006 ; renzini 2007 ) .
a much more straightforward approach to the assembly problem of massive galaxies is to explore the size evolution of these systems at a given stellar mass . in a `` monolithic - like '' scenario where
a galaxy is fully assembled after the formation of its stars , the stellar mass - size relation should remain unchanged as cosmic time evolves . in the hierarchical merging scenario ,
however , the stellar mass - size relation will evolve as a result of the increase in size after each galaxy merger .
for instance , state - of - the - art hierarchical semi - analytical models predict a very strong ( a factor of 1.5 - 3 ) evolution in the size of very massive galaxies ( m@xmath0@xmath110@xmath2h@xmath3@xmath4m@xmath5 ) nine billion years ago ( khochfar & silk 2006b ) .
this predicted evolution in size is a strong function of galaxy mass , with the more massive objects expected to have the largest increase in size .
due to the lack of a large sample of very massive galaxies at high redshift , analysis of the evolution of the stellar mass - size relation of galaxies have mainly explored objects in the 10@xmath12@xmath8m@xmath13@xmath810@xmath2 m@xmath5 range .
observations within this mass interval do not find a significant evolution of the stellar mass - size relation since z@xmath61 ( barden et al . 2005 ; mcintosh et al . 2005 ) .
explorations of these objects at even earlier look - back times ( 1@xmath8z@xmath83 ) have been also attempted , and show a moderate decline in size for galaxies at a given stellar mass ( trujillo et al .
2004 ; 2006a ) . however , the size of very massive galaxies , m@xmath0@xmath110@xmath2m@xmath5 , is still largely unexplored , with only around a dozen objects studied in detail so far ( daddi et al .
2005 ; trujillo et al . 2006b ; longhetti et al .
2007 ; mcgrath et al . 2007 ) .
definitive conclusions regarding the evolution of sizes for massive galaxies thus remain largely unknown .
the goal of this paper is to shed some light on this issue by exploring the sizes of a large sample of very massive galaxies since z@xmath82 .
this will help to clarify whether the evolutionary scenario for these objects is hierarchical or monolithic - like .
the paper is structured as follows . in section 2
we give a brief summary of the palomar / deep2 data , and in section 3 we describe the determination of the stellar masses .
size measurement technique and robustness estimations for our data are provided in section 4 . in section 5
we study the selection effects and in section 6 present the observed stellar mass  size relations .
we compare our results with other samples in section 7 , and finally , we discuss our results in section 8 . in what follows ,
we adopt a cosmology of @xmath14=0.3 , @xmath15=0.7 and h@xmath16=70 km s@xmath17 mpc@xmath17 .
we use the palomar observatory wide - field infrared ( powir)/deep2 survey ( bundy et al . 2006 ; conselice et al .
2007a , b ; davis et al . 2003 ) to define a sample of 831 galaxies with masses larger than 10@xmath2h@xmath3@xmath4m@xmath5 located over @xmath6710 arcmin@xmath18 in the extended groth strip ( egs ) .
this field ( 63 hubble space telescope tiles ) was imaged with the advanced camera for surveys ( acs ) in the v(f606w , 2660s ) and i - band ( f814w , 2100s ) .
each tile was observed in 4 exposures that were combined to produce a pixel scale of 0.03 arcsec , with a point spread function ( psf ) of 0.12 arcsec full width half maximum ( fwhm ) .
in addition to the hst data , optical imaging from the cfht 3.6-m telescope in the b , r and i bands taken with the cfh12k camera was used .
integration times for these observations were 1 hour in b and r , and 2 hours in i. limiting magnitudes reached are b=24.5 ( ab , 8@xmath19 ) , r=24.2 ( ab , 8@xmath19 ) and i=23.5 ( ab , 8@xmath19 ) .
the details of the data reduction for this data is provided in coil et al .
( 2004 ) .    in the egs region ,
the palomar near - infrared k@xmath20-band imaging has a typical depth of greater than k@xmath21=22.5 mag ( 5 @xmath19 ) , and a j - band depth of j@xmath21=23.4 mag ( 5 @xmath19 ) .
about 70% of the galaxies brighter than r@xmath21=24.1 mag in this field were targeted by the deep2 galaxy redshift survey , using the keck 10 m telescope , for a total spectroscopic redshift completeness of @xmath656% . in our case ,
410 objects have a spectroscopic redshift ( @xmath650% of the full dataset ) , with a spectroscopic completeness of 61% for galaxies with z@xmath81 , and a completeness of 30% for galaxies with z@xmath91 .
we supplemented our spectroscopic redshift catalogue with photometric redshifts with an accuracy for all galaxies in the total k - band survey of @xmath22z/(1+z)@xmath230.07 in the range 0.2@xmath8z@xmath81.4 and @xmath22z/(1+z)@xmath80.22 for galaxies at 1.4@xmath8z@xmath82 ( conselice et al .
however , it is worth noting that , for the massive galaxies we use in this paper , the accuracy is @xmath24 at @xmath25 , and likely similarly lower for @xmath26 galaxies ( i.e. @xmath27 ) .
the determination of stellar masses for each of our galaxies follows a standard multi - color ( brijk ) stellar population fitting technique , producing uncertainties of @xmath230.2 dex .
the largest systematic source of error comes from the assumed initial mass function ( imf ) , in this paper we have used the chabrier imf for all stellar mass measurements .
the details of these estimations are presented in bundy et al .
( 2006 ) and conselice et al .
( 2007b ) .
however , because the measurement of stellar masses is an integral part of this paper , we give a brief description of how our masses are measured , and what systematics might be present .
the basic mass determination method we use consists of fitting a grid of model seds constructed from bruzual & charlot ( 2003 ) ( bc03 ) stellar population synthesis models , with different star formation histories .
we use an exponentially declining model to characterise the star formation , with various ages , metallicities and dust contents included .
these models are parameterised by an age , and an e - folding time .
these parameterisations are fairly simple , and it remains possible that stellar mass from older stars is missed under brighter younger populations . while the majority of our systems are passively evolving older stellar populations , it is possible that up to a factor of two in stellar mass is missed in any star bursting blue systems .
however , stellar masses measured through our technique are roughly the expected factor of 5 - 10 smaller than dynamical masses at @xmath28 using a sample of disk galaxies ( conselice et al .
2005 ) , demonstrating their inherent reliability .
we calculate the likely stellar mass , age , and absolute magnitudes for each galaxy at all star formation histories , and determine stellar masses based on this distribution .
distributions with larger ranges of stellar masses have larger resulting uncertainties .
it turns out that while parameters such as the age , e - folding time , metallicity , etc .
are not likely accurately fit through these calculations due to various degeneracies , the stellar mass is robust .
typical errors for our stellar masses are 0.2 dex from the width of the probability distributions .
there are also uncertainties from the choice of the imf .
our stellar masses utilise the chabrier imf , which can be converted to salpeter imf stellar masses by adding 0.25 dex .
there are additional random uncertainties due to photometric errors .
the resulting stellar masses thus have a total random error of 0.2 - 0.3 dex , roughly a factor of two .
there is furthermore the issue of whether or not our stellar masses are overestimated based on using the bruzual & charlot ( 2003 ) models .
it has recently been argued by maraston ( 2005 ) and bruzual ( 2007 ) that the exclusion of an updated treatment of thermal - pulsating agb stars in the bc03 models results in calculated stellar masses too high by a factor of a few .
while we consider an uncertainty of a factor of two in our stellar masses , we must consider whether our sample is in the regime where the effects of tp - agb stars will influence our mass measurements .
this has been investigated recently in maraston ( 2005 ) and bruzual ( 2007 ) who have both concluded that galaxies stellar masses computed using newer tp - agb star prescriptions are up to roughly 50 - 60% lower than without .
this is particularly true for masses determined in the rest - frame infrared .
this problem has also been recently investigated independently by kannappan & gawiser ( 2007 ) who come to similar conclusions , but do not advocate one model over another .
furthermore , the effect of tp - agb stars is most pronounced in the rest - frame ir , and for young stellar population ages .
our survey is k - selected , and the observed k - band is used as the flux in which the masses are computed .
the rest - frame wavelength probed with the observed k - band ranges from 0.7@xmath29 m to 1.5@xmath29 m where the effects of tp - agb stars are minimised .
the ages of our galaxies are also older than the ages where tp - agb stars have their most effect ( maraston 2005 ; bruzual 2007 ) .
it is also worth noting that the effects of tp - agb stars are more important when normalising stellar masses further into the red . in this paper
we find a strongest evolution at higher redshifts where we are probing the rest - frame optical at observed - k , and where the effects of tp - agb stars are minimised ( e.g. , bruzual 2007 ) .
we investigate the effects of tp - agb stars in our estimations by determining how our stellar masses change between using the bc03 models and the updated charlot & bruzual ( 2007 , in prep ) models using the new tp - agb methods .
we find for 1330 massive galaxies in the palomar sample a difference of @xmath60.07 in log m@xmath30 , which is neglectable .
a similar conclusion has been recently achieved by mcgrath , stockton & canalizo ( 2007 ) using a sample of galaxies at z@xmath61.5 with stellar masses similar to those explored here .
on comparing the new rendition of models from charlot & bruzual ( 2007 ) vs bc03 , they found that the inferred galaxy masses are slightly ( @xmath610% ) smaller using the 2007 models .
although we do have spitzer data for our sources , we do not use this imaging for two reasons .
the first is that by normalising the stellar masses with spitzer irac magnitudes , we are in a regime where the tp - agn stars are more pronounced , and thus would affect the stellar mass measurements to a degree even greater than using the observed k - band ( kannappan & gawiser 2007 ; bruzual 2007 ) .
secondly , the large psf of the irac images makes it difficult to obtain accurate photometry for many of our sources due to contamination from other galaxies with overlapping psfs .
while it is possible to correct for this , the large resulting random photometry uncertainties make the stellar masses less certain .
another possible source of uncertainty is the photometric redshifts we use for our sample .
while at @xmath25 about half of our sample have spectroscopic redshifts , at @xmath26 all of our systems have photometric redshifts .
we can however determine the accuracy for those systems at @xmath25 .
the agreement is very good for our massive systems with @xmath24 .
this results in another @xmath820% uncertainty in the stellar mass measurements . for @xmath26 , if we assume @xmath31 , the uncertainty in the stellar masses would be @xmath632% .
overall , however , these uncertainties can not account for the trends seen later in this paper .
the structural parameters used in this paper were measured using the acs i - band filter . sizes ( as parameterised by the half - light or effective radius along the semi - major axis a@xmath32 ) were estimated using the galfit code ( peng et al .
sizes were circularised , r@xmath32=a@xmath32@xmath33 , with @xmath34 being the ellipticity of the object .
galfit convolves srsic ( 1968 ) r@xmath35 galaxy models with the psf of the images , and determines the best fit by comparing the convolved model with the galaxy surface brightness distribution using a levenberg - marquardt algorithm to minimise the @xmath36 of the fit .
the srsic model is a flexible parametric description of the surface brightness distribution of the galaxies and contains the exponential ( n=1 ) and de vaucouleurs ( n=4 ) models as particular cases .
in addition , this model is used in the structural analysis of the sdss galaxy sample ( our local comparison sample ; blanton et al .
2003 ; shen et al .
2003 ) .
the srsic index n measures the shape of surface brightness profiles .
in the nearby universe , galaxies with n@xmath82.5 are mostly disk - like objects , whereas galaxies with n@xmath92.5 are mainly spheroids ( ravindranath et al .
we use this srsic index criterion to split our sample at higher redshifts and facilitate a comparison with the local galaxy population . during the fit
, neighbouring galaxies were excluded using a mask , but in the case of closely neighbouring objects with overlapping isophotes , the objects were fitted simultaneously .
the results of our fitting are shown in the appendix : table [ rawdata ] .
the results presented in this paper rely on our ability to measure accurate structural parameters . to gauge the accuracy of our parameter determination realistic simulations
were conducted .
we have created 1000 artificial galaxies uniformly generated at random in the following ranges , matching the observed distribution of our galaxies : 18@xmath37i@xmath21@xmath3726 ( see fig .
[ maghist ] ) , 0.03@xmath37r@xmath32@xmath372.55 arcsec ( which at z@xmath61 equals 0.25 - 20.5 h@xmath38 kpc ) , 0.5@xmath37n@xmath378 , and 0@xmath37@xmath34@xmath370.8 . to simulate the real conditions of our observations ,
we add a background sky image taken ( randomly at each time ) from a piece of the acs i - band image .
finally , the galaxy models were convolved with the observed psf .
the same procedure was used to retrieve the structural parameters in both the simulated and actual images .
the results of these simulations are shown in figures [ simul1 ] and [ simul2 ] .
fifty percent of our galaxies are brighter than i(ab)=21.9 mag , and for these galaxies we find dr@xmath32/r@xmath32@xmath85% and dn / n@xmath87% . for 95% of our galaxies
which are at i(ab)@xmath824.2 mag , the uncertainties are dr@xmath32/r@xmath32@xmath830% and dn / n@xmath838% .
as expected , at fainter apparent magnitudes the structural parameters are recovered with larger uncertainties . only for magnitudes fainter than i(ab)=24 mag
is there a small bias ( @xmath620% ) of the index n towards smaller indices for galaxies with n@xmath39@xmath92.5 .
recovery of the structural parameters with larger n are more affected than those with lower values .
as shown in figure [ simul2 ] , we do not find any bias of our sizes or shape parameter as a function of the size of the objects .
finally , we have also explored whether the variation of the psf along the image can affect the recovery of the size of the galaxies . using different stars in the images as a psf we find that the estimation of the sizes is robust to changes in the selected psf to analyze the data : the scatter between the sizes is @xmath4010% ( 1@xmath19 ) .
the sizes of the galaxies presented in this paper were measured using the acs observed i - band , which implies that for galaxies at z@xmath91.3 sizes are retrieved in the rest - frame uv . to check whether this k - correction effect can affect our size estimates
we have compared our sizes measured in the i - band with sizes obtained in the near infrared camera and multi - object spectrometer ( nicmos ) h - band ( f160w ) for a subset of 27 galaxies ( with 0.8@xmath8z@xmath81.8 and median z@xmath61.2 ) that were observed at both wavelengths .
these nicmos data consist of 63 pointings of camera 3 ( 52@xmath4152 arcsec , 0.203 arcsec / pixel ) in the egs field .
each pointing is the combination of four sub - pixel dithered exposures , with a total exposure time of 2600 sec .
the final mosaic was assembled using a drizzle task and has a pixel scale of 0.10 arcsec .
we found that sizes measured in the nicmos images , and those measured with the acs i - band data , are well correlated ( see figure [ nicmos ] ) .
the scatter between both measurements is 32% ( 1@xmath19 ) .
there seems to be a systematic ( although statistically non - significant ) bias of 19@xmath107% between both measurements : sizes measured in the redder band ( h - band ) are slightly smaller than those measured in the bluer band ( i - band ) .
consequently , if any k - correction effect is affecting our results , the size evolution found here using the i - band filter would be an upper limit .
interestingly , this trend of smaller sizes at redder bands dr@xmath42)/dlog@xmath43=-0.6(@xmath100.2 ) is in qualitative agreement to what is found in nearby galaxies -0.18@xmath9dr@xmath44(@xmath43)/dlog@xmath43@xmath9 - 0.25 (
barden et al . 2005 ; mcintosh et al . 2005 ) .
however , due to the large uncertainty on the bias ( and consequently in the size corrections ) , and because we do not know how this correction could evolve with redshift we avoid making any k  correction in our results . in any case , it is important to note that the trend towards smaller sizes observed using the h - band does not strongly affect the main result of this paper .
in fact , the evolution found in this paper would be even stronger using the near - infrared band sizes at high redshift .
another source of concern in the size determination is the presence of an active galactic nuclei ( agn ) in the center of the galaxy which can bias our measurement towards smaller sizes ( daddi et al .
deep ( 200 ks per pointing ) x - ray observations ( l@xmath45@xmath4610@xmath47 erg s@xmath17 at z@xmath61 ) from the chandra telescope in this field ( nandra et al . 2007 ;
conselice et al .
2007b ) only detect emission in 35 objects ( i.e. @xmath64.2% our sample ) .
we remove these potential agns from our sample in what follows , but our essential results are unchanged .
in practice , any galaxy survey has a surface brightness limit beyond which the sample is incomplete .
characterising this limit is particularly important for high - z samples , where the effects of the cosmological surface brightness dimming are severe . at a given total flux limit
, the surface brightness limit translates into an upper limit on the size in which a galaxy can be detected .
we have explored whether our k@xmath20-band selected sample could be incomplete at large sizes by examining the detectability of our galaxies as a function of their apparent magnitudes and sizes .    to determine the detection map of the palomar k@xmath20 band image , we have created two sets of 10@xmath48 mock sources each with intrinsic exponential or de vaucouleurs profiles uniformly distributed as follows : k@xmath20 band total magnitudes between 15.5 and 20.5 ( vega ) mag ( see fig .
[ maghist ] ) , effective radius r@xmath32 between 0.0625 and 3.75 arcsec ( this will be equivalently to 0.5 - 30 h@xmath38 kpc at z@xmath61 ) , and ellipticities between 0 and 0.8 .
the simulated sources are placed randomly on the real image and extracted as for the real source detection .
we construct from these simulations detection maps giving the number of recovered sources over the number of input artificial sources per input magnitude and input log r@xmath32 bin ( see figure [ maps ] ) . at it
is expected , galaxies with a de vaucouleurs profile , and consequently more centrally concentrated , are easier to detect at a given magnitude .
over - plotted on the detection maps are the distribution of our sample galaxies .
k@xmath20 band magnitudes are measured using the mag@xmath49 output from sextractor .
the sizes are those estimated in the i - band .
we are making the implicit assumption that sizes are similar in both bands ( i.e. that k - correction effects are not relevant , see previous section ) . at a given magnitude , the observed size distribution declines more rapidly to larger sizes than the detection limit .
this indicates that our sample is not affected by incompleteness for the largest galaxies at a given magnitude .
the accuracy of the structural parameters and the completeness of our sample has been demonstrated in the previous section . in this section
we discuss the stellar mass  size relations for our massive galaxy sample .
these relations are presented in figures [ disks ] ( n@xmath82.5 ; disk - like objects ) and [ spheroids ] ( n@xmath92.5 ; spheroid - like objects ) . in each of these figures
, we have divided our sample ( over 0.2@xmath8z@xmath82 ) into six redshift slices with a width of dz=0.3 .
over - plotted on our observed distributions are the mean and dispersion of the distribution of the srsic half - light radii from the sdss ( york et al .
2000 ) galaxies .
we use the sdss sample as the local reference .
as it has been done for our high - z galaxies , the sdss galaxy sizes were determined from a srsic model fit ( blanton et al .
the characteristics of the sdss sample used here are detailed in shen et al .
the mean of the sdss galaxies redshift distribution used for comparison is 0.1 .
we use the sizes and the shapes estimated in the observed sdss r - band as this closely matches the v - band rest - frame filter at z@xmath60.1 .
sdss stellar masses were derived using a kroupa ( 2001 ) imf , which gives the same masses as the chabrier imf used to measure the higher redshift sample stellar masses .
figures [ disks ] and [ spheroids ] show that at a given stellar mass galaxies are progressively smaller at higher redshift .
this evolution is particularly strong for more concentrated ( n@xmath92.5 ) galaxies .
we find the remarkable result that there are no spheroid - like objects at z@xmath91.5 on the local relation .    to illustrate this size decrease at progressively higher z , figure [ mosaico ] shows the appearance of six of our n@xmath92.5 ( i.e. spheroid - like ) galaxies with the same stellar mass , but at different look - back times .
the objects shown in figure [ mosaico ] have the mean structural properties of the galaxy population at each of the different redshift slices ( see the stellar mass - size relations in the above redshift intervals in figures [ disks ] and [ spheroids ] ) . to allow a fair comparison between the sizes of objects at very different redshifts , the limiting surface brightness in each panel
is changed according to the cosmological surface bright dimming @xmath6(1+z)@xmath48 .
for this reason the surface brightness of the object at z=0.35 is shown down to @xmath63.25 mag brighter than the object at z=1.85 .
this figure visually illustrates that the most massive galaxies are progressively smaller at increasing redshift .    to quantify the size evolution
, we measure the ratio between the observed size , and the expected size at a given stellar mass by comparing with the sdss ( shen et al . 2003 ) distribution at different redshifts . to estimate the expected size from sdss at a given stellar mass , we interpolate linearly between the sdss points when necessary .
the evolution of the median and the dispersion of the above ratio are shown in figure [ evolution ] and listed in table [ data ] .
the observed size evolution of m@xmath13@xmath910@xmath2 m@xmath5 galaxies is stronger than the one found in previous work using less massive galaxies ( see the detailed comparison of this issue in the next section ) .
following recent claims ( i.e. maraston et al .
2006 ) that stellar masses could be systematically overstimated by a factor of few at high z , we have repeated our analysis under the assumption that our masses could be overestimated by a factor of 2 . in this case , at z@xmath61.5 , our galaxies will still be more compact than present - day galaxies of the same stellar mass by a factor of 1.6 for n@xmath82.5 and a factor of 3 for n@xmath92.5 . in other words , even a systematic effect of factor of 2 in the stellar mass determination can not avoid a significant evolution in the size of these galaxies .
in fact , to prevent a significant evolution of the sizes of galaxies at a given stellar mass we found that , at z@xmath61.5 , our stellar masses would need to be overestimated by a factor of @xmath610 for galaxies with n@xmath82.5 and overestimated by a factor of @xmath650 for galaxies with n@xmath92.5 .    [ cols="^,^,^,^,^ " , ]
an interesting point to explore is how the size evolution found here for the most massive galaxies compares with the size evolution observed for galaxies with lower masses .
this comparison can be done in detail in the redshift range 0@xmath8z@xmath81 using the data from one of the largest sample currently available : the gems survey ( rix et al .
the stellar mass - size relation of this survey has been already derived for late - type ( barden et al .
2005 ) and early - type ( mcintosh et al . 2005 ) galaxies .
the gems late- and early - type separation criteria are based on the srsic index n. late - types are defined through n@xmath82.5 , and early types through n@xmath92.5 , and a colour within the `` red sequence '' ( bell et al .
the comparison of the distribution of their data points with ours are shown in figure [ gemspalomar ] .
it is encouraging to see that these two independent analyses and data sets match well where there is overlap in their stellar mass ( i.e. for the small subset of gems galaxies with m@xmath13@xmath910@xmath2 m@xmath5 ) .
these two data sets allow us to compare the difference in size evolution in the 0@xmath8z@xmath81 redshift interval at two different mass ranges 10@xmath12@xmath8m@xmath13@xmath810@xmath2 m@xmath5 ( gems ) , and m@xmath13@xmath910@xmath2 m@xmath5 ( palomar ) .
this is shown in figure [ gemspalomarevol ] . from this comparison
we can see that more massive galaxies evolve in size much faster than lower mass objects ( particularly for disk - like galaxies ) .
this mass dependent evolution was hinted in previous works ( trujillo et al .
2006a ) but our current large data set show this more clearly and robustly .    at higher redshift , the amount of data is more limited . at 1@xmath8z@xmath82
our results are in good agreement with recent findings ( based on a few objects ) of massive compact galaxies at high - z ( waddington et al .
2002 ; daddi et al . 2005 ; di serego alighieri et al . 2005 ; trujillo et al .
2006b ; longhetti et al .
for example , using the 10 of the most massive galaxies ( 1.2@xmath8z@xmath81.7 ) in the munics survey , trujillo et al .
( 2006b ) found that these galaxies were a factor of 4@xmath50 smaller that local counterparts . at
even higher z ( i.e. z@xmath62.5 ) there has been also recent claims of very compacts ( r@xmath32@xmath401 kpc ) massive galaxies ( trujillo et al .
2006a ; zirm et al .
2007 ; toft et al .
as shown in section 4 the compact nature of our most massive galaxies at high - z can not be interpreted as a k - correction or agn effect .
in addition , there is no observational evidence in the local universe for galaxies as massive and compact as the ones in our sample .
these two observational facts raise the following two questions : first , how can these objects be so dense in the past ?
second , how do these objects evolve in stellar mass and/or size in order to reach the current local relation ?    addressing the first question , recent theoretical results suggest that major galaxy mergers in the early universe had a much larger component of cold gas available than in the present ( khochfar & silk 2006a ) .
these wet ( dissipative ) mergers generate very efficient and massive starbursts creating a very compact massive remnant .
consequently , the very dense nature of our objects at high - z could reflect the much denser condition of the universe at the time of their formation .
focusing on the second question , at lower redshifts the available amount of gas is less , and new ` dry ' ( dissipationless ) mergers ( van dokkum 2005 ; bell et al . 2006 ) would be the dominant mechanisms of size and stellar mass growing ( ciotti & van albada 2001 ; nipoti , londrillo & ciotti 2003 ; khochfar & burkert 2003 ; domnguez - tenreiro et al .
2006 ; naab , khochfar & burkert 2006 ; ciotti , lanzoni & volonteri 2007 ) .
dry mergers are not efficient at forming new stars , but are efficient in increasing the size of the objects .
a particular effective size evolutionary mechanism ( r@xmath32@xmath6m@xmath51 ) has been recently found ( boylan - kolchin , ma & quataert 2006 ) in mergers of galaxies with radial orbits along large - scale structure filaments .
this kind of mechanism would be able to evolve our compact galaxies ( a factor of 4 smaller at z@xmath61.5 ) to the local relation with just two major ( equal - mass ) mergers .
since @xmath52 very few gas rich mergers occur in massive galaxies ( e.g. , conselice et al . 2003 ; conselice 2006 ) , but a few dry mergers are possible based on pair counts ( e.g. , lin et al .
in addition , dry mergers of similar mass objects ( and consequently , potentially similar ages and metallicities ) will also help to understand the age - uniformity found in the local massive ( spheroid ) galaxies . on the other hand , in agreement with our results here , new semi - analytical models ( somerville et al .
2007 ) find that disc - like galaxies ( i.e. those presumably with a relative quiet live ) evolve only mildly in size since high - z .
summarising our results , we find that the size evolution of the most massive galaxies is not consistent with a scenario whereby massive galaxies were fully assembled in the early universe , and have subsequently evolved passively until today ( i.e. a pure `` monolithic '' scenario ) .
in fact , our findings agree with a scenario where a fraction of the most massive galaxies possibly formed in a short `` monolithic - like '' collapse and then evolved through major gas - rich , or gas - poor merging . in this sense , the two scenarios would be just different phases of galaxy formation and evolution .
our results , consequently , point to a scenario whereby the stellar populations of the most massive galaxies we observe today were located in different `` primordial '' massive galaxy pieces in the early universe .
authors are grateful to m. barden and d. mcintosh for providing us with the gems data points to allow us a comparison of our results with their less massive galaxies .
we acknowledge useful discussions with o. almaini and a. aragn - salamanca .
we also thank the useful suggestions from an anonymous referee .
the palomar and deep2 surveys would not have been completed without the active help of the staff at the palomar and keck observatories .
the palomar survey was supported by nsf grant ast-0307859 and nasa stsci grant hst- ar-09920.01.a .
support for the acs imaging of the egs in go program 10134 was provided by nasa through nasa grant hst - go-10134.13-a from the space telescope science institute .
99 aguilar l. a. , merritt d. , 1990 , apj , 354 , 33 arimoto n , & yoshii y. , 1987 , a&a , 173 , 23 baldry i.  k. , glazebrook k. , brinkmann j. , ivezi  , lupton r.  h , nichol r.  c. szalay a.  s. , 2004 , apj , 600 , 681 barden et al . , 2005 ,
apj , 635 , 959 bell e. f. et al . , 2004 , apj , 608 , 752 bell e. f. et al . , 2006 , apj , 640 , 241 blanton m. r. , et al . , 2003 ,
apj , 592 , 819 boylan - kolchin m. , ma c - p .
, quataert e. , 2006 , mnras , 369 , 1081 bressan a. , chiosi c. , fagotto f. , 1994 , apjs , 94 , 63 bruzual g. astro - ph/0703052 bruzual g. , charlot s. , 2003 , mnras , 344 , 1000 bundy k. et al . , 2006 , apj , 651 , 120 cimatti a. , daddi e. , renzini a. , 2006 , a&a , 453 , l29 ciotti l. & van albada t. s. , 2001 , apj , 552 , l13 ciotti l. , lanzoni b. , & volonteri m. , 2007 , apj , 658 , 65 coil a. l. , newman j. a. , kaiser n. , davis m. , ma c .- p .
, kocevski d.d . , koo d. c. , 2004 , apj , 617 , 765 conselice c. j. 2006 , apj , 639 , 120 conselice , c.j . ,
bundy , k. , ellis , r. , brichmann , j. , vogt , n. , phillips , a. 2005 , apj , 628 , 160 conselice c. j. , bershady , m.a . , dickinson , m. , papovich , c. 2003 , aj , 126 , 1183 conselice c. j. et al . , 2007a , apj , 660 , l55 conselice c. j. et al .
, 2007b , mnras , submitted daddi e. , cimatti a. , renzini a , 2000 , a&a , 362 , l45 daddi e. et al . , 2005 ,
apj , 626 , 680 davis m. et al . , 2003 ,
spie , 4834 , 161 de lucia , g , springel v. , white s. d. m. , croton d. , kauffmann g. , 2006 , mnras , 366 , 499 di serego alighieri s. , et al .
, 2005 , a&a , 442 , 125 domnguez
tenreiro , r. , oorbe , j. , siz , a. , artal , h. , serna , a. , 2006 , apj , 636 , l77 n. , bender r. , feulner g. , hopp u. , maraston c. , snigula j. , hill g.  j. , 2004 , apj , 608 , 742 n. , salvato m. , gabasch a. , bender r. , hopp u. , feulner g. , pannella m. , 2005 , apj , 619 , l131 eggen o. j. , lynden
bell d. , sandage a. r. , 1962 , apj , 136 , 748 faber s. m. , et al .
2005 , astro - ph/0506044 g. , gabasch a. , salvato m. , drory , n. , hopp u. , bender r. , 2005 , apj , 633 , l9
a.,panter b.,jimenez r. , dunlop j. , 2004 , nature , 428 , 625 hozumi s. , burkert a. , fujiwara t. , 2000 , mnras , 311 , 377 khochfar s. , burkert a. , 2003 , apj , 597 , l117 khochfar s. , silk j. , 2006a , mnras , 370 , 902 khochfar s. , silk j. , 2006b , apj , 648 , l21 kannappan , s.j . , & gawiser , e. 2007 , apj , 657 , l5 larson r. , 1975 , mnras , 173 , 671 lin , l. , et al .
2004 , apj , 617 , l9 londrillo p. , messina a. , stiavelli m. , 1991 , mnras , 250 , 54 longhetti m. et al . , 2007 , mnras , 374 , 614 mannucci f. , basile f. , poggianti b.m .
, cimatti a. , daddi e. , pozzetti l. , vanzi l. , 2001 , mnras , 326 , 745 maraston , c. 2005 , mnras , 362 , 799 may a. , van albada t.s . , 1984 , mnras , 209 , 15 mcglynn t. a. , 1984 , apj , 281 , 13 mcgrath e. j. , stockton a. , canalizo g. , 2007a , apj , in press , astro - ph/0707.1046 mcgrath e. j. , stockton a. , canalizo g. , masanori i. , maihara t. , 2007b , apj , submitted , astro - ph/0707.1050 mcintosh d. et al . , 2005 , apj , 632 , 191 nandra k. et al . , 2007 , apjl , in press , astro - ph/0607270 nipoti c. , londrillo p. & ciotti l. , 2003 , mnras , 342 , 501 peng c.y .
, ho l.c . , impey c.d . ,
rix h.w . , 2002 ,
aj , 124 , 266 pozzetti l. et al . 2003 , a&a , 402 , 387 pozzetti l. et al .
2007 , a&a , astro - ph/0704.1600 ravindranath s. et al .
2002 , apj , 604 , l9 renzini a. , 2007 , astro - ph/0702148 rix h .- w .
et al . , 2004 , apj , 152 , 163 saracco p. et al .
, 2005 , mnras , 357 , l40 srsic j .- l .
1968 , atlas de galaxias australes ( cordoba : observatorio astronomico ) shen s.,mo h.  j. , white s.  d.  m.,blanton m.  r. , kauffmann g.,voges w.,brinkmann j. ,
csabai i. , 2003 , mnras , 343 , 978 somerville r. , et al . , 2007 ,
apj , submitted , astro - ph/0612428 thomas d.,maraston c. , bender r. , de oliveira c.  m. , 2005 , apj , 621 , 673 toft s. , et al . , 2007 , apj , in press toomre a. , 1977 , in evolution of galaxies and stellar populations , ed . b. m. tinsley & r. b. larson ( new haven : yale univ .
obs . ) , 401 trenti m. , bertin g. , van albada t.s .
, 2005 , a&a , 433 , 57 trujillo i. et al . , 2004 , apj , 604 , 521 trujillo i. et al . ,
2006a , apj , 650 , 18 trujillo i. et al . , 2006b , mnras , 373 , l36 udry s. , 1993 , a&a , 268 , 35 van albada t. s. , 1982 , mnras , 201 , 939 van dokkum p. g. , 2005 , aj , 130 , 2647 white s.d.m , frenk c. s. , 1991 , 379 , 52 worthey g. , faber s. m. , gonzalez j. j. , 1992 , apj , 398 , 69 york d. , et al . 2000 ,
aj , 120 , 1579 zirm a. w. , et al . , 2007 , apj , 656 , 66
note : full data table is available on the online version of mnras or by request to the authors .
the following table contains the information about the structural parameters of the sample of galaxies analysed in this paper .
column 1 indicates the galaxy identification , column 2 lists the apparent k - band magnitude in the vega system , column 3 is the efffective radius along the semimajor axis , column 4 indicates the value of the srsic index of the fit , column 5 is the ellipticity of the source , column 6 is the stellar mass of the galaxy in units of 10@xmath12h@xmath3@xmath4m@xmath5 , column 7 is the measured redshift of the object , column 8 and 9 are the r.a . and dec .
of the source and , finally , column 10 specifies whether the redshift was determined spectroscopically ( 1 ) or photometrically ( 0 ) .
11051619 & 16.75 & 0.90 & 3.60 & 0.38 & 11.94 & 0.46 & 214.258865 & 52.399944 & 0 + 12004106 & 17.13 & 0.80 & 6.72 & 0.11 & 26.72 & 0.74 & 214.379730 & 52.443295 & 1 + 12004308 & 16.95 & 0.89 & 1.23 & 0.58 & 18.03 & 0.64 & 214.266815 & 52.412926 &
0 + 12004443 & 17.06 & 0.48 & 5.04 & 0.21 & 26.96 & 0.77 & 214.318298 & 52.429092 & 1 +