Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: the experimental study of vibrating plates begins with chladni in 1787 @xcite . by sprinkling fine sand on a metallic disc supported at its centre , the act of drawing a bowstring across an edge made sand particles to jump into a geometrical design . chladni demonstrated that the pattern thus formed was the nodal pattern of the plate - he experimented with square , circular , hexagonal , rectangular , elliptical , semicircular , and triangular plates . from that time , the subject has attracted a lot of attention of mathematicians and physicists @xcite . the questions related to the quantification of nodal patterns have persisted through the transition from classical to quantum physics @xcite . counting and classifying patterns is quite difficult in general . a lot of progress has been made in recent times , mostly when the plates are separable or fully chaotic as we describe below . in present times ,  chladni experiments " have turned into studies on billiards wherein a point particle moves freely inside an enclosure , reflecting specularly from the boundaries in accordance with the snell s law . the quantum problem then involves solving the schrdinger equation for the system with dirichlet boundary conditions . the eigenfunctions obtained there are then subjected to the study of nodal lines and domains . the nodal domains of a real wavefunction may be defined as maximally connected regions wherein the function does not change sign . the sequence of the number of nodal domains of the eigenfunctions of the schrdinger equation contains significant geometric information about the system @xcite . as shown in @xcite , the distribution of nodal domains can serve to distinguish between systems which are integrable ( with the laplacian being separable ) and non - integrable ( with classically chaotic ray dynamics ) , and the limiting distribution , which always exists for separable domains , can give a new criterion for chaos in quantum mechanics . the problem of the equilateral triangle billiards presents an example of a non - separable system that is analysed here . we present our study on this system by making extensive numerical investigations . analysis through this enormous data leads us to several interesting conjectures ( section 2 ) , connections with the symmetry group and statistical studies on domains ( section 3 ) where some analytical results are also given . it may be worth pointing out that the number of nodal domains for a separable billiard like a rectangle is quite simple . this is because the eigenfunctions are products of trigonometric functions ( sine functions ) in @xmath0 and @xmath1 variables . this results in the total number of domains equalling the product of the quantum numbers . the complication arises from the fact that the ordering of energy levels ( labelled by the index @xmath2 ) does not follow the number of nodal domains , @xmath3 . thus the distribution of the mode number @xmath4 presents a difficult problem . there exists a limiting distribution for this system , found in @xcite . for the right isosceles triangle , a non - separable system , the eigenfunctions can be written as a sum of two terms , each a product of the type one has in a rectangular case . for this case , some inspired guess work and graph - theoretic methods help in getting some interesting results @xcite . in the case of an equilateral triangle , there are three terms and , as mentioned above , as one considers even slightly higher lying states , it becomes clear that the graph - theoretic method becomes hard to apply @xcite . +   + let @xmath5 be the equilateral triangle of area @xmath6 represented as @xmath7 \times \bigg[0,\frac{\sqrt{3}\pi}{2}\bigg ] : y\le\sqrt{3}x\bigg\ }   \nonumber \\&\cup & \bigg\{(x , y ) \in \bigg[\frac{\pi}{2},\pi \bigg ] \times \bigg[0,\frac{\sqrt{3}\pi}{2}\bigg ] : y\le\sqrt{3}(\pi - x)\bigg\}. \end{aligned}\ ] ] the eigenvalue problem , which is defined by the laplacian @xmath8 on a compact riemannian manifold of dimension two along with the imposition of dirichlet boundary conditions on the manifold , is stated as @xmath9    the eigenfunctions of the laplace - beltrami operator for the general equilateral triangle billiard , with @xmath10 being the length of each side , form a complete orthogonal basis and are given by @xcite as @xmath11 \sin{\bigg(n\frac{2\pi}{\sqrt{3}l}y\bigg ) }   \nonumber \\&- &    ( \cos,\sin)\bigg[(2n - m)\frac{2\pi}{3l}x\bigg]\sin{\bigg(m\frac{2\pi}{\sqrt{3}l}y\bigg ) }   \nonumber \\&+ &   ( \cos,\sin)\bigg[-(m+n)\frac{2\pi}{3l}x\bigg]\sin{\bigg[(m - n)\frac{2\pi}{\sqrt{3}l}y\bigg ] } , \end{aligned}\ ] ] where @xmath12 and @xmath13 are integer quantum numbers with the restriction @xmath14 and @xmath15 . the eigenfunctions @xmath16 and @xmath17 correspond to the symmetric and antisymmetric modes respectively @xcite . the spectrum of the eigenvalues of the hamiltonian for the system is given by + @xmath18 + this spectrum is arranged in an increasing order of the energy eigenvalues and is represented as the sequence @xmath19 such that @xmath20 . the number of nodal domains for @xmath21 is denoted by @xmath22 and @xmath23 thus defines the sequence of nodal domain counts . certain degeneracies inevitably arise in the spectrum due to the fact that @xmath24 is the same for both @xmath16 and @xmath17 @xcite . for such cases , the wavefunction for the anti - symmetric mode is assigned an index @xmath25 , where @xmath26 is the index of the corresponding symmetric mode . this is justified by the consideration that the ground state , which has no nodes and thus must be assigned @xmath27 , is a symmetric mode . moreover , for an @xmath28-fold degenerate eigenvalue of a particular mode ( degeneracies may also arise due to number - theoretic origins ) , it is arbitrarily chosen to define @xmath2 by ordering the @xmath28 degenerate eigenvalues in an increasing order of the quantum number @xmath13 . this convention effectively orders the degeneracies in an increasing order of @xmath12 as well so the two quantum numbers are essentially equivalent with regard to the choice . it was shown by courant that for a domain on @xmath29 @xmath30 @xcite and the arrangement of the spectrum respects this statement . +   + the pattern of nodal domains for the anti - symmetric mode may be constructed through the juxtaposition of the nodal domain patterns of two triangles with angles @xmath31 that are exactly antisymmetric with respect to each other as illustrated by figure [ examples ] . hence , we consider only the eigenfunctions of the symmetric mode of vibration , defined above by @xmath16 , hereafter referred to as simply @xmath21 . the nodal pattern of the eigenfunctions of the equilateral triangle exhibits certain symmetry relations , one of which is reflected in a tiling structure of the nodal lines . the nodal set of the eigenfunction @xmath21 with @xmath32 and @xmath33 is composed of @xmath34 identical nodal patterns which are similar to the nodal set of the eigenfunction @xmath35 with @xmath36 and @xmath37 . this arrangement , which directly follows from , is illustrated by the examples in figure [ examples ] . +   + each of the tiles corresponding to the nodal pattern of @xmath35 is contained within an equilateral subtriangle of area @xmath38 . the complete nodal pattern is constituted by these subtriangles which together tessellate the plane of the equilateral triangle upon reflection . the tiling nature of the wavefunctions when @xmath39 is by no means an exclusive feature of the equilateral triangle billiard only - the same behaviour has also been demonstrated for the isosceles right - angled triangle by @xcite . [ h ]    since the number of nodal domains @xmath22 may be easily obtained from the nodal domain count for the reduced values @xmath40 through the relation @xmath41 , it suffices to consider the nodal count for the non - tiling case wherein @xmath42 . the following sections maintain this implicit assumption and we discuss only non - tiling wavefunctions , unless mentioned otherwise . it is often simpler to decompose the nodal count in terms of the number of boundary intersections ( @xmath43 ) and nodal loops ( @xmath44 ) in accordance with the approach outlined in @xcite . @xmath43 represents the number of intersections of the nodal set with the boundary @xmath45 of the 2-d manifold i.e. the number of times where the @xmath46 , the normal derivative of the wavefunction under dirichlet conditions , vanishes on @xmath45 . nodal loops may be recognised as nodal curves (  lines " ) which neither touch the boundary nor intersect themselves or any other nodal line . the nodal loops therefore enclose interior domains whose boundaries do not include the boundaries of the equilateral triangle itself . for a non - tiling wavefunction @xmath35 , the relation between these terms is @xcite @xmath47 the nodal domain count can thus be obtained by combining the boundary intersections count and the nodal loop count in . we present certain partial formulae for the total number of nodal domains and the nodal loop count along with an exact formula for @xmath43 in the following subsections . the nodal domain count may be numerically determined for a given function using the hoshen - kopelman algorithm @xcite . the applicability of the algorithm stems from the convenient fact that the nodal lines of the equilateral triangle do not intersect under non - tiling circumstances . although the eigenfunction is represented on a grid of a finite resolution , accuracy of the count is maintained by ensuring that the resolution is sufficiently large so as to distinguish between nodal lines near avoided intersections . an instructive critique may be seen in @xcite . +   + each non - tiling wavefunction @xmath21 , for a fixed value of @xmath13 , may be categorised into one of at most @xmath48 equivalence classes depending on the value of the residue @xmath49 . the sequence of nodal domain counts for each class , when analysed with regard to the second difference of @xmath22 , shows the existence of the recurrence relation @xmath50    c c c | c c c @xmath12 & @xmath13 & @xmath51 & @xmath22 & @xmath52 & second difference 7 & 2 & 1 & 6 &  &  + 13 & 2 & 1 & 21 & 15 &  + 19 & 2 & 1 & 48 & 27 & 12 + 25 & 2 & 1 & 87 & 39 & 12 + 31 & 2 & 1 & 138 & 51 & 12 + 37 & 2 & 1 & 201 & 63 & 12 + 9 & 2 & 3 & 10 &  &  + 15 & 2 & 3 & 29 & 19 &  + 21 & 2 & 3 & 60 & 31 & 12 + 27 & 2 & 3 & 103 & 43 & 12 + 33 & 2 & 3 & 158 & 55 & 12 + 39 & 2 & 3 & 225 & 67 & 12 +    this observation stems from an extensive investigation over 8050 eigenfunctions . the equation can be analytically solved to yield the following result : @xmath53 where @xmath54 and @xmath55 are two parameters dependent on @xmath56 and @xmath13 . comparison of with the tables of evaluated domain counts clearly indicates @xmath57 . this , when coupled with further observations about the nature of the parameter @xmath55 , helps to effectively reduce into two major cases : @xmath58 although the explicit forms of the functions @xmath59 and @xmath60 are not exactly known , certain functional relations and properties are observed to be satisfied , which are as enlisted below :    1 . 2 .   @xmath62 . 3 .   @xmath63    therefore , an exact formula for the number of domains is obtained whenever @xmath13 equals @xmath64 . the existence of an exact formula has also been verified for all cases whenever @xmath65 , irrespective of the value of @xmath13 , and is given by @xmath66    [ h ]    moreover , a reasonable approximation to the total number of domains can be made by substituting @xmath67 in lieu of @xmath68 in since the value thus obtained is always an upper bound to @xmath69 for any given values of @xmath56 and @xmath13 satisfying @xmath70 . similar investigations into the nature of @xmath60 show that @xmath71 and @xmath72 ( where @xmath73 and @xmath74 ) share common elements in their sets of possible values for a given class , but are not identical , if @xmath75 . +   + the number of nodal domains for the equilateral triangle billiard is shown in figure [ nuj ] with reference to the variation of @xmath2 for the first 12045 wavefunctions of the symmetric mode . the corresponding plot of log @xmath69 against log @xmath2 is clearly bounded by two straight lines of slopes nearly equal to @xmath76 and @xmath77 . this proves the simultaneous presence of both the scalings @xmath78 and @xmath79 for high @xmath2 , which hold for boundary domains and interior domains respectively . the number of boundary intersections of the wavefunction encodes the characteristics of the classical ray dynamics of the billiards system since the wavefunction is completely defined by its corresponding boundary function . extensive analysis of numerical data reveals that in the absence of a tiling structure , @xmath80 where @xmath81 denotes the kronecker symbol . however , in the tiling case i.e. when @xmath82 , @xmath83 + it is apparent that simply reduces to for the non - tiling case when @xmath84 . therefore , @xmath43 for the eigenfunctions having a tiling structure may be represented as a sum of @xmath85 and a certain number of multiples of a definite step size . [ h ]    let @xmath86 be the spectral interval @xmath87 \mbox { where } \lambda > 0 $ ] is arbitrary . @xmath88 denotes the number of eigenvalues of the wavefunction in the interval @xmath86 . it has been shown in @xcite that the number of boundary domains @xmath89 , which is equal to the number of boundary intersection points in two dimensions , is @xmath90 . the variation of @xmath89 with @xmath2 for the triangle billiards is plotted in figure [ tilde](a ) and the corresponding representation of both quantities on a logarithmic scale confirms the aforementioned scaling . furthermore , averaged over the spectral interval , @xmath91 is studied as a function of @xmath92 and the results thereof are presented in figure [ tilde](b ) . we observe that the graph is very nearly perfectly linear , thereby indicating that @xmath93 akin to the predictions of the random wave model for chaotic billiards where @xmath94 as proved by @xcite . this proportionality also establishes that @xmath95 . however , the dissimilarity with the model arises from the fact that @xmath96 is not directly proportional to @xmath97 for the equilateral triangle . we return to the statistical properties in the next section .      the nodal loop count for a wavefunction @xmath21 is easily evaluated from the total number of nodal domains and the number of boundary intersections , which is computed by . it is important to note that the loop count is zero if and only if @xmath98 . as in the case of the total number of domains , let the wavefunctions be categorised into equivalence classes based on the value of @xmath51 . a similar analysis of the second difference of the loop counts reveals that the same recurrence relation is satisfied by the loops as well . therefore , @xmath99 this equation has the same general solution as . however , it is much more insightful to consider the sequence @xmath100 and @xmath101 . the arrangement also ensures that all the wavefunctions corresponding to the loop counts in any sequence belong to the same residue class @xmath102 . it is further observed that @xmath103 the set @xmath104 is naturally a characteristic of @xmath13 , @xmath105 and @xmath106 and possesses the property that @xmath107 . the transformation @xmath108 maps the set @xmath109 to the set @xmath110 , which bears the obvious property that all of the elements @xmath111 , being the deviations from a certain average , sum to zero . this implies , @xmath112 additionally , @xmath110 is independent of @xmath105 but is identical for @xmath106 and @xmath113 , provided that @xmath13 remains constant . the second difference is also periodic with a period of @xmath114 such that @xmath115 as well as @xmath111 is the same for @xmath116 . we show in the following section that the set @xmath110 encodes the point group symmetry of the equilateral triangle that is visible in the pattern of the nodal domains . [ h ]    all the eigenfunctions of the symmetric mode of the equilateral triangle billiards may be classified into the @xmath118 or @xmath119 classes of the @xmath120 point group @xcite based on the symmetry properties of their nodal structure . let the vertices of an equilateral triangle be labelled with the three possible values of @xmath121 , where @xmath122 and @xmath101 . let @xmath123 connote reflection of the triangle about the line passing through the vertex @xmath124 and perpendicular to the opposite side . the operation of rotation of the triangle through an angle @xmath125 clockwise about the incentre is denoted by @xmath126 . these five symmetry operations together with the identity operation @xmath127 constitute the @xmath120 group . the vertex marked with @xmath121 is assigned the value of @xmath111 , where @xmath128 correspond to @xmath129 in respectively . if the notation @xmath130 is used to indicate that @xmath131 are assigned to the vertices with labels 0 , 1 and 2 respectively , then these six operations are mathematically defined as follows : + @xmath132 + as @xmath105 is changed , keeping in consideration the enforcement of non - tiling conditions , the three values of @xmath111 are permuted with respect to the vertices labelled by @xmath121 . any such transformation brought about by the variation in @xmath105 is exactly equivalent to one of the three rotation operations that constitute the @xmath133 group , a simple subgroup of the @xmath120 group . most importantly , all such transformations obey the composition law of the group . let @xmath134 and @xmath135 be the initial and final states of the system , denoted as @xmath136 and @xmath137 respectively . then the series of @xmath138 operations @xmath139{o_{1 } } \ : \gamma_{z_{1 } } \ : \xrightarrow[]{o_{2 } } \ : \gamma_{z_{2 } } \xrightarrow [ ] { o_{3 } } \ : \dots   \ : \xrightarrow[]{o_{n-2 } } \ : \gamma_{z_{n-2 } } \ : \xrightarrow[]{o_{n-1 } } \ : \gamma_{z_{n-1 } } \ : \xrightarrow[]{o_{n } } \ : \gamma_{f},\ ] ] where @xmath140 are the intermediate states , is equivalent to a single symmetry operation of the @xmath117 group defined as @xmath141    [ h ]    the concept is illustrated by figure [ symm ] for @xmath142 and @xmath143 . for instance , the transformation from @xmath144 may either be effected throught the series of operations shown , or through the single identity operation @xmath127 , which is equivalent to the composition of the three . similarly , the transformation from @xmath145 is enacted by a single application of @xmath146 which is obtained mathematically as the composition of the operations outlined in the diagram . only those values of @xmath105 for which @xmath147 are represented in the diagram in accordance with . +   + figure [ symm ] may be extended to higher values of @xmath105 but the fingerprints of the @xmath117 symmetry continue to persist . considering @xmath148 , let the _ fundamental operation _ for a particular @xmath13 be defined as @xmath146 if @xmath149 and @xmath150 if @xmath151 the case when @xmath152 is deliberately not considered as all the members of any class @xmath153 have the same value of @xmath154 in such a situation . the fundamental operation , denoted by @xmath155 , effects the transformation @xmath156 . thereafter , the transformation @xmath157 is effected by the single operation @xmath158 which is equivalent to the composition of @xmath159 succesive applications of @xmath155 . owing to this property , the transformation @xmath160 is always defined by the identity operation . +   + two further examples of these group - theoretic considerations are presented in the appendix a for further elucidation and corroboration of the idea . we believe that this observation is quite beautiful , and reassuring in the group - theoretic sense . the statistics of nodal domains is extremely important for the analysis of the equilateral triangle billiard . statistical analysis of the eigenfunctions of equilateral triangle billiard clearly establishes its distinctiveness with reference to both chaotic and separable systems . at the same time , it also presents an image of the underlying classical ray dynamics of the triangle . we present the results obtained from the numerical experiments . along with these , we also present some analytical results for the statistics on the count of boundary intersections . the normalised number of nodal intersections with the boundary associated with each wavefunction is defined as @xmath161 , since the appropriate parameter for normalisation was verified to be @xmath162 above . the @xmath163 distribution for @xmath86 , which is a characteristic of the system , is @xmath164 = \frac{1}{n_{i } } \sum_{e_{j } \in i_{\lambda}(e ) } \delta \bigg(\eta - \frac{\tilde{\nu}_{j}}{\sqrt{j } } \bigg ) = \frac{1}{n_{i } } \sum_{e_{j } \in i_{\lambda}(e ) } \delta ( \eta - \eta_{j } ) . \label{eq : eta}\ ] ] hence , the limiting distribution of @xmath165 for the system is @xmath166.\ ] ] + unlike the distribution for chaotic billiards that limits to a single - peak dirac delta function centered at @xmath167 ( where _ l _ is the perimeter of the billiard ) or separable systems which exhibit monotonic behaviour , this distribution for 882455 eigenfunctions is composed of multiple peaks of different strengths at certain characteristic values of @xmath168 . since the length of the boundary @xmath10 serves to only scale the wavefunction over the domain @xmath169 , as may be seen from , but does not affect the fundamental pattern of the nodal domains per se , the boundary intersections count is independent of the length of the sides . we therefore suggest that the three distinctly sharp peaks of @xmath170 correspond to certain geometric quantities related to the equilateral triangular domains . [ h ]      we follow the methods outlined by @xcite in this development . as discussed in @xcite , we begin by the parametrization of the spectrum by introducing the transformations @xmath171 it is observed that @xmath172 . the cumulative density of energy levels follows the weyl formula : @xmath173 consider only the non - tiling case , we have @xmath174 as is appropriate . therefore , @xmath175^{-1/2}.\ ] ] let @xmath127 denote the spectral interval @xmath176 $ ] , then @xmath177 = \displaystyle{\frac{1}{n_{i } } } \sum_{e_{j } \in i } \delta ( \eta - \eta_{j } ) \approx \displaystyle{\frac{1}{n_{i } } } \int\limits_{e_0}^{e_1 } \int\limits_{0}^{\pi/2 } \delta [ \eta - \eta_{j}]\ , \mathrm de \,\mathrm d\theta,\ ] ] where @xmath178}$ ] . + introducing the variables @xmath179 , we obtain @xmath180\ , \mathrm dx \,\mathrm d\theta.\ ] ] substituting @xmath181 , the distribution is reformulated as @xmath182\ , \mathrm dx \,\mathrm dy \nonumber \\ & = & \displaystyle{\frac{e_0\sqrt{\pi\sqrt{3}}}{4n_i } \int\limits_{1}^{g}\,x(1-\epsilon / x)^{1/2 } \int\limits_{0}^{1}}\,\displaystyle{\frac{1}{\sqrt{1-y^2}}}\ , \delta \bigg[y - \displaystyle{\frac{16+\sqrt{\pi e_0\sqrt{3}}\:\eta\:(x^2-\epsilon x)^{1/2}}{8x\sqrt{e_0}}}\bigg]\ , \mathrm dx \,\mathrm dy \nonumber \\ & = & \displaystyle{\frac{e_0\sqrt{\pi\sqrt{3}}}{4n_i } } \int\limits_{1}^{l } \displaystyle{\frac{x \ , ( 1-\epsilon / x)^{1/2}}{\sqrt{1-\{f(x)\}^2}}}\ , \mathrm dx , \mbox { where } f(x ) = \displaystyle{\frac{16+\sqrt{\pi e_0\sqrt{3}}\:\eta\:(x^2-\epsilon x)^{1/2}}{8x\sqrt{e_0 } } } \nonumber \\\end{aligned}\ ] ] and @xmath183 , & \hspace{1 cm } \text{if } \hspace{1 cm } \eta > \varphi_1 , \end{cases}$ ] + with @xmath184 being defined as + @xmath185    it is to be noted that @xmath186 for all @xmath187 , where @xmath188 is specified as + @xmath189 + however , there does not exist any such maximum value of @xmath163 beyond which @xmath186 in the case when @xmath190 . in the definition of @xmath191 stated above , @xmath192 is the maximum permissible value of @xmath0 as specified by the inequality @xmath193 we evaluate @xmath192 for the most general case considering sufficiently excited states such that @xmath194 . the integral for @xmath195 can now be easily evaluated numerically for any given value of the parameter @xmath196 to obtain the distribution function for the normalised number of boundary intersections . the asymptotic distribution function has been plotted for @xmath197 and @xmath198 in figure [ peta ] wherein the analytical and experimental results have been compared . its inability to reproduce all the structures observed in the numerical data can be accounted for by recognising that the asymptotic result derives the distribution of @xmath199 in the non - tiling situation when at least one of @xmath200 and @xmath201 is not divisible by 3 as per . however , the discrepancies with the actual distribution arise due to the fact that the spectral interval @xmath202 $ ] includes multiple eigenstates which are in violation of the aforementioned condition as also wavefunctions corresponding to the tiling cases  the contributions from these additional states lead to the formation of the distinct maxima observed . in the non - tiling case considered for simplicity , the primary success of the analytical consideration stems from the theoretical prediction of the existence of a system dependent parameter @xmath203 , the maximum value of the normalised number of boundary intersections , such that @xmath204 . as can be observed from the graph , the value of @xmath188 from the above - mentioned expression for @xmath198 is 3.43 , in close agreement with the numerical result , which indicates that the distribution @xmath205 is nearly zero beyond approximately 3.35 . [ h ]    each wavefunction @xmath21 may be associated with the normalised nodal domain number @xmath206 . taking the spectral interval @xmath207 to be as defined previously for , the @xmath208 distribution for the interval may be similarly defined as @xmath209 = \frac{1}{n_{i } } \sum_{e_{j } \in i_{\lambda}(e ) } \delta \bigg(\xi - \frac{\nu_{j}}{j } \bigg ) = \frac{1}{n_{i } } \sum_{e_{j } \in i_{\lambda}(e ) } \delta ( \xi - \xi_{j } ) . \label{eq : xi}\ ] ] the limiting distribution of the parameter @xmath208 is consequently obtained from as @xmath210.\ ] ] for computational convenience , the dirac delta function is well approximated by the gaussian representation defined by @xmath211    [ h ]    the distribution @xmath212 $ ] is shown in figure [ fig : pxi ] for all the eigenfunctions of the symmetric mode in the intervals @xmath213 $ ] and @xmath214 $ ] with @xmath215 with the analysis being extended over @xmath216 and @xmath217 wavefunctions respectively . as observed for the boundary intersections count , the figure resembles neither the distribution for separable billards nor that of chaotic billiards . an extremely sharp fundamental peak is observed in the plot , which is flanked by three smaller but prominent secondary peaks . as the value of @xmath119 for the interval @xmath218 increases , the entire distribution , including all the peaks , shifts towards the left while the peaks become narrower and sharper . nevertheless , the inherent form or the basic structure of the distribution remains nearly unchanged with the variation in @xmath119 . the translation of the peaks provides an insightful hint towards the asymptotic behaviour of @xmath212 $ ] . however , it remains insufficient to conclude about the nature or existence of the limiting distribution , if any . further attempts to obtain an analytical expression for this limiting distribution could proceed as per the methods outlined by @xcite . the corresponding integrated distribution for the system is denoted by @xmath219 = \int_{0}^{\xi } \ , p[x , i_{\lambda}(e)]\ , \mathrm dx.\ ] ] it has been shown by pleijel @xcite that @xmath220 where @xmath221 is the first zero of the bessel function @xmath222 . it is evident from figure [ fig : pxi ] that the wavefunctions for the equilateral triangle respect the bound imposed by the aforementioned value of the limit superior since @xmath223 . the area of a nodal domain of the @xmath2-th eigenfunction is bounded by the relation @xcite @xmath224 where @xmath225 is the first zero of the zeroth order bessel function @xmath226 . let @xmath227 and @xmath228 represent the total area of the domain where the wavefunction is positive and negative respectively . furthermore , @xmath229 and @xmath230 are used to denote the total number of positive and negative domains of the wavefunction . figure [ area ] ( a ) presents the running averages of the positive and negative areas as a function of the index @xmath2 . for the initial values of @xmath2 , @xmath231 , as expected , but the curves progressively approach a common value and seemingly tend to converge as @xmath232 . hence , it is probable that for sufficiently large values of @xmath233 , where @xmath234 is the total area of the billiards . +   + let @xmath235 and @xmath236 be two scaled variables defined as @xmath237 and @xmath238 . the variance of the parameter @xmath235 defines the normalised signed area variance of the system and is shown in figure [ area ] ( b ) . the probability distributions of @xmath239 are shown in figure [ area2 ] .    the distribution function for @xmath240 peaks at a slightly positive value while that of @xmath241 presents the principal peak at a negative value along with three smaller but significant peaks further towards the negative side . the distribution function of @xmath236 shows that the number of negative domains is likely to be greater than the number of positive domains for a given state , i.e. @xmath242 however , it can also be seen that the total area of the positive domains is likely to be slightly greater than the total area of the negative domains , i.e. @xmath243 for a particular state . [ h ]    [ h ]      the statistics of the number of boundary intersections have already been analysed extensively in section 2.2 . the present discussion focusses on the nodal loop count . the two continuous cumulative counting functions introduced by @xcite are defined as @xmath244 where the nodal loop count of the @xmath2th eigenfunction is denoted by @xmath245 and @xmath246 . the nodal counting function can be expressed as a trace formula for surfaces of revolution @xcite which comprises of a smooth ( weyl - like ) part determined by the geometric parameters of the domain , and an oscillatory component dependent on the lengths of the classical periodic orbits on the domain and their actions . this intricate connection of the classical periodic orbits with the sequences of nodal counts rationalises a similar investigation of the counting functions defined previously for the equilateral triangle billiards . when examined numerically , both the functions @xmath247 and @xmath248 are noticed to have a reasonably well - defined smooth term and an oscillating term . similar to the case of separable billiards , the smooth part of @xmath247 is approximately @xmath249 while that of @xmath248 is very nearly @xmath250 . the oscillatory components of both @xmath247 and @xmath248 are easily obtained by subtracting out the smooth part , after interpolation , from the tables of evaluated values of the corresponding functions . the contribution of the periodic orbits is ascertianed by considering the fourier transform of @xmath251 and @xmath252 . [ h ]    the fourier transform of @xmath251 is carried out not with respect to @xmath138 but rather , with respect to the variable @xmath253 , following @xcite . the lengths of the classical periodic orbits on an equilateral triangular domain , having each side of length @xmath254 , are given by as @xmath255 , where @xmath256 . such a closed orbit of length @xmath257 makes an initial angle of @xmath258 with the horizontal . [ h ]    [ h ]    a linear combination of peaks is observed on inspecting the fourier transform of @xmath252 . the prominent contributions of the periodic orbits belonging to certain important families are noticed in both figures [ po2 ] and [ po1 ] and these have been enumerated in the following discussion . moreover , the power spectrum of @xmath252 also shows a significant peak at a length of @xmath259 . this corresponds to an isolated orbit , the trajectory of which is simply the pedal triangle of the equilateral triangle . the power spectrum also shows characteristic peaks at values of @xmath260 , although there exists no closed trajectories of such lengths , thus implying the presence of additional factors in the billiard s dynamics.examination of the power spectrum of @xmath251 also shows a number of distinct peaks of similar nature , the positions of some of which exactly correspond to the lengths of certain periodic orbits . @xcite tabulates the path lengths for the closed orbits ( and recurrences ) on the equilateral triangle for which @xmath261 . + although several periodic orbits corresponding to different values of the integers @xmath262 and @xmath263 are shown in figure [ po1 ] , there is a clear demarcation of two important families .    1 .   the trajectories , which start off parallel to the horizontal and bounce from each side of the triangle twice to ensure closure of the path . the length of any orbit of the family is naturally @xmath264 . 2 .   the closed paths that traverse a length of @xmath265 in each period and start off at an initial angle of @xmath266 with respect to the horizontal . the fingerprints of the classical periodic orbits noted in the fourier transforms of @xmath247 and @xmath248 strongly hint at the possibility of the existence of a trace formula for both the quantities . counting and classification of patterns is an important and difficult task . here we have tried to understand the spatial patterns generated by the signs of the eigenfunctions of the equilateral triangle billiard . this is a nonseparable , integrable system for which we know the solutions of the helmholtz equation since the times of lam . the approach is phenomenological insofar as it is guided by the numerical coding of the patterns but we have nevertheless obtained equations from the plethora of data , which we have been able to solve . the solutions are verified over a large number of eigenfunctions . the number of nodal domains , boundary intersections , nodal loops and the signed area distribution are all studied . for each of these quantities , we have obtained expressions and given convincing evidence of the results in terms of analytical and numerical forms . we believe the connections we have found between the arrangement and ` evolution ' of the triplets ( elaborated further in the appendix ) with the theory of groups is exciting . in a sense , this observation encodes the beauty of the nodal patterns in the form of triplets that provide a link with the underlying symmetry group . the periodic recurrence of these indices ( fractions ) was unanticipated as was the belief that they would encode the patterns analysed in this article . the connection of the statistical quantities with periodic orbits of the billiard , which was expected owing to earlier works , has been verified and extended for the equilateral triangle domain herein . several results indicate suggestive comparisons and departure from the results known for separable and chaotic billiards . we believe that the studies and results found here will pave the way for future work on non - separable and polygonal billiards . two examples of the group - theoretic considerations of the nodal loops of the equilarateral triangle billiard , discussed in section 2.4 , are presented here for illustration and corroboration of the ideas introduced . proceeding with the definition of @xmath110 provided by , it is observed that the set consists of only three possible values whenever all the quantum numbers @xmath12 considered are multiples of a certain fixed @xmath267 and belong to the same equivalence class @xmath268 . more importantly , the values of @xmath111 corresponding to @xmath12 and @xmath269 are the same ( provided @xmath153 and @xmath13 remain constant ) , which shows the existence of a well - defined periodicity of @xmath105 with respect to @xmath12 . the set @xmath110 has been enumerated for different values of @xmath13 and @xmath153 and the three possible values in each case are listed below in the following table . +    c c | c c c @xmath13 & @xmath270 & @xmath271 & @xmath272 & @xmath273 3 & 1 & -2 & 1 & 1 + 4 & 1 & @xmath274 & @xmath275 & @xmath276 + 5 & 1 & @xmath277 & @xmath278 & @xmath279 + 5 & 2 & @xmath280 & @xmath274 & @xmath279 + 6 & 1 & -8 & -2 & 10 + 7 & 1 & @xmath277 & @xmath281 & @xmath282 + 7 & 2 & @xmath283 & @xmath278 & @xmath284 + 7 & 3 & @xmath285 & @xmath286 & @xmath279 + 8 & 1 & @xmath287 & @xmath288 & @xmath289 + 8 & 3 & @xmath290 & @xmath291 & @xmath279 + 9 & 1 & -20 & -11 & 31 + 9 & 2 & -22 & -4 & 26 + 9 & 4 & -22 & 8 & 14 + 11 & 1 & @xmath292 & @xmath293 & @xmath294 + 11 & 2 & @xmath295 & @xmath296 & @xmath297 + 11 & 3 & @xmath295 & @xmath291 & @xmath289 + 11 & 4 & @xmath298 & @xmath299 & @xmath300 + 11 & 5 & @xmath301 & @xmath291 & @xmath302 + 13 & 1 & @xmath303 & @xmath304 & @xmath305 + 13 & 2 & @xmath306 & @xmath307 & @xmath308 + 13 & 3 & @xmath309 & @xmath310 & @xmath311 + 13 & 4 & @xmath312 & @xmath275 & @xmath313 + 13 & 5 & @xmath314 & @xmath315 & @xmath316 + 13 & 6 & @xmath317 & @xmath318 & @xmath319 + 15 & 1 & -62 & -47 & 109 + 15 & 2 & -64 & -34 & 98 + 15 & 4 & -67 & -1 & 68 + 15 & 7 & -55 & 23 & 32 +    for observation of the underlying group - theoretic properties of the system , it is convenient to adopt the pictorial representation of an equilateral triangle , the vertices of which are marked with the three values of @xmath320 such a mode of depiction is only for ease of visualisation ( since there are only three distinct values in the set @xmath110 ) and is merely a representational means of understanding the symmetry relations . the vertex tagged with @xmath121 is assigned a label of @xmath111 , where @xmath111 is the value obtained from the solution of on substituting the corresponding @xmath321 . the rearrangement of the labels of the vertices with respect to the variation of @xmath105 is studied . any such permutation can be conveniently represented by a specific rotation of the triangle constructed , as above . the examples shown here serve to establish that these operations obey the composition law of the @xmath133 group whereby any combination of operations can be effectively implemented by a single transformation . knowledge of the relative positions of the labels for any one value of @xmath105 enables the extension of the diagram to higher values of @xmath105 through succesive applications of a certain ascertainable transformation . thereafter , calculation yields the number of nodal loops for higher values of the quantum number @xmath12 using the appropriate values of @xmath111 in and hence , permits the determination of the number of nodal domains .      1 . the form of the functions @xmath68 , @xmath322 appearing in ( 2.4 ) are not known . we have given the functional relations satisfied by them . 2 .   existence of a limiting distribution of the mode number remains unproven . 3.1 suggests a rather complex form , although the study remains inconclusive . numerical experiments for much higher - lying eigenfunctions need to be carried out . of course , an analytic result will settle the matter . 3 .   fig . 3.4 summarizes the numerical understanding of the area and number of nodal domains . it would be much more satisfying if one could present analytical results for these . a lot of work has been done on eigenfunctions of simple pseudointegrable billiards ( e.g. @xcite ) like @xmath323-rhombus billiard . the connection of this system with the six - vertex model @xcite and fluid mechanics makes it an exciting open problem . since it is the simplest non - integrable , non - chaotic , non - separable billiard , any results on its nodal domains will be important . the authors thank ved v. datar for an interesting discussion when they were in the process of interpreting the numerical results . this work was carried out while one of the authors ( rhine samajdar ) was visiting the other author ( srj ) at bhabha atomic research centre ( barc ) , mumbai as a summer research fellow under a programme conducted by the indian academy of sciences , the indian national science academy , and national academy of sciences , india . rs thanks the academies and barc for the support extended during the stay . the graph - theoretic method was employed for the case of an equilateral triangle billiard by nandhakumar sravan . although for some simple eigenfunctions , one can see its applicability , but it gets unwieldy quickly .
Abstract:

Answer: we characterise the eigenfunctions of an equilateral triangle billiard in terms of its nodal domains . the number of nodal domains has a quadratic form in terms of the quantum numbers , with a non - trivial number - theoretic factor . the patterns of the eigenfunctions follow a group - theoretic connection in a way that makes them predictable as one goes from one state to another . extensive numerical investigations bring out the distribution functions of the mode number and signed areas . the statistics of the boundary intersections is also treated analytically . finally , the distribution functions of the nodal loop count and the nodal counting function are shown to contain information about the classical periodic orbits using the semiclassical trace formula . we believe that the results belong generically to non - separable systems , thus extending the previous works which are concentrated on separable and chaotic systems .


Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: in [ 18 ] tierney and vogel for any functor @xmath0 , where @xmath1 is a category with finite limits and with a projective class @xmath2 , and @xmath3 is an abelian category , have constructed derived functors and investigated relationships of their theory with other theories of derived functors . namely , they have shown that if @xmath1 is abelian and @xmath4 is additive , then their theory coincides with the classical relative theory of eilenberg - moore [ 7 ] , whereas if @xmath1 is abelian and @xmath4 is an arbitrary functor , then it gives a generalization of the theory of dold - puppe [ 6 ] . besides , they showed that their derived functors are naturally isomorphic to the cotriple derived functors of barr - beck [ 3 ] if there is a cotriple in @xmath1 that realizes the given projective class @xmath2 . the key point in the construction of the derived functors by tierney and vogel is that , using @xmath2-projective objects and simplicial kernels , for every @xmath5 from @xmath1 a @xmath2-projective resolution can be constructed , which is an @xmath5-augmented pseudosimplicial object in @xmath1 and which for a given @xmath5 is unique up to a presimplicial homotopy ( according to the comparison theorem for @xmath2-projective resolutions ) . a natural question arises about constructing a cubical analog of the theory of tierney and vogel . exactly this is the purpose of this paper .    before turning to the content of the paper itself , let us say few words about cubical objects and techniques . as it is well known , simplicial methods are developed for long time and are successfully used in algebra and topology . with less success , but still also cubical techniques have been developed , which was initiated on one hand by the systematic use of singular cubes in the singular homology theory of topological spaces ( see , for example , [ 14 ] ) , and , on the other hand , by the papers of kan [ 12 , 13 ] which have related cubical sets to homotopy theory . further research ( see e.  g. [ 1,2,4,5,8 - 11,16,17,19 ] ) has also shown that the cubical approach is interesting and important . cubical objects have a number of advantages compared to the simplicial ones . for example , a ( pre)cubical homotopy is given by a single morphism in each dimension , whereas a ( pre)simplicial homotopy requires `` many '' morphisms . on the other hand , significant disadvantages of the cubical technique with respect to the simplicial one are also apparent . for example , a cubical group , in fact even a cubical abelian group , can fail to satisfy the kan condition [ 16,17 ] . in the context of elimination of these and other disadvantages of the cubical theory , of extreme importance are cubical objects with connections introduced by brown and higgins [ 4 ] . these objects are cubical objects with extra degeneracies , called connections . to stress importance and naturality of cubical objects with connections it suffices to name e.  g. the following three facts . the singular cubical complex of any topological space has naturally defined connections . next , tonks in [ 19 ] has shown that any cubical group with connections satisfies the kan condition . finally , brown and higgins [ 5 ] have recently proved that the category of cubical objects with connections in an abelian category is equivalent to the category of nonnegative chain complexes in the same category .    in this paper we introduce pseudocubical objects with pseudoconnections , obtained from the brown - higgins structure of a cubical object with connections by suitably relaxing their identities . projective precubical resolutions which we are using to construct cubical derived functors possess pseudodegeneracies and pseudoconnections and this fact is essentially used in the construction of derived functors defined by us . now let us list the contents of the paper by sections . in section [ prelim ] we recall the notions of presimplicial , pseudosimplicial and simplicial objects , precubical , cubical objects and cubical objects with connections , their morphisms , and the respective augmented versions of these notions . we also recall the definitions of normalization functors in the simplicial setting by moore , and in the cubical setting by wiatek [ 16 ] . furthermore we recall the kan cubical sets and their homotopy groups .    for any presimplicial object @xmath6 in an abelian category @xmath1 the normalized chain complex of @xmath6 , denoted by @xmath7 in this paper , is a chain subcomplex of the unnormalized chain complex of @xmath6 , denoted by @xmath8 . the well known moore theorem says that if @xmath6 is a simplicial object in @xmath1 , then this inclusion is a chain homotopy equivalence ( in fact this is valid for any pseudosimplicial object in @xmath1 ) . on the other hand , for any precubical object @xmath9 in an abelian category @xmath1 , one has the canonical inclusion @xmath10 of chain complexes @xmath11 and @xmath12 in @xmath1 which are cubical analogs of @xmath7 and @xmath8 ( see [ 16 , 17 ] ) respectively , and which functorially depend on @xmath9 . in section 2 we introduce pseudocubical objects with pseudoconnections and prove that @xmath13 is a chain homotopy equivalence for any pseudocubical object @xmath9 with pseudoconnections ( in particular for any cubical object @xmath9 with connections ) . thus we obtain a cubical analog of the moore theorem . then we establish some results which are not needed later on ; however they seem interesting by themselves . let us mention some of them . we indicate an alternative proof of the aforementioned brown - higgins equivalence . furthermore , we point out that this equivalence is realized by the above functor @xmath14 . next , we show that if @xmath15 is a kan cubical group , then @xmath16 , the @xmath17-th homotopy group of @xmath15 , coincides with @xmath18 , the @xmath17-th homology group of @xmath19 ( note that @xmath19 and @xmath18 are defined for any cubical group @xmath15 as well ) . using this and the cubical analog of the moore theorem together with the aforementioned result of tonks , we get that @xmath16 is naturally isomorphic to @xmath20 for any cubical abelian group @xmath15 with connections . let @xmath1 be a category with finite limits and a projective class @xmath2 , @xmath3 an abelian category , and @xmath0 an arbitrary ( covariant ) finctor . in section 3 we construct left cubical derived functors @xmath21 , @xmath22 , @xmath23 , as follows . first we show how to build for any object @xmath5 from @xmath1 an @xmath5-augmented @xmath2-projective precubical resolution , denoted @xmath24 , by means of cubical kernels and @xmath2-projective objects . then we prove the comparison theorem which in particular says that @xmath24 is unique up to precubical homotopy for a given @xmath5 . furthermore , it is shown that any @xmath2-projective precubical resolution @xmath24 is in fact an augmented pseudocubical object with pseudoconnections . we define @xmath25 , @xmath23 , to be the @xmath17-th homology of @xmath26 . besides the comparison theorem , the fact that @xmath27 has pseudodegeneracies is crucial in proving that @xmath25 are well - defined and functorially depend on @xmath5 . this contrasts with the construction of the derived functors by tierney and vogel which does not use existence of pseudodegeneracies in @xmath2-projective presimplicial resolutions ( pseudodegeneracies of @xmath2-projective presimplicial resolutions are essentially used when the theory of tierney and vogel is compared with other theories of derived functors ) . further , we define @xmath28 , @xmath23 , to be the @xmath17-th homology group of @xmath29 . now this construction essentially uses the fact that @xmath27 is a pseudocubical object with pseudoconnections , i.  e. , this is crucial for proving that @xmath30 are well - defined and functorial in @xmath5 . the cubical analog of the moore theorem proved in the previous section shows that in fact there are isomorphisms @xmath31 , @xmath23 , which are natural in @xmath5 and @xmath4 . suppose @xmath1 is an abelian category with a projective class @xmath2 , @xmath3 an abelian category , and @xmath0 an additive ( covariant ) functor . then one constructs , with respect to @xmath2 , the left derived functors @xmath32 ( @xmath23 ) of @xmath4 in the sense of eilenberg - moore [ 7 ] . on the other hand , since any abelian category admits finite limits , we can build @xmath2-projective precubical resolutions , and therefore can construct the cubical left derived functors @xmath33 , @xmath23 . in section 4 , using once again the cubical analog of the moore theorem , we prove that if @xmath2 is closed [ 7 ] or , more generally , is closed with respect to retracts , then there are isomorphisms @xmath34 , @xmath35 , @xmath23 , which are natural in @xmath5 and @xmath4 . we begin with the following known definitions . a presimplicial object @xmath6 in a category @xmath1 is a family of objects @xmath36 together with face @xmath1-morphisms @xmath37    a morphism @xmath38 between presimplicial objects in a category @xmath1 is a family of @xmath1-morphisms @xmath39 which commute with the face operators . if @xmath9 and @xmath40 are ( pseudo)simplicial objects , then the @xmath1-morphisms @xmath41 must commute with the face and ( pseudo)degeneracy operators .    a precubical object @xmath9 in a category @xmath1 is a family of objects @xmath42 together with @xmath1-morphisms @xmath43 satisfying @xmath44 the @xmath1-morphisms @xmath45 and @xmath46 are called face operators .    a cubical object @xmath9 in a category @xmath1 is a family of objects @xmath47 together with @xmath1-morphisms @xmath48 as above and @xmath49 which satisfy @xmath50 where @xmath51 . the @xmath1-morphisms @xmath52 are called degeneracy operators . [ [ 4 ] ] a cubical object @xmath9 in a category @xmath1 is said to have connections if there are given @xmath1-morphisms @xmath53 satisfying @xmath54    the singular cubical complex @xmath55 of a topological space @xmath9 is a cubical object with connections in the category of sets . the connections @xmath56 are defined by @xmath57^n\to x\right)(t_1,t_2, ... ,t_{n+1})=f(t_1, ... ,t_{i-1},\max(t_i , t_{i+1}),t_{i+2}, ... ,t_{n+1}).\ ] ]    a morphism @xmath38 between precubical objects in a category @xmath1 is a family of @xmath1-morphisms @xmath39 which commute with the face operators . if @xmath9 and @xmath40 are cubical objects , then the @xmath1-morphisms @xmath41 must commute with the face and degeneracy operators ; and if @xmath9 and @xmath40 are cubical objects with connections , then the @xmath1-morphisms @xmath41 must commute with the faces , degeneracies and connections .    for any category @xmath1 , let us denote by @xmath58 the category of presimplicial objects in @xmath1 , by @xmath59 the category of precubical objects in @xmath1 , by @xmath60 the category of cubical objects in @xmath61 , and by @xmath62 the category of cubical objects with connections in @xmath1 . let @xmath1 be an abelian category , and @xmath63 the category of non - negatively graded chain complexes in @xmath1 . we essentially use the normalization functor @xmath64 of wiatek [ 16 , 17 ] which is constructed as follows . if @xmath65 and @xmath66 is a precubical morphism , then define @xmath67    of less importance for us is the functor @xmath68 which is defined for arbitrary abelian category @xmath1 by @xmath69 ( see [ 16 , 17 ] ) . let @xmath1 be again an abelian category . recall the definition of the moore normalization functor @xmath70 assume @xmath6 , @xmath71 and @xmath72 is a presimplicial morphism . then @xmath73 one also has the functor @xmath74 assigning to @xmath75 its unnormalized chain complex . more precisely , @xmath76    an augmented precubical ( resp . presimplicial ) object in a category @xmath1 is a precubical ( resp . presimplicial ) object @xmath9 in @xmath1 together with an object @xmath35 and an @xmath1-morphism @xmath77 satisfying @xmath78 ( resp . @xmath79 ) . such an object is denoted by @xmath80 . a morphism between @xmath80 and @xmath81 is a morphism @xmath82 between @xmath9 and @xmath40 together with an @xmath1-morphism @xmath83 satisfying @xmath84 . denote the category of augmented precubical ( resp . presimplicial ) objects in @xmath1 by @xmath85 ( resp . @xmath86 ) , by @xmath87 the category of augmented pseudosimplicial objects in @xmath1 , and by @xmath88 the category of augmented simplicial objects in @xmath1 . assume @xmath1 is abelian . then a nonnegative chain complex in @xmath1 augmented over @xmath35 is a nonnegative chain complex @xmath9 in @xmath1 together with an @xmath1-morphism @xmath77 satisfying @xmath89 . denote the category of augmented nonnegative chain complexes in @xmath1 by @xmath90 . for any abelian category @xmath1 , the functor @xmath91 , respectively the functors @xmath92 , @xmath93 extend in an obvious way to @xmath94 respectively @xmath95    let @xmath1 be an abelian category . using the shifting functor @xmath96 ( assigning to @xmath97 the nonnegative chain complex @xmath98 defined by @xmath99 , @xmath100 , @xmath101 , @xmath102 ) , we get functors @xmath103 and @xmath104 the restrictions of which to the category of augmented pseudosimplicial objects are used in the next section . next recall [ 12 ] the definition of the homotopy groups of a kan cubical set . a cubical set @xmath9 is said to be kan if for any @xmath105 , any @xmath106 and any collection of @xmath107 elements @xmath108 , @xmath109 , @xmath110 , @xmath111 , satisfying @xmath112 there exists @xmath113 such that @xmath114    let @xmath9 be a cubical set , @xmath115 and @xmath108 , @xmath102 , @xmath109 , @xmath110 . we write @xmath116 iff @xmath117 , @xmath109 , @xmath110 . suppose now that @xmath118 is a kan cubical set with a basepoint @xmath119 . let @xmath120 and define an equivalence relation @xmath121 on @xmath122 @xmath123 by @xmath124 or equivalently , by @xmath125 [ 12 , theorem 6 ] . denote @xmath126 , @xmath127 . let @xmath128,[y]\in\pi_n(x,\psi)$ ] @xmath129=cl_\sim(x))$ ] , @xmath102 . since @xmath9 is kan , there is @xmath130 with @xmath131 clearly , @xmath132 . define @xmath128\bl[y]=[\pa_1 ^ 1z]$ ] . this definition depends only on the equivalence classes of @xmath133 and @xmath134 and , with this multiplication , @xmath135 , @xmath102 , is a group , called the @xmath17-th homotopy group of @xmath118 . finally let us note that in the text we will freely make use of the freyd - mitchell embedding theorem ( see e.  g. [ 20 , p.25 ] ) when applying various results in the literature about modules to objects in general abelian categories . let @xmath15 be a cubical group and define @xmath136 then :    1 . @xmath137 , @xmath127 . 2 .   @xmath138 , @xmath139 . 3 .   @xmath140 is a normal subgroup of @xmath141 and of @xmath142 , @xmath127 . let @xmath143 . by definition @xmath144 consequently , @xmath145 . hence ( a ) is proved . . then @xmath146 . using this we get @xmath147 . hence ( b ) is proved . suppose @xmath148 and @xmath149 . obviously one has @xmath150 and @xmath151 . this proves ( c ) . thus , for any cubical group @xmath15 , @xmath152 is a chain complex of ( not necessarily abelian ) groups . we call @xmath19 the moore chain complex of @xmath15 . it is obvious that @xmath19 and its homology groups @xmath153 functorially depend on @xmath15 . obviously , in the construction of @xmath19 one may replace @xmath15 by a precubical object @xmath9 in an abelian category ( in [ 16 ] @xmath19 is introduced for cubical objects in an abelian category ) . in this case we redefine the differential @xmath154 on @xmath11 by @xmath155 . then @xmath11 is a chain subcomplex of @xmath12 and one has a natural monomorphism @xmath156 . + 4 mm    now let us introduce pseudocubical objects and pseudocubical objects with pseudoconnections . + 4 mm    a pseudocubical object @xmath9 in a category @xmath1 is a family of objects @xmath42 together with face @xmath1-morphisms @xmath157 for @xmath51 . we say that a pseudocubical object @xmath9 in a category @xmath1 has pseudoconnections if there are given @xmath1-morphisms @xmath53 which satisfy @xmath158    morphisms of pseudocubical objects and pseudocubical objects with pseudoconnections are defined in an obvious way , just as for cubical objects and cubical objects with connections .    for a category @xmath1 , let us denote by @xmath159 the category of pseudocubical objects with pseudoconnections in @xmath1 . let @xmath1 be an abelian category . define the functor @xmath160 as follows : @xmath161 on the other hand , we have the functors @xmath162 and @xmath163 from @xmath87 to @xmath164 . one can easily see that @xmath165    let @xmath15 be a simplicial object in an abelian category @xmath1 . then the normalized chain complex @xmath166 of @xmath15 is a chain subcomplex of the unnormalized chain complex @xmath167 of @xmath15 . the moore theorem says that this inclusion is a chain homotopy equivalence . the proof of this theorem [ 15 , p.94 ] does not use the simplicial identity : @xmath168 , @xmath169 . therefore one may assert that for any augmented pseudosimplicial object @xmath6 in an abelian category @xmath1 , the natural monomorphism @xmath170 is a chain homotopy equivalence . replacing now @xmath6 by @xmath171 , where @xmath9 is a pseudocubical object with pseudoconnections in @xmath1 , and using @xmath172 and @xmath173 , we get a cubical analog of the moore theorem :    [ normtheo ] let @xmath9 be a pseudocubical object with pseudoconnections in an abelian category . then the natural monomorphism @xmath156 is a chain homotopy equivalence and , therefore , @xmath174 is an isomorphism for all @xmath23 . in fact @xmath156 has a natural homotopy inverse @xmath175 with @xmath176 ( see the proof of theorem 22.1 of [ 15 ] ) . note that the natural monomorphism @xmath177 need not be a chain homotopy equivalence for a cubical object @xmath9 with connections in an abelian category . as is known the prime examples of pseudosimplicial objects are the projective resolutions used by tierney and vogel to define their derived functors . in the next section we construct cubical analogs of tierney - vogel s projective resolutions ( in order to define our cubical derived functors ) and show that they have pseudodegeneracies and pseudoconnections . the material in the rest of this section is not needed in what follows ; however we believe it is interesting for its own sake . suppose that @xmath9 is a cubical object with connections in an abelian category @xmath1 . then @xmath171 is an augmented simplicial object . denote by @xmath178 the chain subcomplex of @xmath12 generated by the images of the degeneracies of @xmath171 . since the degeneracy morphisms of @xmath171 are defined by @xmath179 , @xmath102 , @xmath180 , one has @xmath181 besides , @xmath182 and @xmath183 . let @xmath9 be a cubical object with connections in an abelian category @xmath1 . then :    1 . @xmath184 and hence @xmath11 is isomorphic to @xmath185 . the canonical projection @xmath186 is a chain homotopy equivalence .    as @xmath171 is an augmented simplicial object , one has @xmath187 ( where @xmath188 is the chain subcomplex of @xmath189 generated by the degenerate elements of @xmath171 ) , and the canonical projection @xmath190 is a chain homotopy equivalence ( see corollary 22.2 and 22.3 of [ 15 ] ) . but @xmath191 , @xmath192 and @xmath193 . hence ( a ) and ( b ) hold . suppose @xmath9 is a cubical set with connections . an n - cube @xmath194 is said to be folded if there exists @xmath195 such that @xmath196 for some @xmath197 ( see [ 1 ] ) . when we define the singular cubical homology @xmath198 of a topological space @xmath4 , it is necessary to factor out the degenerate singular cubes . it easily follows from theorem 2.5 that the folded singular cubes can be ignored in addition when we calculate @xmath198 . let @xmath1 be an abelian category . restricting @xmath14 and @xmath199 to the category @xmath62 , and @xmath200 to the category @xmath88 , we get the following commutative diagram @xmath201 ^ -{m}\ar[rd]_-{\ol{n}}&&ch_{\ge 0}(\sa)\\ & as(\sa)\ar[ru]_-{\wh{i}}}\ ] ] in which , by the dold - kan theorem , @xmath200 is an equivalence of categories . moreover , the functor @xmath202 is also an equivalence . the proof is very similar to the proof of the dold - kan theorem [ 20 , p.270 ] . thus we have got an alternative proof of the result by brown and higgins [ 5 ] about the equivalence of the categories @xmath62 and @xmath164 . furthermore , we have pointed out the functor @xmath203 which realizes this equivalence .    in what follows , for pointed kan cubical monoids @xmath15 , we will always take the unit 1 of @xmath204 as basepoint , and denote @xmath205 by @xmath16 . [ moorekan ] let @xmath15 be a kan cubical monoid and suppose that @xmath105 . then :    \(a ) for any @xmath206 ,  @xmath128\bullet[y]=[xy]$ ] . \(b ) @xmath16 is abelian .    to prove this proposition , we need the following well known    [ twoopers ] let @xmath207 and @xmath208 be binary operations on a set @xmath209 . assume that they have units and satisfy @xmath210 for all @xmath211 . then these operations coincide and @xmath212 is an abelian monoid . the proofs of propositions 17.2 and 17.3 of [ 15 ] ) . using the monoid structure on @xmath15 , a binary operation may be defined on @xmath16 by @xmath128*[y]=[xy]$ ] . this is well - defined . indeed , if @xmath206 then @xmath213 , and if @xmath214 and @xmath215 , @xmath216 , i.  e. , @xmath217 then @xmath218 i.e. , @xmath219 . next , assume that @xmath128,[y],[u],[v]\in\pi_n(g)$ ] . by the kan condition , there are @xmath220 with @xmath221 whence @xmath222 then , by the definitions of @xmath223 and @xmath208 , we can write @xmath224\bl[y]\right)*\left([u]\bl[v]\right)=[\pa_1 ^ 1w_1]*[\pa_1 ^ 1w_2][\pa_1 ^ 1w_1\cdot\pa_1 ^ 1w_2]=\\ = [ xu]\bl[yv]=\left([x]*[u]\right)\bl\left([y]*[v]\right).\end{gathered}\ ] ] besides , @xmath128\bl[1]=[x]=[1]\bl[x]$ ] and @xmath128*[1]=[x]=[1]*[x]$ ] . consequently , we conclude , by lemma [ twoopers ] , that @xmath207 and @xmath208 coincide and @xmath16 is abelian . [ kanpimoore ] for any _ kan _ cubical group @xmath15 , @xmath225    let us use the following notations : @xmath226 it is evident that @xmath227 for all @xmath127 . therefore , in view of proposition [ moorekan ] , it suffices to show that @xmath228 if and only if @xmath229 , @xmath230 . suppose that @xmath206 and @xmath228 . then @xmath231 this gives @xmath128*[y^{-1}]=[xy^{-1}]=[1]$ ] , whence @xmath128=[y]$ ] , i.  e. , @xmath228 . any cubical group with connections is kan [ 19 ] . combining this with theorem [ normtheo ] and proposition [ kanpimoore ] , we get    for any cubical abelian group @xmath15 with connections , @xmath16 is naturally isomorphic to @xmath20 for all @xmath23 . let @xmath1 be a category and @xmath232 a sequence of @xmath1-morphisms , @xmath102 . a cubical kernel of the sequence @xmath233 is a sequence @xmath234 of @xmath1-morphisms such that    * @xmath235 for @xmath236 , @xmath237 ; *   * if @xmath238 is any other sequence satisfying identities @xmath239 for @xmath236 , @xmath237 , then there exists a unique @xmath1-morphism @xmath240 with @xmath241 , @xmath242 , @xmath243 . it immediately follows from the definition that cubical kernels are unique up to isomorphism if they exist . suppose @xmath1 has finite limits and let @xmath244 ^ -{f_1 ^ 0}\ar@<-0.5ex>[r]_-{f_1 ^ 1}&b}$ ] be a pair of @xmath1-morphisms . consider the diagram @xmath245_-{f_1 ^ 1}\ar[r]^-{f_1 ^ 0}&b\\ a\ar[u]^-{f_1 ^ 0}\ar[d]_-{f_1 ^ 1}&&a\ar[u]_-{f_1 ^ 0}\ar[d]^-{f_1 ^ 1}\\ b&a\ar[l]_-{f_1 ^ 1}\ar[r]^-{f_1 ^ 0}&b.}\ ] ] by assumption , we have the limit diagram @xmath245_-{f_1 ^ 1}\ar[r]^-{f_1 ^ 0}&b\\ a\ar[u]^-{f_1 ^ 0}\ar[d]_-{f_1 ^ 1}&k\ar[l]_-{k_2 ^ 1}\ar[u]^-{k_1 ^ 0 } \ar[r]^-{k_2 ^ 0}\ar[d]_-{k_1 ^ 1}&a\ar[u]_-{f_1 ^ 0}\ar[d]^-{f_1 ^ 1}\\ b&a\ar[l]_-{f_1 ^ 1}\ar[r]^-{f_1 ^ 0}&b,}\ ] ] i.e. the sequence @xmath246 is a cubical kernel of the pair @xmath247 ^ -{f_1 ^ 0}\ar@<-0.5ex>[r]_-{f_1 ^ 1}&b}.\ ] ] clearly , in fact , one has    if @xmath1 admits finite limits , then cubical kernels exist in @xmath1 for any sequence @xmath248 and any @xmath102 . let @xmath2 be a class of objects of @xmath1 . recall [ 7 ] that an @xmath1-morphism @xmath83 is said to be @xmath2-epimorphic iff @xmath249 is surjective for all @xmath250 . also recall that @xmath2 is called a projective class if for each @xmath35 there exists a @xmath2-epimorphism @xmath251 with @xmath250 . let @xmath2 be a projective class in @xmath1 , @xmath252 ^ -\pa&a}$ ] an augmented precubical object over @xmath35 , and suppose that @xmath1 has finite limits . by proposition 3.2 , we have a factorization @xmath253 ^ -{\pa_1 ^ 0}\ar@<-.9ex>[rr]_-{\pa_{n+1}^1 } \ar[dr]_-{e_{n+1 } } & { { } ^{{}^{\vdots}}}&\ x_n\ \ar@<1.5ex>[rr]^-{\pa_1 ^ 0}\ar@<-.9ex>[rr]_-{\pa_n^1}\ar[dr]_-{e_n } & { { } ^{{}^{\vdots}}}&**[r]x_{n-1}\ \cdots&\ \ x_1\ar@<.5ex>[rr]^-{\pa_1 ^ 0}\ar@<-.5ex>[rr]_-{\pa_1 ^ 1}\ar[dr]_-{e_1 } & & x_0\ar[r]^-{\pa}&a \\ & k_{n+1}\ar@<1.2ex>[ur]^-{k_1 ^ 0}\ar@{}[ur]|-\ddots\ar@<-1.5ex>[ur]_-{k_{n+1}^1 } & & k_n\ar@<1.2ex>[ur]^-{k_1 ^ 0}\ar@{}[ur]|-\ddots\ar@<-1.5ex>[ur]_-{k_n^1 } & & & k_1\ar@<.5ex>[ur]^-{k_1 ^ 0}\ar@<-.5ex>[ur]_-{k_1 ^ 1}}\ ] ] where @xmath254 ^ -{k_1 ^ 0}\ar@<-0.5ex>[r]_-{k_1 ^ 1}&x_0}$ ] is a kernel pair of @xmath255 ^ -\pa&a}$ ] , and-1em @xmath256 a cubical kernel of @xmath257 for @xmath258 . we say that    * @xmath252 ^ -\pa&a}$ ] is @xmath2-projective iff each @xmath259 ; * @xmath252 ^ -\pa&a}$ ] is @xmath2-exact iff @xmath154 and @xmath260 @xmath261 are @xmath2-epimorphic ; * @xmath252 ^ -\pa&a}$ ] is @xmath2-projective resolution of @xmath5 iff it is @xmath2-projective and @xmath2-exact . obviously , if @xmath1 is a category with finite limits and a projective class @xmath2 , then each @xmath35 has a @xmath2-projective resolution . moreover , the following comparison theorem shows that such a resolution is unique up to precubical homotopy equivalence . [ precm ] let @xmath252 ^ -\pa&a}$ ] be @xmath2-projective and @xmath262 ^ -{\pa'}&a'}$ ] be @xmath2-exact . then any @xmath1-morphism @xmath83 can be extended to a precubical morphism @xmath263 ^ -\pa\ar[dd]_-{\ol{f}}&&a\ar[dd]^-f\\ & & & & \\ x'\ar[rr]^-{\pa ' } & & a'}\ ] ] over @xmath264 @xmath265i . e. , @xmath266 and @xmath264 form a morphism of augmented precubical objects@xmath267 . furthermore , any two such extensions are precubically homotopic . that is , if @xmath268 are two extensions of @xmath264 , then there exist @xmath1-morphisms @xmath269 , @xmath127 , such that @xmath270    we construct the extension @xmath271 and show its uniqness up to precubical homotopy by induction on @xmath17 . since @xmath272 is @xmath2-projective and @xmath273 is @xmath2-epimorphic , there is @xmath274 with @xmath275 . next , one has @xmath276 . therefore @xmath277 and @xmath278 for a uniquely defined @xmath279 . as @xmath280 is @xmath2-projective and @xmath281 is @xmath2-epimorphic , there exists @xmath282 with @xmath283 , and we have @xmath284 and @xmath285 . thus @xmath286 and @xmath287 are constructed . inductively , suppose given @xmath1-morphisms @xmath288 for @xmath289 so that @xmath290 , @xmath291 , @xmath243 . then @xmath292 , @xmath236 , @xmath237 . hence there is a unique @xmath293 such that @xmath294 , @xmath242 , @xmath243 . since @xmath295 is @xmath2-projective and @xmath296 is @xmath2-epimorphic , there exists @xmath297 with @xmath298 . then we have @xmath299 , @xmath300 , @xmath243 . this completes the inductive step and proves the existence of @xmath266 . now suppose @xmath301 is another extension of @xmath83 . we want to construct @xmath302 with @xmath303 , @xmath304 , @xmath127 , and @xmath305 , @xmath306 , @xmath110 . for @xmath307 consider diagram @xmath308{\ x_0}\ar@{-->}[ddll]_-{h_0}\ar@{-->}[dddl]_-{q_0 } \ar[rr]^-\pa\ar@<1.2ex>[dd]^-{g_0}\ar@<.2ex>[dd]_-{f_0}&&a\ar[dd]^-f\\ \\ x'_1\ar[dr]_-{e_1}&&**[r]{\ x'_0}\ar[rr]^-{\pa'}&&**[r]a'\;\;.\\ & * * [ r]k'_1\ar@<-1ex>[ur]^-{k_1 ^ 0}\ar@<-2ex>[ur]_-{k_1 ^ 1 } & & } \ ] ] as @xmath309 , there exists @xmath310 such that @xmath311 and @xmath312 . next , since @xmath272 is @xmath2-projective and @xmath313 is @xmath2-epimorphic , there is @xmath314 with @xmath315 . this and the two previous equalities give @xmath316 and @xmath317 . thus @xmath318 is constructed . inductively , suppose given @xmath319 with the required properties . @xmath320x_n\ar@{-->}[ddll]_-{h_n}\ar@{-->}[dddl]_-{q_n } \ar@<1.5ex>[rr]^-{\pa_1 ^ 0}\ar@<-1ex>[rr]_-{\pa_n^1 } \ar@<1.4ex>[dd]^-{g_n}\ar@<-0.2ex>[dd]_-{f_n } & { { } ^{{}^{\vdots}}}&**[r]x_{n-1 } \ar@<-.2ex>[dd]_-{f_{n-1}}\ar@<1.4ex>[dd]^-{g_{n-1 } } \ar@<0.7ex>[ddll]_{h_{n-1}}\\ \\ * * [ r]x'_{n+1}\ar[dr]_-{e_{n+1}}&&**[r]x'_n \ar@<1.5ex>[rr]^-{\pa_1 ^ 0}\ar@<-1ex>[rr]_-{\pa_n^1 } & { { } ^{{}^{\vdots}}}&**[r]x'_{n-1}\ .\\ & * * [ r]k'_{n+1 } \ar@<1.1ex>[ur]^-{k_1 ^ 0}\ar@{}[ur]|-\ddots\ar@<-1.6ex>[ur]_-{k_{n+1}^1 } } \ ] ] define @xmath321 , @xmath242 , @xmath110 , as follows : @xmath322 by the induction assumption , @xmath323 that is @xmath324 for @xmath236 , @xmath325 . therefore @xmath326 , @xmath242 , @xmath110 , for a uniquely defined @xmath327 . since @xmath328 is @xmath2-projective and @xmath329 is @xmath2-epimorphic , there is @xmath269 with @xmath330 . now we have @xmath331 this finishes the inductive step and completes the proof of the theorem . the following theorem is crucial for constructing our cubical derived functors . [ resdeg ] suppose that @xmath332 ^ -{\pa_1 ^ 0}\ar@<-.9ex>[rr]_-{\pa_{n+1}^1 } \ar[dr]_-{e_{n+1 } } & { { } ^{{}^{\vdots}}}&\ p_n\ \ar@<1.5ex>[rr]^-{\pa_1 ^ 0}\ar@<-.9ex>[rr]_-{\pa_n^1}\ar[dr]_-{e_n } & { { } ^{{}^{\vdots}}}&**[r]p_{n-1}\ \cdots&\ \ p_1\ar@<.5ex>[rr]^-{\pa_1 ^ 0}\ar@<-.5ex>[rr]_-{\pa_1 ^ 1}\ar[dr]_-{e_1 } & & p_0\ar[r]^-{\pa}&a \\ & k_{n+1}\ar@<1.2ex>[ur]^-{k_1 ^ 0}\ar@{}[ur]|-\ddots\ar@<-1.5ex>[ur]_-{k_{n+1}^1 } & & k_n\ar@<1.2ex>[ur]^-{k_1 ^ 0}\ar@{}[ur]|-\ddots\ar@<-1.5ex>[ur]_-{k_n^1 } & & & k_1\ar@<.5ex>[ur]^-{k_1 ^ 0}\ar@<-.5ex>[ur]_-{k_1 ^ 1}}\ ] ] is a @xmath2-projective resolution of @xmath35 . then :    \(a )  @xmath27 has pseudodegeneracy operators , i.e. , there exist @xmath333 ,  @xmath127 ,  @xmath242 , satisfying @xmath334    as an immediate consequence we have    [ psec ] any @xmath2-projective resolution @xmath335 ^ -{\pa}&a}$ ] is an augmented pseudocubical object with pseudoconnections . \(a ) as @xmath336 ^ -{k_1 ^ 0}\ar@<-0.5ex>[r]_-{k_1 ^ 1}&p_0}$ ] is a kernel pair of @xmath337 , there is @xmath338 such that @xmath339 and @xmath340 . on the other hand , since @xmath341 is @xmath2-projective and @xmath313 is @xmath2-epimorphic , @xmath342 for some @xmath343 and we have @xmath344 and @xmath345 . thus @xmath343 is constructed . inductively , suppose given @xmath343 , @xmath346 with the required properties . fix @xmath347 , @xmath348 , and define @xmath349 , @xmath242 , @xmath110 , by @xmath350 using the induction assumption , one checks that @xmath351 for @xmath352 , @xmath353 . then there exists @xmath354 such that @xmath355 , @xmath242 , @xmath110 . since @xmath356 is @xmath2-projective and @xmath329 is @xmath2-epimorphic , there is @xmath357 with @xmath358 . according to this , for @xmath359 and @xmath110 , one has @xmath360 thus we have constructed @xmath361 with the desired properties . \(b ) define @xmath362 by @xmath363 , @xmath364 , @xmath365 and @xmath366 . one verifies that @xmath367 , @xmath110 . hence there exists @xmath368 such that @xmath369 , @xmath370 , @xmath110 . as @xmath371 is @xmath2-projective and @xmath372 is @xmath2-epimorphic , @xmath373 for some @xmath374 , and we have @xmath375 next , assume that @xmath374 , @xmath376 with the required properties are constructed , and for any fixed @xmath347 , @xmath109 , define @xmath377 , @xmath242 , @xmath110 , as follows : @xmath378 by the induction assumption , @xmath379 , @xmath352 , @xmath353 . consequently , there is @xmath380 such that , @xmath381 , @xmath242 , @xmath110 .    since @xmath356 is @xmath2-projective and @xmath329 is @xmath2-epimorphic , there exists @xmath382 with @xmath383 then , for @xmath359 and @xmath110 , one has @xmath384 thus we have constructed @xmath385 satisfying the desired properties . let @xmath1 be an abelian category . it is shown in [ 16 ] that the functor @xmath386 sends cubically homotopic morphisms to chain homotopic morphisms . the proof , which we repeat here because of the completeness , shows that in fact one has    [ prechn ] let @xmath9 be a pseudocubical object and @xmath387 a precubical object in an abelian category @xmath1 , and @xmath388 precubical morphisms . if @xmath264 and @xmath389 are precubically homotopic @xmath265see theorem @xmath390 , then @xmath391 and @xmath392 are chain homotopic . let @xmath393 be a precubical homotopy from @xmath264 to @xmath389 , and let @xmath394 denote the canonical monomorphism from @xmath395 to @xmath328 , @xmath127 . one checks that @xmath396 , @xmath348 , @xmath127 . consequently , we have morphisms @xmath397 clearly , @xmath398 further , for all @xmath102 , we have @xmath399 hence @xmath400 is a chain homotopy from @xmath391 to @xmath401 . this proposition together with theorem 2.4 implies    [ prechm ] let @xmath9 and @xmath387 be pseudocubical objects with pseudoconnections in an abelian category @xmath1 , and @xmath388 precubical morphisms . if @xmath264 and @xmath389 are precubically homotopic , then @xmath402 and @xmath403 are chain homotopic . we are now ready to introduce cubical derived functors . let @xmath1 be a category with finite limits and a projective class @xmath2 , @xmath404 an abelian category , and @xmath405 an arbitrary ( covariant ) functor . we construct the left cubical derived functors @xmath406 , @xmath127 , of @xmath4 as follows . if @xmath35 , choose ( once and for all ) a @xmath2-projective resolution @xmath407 and define @xmath408 theorem 3.3 and propositions 3.4(a ) and 3.6 show that the objects @xmath25 are independent ( up to natural isomorphism ) of the resolution chosen ( if @xmath409 is a second @xmath2-projective resolution and @xmath410 a precubical morphism extending @xmath411 , then @xmath412 are isomorphisms ) . moreover , by the same statements , it is immediately clear that @xmath21 are defined on morphisms and are functors from @xmath1 to @xmath404 . besides , functoriality in the variable @xmath4 is obvious . similarly , in view of theorem 3.3 , corollary 3.5 and proposition 3.7 , one can define functors @xmath413 by @xmath414 it follows from theorem 2.4 that in fact there are isomorphisms @xmath415 which are natural in @xmath5 and in @xmath4 .    as one sees the construction of @xmath21 essentially uses [ resdeg](a ) , and similarly @xmath416 essentially uses [ psec ] . this contrasts with the fact that the construction of the derived functors by tierney and vogel does not use existence of pseudodegeneracies in @xmath2-projective presimplicial resolutions . on the other hand , as shown in [ 16 ] , the functor @xmath417 ( see section 1 ) sends precubically homotopic morphisms of precubical objects to chain homotopic morphisms ( cf . propositions [ prechn ] and [ prechm ] ) . this together with theorem [ precm ] allows us to conclude that one does not need proposition [ resdeg](a ) to prove that the functors @xmath418 where @xmath27 is a @xmath2-projective precubical resolution augmented over @xmath35 , are correctly defined . but in this way one obtains `` bad '' derived functors by the following reason . one can easily see that @xmath419 for any @xmath250 and any @xmath23 . thus in general the higher ( @xmath139 ) derived functors @xmath420 do not vanish on @xmath2-projectives , i.  e. , the crucial property of derived functors is not satisfied . in particular , there is no chance for @xmath420 to coincide with the classical derived functors for additive functors @xmath4 between abelian categories . at the same time , the derived functors @xmath21 and @xmath416 certainly vanish on @xmath2-projectives for @xmath139 , and in particular coincide with the classical derived functors for additive @xmath4 , as we will show below in theorem [ coinc ] . suppose that @xmath1 is an abelian category and @xmath405 an additive functor . our aim is to compare @xmath421 @xmath123 with the derived functors of @xmath4 in the sense of eilenberg - moore [ 7 ] . let @xmath1 be an abelian category with a projective class @xmath2 and suppose that @xmath252 ^ -{\pa}&a}$ ] is a precubical object in @xmath1 augmented over @xmath35 . if @xmath252 ^ -{\pa}&a}$ ] is @xmath2-exact , then its augmented moore chain complex @xmath422 is @xmath2-exact in the sense of eilenberg - moore @xmath423 $ ] . that is , the sequence of abelian groups @xmath424 where @xmath425 and @xmath426 @xmath261 , is exact for any @xmath250 . evidently , @xmath427 , @xmath127 . besides , since @xmath77 is @xmath2-epimorphic , @xmath428 is surjective . let @xmath429 be an @xmath1-morphism with @xmath430 and consider the diagram @xmath431_-{g'}\ar@{-->}@`{(-60,-20)}[dddl]_-\varphi\ar@<-1ex>[dd]_-{g}\ar@<1ex>[dd]^-0\\ \\ x_1\ar@<0.8ex>[rr]^-{\pa_1 ^ 0}\ar@<-0.9ex>[rr]_-{\pa_1 ^ 1 } \ar[dr]_-{e_1}&&x_0\ar[r]^-\pa&a,\\ & k_1\ar@<1ex>[ur]^-{k_1 ^ 0}\ar@<-1ex>[ur]_-{k_1 ^ 1 } } \ ] ] where @xmath336 ^ -{k_1 ^ 0}\ar@<-0.5ex>[r]_-{k_1 ^ 1}&x_0}$ ] is a kernel pair of @xmath77 , and @xmath313 is @xmath2-epimorphic . as @xmath432 , there exists a unique @xmath433 such that @xmath434 and @xmath435 . but @xmath436 for some @xmath437 , and we have @xmath438 and @xmath439 . it then follows from the construction of @xmath11 that @xmath440 , where @xmath441 denotes the inclusion @xmath442 and @xmath443 is a uniquely defined @xmath1-morphism from @xmath444 to @xmath445 . clearly , @xmath446 . thus the sequence is exact at @xmath447 . now assume that @xmath139 and @xmath448 is an @xmath1-morphism with @xmath449 . denote the inclusion @xmath450 by @xmath451 and consider the diagram @xmath431_-{f'}\ar@{-->}@`{(-100,-20)}[dddl]_-\varphi\ar@<-1.4ex>[dd]_-{\varphi_1 ^ 0 } \ar@<1ex>[dd]^-{\varphi_{n+1}^1}&&\\ & & { { } ^{{}^{\dots}}}\\ x_{n+1}\ar@<1.6ex>[rr]^-{\pa_1 ^ 0}\ar@<-.9ex>[rr]_-{\pa_{n+1}^1 } \ar[dr]_-{e_{n+1}}&{{}^{{}^{\vdots } } } & x_n\ar@<1.6ex>[rr]^-{\pa_1 ^ 0}\ar@<-.9ex>[rr]_-{\pa_n^1}&{{}^{{}^{\vdots } } } & x_{n-1}\\ & k_{n+1}\ar@<1.1ex>[ur]^-{k_1 ^ 0}\ar@<-1.9ex>[ur]_-{k_{n+1}^1}\ar@{}[ur]|-\ddots } \ ] ] where @xmath452 is a cubical kernel of @xmath453 , @xmath329 is @xmath2-epimorphic , and @xmath454 one checks that @xmath455 consequently , there exists a unique @xmath456 such that @xmath457 , @xmath242 , @xmath110 . since @xmath329 is @xmath2-epimorphic and @xmath250 , one has @xmath458 for some @xmath459 . but then @xmath460 from this we conclude , by the construction of @xmath11 , that @xmath461 for a uniquely defined @xmath1-morphism @xmath462 . clearly , @xmath463 , whence @xmath464 . let @xmath1 be an abelian category with a projective class @xmath2 and suppose that @xmath252 ^ -\pa&a}$ ] is a pseudocubical object with pseudoconnections in @xmath1 augmented over @xmath35 . if @xmath465 is @xmath2-exact , then the augmented chain complex @xmath466 ^ -\pa&a}$ ] is @xmath2-exact in the sense of eilenberg - moore .    for any pseudocubical object @xmath9 in an abelian category @xmath1 , one has @xmath1-morphisms @xmath467 defined by @xmath468 it is immediate that @xmath469 , @xmath139 , @xmath109 . therefore , by the construction of @xmath12 , each @xmath470 factors as @xmath471 ^ -{\sg_n^x}\ar[dr]_-{\tau_n^x}&&x_n\\ & n_n(x)\ar@{^{(}->}[ur]_-{\nu_n^x}}\ ] ] where @xmath472 is the inclusion . one can easily see that @xmath473 , i.e. , @xmath474 is a retraction for each @xmath17 ( see [ 16 , 17 ] ) . this together with corollary 3.5 and proposition 4.2 gives    [ retr ] let @xmath1 be an abelian category with a projective class @xmath2 which is closed with respect to retracts . if @xmath335 ^ -\pa&a}$ ] is a @xmath2-projective precubical resolution of @xmath35 , then the augmented chain complex @xmath475 ^ -\pa&a}$ ] is a @xmath2-projective resolution of @xmath5 in the sense of eilenberg - moore @xmath423 $ ] . now let @xmath1 be an abelian category with a projective class @xmath2 , @xmath404 an abelian category , and @xmath405 an additive ( covariant ) functor . then one constructs , with respect to @xmath2 , the classical left derived functors @xmath476 , @xmath127 . on the other hand , since any abelian category admits finite limits , we can build @xmath2-projective precubical resolutions , and therefore can construct the cubical left derived functors @xmath406 , @xmath127 . let @xmath478^\pa&a}$ ] be a @xmath2-projective precubical resolution of @xmath35 . by proposition 3.4(a ) , @xmath27 has pseudodegeneracy operators . then , as noted above , we have @xmath1-morphisms @xmath479 , @xmath480 with @xmath481 and @xmath482 . the latter gives @xmath483 . hence @xmath484 is an epimorphism and @xmath485 is a monomorphism . since @xmath4 is additive , @xmath486 . consider the commutative diagram @xmath487 ^ -{\nu_n^{t(p)}}\\ t(p_n)\ar[ur]^-{\tau_n^{t(p)}}\ar[dr]_-{t(\tau_n^p)}\ar[rr]^-{t(\sg_n^p)\sg_n^{t(p)}}&&t(p_n)\;\;\;\\ & t(n_n(p))\;\;.\ar[ur]_-{t(\nu_n^p ) } } \ ] ] as @xmath488 and @xmath489 are epimorphisms , @xmath490 . but @xmath491 is an inclusion and @xmath492 is a monomorphism . hence @xmath493 and @xmath494 is an isomorphism for each @xmath17 . one can easily see that these isomorphisms commute with the differentials and induce natural isomorphisms on the homologies . in view of proposition [ retr ] , @xmath475 ^ -\pa&a}$ ] is a @xmath2-projective resolution of @xmath5 in the sense of eilenberg - moore . consequently , @xmath495 . on the other hand , by the definition of @xmath21 , thus we have isomorphisms @xmath497 which are natural in @xmath5 and in @xmath4 . there remains an open question here . we do not know whether the cubical derived functors introduced by us coincide with the tierney - vogel derived functors in full generality , or at least , with the dold - puppe derived functors in the particular case of an arbitrary ( not necessarily additive ) functor on an abelian category .
Abstract:

Answer: we introduce pseudocubical objects with pseudoconnections in an arbitrary category , obtained from the brown - higgins structure of a cubical object with connections by suitably relaxing their identities , and construct a cubical analog of the tierney - vogel theory of simplicial derived functors . the crucial point in the construction is that projective precubical resolutions which are naturally used to define our cubical derived functors possess pseudodegeneracies and pseudoconnections . the same fact is essentially used for proving that in the case of an additive functor between abelian categories , our theory coincides with the classical relative theory of derived functors by eilenberg - moore .