Realization of 2-solvable nilpotent groups as groups of classes of homotopy self-equivalences

Let X be a 1-connected CW-complex of finite type and ε_?(X) be the group of homotopy classes of self-equivalences of X which induce the identity on homotopy groups. In this paper, we prove that every finitely generated 2-solvable rational nilpotent group is realizable as ε_?(X) where X is the rationalization of a 1-connected CW-complex of finite type.     

Symmetrisation of n-operads and compactification of real configuration spaces

It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint Sym₁ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmetric operads are 1-operads and Sym₁ is the first term of the infinite series of left adjoint functors Symn, called symmetrisation functors, from n-operads to symmetric operads with the property that the category of one object, one arrow, …, one (n−1)-arrow algebras of an n-operad A is isomorphic to the category of algebras of Symn(A).In this paper we consider some geometrical and homotopical aspects of the symmetrisation of n-operads. We follow Getzler and Jones and consider their decomposition of the Fulton-Macpherson operad of compactified real configuration spaces. We construct an n-operadic counterpart of this compactification which we call the Getzler-Jones operad. We study the properties of Getzler-Jones operad and find that it is contractible and cofibrant in an appropriate model category. The symmetrisation of the Getzler-Jones operad turns out to be exactly the operad of Fulton and Macpherson. These results should be considered as an extension of Stasheff's theory of 1-fold loop spaces to n-fold loop spaces n?2. We also show that a space X with an action of a contractible n-operad has a natural structure of an algebra over an operad weakly equivalent to the little n-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension.Finally, we apply the techniques to the Swiss-Cheese type operads introduced by Voronov and prove analogous results in this case.     

Long-Term Changes in a Heat Exchanger Steel

The steel ASTM A213 P22 is used for superheater outlet header in power plants. During duty cycles lasting over tens of years the temperature is of the order of 545°C and the pressure 125 atm. The microscopic changes in these steels are hard to analyze under working conditions, but they are believed to be responsible for the appearance of creeps in such devices. Investigation of the microscopic modifications will help to predict future failures due to creeps, increasing the reliability and saving a lot of money.We report the investigation of such changes in ASTM A213 P22 steel in use for 30 years as a Superheater header at Haifa power station. The analysis has been carried out using Mössbauer Spectroscopy, X-ray diffraction and optical microscopy. As a result it seems that the morphology and phase change of the carbide phases M₃C/M₇C₃ and M₂₃C₆ are the most prominent changes leading to the material failures.     

The homotopy categorical crossed module of a CW-complex

Crossed modules have longstanding uses in homotopy theory and the cohomology of groups. The corresponding notion in the setting of categorical groups, that is, categorical crosses modules, allowed the development of a low-dimensional categorical group cohomology. Now, its relevance is also shown here to homotopy types by associating, to any pointed CW-complex (X,∗), a categorical crossed module that algebraically represents the homotopy 3-type of X.     

Thermoelectric properties of tin clathrates under hydrostatic pressure

We report the temperature dependence of electrical resistance (R) and thermopower (S) of clathrate Cs₈Sn₄₄ under high pressure up to 1.2 GPa. We observe a reversible gap widening, prominent relaxation effect of R, irreversible increase of |S| under high pressure. We also find that the power factor S²σ (σ: electrical conductivity) reaches a maximum at pressure of 0.3 GPa. Comparison of the experimental results with band structure calculations suggests that the intrinsic vacancy in the clathrate structure of Cs₈Sn₄₄ plays an important role in transport properties under high pressure. Measurements on Cs₈Zn₄Sn₄₂, a clathrate which has defects other than vacancies, are compared with Cs₈Sn₄₄. The results indicate that replacing Sn by Zn has similar effect as the intrinsic vacancy on S.     

Degrevlex Gröbner bases of generic complete intersections

In this paper, we study the Hilbert–Samuel function of a generic standard graded K-algebra

K[X₁,…,X_n]/(g₁,…,g_m)

when refined by an (ℓ)-adic filtration, ℓ being a linear form. From this we obtain a structure theorem which describes the stairs of a generic complete intersection for the degree-reverse-lexicographic order. We show what this means for generic standard (or Gröbner) bases for this order; in particular, we consider an “orderly filling up” conjecture, and we propose a strategy for the standard basis algorithm which could be useful in generic-like cases.     

An analytical proof of Hardy-like inequalities related to the Dirac operator

We prove some sharp Hardy-type inequalities related to the Dirac operator by elementary, direct methods. Some of these inequalities have been obtained previously using spectral information about the Dirac-Coulomb operator. Our results are stated under optimal conditions on the asymptotics of the potentials near zero and near infinity.     

C_nP_4~4(n=1～7)团簇结构与能量的密度泛函研究

使用分子图形软件设计出多种CnP-4(n =1～ 7)的结构模型 ,并进行B3LYP密度泛函几何构型优化和振动频率计算 .最稳定的CP-4和C2 P-3 都是平面环状结构 .最稳定的CnP-4(n =3 ,5 ,7)结构在直碳链的一端连接 1个磷原子且另一端是P3 C的四元环的平面结构 .最稳定的CnP-4(n =4,6)结构在直碳链的一端连接 1个磷原子且另一端是P3 的三元环的锄状结构 .直碳链可与平面环的磷原子生成大π键 .大多数构型是由C2 ,C3 ,C4子结构以环状或链状方式组成的 .碳原子与磷原子以交替方式排列的结构数量少、能量高 .     

Stable model categories are categories of modules

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.     

A new joint model for longitudinal and survival data with a cure fraction

We develop a new joint cure rate model for longitudinal and survival data. The model allows for multiple longitudinal markers as well as a cure structure for the survival component based on the promotion time cure rate model, as described in Ibrahim et al. (Bayesian Survival Analysis, Springer, New York, 2001). Several characteristics and properties of the new model are discussed and examined. A real dataset from a melanoma clinical trial is given to demonstrate the methodology.