nonlinear globally coupled systems under the influence of noise have been an active field of research over the last few decades @xcite . for additive noise
there is a natural and far - reaching analogy to equilibrium thermodynamics @xcite .
we consider an array of @xmath1 harmonically coupled overdamped anharmonic oscillators subject to additive noise which is governed by the system of langevin equations @xmath2 for @xmath3 .
each of the oscillators is harmonically coupled to all the others ( global coupling ) , the total strength of the coupling is @xmath4 .
the additive noise @xmath5 is a zero mean gaussian white process with autocorrelation @xmath6 where @xmath7 denotes the noise strength .
the steady state of an isolated system without noise ( @xmath8 ) undergoes a pitchfork bifurcation if the control parameter @xmath9 changes the sign .
the isolated system ( @xmath10 ) describes diffusion in a potential with one or two minima depending on the sign of @xmath9 which is thoroughly studied since @xcite . in the limit
@xmath11 the array exhibits a continuous phase transition with a critical point @xmath12 and the mean field critical exponent @xmath13 such that for @xmath14 the stationary probability density @xmath15 is symmetric with respect to @xmath16 , and for @xmath17 it is non - symmetric such that the order parameter @xmath18 .
the dependence of @xmath0 on the other parameters has been investigated already by a number of authors @xcite .
kometani and shimizu @xcite closed the equation of motion for the moments using a decoupling which is correct for gaussian distributed variables .
the critical point is determined by the occurrence of a non - trivial solution .
this yields , in our notation , @xmath19 which is asymptotically correct for weak noise , see below .
desai and zwanzig @xcite described the system by a self - consistent dynamic mean field theory .
they evaluated numerically the correct phase transition condition and observed that the critical point deviates from the result of a gaussian approximation .
dawson @xcite correctly claimed existence and uniqueness of the critical parameter .
we show that he used a wrong argument and give a different proof of uniqueness .
he proved in the limit of infinitely many oscillators that the fluctuations at the critical point are non - gaussian and occur at a slower time scale than the noncritical fluctuations .
furthermore , he observed that for @xmath20 the critical point can be computed up to a quadrature .
van den broeck and collaborators
@xcite also gave numerical results for the parameter dependence of @xmath0 in mean field theory and compared this with simulations for a system with nearest neighbor coupling in @xmath21 .
implicitly they state that for strong coupling ( @xmath22 ) the critical point is @xmath23 , cf .
also @xcite .
shiino @xcite proved a @xmath24-theorem showing thus that the stationary state is asymptotically reached for long times and analyzed the stability of the trivial and the symmetry breaking solutions .
the harmonic coupling between the constituents of an array was introduced by kometani and shimizu @xcite to describe the interaction between myosin and actin filaments in muscle contraction . in this context the variables
@xmath25 represent velocities rather than coordinates and the system can be regarded as an early example of a canonical - dissipative system @xcite , which have been proposed to describe , e.g. , swarm dynamics @xcite .
the harmonic coupling between nearest neighbors of a regular lattice can be conceived as discretization of the laplace operator .
thus , in the continuum limit there is a relation to mean field solutions of a class of models described by stochastic partial differential equations , see e.g. @xcite .
there is further a relation to the discretized version of the @xmath26-ginzburg - landau model , in different context also known as soft - spin ising model .
for example , in @xcite the authors studied spin glasses , where the coupling strength for each pair of coordinates @xmath25 , @xmath27 is an independent gaussian distributed random variable .
noise induced phenomena in a double - well potential are still a topic of recent research .
for example , in @xcite the authors investigated a fokker - planck equation driven by dynamical constraints , modeling many - particle storage systems .    for a similar system driven by multiplicative noise instead of additive noise also continuous phase transitions
the critical exponent of the order parameter @xmath28 undergoes a transition from a constant ( though non - mean field ) value towards a parameter - dependent value when @xmath29 exceeds a threshold @xcite .
also higher moments @xmath30 show such transitions @xcite .
it is a natural question whether this behavior is robust against additive noise , since in natural systems additive noise is apparently unavoidable .
although many papers study systems with additive and multiplicative noise ( for early refs .
see @xcite ) this question has not been explicitly addressed . to determine critical exponents it is advantageous to know analytically the parameter dependence of the critical manifold .
besides our general interest this is an additional motivation to study the present system .
the paper is organized as follows . in sec .
[ sec : model ] we reformulate the model in the fokker - planck picture and explain the self - consistent mean field approach which becomes exact in the limit of infinite system size .
we show that the self - consistency condition is equivalent with the stationarity condition for the center of mass variable .    in sec .
[ sec : critmnf ] we prove the existence of a well - behaved critical manifold in the parameter space which separates the regime with @xmath31 from the regime with broken symmetry .
the critical manifold is determined by an implicit integral equation , the phase transition condition ( ptc ) . to show its wellbehavedness it is necessary to know that the critical parameter @xmath12 is bounded by values which are asymptotically reached in the limits of strong and weak noise , respectively .
the wellbehavedness of the critical manifold allows to reduce the number of parameters by rescaling and implies that @xmath32 is only a function of the ratio @xmath33 .
thus it exhibits the same behavior for strong coupling as for weak noise , and for weak coupling as for strong noise .    exploiting that the critical manifold is well - behaved ,
together with exact relations of moments on this manifold we derive an ordinary differential equation ( ode ) for @xmath32 as a function of @xmath34 . to determine a solution for small and large values of @xmath34 we use a series expansion .
the results from the ode are the same as from an evaluation of the ptc using the laplace method but easier to obtain .
the asymptotic behavior of the series agrees with that of the numerical solution of the ptc .
we were not able to prove convergence of these series , but for small @xmath34 a pad approximant agrees well with the numerical solution .
we also give results for a series expansion around @xmath35 which is analytically treatable .    in sec .
[ sec : critbeh ] we determine the behavior of the order parameter and the susceptibility near the critical manifold .
thanks to the boundedness of @xmath0 the existence of a tricritical point is excluded and the critical exponents are the mean field exponents , as expected .
we derive the amplitudes of the power laws of order parameter and susceptibility in closed form in terms of @xmath0 .
the amplitude ratio of the susceptibilities just above and below the critical point is universal as expected by analogy with equilibrium second order phase transitions .
several detailed calculations and technical discussions are deferred to the appendices . in appendix
[ sec : moments ] recursion relations for the moments are given . in appendix
[ sec : proofac ] we derive in some detail the bounds of @xmath0 . in appendix
[ sec : laplace ] the phase transition condition is evaluated by the laplace method up to the third leading order in the limits of weak and strong noise , respectively .
the fokker - planck equation corresponding to eq .   is @xmath36 p(\mathbf{x } , t)\big\}.      \label{eq : fpldim}\end{aligned}\ ] ] integrating over all coordinates but @xmath37 we find @xmath38 p_1^l(x_1 , t)\big\ } ,      \label{eq : fpstatldim}\end{aligned}\ ] ] where @xmath39 is the conditional expectation value of @xmath40 given @xmath37 and @xmath41 is the probability distribution of @xmath37 for the system with @xmath1 constituents . for @xmath42
we assume independence of coordinates , i.e. @xmath43 and find the one - particle distribution as the solution of @xmath44 p(x , t )   \big\ } ,      \label{eq : statsol}\end{aligned}\ ] ] where we wrote @xmath45 instead of @xmath46 .
besides eq .   there is a more rigorous approach .
following @xcite , we introduce the empirical distribution defined by @xmath47}(x_i(t)),\end{aligned}\ ] ] which is an probability - distribution - valued random variable .
provided that for @xmath48 all coordinates are independent and identically distributed with distribution @xmath49 , it is a result of @xcite that in the limit @xmath42 both distributions converge weakly to @xmath45 , which is the unique solution of eq .   with initial condition @xmath50 .
hence , for large @xmath1 we can interpret @xmath45 either as the empirical distribution of the many coordinates or as the probability distribution of a single coordinate .
for an infinitely large system the harmonic coupling in eq .
of the site @xmath51 to all other sites becomes @xmath52 where @xmath53 is the mean field exerted by all other sites to the system at site @xmath51 .
it was shown in @xcite that the time dependent solution of eq .
approaches the stationary solution for long times . in the stationary case
@xmath54 is constant and can be considered as a parameter .
we find the stationary solution of eq .
@xmath55\label{eq : statdistr},\end{aligned}\ ] ] with normalization @xmath56 , \label{eq : norm}\end{aligned}\ ] ] satisfying @xmath57 the mean field should solve the self - consistency equation @xmath58    obviously the mean field is related to the center of mass coordinate @xmath59 obeying the langevin equation @xmath60 for the infinite system the noise term vanishes due to the law of large numbers and eq .
becomes @xmath61 in the stationary case @xmath62 .
this is equivalent to the self - consistency condition as can be seen writing @xmath63 \right\ } \notag \\   & \ ; \ ; \ ; \ ; \ ; \times \exp \left [ \frac{2d}{\sigma^2}\big(-\frac{1}{2}x^2+mx \big ) \right ] \notag \\   & = d\left(\langle x\rangle - m\right ) = 0 .
\label{eq : limr}\end{aligned}\ ] ] the second equality follows by partial integration and observing that the boundary term vanishes since @xmath64 decays exponentially fast for @xmath65 .
we introduce the function @xmath66 satisfying the symmetry @xmath67 the self - consistency equation now reads @xmath68 which obviously has a solution @xmath69 . for @xmath70
the curvature of @xmath71 is negative as shown in @xcite using a simple version of the griffiths - hurst - sherman inequality @xcite .
if the derivative of @xmath72 at @xmath69 is larger than one , there exists exactly one positive solution to eq .
then , by symmetry we also have a negative solution .
otherwise @xmath69 is the only solution .
shiino @xcite showed that the solutions with @xmath73 are stable if they exist whereas the @xmath69 solution is unstable in that case .
the phase transition condition @xmath74 can be written as @xmath75 where @xmath76 } { \int_{-\infty}^{\infty}{\mathop{\!\mathrm{d}\!}}x \ , \exp \left [ \frac{2}{\sigma^2 } ( \frac{a - d}{2}x^2 - \frac{1}{4 } x^4 ) \right ] } -1 .
\label{eq : varphi}\end{aligned}\ ] ] this defines the critical manifold in the space spanned by @xmath77 .
we observe immediately that on the critical manifold we have @xmath78    in the following we show that the critical manifold is well - behaved : given any two of the parameters @xmath79 or @xmath80 , there exists a unique value , the critical value , of the third parameter which solves eq . .
for @xmath81 there is no solution to .
therefore we consider @xmath82 and furthermore @xmath83 since there are only contributions in @xmath84 , negative @xmath80 is equivalent .
@xmath85 is continuous and continuously differentiable in @xmath79 and @xmath80 .
@xmath85 is even @xmath86 on @xmath87 . by asymptotic evaluation of the integrals in we find @xmath88 because of continuity , for every @xmath89 there exists an @xmath9 satisfying eq . .
since @xmath90 this solution is unique , @xmath91 .
the critical parameter @xmath0 is bounded by @xmath92 as proven in appendix [ sec : proofac ] .
these are the best possible bounds since the upper and the lower bound are asymptotically reached for weak or strong noise , respectively , as shown in sects .
[ subsec : wn ] and [ subsec : sn ] below .
since @xmath93 we consider @xmath85 on @xmath94 . because of eq .
we can apply the implicit function theorem : there is locally around a solution of eq .   a unique @xmath86 function @xmath95 satisfying @xmath96 since there exists a unique solution @xmath97 to eq .   for every @xmath89
the function @xmath98 is globally uniquely defined on @xmath99 and is in @xmath86 .
looking at relation we see furthermore that @xmath100 assumes all values in @xmath101 even if one of the variables @xmath4 or @xmath80 is fixed to some value .
we consider a fixed @xmath102 and exploit that @xmath103 for all @xmath4 .
therefore @xmath104 solving for @xmath105 and inserting the relations and we find @xmath106 where the negativity is guaranteed by inequality . because of the monotonicity and surjectivity of @xmath107 there exists an inverse function @xmath108 for all @xmath109 , i.e. , we have the function @xmath110 satisfying @xmath111 analogously , for fixed @xmath112 we calculate @xmath113 \notag \\      & - \frac{2d_0}{\sigma^2 } \left [ ( f_a - d_0)\langle x^2\rangle^2 - \frac{1}{2}\langle x^2 \rangle \langle x^4 \rangle \right ] \notag \\      & + \frac{2d_0}{\sigma^4}\left ( \langle x^4 \rangle - \langle x^2 \rangle^2 \right ) \frac{\partial f_a}{\partial \left ( { 1}/{\sigma^2}\right)}.      \label{eq : calcdsigmafa}\end{aligned}\ ] ] inserting the expressions , and we find @xmath114 where inequality was used . hence we find @xmath115 from the monotonicity there follows the existence of a function @xmath116 satisfying @xmath117 in analogy to the previous case .
+ hence , given any two parameters , positive , there exists a unique critical value of the third parameter denoted by @xmath118 , @xmath119 , or @xmath120 .
because of the monotonicity of @xmath85 with respect to @xmath9 and of @xmath118 with respect to @xmath4 and @xmath80 we conclude that there exists a pair of nonzero solutions @xmath121 of eq .   if and only if one of the following equivalent conditions is satisfied @xmath122      with an arbitrary @xmath123 we can rescale variables and parameters as @xmath124 which leads to a system of langevin equations equivalent to eqs .
@xmath125 for @xmath126 , with @xmath127 hence we have not three but only two independent parameters . in a similar way , also the general case with a coefficient of the cubic term in eqs .   can be treated , ending with only two independent parameters .
we observe that @xmath128 given by eq .
is invariant under this rescaling .
this allows the following argument .
we set @xmath129 such that @xmath130 and find @xmath131 . therefore @xmath132 fig .
[ fig : log - log - plot ] shows @xmath32 as a function of @xmath133 in a log - log plot for different values of @xmath4 as obtained by numerical solution of eq . .
it confirms that @xmath32 depends only on the ratio of @xmath80 and @xmath4 as predicted by eq .  .
therefore @xmath134 exhibits the same asymptotic behavior for strong coupling as for weak noise , and for weak coupling as for strong noise , respectively .     in dependence of noise strength
@xmath34 as a log - log plot .
here the equation was numerical solved for @xmath135 @xmath136 , @xmath137 @xmath138 , @xmath139 @xmath140 , and @xmath141 @xmath142 , each for several values of @xmath80 .
the solid line describes the function @xmath143 , the limit of weak noise , the dashed line the function @xmath144 , the asymptote for strong noise.[fig : log - log - plot ] ]    dawson @xcite uses a scaling where @xmath145 and claims that , given @xmath146 , the critical noise strength @xmath147 is bounded by @xmath148 , cf .
@xmath149 there .
we show that this assertion is not true . from eqs .
and we have @xmath150 , where @xmath116 is defined by eq . .
we now choose @xmath141 and @xmath151 , where @xmath152 can have any positive value and @xmath118 is defined by eq . .
since @xmath153 it holds that @xmath154 which can be chosen beyond the bonds asserted in @xcite .
however the property that for any @xmath155 there exists a unique critical @xmath147 remains true , as we have shown in sec .
[ subsec : cmgeneral ] .    at @xmath156 the stationary probability density @xmath157 for the coordinate of an arbitrary constituent is qualitatively different for weak and for strong noise , cf .
[ fig : symbreak ]
.    for weak noise @xmath157 is approximately a gaussian centered at @xmath16 , whereas for strong noise it is the sum of two equally weighted narrow peaks located at @xmath158 .
for @xmath17 the symmetry is broken in different ways . in the weak noise limit
@xmath157 is still a gaussian but centered at @xmath18 , whereas in the strong noise limit the two narrow peaks stay at @xmath158 but their weights become unequal such that @xmath18 also in this case .
the critical parameter @xmath12 is bounded between its limit values for strong and weak noise respectively , as will be shown rigorously in appendix [ sec : proofac ] .    exploiting that at criticality the even moments
are explicitly known we give a simple handwaving argument which leads to the correct leading behavior for weak and strong noise .
especially we use eq .  , that is @xmath159 and , cf .
appendix [ sec : moments ] , @xmath160 .
the fourth cumulant , the kurtosis , of a gaussian is zero and therefore @xmath161 . comparing this with the above expressions we obtain for weak noise in leading order @xmath162 , which is the upper bound in the inequality
furthermore , for a symmetric probability density of two narrow peaks , the variance of @xmath163 is approximately zero and therefore @xmath164 . comparing with the above expressions we obtain for strong noise in leading order @xmath165 , which is the lower bound for @xmath0 in .    in eqs .
and we have ordinary differential equations for @xmath0 as a function of @xmath4 and @xmath166 . by substituting @xmath167 and @xmath168
we find from either of these equations @xmath169 in the next two sections we will systematically study the behavior of the critical parameter for weak and strong noise using eq .  .
the same results can be obtained by asymptotic evaluation of the integrals in the phase transition condition as shown in appendix [ sec : laplace ] .      because of inequality   it holds that @xmath170 that means we can continuously extend @xmath171 to @xmath172 . to obtain the asymptotic behavior of @xmath171 for weak noise we make the ansatz @xmath173
inserting this series in the differential equation and comparing coefficients in powers of @xmath174 we find the recursion relation @xmath175a_{n - k+1}a_{k }       \label{eq : coeffweaknoise}\end{aligned}\ ] ] for @xmath176 with initial condition @xmath177 .
for @xmath178 the three leading terms as @xmath179 are @xmath180 which coincides with the result in appendix [ sec : laplacewn ] .
we observe that the upper bound in is reached asymptotically .    in fig .
[ fig : weaknoiselin ] we see @xmath178 as a function of @xmath174 .
the series up to @xmath181 coincides with the numerical solution of eq . only for very small values of @xmath174 and taking into account more terms does not seem to improve the result for larger values of @xmath174 .
the figure shows also the pad approximant @xmath182 which coincides much better with the numerical results .
the pad approximant @xmath183 is a rational function @xmath184 , where @xmath185 and @xmath186 are polynomials of degree @xmath187 and the taylor series of @xmath183 agrees with the series up to @xmath188 @xcite .     as a function of @xmath174 .
the point with @xmath189 is known exactly @xmath190 .
the figure shows the numerical solution @xmath191 of eq . , the series for weak noise up to @xmath181 ( thin solid line , see also insert ) , the corresponding pad approximant @xmath192 ( thick solid line ) , and the series around the exactly known point @xmath190 up to 10th order ( dashed line).[fig : weaknoiselin ] ]    we have not been able to prove convergence of the series near @xmath193 .
it is clear by its definition via the implicit function that @xmath194 is an analytic function for any positive @xmath80 , but at @xmath195 we do nt know .
nevertheless , eq .   has a meaning as it correctly describes the asymptotic behavior of @xmath178 obtained by numerically solving the ptc for @xmath179 as @xmath196 where the symbol @xmath197 means @xmath198 , cf .
[ fig : log - log - plot ] .
the coefficients of the higher order terms in eq .
give systematic corrections in the sense that @xmath199 and @xmath200 , cf .
[ fig : numasympwn ] .     for small @xmath174 .
the symbols show the results for @xmath201 and @xmath202 obtained from the numerical solution of eq . .
the predicted behavior @xmath203 ( solid line ) and @xmath204 ( dashed line ) is confirmed.[fig : numasympwn ] ]      in the limit of strong noise @xmath205 , again motivated by , we use a series ansatz for @xmath178 as @xmath206 , @xmath207 inserting in eq .   and comparing coefficients in powers of @xmath174 leads to @xmath208 and to the backward recursion @xmath209 for @xmath210 with initial condition @xmath211 .
the three leading terms for @xmath178 as @xmath212 are @xmath213 the same coefficients are obtained via laplace s method , cf .
appendix  [ sec : laplacesn ] . in the case of strong noise
we reach the lower bound in asymptotically . in fig .
[ fig : strongnoiseinv ] we see @xmath214 as a function of @xmath215 , where the numerical solution of eq .
is compared with the series .
the series agrees with the numerical results only for very small values of @xmath215 . here , also the pad approximants do not work as well as for weak noise , since they have many poles within the region of interest .     as a function of @xmath215 .
the figure shows the numerical solution @xmath191 of eq .
compared with the series for strong noise ( solid line ) up to @xmath216.[fig : strongnoiseinv ] ]    as for weak noise we have not been able to prove convergence of the series . nevertheless , eq .
describes the asymptotics of @xmath178 for @xmath212 as @xmath217 , cf .
[ fig : log - log - plot ] , and the higher order coefficients in eq .
give systematic corrections in the sense @xmath218 , and @xmath219 , cf .
[ fig : numasympsn ] .     for large @xmath174 .
the symbols show the results for @xmath220 and @xmath221 obtained from the numerical solution of eq .  .
the predicted behavior @xmath222 ( solid line ) and @xmath223 ( dashed line ) is confirmed.[fig : numasympsn ] ]      dawson @xcite observed that , in our notation , considering only the sub - manifold of the critical manifold defined by the condition @xmath35 , it is possible to obtain an explicit expression for the critical value of @xmath9 as a function of @xmath80 . substituting @xmath224 in eq . and solving eq . for @xmath9 under the restriction that @xmath35 yields the critical parameter @xmath225 in terms of the rescaled parameters @xmath226 and @xmath227 this reads @xmath228 using the ansatz @xmath229 we find with the ode the recursion formula @xmath230\big\ } ,        \end{aligned}\ ] ] for @xmath231 with initial conditions @xmath232 in fig .
[ fig : weaknoiselin ] we see good agreement between the numerical solution of the phase transition condition and the series up to the tenth order term .
to calculate the behavior of the order parameter @xmath54 for @xmath9 close to the critical value @xmath0 it is convenient to introduce the notation @xmath233 . \nonumber\end{aligned}\ ] ] @xmath71 defined in eq .
can be expressed as @xmath234 and the @xmath235th moment of the probability density @xmath236 as @xmath237 expanding the right hand side of eq .   for small @xmath54 , according to we obtain the self - consistency equation @xmath238 where @xmath239 .
equation has always the trivial solution @xmath69 . for @xmath240
there is a pair of nontrivial real solutions @xmath241 since the denominator of the radicand is always positive as proven in appendix [ sec : proofac ] and the numerator of the radicand is positive if and only if @xmath242 .
this follows from the monotonicity of the second moment as a function of @xmath9 , cf .
hence the expansion is sufficient to determine the leading behavior of @xmath54 close to the critical point and we can exclude the existence of a tricritical point .
we now expand the right hand side of eq . for small @xmath243
, exploiting that at @xmath91 all even moments can be determined recursively from eq .  , see appendix [ sec : moments ] .
inserting eqs . , and in eq .
yields in leading order @xmath244 hence we have found the typical mean field exponent @xmath13 and an analytic expression for the amplitude in terms of the critical parameter . inserting @xmath0 in the limit of weak noise from eq
.   leads to @xmath245 in the limit of strong noise we obtain with eq .
@xmath246 in fig .
[ fig:2 ] these analytical results are compared for a typical parameter setting with the numerical evaluation of the self - consistency equation .     for and @xmath247 determined by numerical evaluation of eq .   compared to the analytical results from eqs . and
for weak noise ( dashed line ) and for strong noise ( solid line ) . coupling strength @xmath141.[fig:2 ] ]      in this section we observe that the susceptibility is diverging at the critical point as @xmath248 with the amplitudes @xmath249 and @xmath250 for @xmath17 and @xmath251 , respectively .
we explicitly calculate the amplitudes @xmath252 in terms of @xmath0 and find a universal ratio between them .
the whole procedure , as well as the results , are in complete analogy to equilibrium thermodynamics .
however the calculation is explicitly possible here , and up to our knowledge it has not been done in this context before .
we introduce an external field @xmath253 in eq .
@xmath254 the susceptibility is defined as the response of the system to a small external field @xmath255 we investigate the susceptibility close to the critical point . in analogy to eq .
we find the self - consistency equation for small @xmath54 and @xmath253 @xmath256 taking the derivative with respect to @xmath253 at @xmath257 we obtain @xmath258 at the critical point we find @xmath259 which can be satisfied only asymptotically by @xmath260 .
below the critical point we have @xmath69 and .
therefore becomes @xmath261 for small @xmath262 we find the leading behavior of the susceptibility close to the critical point using eq .
@xmath263    for @xmath264 we obtain in leading order with the help of eqs .  , and @xmath265 since @xmath266 we have @xmath267 which is universal , i.e. not depending on parameters .
in this paper we have proved an upper and a lower bound for the critical parameter @xmath0 .
these bounds are optimal since they are asymptotically reached for weak and for strong noise , respectively .
we found an ordinary differential equation describing the critical point @xmath32 as a function of @xmath34 , which allows to explicitly give a recursion formula for all coefficients of the asymptotic expansion of @xmath0 for weak and strong noise as well as for an expansion around a special point , where @xmath0 is known exactly .    in the limits of weak and strong noise
the mechanism of symmetry breaking is qualitatively different . for weak noise and @xmath9 close to @xmath0 the stationary distribution of the coordinates
@xmath157 is a gaussian .
below the critical point the gaussian is centered around zero .
above , for @xmath17 , the gaussian is shifted in positive or negative direction , the symmetry is broken . for strong noise and @xmath9 close to @xmath0 @xmath157 consists of two narrow peaks located symmetrically with respect to zero .
the symmetry is broken such that for @xmath17 one of the peaks gains a larger weight than the other .
we have proved that the critical manifold is well behaved , that is if two of the three positive parameters @xmath79 , and @xmath80 are given there exists a unique critical value of the third .
the proof hinges on the knowledge of the above mentioned boundaries of @xmath0 .
the wellbehavedness of the critical manifold allows to reduce the number of parameters and implies certain scaling properties .
for example , the ratio @xmath32 depends on noise strength and coupling constant only as a function of @xmath268 , and the limits of weak noise or strong coupling and strong noise or weak coupling are equivalent .
we further have determined the critical behavior of order parameter and susceptibility .
as well known , they follow as a function of @xmath269 power laws with the mean field exponents .
we have calculated the amplitude of the order parameter in terms of the critical parameter @xmath0 and explicitly in the limits of weak and strong noise and found for the amplitude ratio of the susceptibilities the universal law @xmath270 .
it is a natural question whether for systems with higher order nonlinearity similar results can be obtained .
it is further desirable to study the critical manifold of a system with both additive and multiplicative noise .
thanks is due to klaus kroy for valuable discussions .
r. k. thanks the imprs mathematics in the sciences for funding .
we need the exact recursive relations between moments which are derived by dawson @xcite exploiting the ito - formula . to keep the paper self - contained we rederive these relations in our notation using a different argument .    by partial integration of the right hand side of eq .
we find @xmath272 \nonumber \\ = & \frac{1}{k+1 } \frac{2}{\sigma^2 } \times \notag \\ & \int_{-\infty}^{\infty } { \mathop{\!\mathrm{d}\!}}x \ ; \left ( -(a - d)x^{k+2 } + x^{k+4 } -dmx^{k+1 } \right ) \notag \\ & \times \exp\left [ \frac{2}{\sigma^2 } \left ( dmx + \frac{a - d}{2}x^2 ) - \frac{1}{4}x^4 \right ) \right]\end{aligned}\ ] ] for @xmath273 , @xmath274 . dividing by the normalization @xmath275 we obtain @xmath276 in fact eq .
is also true for @xmath277 , then @xmath278 , cf .
eq . .    for @xmath14
we have @xmath279 , such that all odd moments are zero by symmetry . in that case
the recursion formula simplifies for all even moments to @xmath280 with @xmath281 .    at @xmath91
we have already calculated @xmath282 in eq .   and know @xmath283 since @xmath284 is normalized .
therefore it is possible to calculate all even moments using .
especially one finds @xmath285    for small @xmath286 , i.e.  above but close the critical point , we obtain @xmath287 using eqs . and .
since the variance of @xmath163 is larger than zero for any extended distribution we have @xmath288 at @xmath289 we obtain with eqs . and @xmath290 which gives the lower bound @xmath291    to obtain the upper bound we use the inequality @xmath292 which states that the kurtosis of @xmath271 is negative at @xmath91 , see below .
again with eqs .
and we find @xmath293 which gives @xmath294    to show we substitute @xmath295 such that the new coordinate @xmath296 has variance one .
we denote the stationary distribution of the new coordinate by @xmath297 .
the inequality   in the @xmath271 coordinate is equivalent to the same expression in the new coordinate @xmath296 @xmath298    now we compare the distribution @xmath297 with the gaussian distribution with variance one denoted by @xmath299 . in the following
we only consider the critical point @xmath91 where both distributions have zero mean and are symmetric under the transformation @xmath300 .
we look at the intersection of both curves and distinguish two cases
. there can be either two or four intersecting points .    for two intersection points
we use the theorem @xcite :    if a symmetric zero - mean probability distribution @xmath297 intersects with the standard normal distribution @xmath299 in exactly two points @xmath301 , then @xmath302 for all @xmath303 if and only if the kurtosis of @xmath297 is negative .    in the present situation
@xmath297 decays as @xmath304 , as @xmath305 and therefore @xmath302 for large enough @xmath306 .
hence we can apply the theorem and is satisfied . in the case of four intersection points of @xmath297 and @xmath299
we use the following theorem from @xcite :    suppose two probability densities @xmath299 and @xmath297 with zero mean and the same variance are given .
let @xmath307 be their respective third and fourth moments .
then we have a sufficient condition for : there should exist four abscissae @xmath308 such that + @xmath309 @xmath310 and ( iii ) @xmath311 and @xmath312 are not both strictly positive or both strictly negative .
in the present case we have @xmath313 .
furthermore @xmath314 and @xmath315 since both @xmath299 and @xmath297 are even functions . hence @xmath316 and
we can apply the theorem .
therefore @xmath317 . there .
by numerical evidence he conjectured that there is strict inequality .
we prove this conjecture .
] we can follow the lines in @xcite to prove even strict inequality .
consider the function @xmath318 .
for any @xmath319 the functions @xmath320 and @xmath321 have either the same sign or at least one of them is zero .
thus @xmath322 . in the present situation , since both functions are continuous and zero only if @xmath323 , there exists @xmath324 such that @xmath325 for @xmath326 , @xmath327 $ ] for @xmath328 .
hence we have @xmath329 expanding the polynomial @xmath321 and performing the integral in we find @xmath330 where we used that odd moments of @xmath297 and @xmath299 are zero and that both distributions have variance one and are normalized . since the kurtosis of a gaussian is zero , by we follow that is true , which completes the proof of the inequality .
in the following we solve the ptc asymptotically for strong and for weak noise using laplace s method to evaluate the integrals in eq . .
independently of the simpler method using the ode we obtain the same results .
when using laplace s method we explicitly use the different shapes of the distribution @xmath157 for weak and strong noise , discussed in section [ subsec : scaling ] . in the next section
we explicitly calculate the integral @xmath331 for large @xmath332 , where @xmath333 is a polynomial of degree four . in the succeeding two sections we apply the results of this calculation to asymptotically
solve the ptc for weak and for strong noise .
we evaluate an integral of the form @xmath334 for large @xmath332 applying the laplace method @xcite .
we denote @xmath335 suppose that @xmath333 has its global maximum at @xmath16 .
expanding around zero yields @xmath336 now we change the integration boundaries in to @xmath337 and @xmath338 for some @xmath339 .
doing so , we make only exponentially small errors for @xmath340 , @xmath341 inserting the expansion yields @xmath342 \notag \\      & \times \exp\left(\lambda \frac{1}{2 } \phi^{(2)}_0 x^2\right ) .
\label{eq : intlp3}\end{aligned}\ ] ] we are interested in the case where @xmath343 is a polynomial of fourth order .
we expand @xmath344 for small @xmath271 and neglect terms which give either a vanishing contribution or contributions of the order @xmath345 when the gaussian integrals are performed . in view of @xmath346 =   \frac{(2n-1)!!}{2^n}\frac{1}{\alpha^n}\sqrt{\frac{\pi}{\alpha } }      \label{eq : gauss4},\\       & \int_{-\infty}^{\infty } { \mathop{\!\mathrm{d}\!}}x \ , x^{2n+1}\exp\left [ -\alpha x^2 \right ] =   0 \end{aligned}\ ] ] we should take into account @xcite @xmath347 now we plug the expansion into eq .   and extend the integration range to @xmath348 . again
the change of the integration range produces only an exponentially small error for @xmath349 .
evaluating the gaussian integrals leads to @xmath350 . \notag\end{aligned}\ ] ]      in the limit of weak noise we set @xmath351 and use the ansatz @xmath352 which is equivalent to eq . .
we define @xmath353 .
\label{eq : integr1}\end{aligned}\ ] ] and rewrite the ptc as @xmath354 to express the right hand side of eq .   in a controllable way as a series in @xmath84 .
+ in view of the limit it is clear that @xmath355 is locally uniformly converging to @xmath356 as @xmath357 such that we can use laplace s method @xcite to evaluate the integral . for @xmath333
defined by we find @xmath358 and @xmath359 inserting eq . into the ptc
leads to @xmath360 .
\notag\end{aligned}\ ] ] inserting the ansatz into eq . and
expanding in powers of @xmath7 leads to @xcite @xmath361 comparing coefficients in powers of @xmath84 , we find @xmath362 which is equivalent to the result .      in the limit of strong noise we set @xmath363 and use the ansatz @xmath364 which is equivalent to eq .
we substitute and define @xmath365   \label{eq : intstrongnoise}\end{aligned}\ ] ] with the function @xmath366 that has its local maxima at @xmath367 by the inequality we find that @xmath368 .
analogously to the weak noise case we rewrite the ptc as @xmath369 for strong noise , @xmath370 is locally uniformly converging to @xmath371 we will perform laplace approximation around the positive maximum , an equal contribution comes from the other maximum . instead of @xmath372 in we use @xmath373 with @xmath374 by with @xmath375 instead of @xmath376 we obtain up to @xmath377 @xmath378 \notag \\
= & \ ,   \sigma^2 \frac{\tilde{a}^2}{2 } + \frac{1}{2 } \ln ( 2\pi ) - \frac{1}{2}\ln ( \sigma^{2}\tilde{a } )   \notag \\      & + \ln \bigg [ 1 + \sigma^{-2 } \frac{3}{8 } \frac{1}{\tilde{a}^2 } + \sigma^{-4 } \frac{105}{128 } \frac{1}{\tilde{a}^4 } \bigg ] ,      \label{eq : lnistrnoise}\end{aligned}\ ] ] with @xmath379 inserting into the ptc   we obtain @xmath380 .
\notag\end{aligned}\ ] ] inserting and furthermore the ansatz for @xmath0 eq .
we expand in powers of @xmath381 and obtain @xcite @xmath382 comparing coefficients in powers of @xmath7 leads to @xmath383 which is equivalent to eq .  .
25ifxundefined [ 1 ] ifx#1 ifnum [ 1 ] # 1firstoftwo secondoftwo ifx [ 1 ] # 1firstoftwo secondoftwo `` `` # 1''''@noop [ 0]secondoftwosanitize@url [ 0 ]
 + 12$12  & 12#1212_12%12@startlink[1]@endlink[0]@bib@innerbibempty link:\doibase 10.1103/revmodphys.79.829 [ * * ,   ( ) ] @noop _ _
( , ,  ) @noop _ _  ( ,  ,  ) link:\doibase 10.1016/s0031 - 8914(40)90098 - 2 [ * * , ( ) ] link:\doibase 10.1007/bf01013146 [ * * , ( ) ] link:\doibase 10.1007/bf01020331 [ * * , ( ) ] link:\doibase 10.1007/bf01010922 [ * * , ( ) ] link:\doibase 10.1103/physreve.49.2639 [ * * ,   ( ) ] link:\doibase 10.1103/physreve.54.6918 [ * * , ( ) ] link:\doibase 10.1016/0375 - 9601(85)90345 - 7 [ * * ,   ( ) ] link:\doibase 10.1103/physreva.36.2393 [ * * , ( ) ] @noop _ _  ( ,  ,  ) link:\doibase 10.1103/physreve.64.021110 [ * * ,   ( ) ] link:\doibase 10.1103/physrevlett.98.230601 [ * * , ( ) ] link:\doibase 10.1103/physrevlett.47.359 [ * * ,   ( ) ] link:\doibase 10.1137/110851882 [ * * ,   ( ) ] link:\doibase    10.1103/physreve.65.046110 [ * * ,   ( ) ] link:\doibase 10.1103/physreve.72.056102 [ * * ,   ( ) ] link:\doibase 10.1103/physreve.75.031105 [ * * ,   ( ) ] link:\doibase 10.1007/bf01608495 [ * * ,   ( ) ] @noop _ _  ( ,  ,  ) link:\doibase 10.1109/97.803435 [ * * ,   ( ) ] http://www.jstor.org/stable/2980484 [ * * , ( ) ] @noop _ _  ( ,  , )


the theory of support varieties for finitely generated modules over the group algebra of a finite group began back in the nineteen eighties with the work of alperin and evens  @xcite , avrunin and scott  @xcite , carlson @xcite , among others .
an essential ingredient in its development was carlson s anticipation that for elementary abelian @xmath1-groups the cohomological definition of support , which takes its roots in quillen s fundamental work on mod @xmath1 group cohomology @xcite , gave the same answer as the `` rank '' definition through restriction to cyclic shifted subgroups .    to deal with infinitely generated modules , benson , carlson and
rickard @xcite found that they had to introduce cyclic shifted subgroups for generic points of subvarieties , defined over transcendental extensions of the field of coefficients .
correspondingly , all the homogeneous prime ideals in the cohomology ring are involved , not just the maximal ones . this enabled them to classify the tensor ideal thick subcategories of the stable category @xmath2 of finitely generated @xmath3-modules @xcite .
it seemed plausible that one should be able to use modifications of the same techniques to classify the tensor ideal localising subcategories of the stable category @xmath4 of all @xmath3-modules , but there were formidable technical obstructions to realising this , and it was not until more than a decade later that this was achieved by the first three authors of this paper @xcite , using a rather different set of ideas than the ones in @xcite .
the basic strategy was a series of reductions , via changes of categories , that reduced the problem to that of classifying the localising subcategories of the derived category of differential graded modules over a polynomial ring , where it was solved using methods from commutative algebra .
a series of papers @xcite , established machinery required to execute this strategy .    in this paper
we give an entirely new , and conceptually different , proof of the classification of the tensor ideal localising subcategories of @xmath4 from @xcite .
it is closer in spirit to the proof of the classification of the tensor ideal thick subcategories of @xmath2 from @xcite , and rooted essentially in linear algebra .
the crucial new idea is to introduce and study @xmath0-cosupports for representations .
the inspiration for this comes from two sources .
the first is the theory of @xmath0-points developed by friedlander and the fourth author @xcite as a suitable generalisation of cyclic shifted subgroups . whereas carlson s original construction only applied to elementary abelian @xmath1-groups , and required an explicit choice of generators of the group algebra , @xmath0-points allow for a `` rank variety '' description of the cohomological support for any finite group scheme ; see ( * ? ? ?
* theorem  3.6 ) and section  [ se : pi - points ] of this paper . based on this , in @xcite
the @xmath0-support of a module over a finite group scheme @xmath5 defined over a field @xmath6 is introduced and used to classify the tensor ideal thick subcategories of @xmath2 ( with an error corrected in a sequel  @xcite to this paper ) .
but the tensor ideal localising subcategories of @xmath4 remained inaccessible by these techniques alone , even for finite groups .
what is required is a @xmath0-version of the notion of cosupports introduced in @xcite .
the relevance of @xmath0-cosupport is through the following formula for the module of homomorphisms , proved in section  [ se : support - and - cosupport ] . for any finite group scheme @xmath5 over @xmath6 , and @xmath3-modules @xmath7 and @xmath8
, there is an equality @xmath9 to be able to apply this formula to cohomological cosupport developed in [ 9 ] one needs to identify the two notions of cosupport .
our strategy for making this identification is to prove that @xmath0-cosupport detects projectivity : a @xmath3-module is projective if and only if its @xmath0-cosupport is empty .
the desired classification result would then follow from general techniques developed in  @xcite .    in section  [ se : finite - groups ]
we prove such a detection theorem for projectivity for _ finite groups_. besides yielding the desired classification theorem for @xmath4 from @xcite , it implies that cohomological support and cosupport coincide with @xmath0-support and @xmath0-cosupport , respectively .
this remarkable fact is a vast generalisation of carlson s original anticipation .
the different origins of the two notions are reflected in the fact that phenomena that are transparent , or at least easy to detect , for one may be rather opaque and difficult to verify for the other .
see section  [ se : applications ] for illustrations .
the corresponding detection theorem for arbitrary finite group schemes has turned out to be more challenging , and is dealt with in the sequel to this paper @xcite , using a different approach , where again @xmath0-support and @xmath0-cosupport play a crucial role .
this brings us to the second purpose of this paper : to lay the groundwork for the proof in @xcite . for this reason parts of this paper
are written in the language of finite group schemes .
however , we have attempted to present it in such a way that the reader only interested in finite groups can easily ignore the extra generality .
this section summarises basic property of modules over affine group schemes ; for details we refer the reader to jantzen @xcite and waterhouse @xcite .
let @xmath6 be a field .
affine group scheme _
@xmath5 over @xmath6 is a functor from commutative @xmath6-algebras to groups , with the property that , considered as a functor to sets , it is representable as @xmath10 .
the commutative @xmath6-algebra @xmath11 has a comultiplication coming from the multiplicative structure of @xmath5 , and an antipode coming from the inverse .
this makes @xmath11 into a commutative hopf algebra called the _ coordinate algebra _ @xmath12 $ ] of @xmath5 .
conversely , if @xmath12 $ ] is a commutative hopf algebra over @xmath6 then @xmath13,-)$ ] is an affine group scheme .
this work concerns only affine group schemes so henceforth we drop the qualifier `` affine '' .
a group scheme @xmath5 over @xmath6 is _ finite _ if @xmath12 $ ] is finite dimensional as a @xmath6-vector space .
the @xmath6-linear dual of @xmath12 $ ] is then a cocommutative hopf algebra , called the _ group algebra _ of @xmath5 , and denoted @xmath3 .
we identify modules over a finite group scheme @xmath5 with modules over its group algebra @xmath3 ; this is justified by ( * ? ? ?
* i.8.6 ) .
thus , we will speak of @xmath3-modules ( rather than @xmath5-modules ) , and write @xmath14 for the category of @xmath3-modules .
let @xmath5 be a finite group scheme over a field @xmath6 .
if @xmath15 is a field extension of @xmath6 , we write @xmath16 $ ] for @xmath17 $ ] , which is a commutative hopf algebra over @xmath15 .
this defines a group scheme over @xmath15 denoted @xmath18 , and we have a natural isomorphism @xmath19 .    for each @xmath3-module @xmath7
, we set @xmath20 viewed as @xmath21-modules .
when @xmath15 or @xmath7 is finite dimensional over @xmath6 , these are related as follows .
[ re : finite - dimensional ] for any @xmath3-module @xmath7 , there is a natural map of @xmath21-modules @xmath22 this is a bijection when @xmath15 or @xmath7 is finite dimensional over @xmath6 .
then @xmath23 is a direct sum of copies of @xmath24 as a @xmath21-module , for @xmath25 is a direct sum of copies of @xmath15 , as a @xmath15-vector space .
the assignments @xmath26 and @xmath27 define functors from @xmath14 to @xmath28 that are left and right adjoint , respectively , to restriction of scalars along the homomorphism of rings @xmath29 . the result below collects some basic facts concerning how these functors interact with tensor products and homomorphisms . in
what follows , the submodule of @xmath5-invariants of a @xmath3-module @xmath7 is denoted @xmath30 ; see ( * ? ? ? *
i.2.10 ) for the construction .
[ le : invariants ] let @xmath5 be a finite group scheme over @xmath6 and @xmath15 an extension of the field @xmath6 .
let @xmath7 and @xmath8 be @xmath3-modules .
there are natural isomorphisms of @xmath21-modules :    1 .
2 .   @xmath32 when @xmath7 is finite dimensional over @xmath6 .
3 .   @xmath33 .
there are also natural isomorphisms of @xmath15-vector spaces :    1 .
2 .   @xmath35 .    the isomorphisms in ( i ) , ( iii ) and ( iv ) are standard whilst ( v ) is the special case @xmath36 and @xmath37 of ( iv ) .
the isomorphism in ( ii ) can be realised as the composition of natural maps @xmath38 where the last map is an isomorphism as @xmath7 is finite dimensional over @xmath6 .
we recall some important classes of finite group schemes relevant to this work .    [
ex : finite - groups ] a finite group @xmath5 defines a finite group scheme over any field @xmath6 .
more precisely , the group algebra @xmath3 is a finite dimensional cocommutative hopf algebra , and hence its dual is a commutative hopf algebra which defines a group scheme over @xmath6 ; it is also denoted @xmath5 .
a finite group @xmath39 is an _ elementary abelian @xmath1-group _ if it is isomorphic to @xmath40 , for some prime number @xmath1 .
the integer @xmath41 is then the _ rank _ of @xmath39 . over a field @xmath6 of characteristic @xmath1 ,
there are isomorphisms of @xmath6-algebras @xmath42\cong k^{\times r}\quad\text{and}\quad ke\cong k[z_1,\dots , z_{r}]/(z_1^p,\dots , z_{r}^p).\ ] ] the comultiplication on @xmath43 is determined by the map @xmath44 and the antipode is determined by the map @xmath45 .
[ ex : ga ] fix a positive integer @xmath41 and let @xmath46 denote the finite group scheme whose coordinate algebra is @xmath47= k[t]/(t^{p^r})\ ] ] with comultiplication defined by @xmath48 and antipode @xmath49 .
there is an isomorphism of @xmath6-algebras @xmath50/(u_0^p,\dots , u_{r-1}^p).\ ] ] we note that @xmath46 is the @xmath41th frobenius kernel of the additive group scheme @xmath51 over @xmath6 ; see , for instance , ( * ? ? ?
* i.9.4 )    [ ex : quasi - elementary ] following bendel  @xcite , a group scheme over a field @xmath6 of positive characteristic @xmath1 is said to be _ quasi - elementary _ if it is isomorphic to @xmath52 .
its group algebra structure is the same as that of an elementary abelian @xmath1-group .    a finite group scheme @xmath5 over a field @xmath6 is _ unipotent _ if its group algebra @xmath3 is local .
quasi - elementary group schemes are unipotent .
also , the group scheme over a field of positive characteristic @xmath1 defined by a finite @xmath1-group is unipotent .
in the rest of this paper @xmath5 denotes a finite group scheme defined over a field @xmath6 of positive characteristic @xmath1 .
we recall the notion of @xmath0-points and basic results about them .
the primary references are the papers of friedlander and pevtsova @xcite .
a @xmath0-_point _ of @xmath5 , defined over a field extension @xmath15 of @xmath6 , is a morphism of @xmath15-algebras @xmath53/(t^p ) { \longrightarrow}kg_k\ ] ] that factors through the group algebra of a unipotent abelian subgroup scheme @xmath54 of @xmath55 , and such that @xmath21 is flat when viewed as a left ( equivalently , as a right ) module over @xmath56/(t^{p})$ ] via @xmath57 .
it should be emphasised that @xmath54 need not be defined over @xmath6 ; see examples  [ ex : klein ] .
restriction along @xmath57 defines a functor @xmath58/(t^{p})\,.\ ] ]    the result below extends ( * ? ? ?
* theorem  4.6 ) , that dealt with @xmath59 .
[ th : pi - equivalence ] let @xmath60/(t^p)\to kg_k$ ] and @xmath61/(t^p)\to lg_l$ ] be @xmath0-points of @xmath5
. then the following conditions are equivalent .    1 .   for any finite dimensional @xmath3-module @xmath7 ,
the module @xmath62 is projective if and only if @xmath63 is projective .
2 .   for any @xmath3-module @xmath7 , the module @xmath62 is projective if and only if @xmath63 is projective .
3 .   for any finite dimensional @xmath3-module @xmath7 ,
the module @xmath64 is projective if and only if @xmath65 is projective .
4 .   for any @xmath3-module @xmath7 ,
the module @xmath64 is projective if and only if @xmath65 is projective .
the equivalence of ( i ) and ( ii ) is proved in ( * ? ? ?
* theorem  4.6 ) .
the equivalence of ( iii ) and ( iv ) can be proved in exactly the same way .
( i)@xmath66(iii ) since @xmath7 is finite dimensional , @xmath23 is a direct sum of copies of @xmath59 , by remark  [ re : finite - dimensional ] .
hence @xmath64 is projective if and only if @xmath62 is projective .
the same is true of @xmath65 and @xmath63 .
[ de : pi ] when @xmath0-points @xmath57 and @xmath67 satisfy the conditions of theorem  [ th : pi - equivalence ] , they are said to be _ equivalent _ , and denoted @xmath68 .    for ease of reference
, we list some basic properties of @xmath0-points .    [ re : pi - basics ] ( 1 ) let @xmath60/(t^p)\to kg_k$ ] be a @xmath0-point and @xmath69 a field extension of @xmath15 .
then @xmath70/(t^p)\to lg_l$ ] is a @xmath0-point and it is easy to verify , say from condition ( i ) of theorem  [ th : pi - equivalence ] , that @xmath71 .
\(2 ) every @xmath0-point of a subgroup scheme @xmath72 of @xmath5 is naturally a @xmath0-point of @xmath5 .
this follows from the fact that an embedding of group schemes always induces a flat map of group algebras .
\(3 ) every @xmath0-point is equivalent to one that factors through a quasi - elementary subgroup scheme over the same field extension ; see ( * ? ? ?
* proposition  4.2 ) .
the cohomology of @xmath5 with coefficients in a @xmath3-module @xmath7 is denoted @xmath73 .
it can be identified with @xmath74 . recall that @xmath75 is a @xmath6-algebra that is graded - commutative ( because @xmath3 is a hopf algebra ) and finitely generated , as was proved by friedlander and suslin ( * ? ? ?
* theorem  1.1 ) .
let @xmath76 denote the set of homogeneous prime ideals @xmath77 that are properly contained in the maximal ideal of positive degree elements
.    given a @xmath0-point @xmath60/(t^{p})\to kg_k$ ] we write @xmath78 for the composition of homomorphisms of @xmath6-algebras .
@xmath79/(t^{p})}(k , k),\ ] ] where the second map is induced by restriction . by frobenius reciprocity and the theorem of friedlander and suslin recalled above , @xmath80/(t^{p})}(k , k)$ ] is finitely generated as a module over @xmath81 .
since the former is nonzero , it follows that the radical of the kernel of the map @xmath82/(t^{p})}(k , k)$ ] is a prime ideal different from @xmath83 and hence that the radical of @xmath84 is a prime ideal in @xmath85 , different from @xmath86 .
[ rem : generic - points ] fix a point @xmath87 in @xmath88 .
there exists a field @xmath15 and a @xmath0-point @xmath89/(t^p){\longrightarrow}kg_k\ ] ] such that @xmath90 .
in fact , there is such a @xmath15 that is a finite extension of the degree zero part of the homogenous residue field at @xmath87 ; see ( * ? ? ?
* theorem  4.2 ) .
it is shown in ( * ? ? ?
* corollary  2.11 ) that @xmath68 if and only if there is an equality @xmath91 in this way , the equivalence classes of @xmath0-points are in bijection with @xmath92 .
let @xmath5 be a finite group scheme over a field @xmath6 .
taking a @xmath0-point @xmath57 to the radical of @xmath84 induces a bijection between the set of equivalence classes of @xmath0-points of @xmath5 and @xmath92 .
we illustrate these ideas on the klein four group that will be the running example in this work .
[ ex : klein ] let @xmath93 and @xmath6 a field of characteristic two .
the group algebra @xmath94 is isomorphic to @xmath95/(x^{2},y^{2})$ ] , where @xmath96 and @xmath97 correspond to the generators of @xmath98 .
let @xmath99 denote the jacobson radical of @xmath94 .
it is well - known that @xmath100 is the symmetric algebra on the @xmath6-vector space @xmath101 ; see , for example , ( * ? ? ?
* corollary  3.5.7 ) .
thus @xmath100 is a polynomial ring over @xmath6 in two variables in degree one and @xmath102 .
the @xmath0-point corresponding to a rational point @xmath103\in\bbp^{1}_{k}$ ] ( using homogeneous coordinates ) is represented by the map of @xmath6-algebras @xmath104/(t^{p}){\longrightarrow}k[x , y]/(x^{2},y^{2})\quad\text{where $ t\mapsto ax + by$.}\ ] ]    more generally , for each closed point @xmath105 there is some finite field extension @xmath15 of @xmath6 such that @xmath106 contains a rational point @xmath107 $ ] over @xmath87 ( with @xmath108 acting transitively on the finite set of points over @xmath87 ) .
then the @xmath0-point corresponding to @xmath87 is represented by the map of @xmath15-algebras @xmath109/(t^{p}){\longrightarrow}k[x , y]/(x^{2},y^{2})\quad\text{where $ t\mapsto a'x + b'y$.}\ ] ]    now let @xmath15 denote the field of rational functions in a variable @xmath110 .
the generic point of @xmath111 then corresponds to the map of @xmath15-algebras @xmath109/(t^{p}){\longrightarrow}k[x , y]/(x^{2},y^{2 } ) \quad\text{where $ t\mapsto x+sy$.}\ ] ]
as before , @xmath5 is a finite group scheme over a field @xmath6 of positive characteristic @xmath1 . in this section ,
we introduce a notion of @xmath0-cosupport of a @xmath3-module , by analogy with the notion of @xmath0-support introduced in @xcite .
the main result , theorem  [ th : tensor - and - hom - pi ] , is a formula that computes the @xmath0-cosupport of a function object , in terms of the @xmath0-support and @xmath0-cosupport of its component modules .
[ de : cosupport ] the _ @xmath0-cosupport _ of a @xmath3-module @xmath7 is the subset of @xmath88 defined by @xmath112 here @xmath113/(t^p)\to kg_k$ ] denotes a representative of the equivalence class of @xmath0-points corresponding to @xmath87 ; see remark  [ rem : generic - points ] .
the definition is modelled on that of the _ @xmath0-support _ of @xmath7 , introduced in @xcite as the subset @xmath114 this is denoted @xmath115 in @xcite ; our notation is closer to the one used in for cohomological support .
for later use , we record the well - known property that the module of homomorphisms preserves and detects projectivity .
[ le : end - projectivity ] let @xmath7 and @xmath8 be @xmath3-modules .    1 .
if @xmath7 or @xmath8 is projective , then so is @xmath116 .
@xmath7 is projective if and only if @xmath117 is projective .
we repeatedly use the fact that a @xmath3-module is projective if and only if it is injective ; see , for example , ( * ? ? ?
* lemma  i.3.18 ) .
\(i ) the functor @xmath118 takes injective @xmath3-modules to injective @xmath3-modules because it is right adjoint to an exact functor .
thus , when @xmath8 injective , so is @xmath116 .
the same conclusion follows also from the projectivity of @xmath7 because @xmath119 takes projective modules to injective modules , as follows from the natural isomorphisms : @xmath120 the first and the last isomorphisms are by adjunction , and the one in the middle holds because @xmath3 is cocommutative .
\(ii ) when @xmath7 is projective , so is @xmath121 , by ( i ) . for the converse ,
observe that when @xmath117 is projective , so is @xmath122 , since @xmath123 preserves projectivity being the left adjoint of an exact functor .
it remains to note that @xmath7 is a direct summand of @xmath122 , because the composition of the homomorphisms @xmath124 of @xmath3-modules equals the identity on @xmath7 .
we now work towards theorem  [ th : tensor - and - hom - pi ] that gives a formula for the cosupport of a function object , and the support of a tensor product .
these are useful for studying modules over finite group schemes , as will become clear in section  [ se : applications ] ; see also @xcite .
the proof of theorem  [ th : tensor - and - hom - pi ] is complicated by the fact that , in general , a @xmath0-point @xmath60/(t^p)\to kg_k$ ] does not preserve hopf structures , so restriction along @xmath57 does not commute with taking tensor products , or the module of homomorphisms . to deal with this situation
, we adapt an idea from the proof of ( * ? ? ?
* lemma  3.9)see also ( * ? ? ?
* lemma  6.4 ) and ( * ? ? ?
* lemma  6.4)where the equivalence of ( i ) and ( iii ) in the following result is proved .
the hypothesis on the algebra @xmath125 is motivated by remark  [ re : pi - basics](3 ) and example  [ ex : quasi - elementary ] .    [
le : pi - proj ] let @xmath15 be a field of positive characteristic @xmath1 and @xmath125 a cocommutative hopf @xmath15-algebra that is isomorphic as an algebra to @xmath126/(t_{1}^{p},\dots t_{r}^{p})$ ] .
let @xmath53/(t^p ) { \longrightarrow}a\ ] ] be a flat homomorphism of @xmath15-algebras .
for any @xmath125-modules @xmath7 and @xmath8 , the following conditions are equivalent :    1 .
@xmath127 is projective .
@xmath128 is projective .
@xmath129 or @xmath130 is projective .
as noted before , ( i ) @xmath66 ( iii ) is ( * ? ? ?
* lemma  3.9 ) ; the hypotheses of _ op .
_ includes that @xmath7 and @xmath8 are finite dimensional , but that is not used in the proof .
we employ a similar argument to verify that ( ii ) and ( iii ) are equivalent .
let @xmath131 be the antipode of @xmath125 , @xmath132 its comultiplication , and set @xmath133 , the augmentation ideal of @xmath125 . identifying @xmath134 with its image in @xmath125 ,
one has @xmath135 see ( * ? ? ?
* i.2.4 ) . recall that the action of @xmath136 on @xmath137 is given by multiplication with @xmath138 , so that for @xmath139 and @xmath140 one has @xmath141 given a module over @xmath142 , we consider two @xmath56/(t^{p})$]-structures on it : one where @xmath134 acts via multiplication with @xmath143 and another where it acts via multiplication with @xmath144 . we claim that these two @xmath56/(t^{p})$]-modules are both projective or both not projective .
this follows from a repeated use of ( * ? ? ?
* proposition  2.2 ) because @xmath145 can be represented as a sum of products of nilpotent elements of @xmath142 , and each nilpotent element @xmath146 of @xmath142 satisfies @xmath147 .
we may thus assume that @xmath134 acts on @xmath137 via @xmath144 .
there is then an isomorphism of @xmath56/(t^{p})$]-modules @xmath148 where the action of @xmath56/(t^{p})$ ] on the right hand side is the one obtained by viewing it as a hopf @xmath15-algebra with comultiplication defined by @xmath48 and antipode @xmath49 .
it remains to observe that for any @xmath56/(t^{p})$]-modules @xmath149 , the module @xmath150 is projective if and only if one of @xmath151 or @xmath98 is projective .    indeed , if @xmath151 or @xmath98 is projective , so is @xmath152 , by lemma  [ le : end - projectivity ] . as to the converse ,
every @xmath56/(t^{p})$]-module is a direct sum of cyclic modules , so when @xmath151 and @xmath98 are not projective , they must have direct summands isomorphic to @xmath56/(t^{u})$ ] and @xmath56/(t^{v})$ ] , respectively , for some @xmath153 .
then @xmath154/(t^{u}),k[t]/(t^{v}))$ ] is a direct summand of @xmath152 .
the former can not be projective as a @xmath56/(t^{p})$]-module because its dimension as a @xmath15-vector space is @xmath155 , while the dimension of any projective module must be divisible by @xmath1 : projective @xmath56/(t^{p})$]-modules are free .
the first part of the result below is ( * ? ? ?
* proposition  5.2 ) .
[ th : tensor - and - hom - pi ] let @xmath7 and @xmath8 be @xmath3-modules . then there are equalities    1 .
@xmath156 , 2 .
@xmath157 .
we prove part ( ii ) . part ( i )
can be proved in the same fashion ; see ( * ? ? ?
* proposition  5.2 ) .
fix a @xmath0-point @xmath158/(t^{p})\to kg_k$ ] . by remark  [ re : pi - basics](3 ) , we can assume @xmath57 factors as @xmath56/(t^{p})\to kc\to kg_k$ ] , where @xmath54 is a quasi - elementary subgroup scheme of @xmath55 .
as noted in lemma  [ le : invariants](iii ) , there is an isomorphism of @xmath21-modules @xmath159 we may restrict a @xmath21 module to @xmath56/(t^{p})$ ] by first restricting to @xmath160 , and @xmath161 commutes with this operation .
thus the desired result follows from the equivalence of ( ii ) and ( iii ) in lemma  [ le : pi - proj ] , applied to the map @xmath56/(t^{p})\to kc$ ] , keeping in mind the structure of @xmath160 ; see example  [ ex : quasi - elementary ] .
next we record , for later use , some elementary observations concerning support and cosupport
. the converse of ( i ) in the result below also holds . for finite groups this
is proved in theorem  [ th : finite - groups ] below , and for finite group schemes this is one of the main results of @xcite .    [
le : cosupp - k ] let @xmath7 be a @xmath3-module .    1 .
@xmath162 when @xmath7 is projective .
2 .   @xmath163 when @xmath7 is finite dimensional .
3 .   @xmath164 .    part ( ii ) is immediate from definitions , given remark  [ re : finite - dimensional ] . for the rest , fix a @xmath0-point @xmath60/(t^{p})\to kg_k$ ] .
\(i ) when @xmath7 is projective , so are the @xmath21-modules @xmath165 and @xmath166 , and restriction along @xmath57 preserves projectivity , as @xmath57 is a flat map .
this justifies ( i ) .
\(iii ) evidently , @xmath167 equals @xmath15 and @xmath168 is non - projective . since @xmath57 was arbitrary , one deduces that @xmath169 is all of @xmath88 . that this also equals the @xmath0-cosupport of @xmath6 now follows from ( ii )
[ co : cosuppm * ] if @xmath7 is a @xmath3-module , then there is an equality @xmath170    this follows from theorem  [ th : tensor - and - hom - pi](ii ) and lemma  [ le : cosupp - k](iii ) .    the equality of @xmath0-support and @xmath0-cosupport for finite dimensional modules , which holds by lemma  [ le : cosupp - k](ii ) , may fail for infinite dimensional modules .
we describe an example over the klein four group ; see example  [ ex : t(i ) ] for a general construction .
[ ex : klein2 ] let @xmath98 be the klein four group @xmath171 and @xmath6 a field of characteristic two .
the @xmath0-points of @xmath94 were described in example  [ ex : klein ] .
we keep the notation from there .
let @xmath7 be the infinite dimensional @xmath3-module with basis elements @xmath172 and @xmath173 for @xmath174 and @xmath3-action defined by @xmath175 where @xmath176 is interpreted as the zero vector .
a diagram for this module is as follows : @xmath177   \overset{u_0}{\circ } \arrow[dash]{dr}[swap]{x } & & \overset{u_1}{\circ}\arrow[dash]{dl}{y } \arrow[dash]{dr } & & \overset{u_2}{\circ } \arrow[dash]{dl } \arrow[dash]{dr}&&\dots \\ & \underset{v_0}{\circ}&&\underset{v_1}{\circ } & & \underset{v_2}{\circ}&&\dots \end{tikzcd}\ ] ]    the @xmath0-support of @xmath7 is the closed point @xmath178\}$ ] of @xmath111 whilst its @xmath0-cosupport contains also the generic point .    given a finite field extension @xmath15 of @xmath6 , it is not hard to verify that for any rational point @xmath103\in\bbp^{1}_{k}$ ] the image of multiplication by @xmath179 on @xmath24 is its socle , that is spanned by the elements @xmath180 .
for @xmath103 \ne [ 0,1]$ ] , this is also the kernel of @xmath179 , whilst for @xmath103=[0,1]$ ] it contains , in addition , the element @xmath181 . in view of remark  [ re : finite - dimensional ] , this justifies the assertions about the closed points of @xmath182 .    for the generic point
let @xmath15 denote the field of rational functions in a variable @xmath110 .
it is again easy to check that the kernel of @xmath183 and the image of multiplication by @xmath183 on @xmath59 are equal to its socle .
so the generic point is not in @xmath184 .    for cosupport ,
consider the @xmath6-linear map @xmath185 defined as follows . given a rational function @xmath186 , its partial fraction expansion consists of a polynomial @xmath187 plus the negative parts of the laurent expansions at the poles . if @xmath188 we define @xmath189 to be @xmath190 . by definition , @xmath191 ; using this it is easy to calculate that @xmath192 is in the kernel of @xmath183 . on the other hand , any function in the image of @xmath183 lands in the socle of @xmath7 .
it follows that the kernel of @xmath183 is strictly larger than the image , and so the generic point is in the @xmath0-cosupport of @xmath7 .
the focus of the rest of the paper is on finite groups . in this section
we prove that a module over a finite group is projective if and only if it has empty @xmath0-cosupport .
the key ingredient is a version of dade s lemma for elementary abelian groups .
this in turn is based on an analogue of the kronecker quiver lemma  ( * ? ? ?
* lemma  4.1 ) .
[ le : kronecker ] let @xmath6 be an algebraically closed field , @xmath193 a non - trivial extension field of @xmath6 , and let @xmath194 be @xmath6-vector spaces . if there exist @xmath6-linear maps @xmath195 with the property that for every pair of scalars @xmath196 and @xmath197 in @xmath193 , not both zero , the linear map @xmath198 is an isomorphism , then @xmath199 .
note that @xmath200 here really means @xmath201 since this is the way @xmath193 acts on homomorphisms .
since @xmath6 is algebraically closed , we may as well assume that @xmath202 , a simple transcendental extension of @xmath6 , since further extending the field only strengthens the hypothesis without changing the conclusion .
use @xmath203 to identify @xmath98 and @xmath204 .
then @xmath192 is a @xmath6-endomorphism of @xmath98 with the property that for all @xmath205 the endomorphism @xmath206 of @xmath207 is invertible .
the action of @xmath192 makes @xmath98 into a @xmath208$]-module , with @xmath134 acting as @xmath192 does . since @xmath209 is invertible for all @xmath210 , and @xmath6
is algebraically closed , @xmath98 is a @xmath211-module .
consider the homomorphism @xmath212 of rings that is induced by the assignment @xmath213 .
it is not hard to verify that its kernel is the ideal generated by @xmath214 , so there is an exact sequence of @xmath215-modules @xmath216 applying @xmath217 and using adjunction yields an exact sequence @xmath218 thus @xmath214 is not invertible on @xmath219 .
if @xmath98 is nonzero then it has @xmath211 as a summand as a @xmath211-module , so that @xmath214 , that is to say , @xmath220 , is not invertible .
this contradicts the hypothesis .
the result below , and its proof , are modifications of ( * ? ? ?
* theorem  5.2 ) . given an @xmath6-algebra @xmath11 and an extension field @xmath15 of @xmath6 , we write @xmath221 for the @xmath15-algebra @xmath222 and @xmath23 for the @xmath221-module @xmath223 .    [
th : dadehom ] let @xmath6 be a field of positive characteristic @xmath1 and set @xmath224/(t_1^p,\dots , t_r^p).\ ] ] let @xmath15 be an algebraically closed field of transcendence degree at least @xmath225 over @xmath6 . then an @xmath11-module @xmath7 is projective if and only if for all flat maps @xmath60/(t^r)\to r_k$ ] the module @xmath64 is projective .
if @xmath7 is projective as an @xmath11-module , then @xmath226 is projective as an @xmath221-module , and because @xmath57 is flat , it follows that @xmath64 is projective .
assume that @xmath64 is projective for all @xmath57 as in the statement of the theorem .
we verify that @xmath7 is projective as an @xmath11-module by induction on @xmath41 , the case @xmath227 being trivial .
assume @xmath228 and that the theorem is true with @xmath41 replaced by @xmath225 .
it is easy to verify that the hypothesis and the conclusion of the result are unchanged if we pass from @xmath6 to any extension field in @xmath15 .
in particular , replacing @xmath6 by its algebraic closure in @xmath15 we may assume that @xmath6 is itself algebraically closed .
the plan is to use lemma  [ le : kronecker ] to prove that @xmath229 .
since @xmath11 is artinian it would then follow that @xmath7 is injective , and hence also projective , because @xmath11 is a self - injective algebra .
we first note that for any extension field @xmath193 of @xmath6 , tensoring with @xmath193 gives a one - to - one map @xmath230 , which we view as an inclusion , and a natural isomorphism of @xmath193-vector spaces @xmath231 these remarks will be used repeatedly in the argument below .
they imply , for example , that @xmath232 if and only if @xmath233 .
let @xmath234 be the bockstein map ; see @xcite or , for a slightly different approach , ( * ? ? ?
* i.4.22 ) . recall that this map is semilinear through the frobenius map , in the sense that @xmath235    fix an extension field @xmath193 of @xmath6 in @xmath15 that is algebraically closed and of transcendence degree @xmath236 .
choose linearly independent elements @xmath237 and @xmath238 of @xmath239 .
the elements @xmath240 and @xmath241 of @xmath242 induce @xmath6-linear maps @xmath243 let @xmath196 and @xmath197 be elements in @xmath193 , not both zero , and consider the element @xmath244 where @xmath245 is the radical of the ring @xmath246 .
it defines a linear subspace of codimension one in the @xmath193-linear span of @xmath247 in @xmath246 .
let @xmath248 be the subalgebra of @xmath246 generated by this subspace and view @xmath249 as an @xmath248-module , by restriction of scalars .    as an @xmath248-module
, @xmath249 is projective .
indeed , @xmath248 is isomorphic to @xmath250/(z_{1}^{p},\dots , z_{r-1}^{p})$ ] , as an @xmath193-algebra .
it is not hard to verify that the hypotheses of the theorem apply to the @xmath248-module @xmath249 and the extension field @xmath251 . since the transcendence degree of @xmath15 over @xmath193 is @xmath252 , the induction hypothesis yields that the @xmath248-module @xmath249 is projective , as claimed .
we give @xmath253 the structure of a hopf algebra by making the generators @xmath254 primitive : that is , comultiplication is determined by the map @xmath255 and the antipode is determined by the map @xmath256 .
note that @xmath257 has a natural structure of an @xmath246-module , with action induced from the left hand factor .
the @xmath246-module @xmath258 , with the diagonal action , is projective .    indeed ,
it is not hard to see the comultiplication on @xmath253 induces one on @xmath248 , so the latter is a sub hopf - algebra of the former . as @xmath249 is projective as an @xmath248-module , by the previous claim , so is @xmath259 for any @xmath248-module @xmath8 ; see lemma  [ le : end - projectivity ] .
since projective @xmath248-modules are injective , the desired claim is then a consequence of the following standard isomorphisms of functors @xmath260 on the category of @xmath246-modules .
the bockstein of the element is @xmath261 and is represented by an exact sequence of the form @xmath262 for any @xmath246-module @xmath8 the hopf algebra structure on @xmath246 gives a map of @xmath193-algebras @xmath263 such that the two actions of @xmath264 on @xmath265 coincide , up to the usual sign  ( * ? ? ?
* corollary  3.2.2 ) .
what this entails is that the map @xmath266 may be described as splicing with the extension @xmath267 which is obtained from the exact sequence by applying @xmath268 . by the preceding claim , the modules in the middle are projective , and
so the element @xmath269 induces a stable isomorphism @xmath270 it follows that @xmath200 is an isomorphism for all @xmath271 in @xmath272 not both zero .
thus lemma  [ le : kronecker ] applies and yields @xmath273 as desired .
the theorem below is the main result of this work .
several consequences are discussed in the subsequent sections .
[ th : finite - groups ] let @xmath6 be a field and @xmath5 a finite group . for any @xmath3-module @xmath7 , the following conditions are equivalent .    1 .
@xmath7 is projective .
2 .   @xmath274 3 .
@xmath275 .
we may assume that the characteristic of @xmath6 , say @xmath1 , divides the order of @xmath5 .
the implications ( i)@xmath276(ii ) and ( i)@xmath276(iii ) are by lemma  [ le : cosupp - k ] .
( iii)@xmath276(i ) let @xmath39 be an elementary abelian @xmath1-subgroup of @xmath5 and let @xmath277 denote @xmath7 viewed as a @xmath43-module .
the hypothesis implies @xmath278 , by remark  [ re : pi - basics](2 ) , and then it follows from theorem  [ th : dadehom ] that @xmath277 is projective .
theorem  ( * ? ? ?
* theorem  1 ) thus implies that @xmath7 is projective .
( ii)@xmath276(i ) when @xmath274 , it follows from theorem  [ th : tensor - and - hom - pi ] that @xmath279 the already settled implication ( iii)@xmath276(i ) now yields that @xmath117 is projective .
hence @xmath7 is projective , by lemma  [ le : end - projectivity ] .
the final part of this paper is devoted to applications of theorem  [ th : finite - groups ] .
we proceed in several steps and derive global results about the module category of a finite group from local properties , including a comparison of @xmath0-support and @xmath0-cosupport with cohomological support and cosupport . in the next section
we consider the classification of thick and localising subcategories of the stable module category .    from now on @xmath5 denotes a finite group , @xmath6 a field of positive characteristic dividing the order of @xmath5 .
let @xmath4 be the stable module category of all ( meaning , also infinite dimensional ) @xmath3-modules modulo the projectives ; see , for example , @xcite .
this is not an abelian category ; rather , it has the structure of a compactly generated tensor triangulated category and comes equipped with a natural action of the cohomology ring @xmath85 ; see ( * ? ? ?
* section 10 ) .
this yields the notion of cohomological support and cosupport developed in .
more precisely , for each homogeneous prime ideal @xmath87 of @xmath85 that is different from the maximal ideal of positive degree elements , there is a distinguished object @xmath280 . using this one defines for each
@xmath3-module @xmath7 its _ cohomological support _
@xmath281    the result below reconciles these notions with the corresponding notions defined in terms of @xmath0-points .
[ th : supp - pisupp ] let @xmath5 be a finite group and @xmath7 a @xmath3-module
. then @xmath282 regarded as subsets of @xmath92 .
we use the fact that @xmath283 ; see ( * ? ? ?
* proposition  6.6 ) .
then using theorems  [ th : finite - groups ] and  [ th : tensor - and - hom - pi](ii ) one gets @xmath284 this gives the equality involving cosupports .
in the same vein , using theorems  [ th : finite - groups ] and  [ th : tensor - and - hom - pi](i ) one gets @xmath285 this gives the equality involving supports .    here
is a first consequence of this result ; we are unable to verify it directly , except for closed points in the @xmath0-support and @xmath0-cosupport .
[ co : maximal - elements ] for any @xmath3-module @xmath7 the maximal elements , with respect to inclusion , in @xmath286 and @xmath287 coincide .
given theorem  [ th : supp - pisupp ] , this follows from .
we continue with two useful formulas for computing cohomological supports and cosupports ; they are known from previous work and are now accessible from the perspective of @xmath0-points .
[ co : tensor - and - hom ] for all @xmath3-modules @xmath7 and @xmath8 there are equalities    1 .
2 .   @xmath289 .
this follows from theorems  [ th : tensor - and - hom - pi ] and [ th : supp - pisupp ] .
we wrap up this section with a couple of examples .
the first one shows that the @xmath0-support of a module @xmath7 may be properly contained in that of @xmath121 .
[ ex : klein3 ] let @xmath98 be the klein four group @xmath290 and @xmath6 a field of characteristic two .
thus , @xmath291 , and a realisation of points of @xmath111 as @xmath0-points of @xmath94 was given in example  [ ex : klein ] .
let @xmath7 be the infinite dimensional @xmath94-module described in example  [ ex : klein2 ] . as noted there ,
the @xmath0-support of @xmath7 consists of a single point , namely , the closed point @xmath292 $ ] .
we claim @xmath293\}\cup\{\text{generic point of $ \bbp^{1}_{k}$}\}\,.\ ] ] indeed , since the @xmath0-cosupport of @xmath7 contains @xmath292 $ ] , by example  [ ex : klein2 ] , it follows from theorem  [ th : tensor - and - hom - pi ] that the @xmath0-cosupport of @xmath117 is exactly @xmath178\}$ ] .
corollary  [ co : maximal - elements ] then implies that @xmath292 $ ] is the only closed point in the @xmath0-support of @xmath117 .
it remains to verify that the latter contains also the generic point .
let @xmath15 be the field of rational functions in a variable @xmath110 .
the @xmath0-point defined by @xmath56/(t^{p})\to k[x , y]/(x^{2},y^{2})$ ] with @xmath294 corresponds to the generic point of @xmath111 ; see example  [ ex : klein ] .
the desired result follows once we verify that the element @xmath295 of @xmath296 is in the kernel of @xmath183 but not in its image .
it is in the kernel because @xmath297 is a @xmath94-module homomorphism .
suppose there exists an @xmath192 in @xmath296 with @xmath298 .
then for each @xmath299 , the identity @xmath300 yields @xmath301 noting that @xmath302 , by convention , it follows that @xmath303 modulo the submodule @xmath304 of @xmath59 .
this can not be , as @xmath192 is in @xmath296 .
in example  [ ex : klein2 ] it is proved that , for @xmath7 as above , @xmath305 .
the remark below is a conceptual explanation of this phenomenon , since @xmath7 is of the form @xmath306 for @xmath307 $ ] in @xmath111 .
[ ex : t(i ) ] given @xmath308 , there is a @xmath3-module @xmath306 which is defined in terms of the following natural isomorphism @xmath309 where @xmath310 denotes the injective envelope of @xmath311 , @xmath312 is tate cohomology , and @xmath313 is the set of homomorphisms in @xmath314 ; see @xcite . the cohomological support and cosupport of this module
have been computed in and , respectively . combining this with theorem  [
th : supp - pisupp ] gives @xmath315
the results of this section concern the triangulated category structure of the stable module category , @xmath4 . recall that a full subcategory @xmath316 of @xmath4 is _ localising _ if it is a triangulated subcategory and is closed under arbitrary direct sums . in a different vein , @xmath316 is _ tensor ideal _ if for all @xmath54 in @xmath316 and arbitrary @xmath7 , the @xmath3-module @xmath317 is in @xmath316 .
following , we say that the stable module category @xmath4 is _ stratified _ by @xmath85 if for each homogeneous prime ideal @xmath87 of @xmath85 that is different from the maximal ideal of positive degree elements the localising subcategory @xmath318 admits no proper non - zero tensor ideal localising subcategory .
[ th : stratification ] let @xmath6 be a field and @xmath5 a finite group .
then the stable module category @xmath4 is stratified as a tensor triangulated category by the natural action of the cohomology ring @xmath85 .
therefore the assignment @xmath319 induces a one to one correspondence between the tensor ideal localising subcategories of @xmath4 and the subsets of @xmath76 .
it suffices to show that @xmath320 whenever @xmath321 are @xmath3-modules with @xmath322 ; see . by adjointness ,
this is equivalent to @xmath323 being non - projective .
thus the assertion follows from corollary  [ co : tensor - and - hom ] , once we observe that @xmath324 implies @xmath325 .
but this is again a consequence of corollary  [ co : tensor - and - hom ] , since @xmath326 is non - projective by lemma  [ le : end - projectivity ] .
the second part of the assertion is a formal consequence of the first ; see ( * ? ? ?
* theorem  3.8 ) .
the inverse map sends a subset @xmath327 of @xmath76 to the subcategory consisting of all @xmath3-modules @xmath7 such that @xmath328 .
the next results concern @xmath2 , the full subcategory of @xmath329 consisting of finite dimensional modules .
a _ tensor ideal thick subcategory _
@xmath316 of @xmath2 is a triangulated subcategory that is closed under direct summands and has the property that for any @xmath54 in @xmath316 and finite dimensional @xmath3-module @xmath7 , the @xmath3-module @xmath317 is in @xmath316 .
the classification of the tensor ideal thick subcategories of @xmath2 is the main result of @xcite and can be deduced from the classification of the tensor ideal localising subcategories of @xmath4 .
this is based on the following lemma .
[ th : thick ] let @xmath5 be a finite group and @xmath6 a field . then the assignment induces a one to one correspondence between the tensor ideal thick subcategories of @xmath2 and the specialisation closed subsets of @xmath92 .    let @xmath331 be the assignment . by lemma  [ le : thick ] ,
when @xmath316 is a tensor ideal thick subcategory of @xmath2 , the subset @xmath332 of @xmath88 is a union of zarksi - closed subsets , and hence specialisation closed .
thus @xmath331 restricted to @xmath333 has the desired image .
let @xmath334 be the map from specialisation closed subsets of @xmath88 to @xmath333 that assigns @xmath327 to the subcategory with objects @xmath335 this is readily seen to be a tensor ideal thick subcategory .
the claim is that @xmath331 and @xmath334 are inverses of each other .
fix a tensor ideal thick subcategory @xmath316 of @xmath333 .
evidently , there is an inclusion @xmath338 . to prove that equality holds , it suffices to prove that if @xmath7 is a finite dimensional @xmath5-module with @xmath339 , then @xmath7 is in @xmath316 .
let @xmath340 be the tensor ideal localising subcategory of @xmath4 generated by @xmath316 . from the properties of support ,
it is easy to verify that @xmath341 , and then theorem  [ th : stratification ] implies @xmath7 is in @xmath340 . since @xmath7 is compact when viewed as an object in @xmath329 , it follows by an argument analogous to the proof of ( * ? ? ?
* lemma  2.2 ) that @xmath7 is in @xmath316 , as desired .
part of this article is based on work supported by the national science foundation under grant no.0932078000 , while db , sbi , and hk were in residence at the mathematical sciences research institute in berkeley , california , during the 20122013 special year in commutative algebra .
the authors thank the centre de recerca matemtica , barcelona , for hospitality during a visit in april 2015 that turned out to be productive and pleasant .
sbi and jp were partly supported by nsf grants dms-1503044 and dms-0953011 , respectively .
we are grateful to eric friedlander for comments on an earlier version of this paper .
d.  j. benson , _ representations and cohomology i : basic representation theory of finite groups and associative algebras _ , cambridge studies in advanced mathematics , vol .
30 , second edition , cambridge university press , 1998 .
j.  f. carlson , _ the complexity and varieties of modules _ ,
integral representations and their applications , oberwolfach , 1980 , lecture notes in mathematics , vol .
882 , springer - verlag , berlin / new york , 1981 , pp .  415422 .
a.  neeman , _ the connection between the k - theory localization theorem of thomason , trobaugh and yao and the smashing subcategories of bousfield and ravenel _ , ann .
.  norm .
( 4 ) * 25 * ( 1992 ) , 547566 .