Small cancellation theory with a weakened small cancellation hypothesis. III. The conjugacy problem

In [1] we introduced the small cancellation condition W(4) and developed the basic theory. In this article we solve the conjugacy problem for groups with a finite W(4) presentation. Incumbent of the Lilian and George Lyttle Career Development Chair in Perpetuity, Established by Mrs. Helen Kimmelman, New York.     

Generalized small cancellation theory and applications I. The word problem

In this paper we develop a generalization of the small cancellation theory. The usual small cancellation hypotheses are replaced by some condition that, roughly speaking, says that if a common part of two relations is a big piece of one relation then it must be a very small piece of another. In particular, we show that a finitely presented generalized small cancellation group has a solvable word problem. The machinery developed in the paper is to be used in the following papers of this series for constructing some group-theoretic examples.     

Small cancellation theory with a weakened small cancellation hypothesis. II. The word problem

In [1] we introduced the small concellation condition W(4) and developed the basic theory for groups having a W(4) presentation. In this paper we solve the word problem for groups with a finite W(4) presentation. Incumbent of the Lilian and George Lyttle Career Development Chair in Perpetuity, Established by Mrs. Helen Kimmelman, New York. The first version of this work was written while I visited the I.H.E.S., Paris. I am grateful to Professor N. H. Kuiper for making this stay possible for me, and to the Institute for its generous hospitality.     

On theT(q)-conditions of small cancellation theory

In this paper we give a graphical method which can be used to determine whether or not a group presentation satisfies the small cancellation conditionT(q). We use this method to determine all 2- and 3-generator presentations satisfyingT(4).     

A general type of twisted anomaly cancellation formulas

For even-dimensional manifolds, we prove some twisted anomaly cancellation formulas which generalize some well-known cancellation formulas. For odd dimensional manifolds, we obtain some modularly invariant characteristic forms by the Chern-Simons transgression and we also get some twisted anomaly cancellation formulas.     

A note on modular forms and generalized anomaly cancellation formulas

By studying modular invariance properties of some characteristic forms,we prove some new anomaly cancellation formulas which generalize the Han-Zhang and Han-Liu-Zhang anomaly cancellation formulas.     

Genus and cancellation

In [14] we established a relationship between genus and localization of finitely generated torsion-free abelian by finite groups aud grnus and localization integral representation theory. In this paper we strrcly the consequences of this relationship. We prove results about the genus of groups which are analogues to results in integral representaion theory. In particular we prove non-cancellation phenomena for finitely generated groups with finite commutator subgroups.     

Non‐linear initial boundary value problemsof hyperbolic–parabolic type. A general investigationof admissible couplings between systems of higher order. Part 1: linear theory

In this article (which is divided in three parts) we investigate the non‐linear initial boundary value problems (1.2) and (1.3). In both cases we consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1 at hand, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2, we prove the local in time existence, uniqueness and regularity of solutions to the quasilinear initial boundary value problem (1.2) using the so‐called energy method. In the above sense, the regularity assumptions about the coefficients and right‐hand sides define the admissible couplings. In part 3, we extend the results of part 2 to the non‐linear initial boundary value problem (1.3). In particular, the assumptions about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit the assumptions about the respective parameters for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

Anomaly cancellation and the mass spectrum of ε(∞)

The necessary condition for superstrings anomaly cancellation is shown to play the role of a scaling exponent in the mass spectrum of ε^(∞) theory of high energy particle physics.     

A regularity theory for intrinsic minimising fractional harmonic maps

We define and develop an interior partial regularity theory for intrinsic energy minimising fractional harmonic maps from Euclidean space into smooth compact Riemannian manifolds for fractional powers strictly between zero and one. Intrinsic fractional harmonic maps are critical points of an energy whose first variation is a Dirichlet to Neumann map for the harmonic map problem on a half-space with a Riemannian metric which can degenerate/become singular along the boundary, depending on the fractional power. Similarly to the approach used to prove regularity for stationary intrinsic semi-harmonic maps, we take advantage of the connection between fractional harmonic maps and free boundary problems for harmonic maps in order to develop a partial regularity theory for the fractional harmonic maps we consider. In particular, we prove partial regularity for locally minimising harmonic maps with (partially) free boundary data on half-spaces with the aforementioned metrics up to the boundary; fractional harmonic maps then inherit this regularity. As a by-product of our methods we shed some new light on the monotonicity of the average energy of solutions of the degenerate linear elliptic equation related to fractional harmonic functions.     

A survey on Zariski cancellation problem

In this survey article we describe known results and open questions on the Zariski cancellation problem, highlighting recent developments on the problem. We also discuss its close relationship with some of the other central problems on polynomial rings.     

Optimal inventory policy with supply uncertainty and demand cancellation

We consider a periodic review model where the firm manages its inventory under supply uncertainty and demand cancellation. We show that because of supply uncertainty, the optimal inventory policy has the structure of re-order point type. That is, we order if the initial inventory falls below this re-order point, otherwise we do not order. This is in contrast to the work of Yuan and Cheung (2003) who prove the optimality of an order up to policy in the absence of supply uncertainty. We also investigate the impact of supply uncertainty and demand cancellation on the performance of the supply chain. Using our model, we are able to quantify the importance of reducing the variance of either the distribution of yield or the distribution of demand cancellation. The single, multiple periods and the infinite horizon models are studied.     

The stable equivalence and cancellation problems

Let K be an arbitrary fieldof characteristic 0, and $\mathbf{A}^n$ then-dimensional affine spaceover K.A well-known cancellation problem asks, given twoalgebraic varieties $V_1, V_2 \subseteq \mathbf{A}^n$ with isomorphiccylinders $V_1 \times \mathbf{A}^1$ and $V_2 \times \mathbf{A}^1$, whether$V_1$ and $V_2$ themselves are isomorphic.In this paper, we focus on a related problem: given twovarieties with equivalent (under an automorphism of $\mathbf{A}^{n+1}$)cylinders $V_1 \times \mathbf{A}^1$ and $V_2 \times \mathbf{A}^1$, are$V_1$ and $V_2$ equivalent under an automorphism of $\mathbf{A}^n$?We call this stable equivalence problem.We show that the answer is positivefor any two curves $V_1, V_2 \subseteq \mathbf{A}^2$.For an arbitrary $n \ge 2$, we consider a special, arguably themost important, case of both problems, where one of the varieties isa hyperplane. We show that a positive solution of the stableequivalence problem in this case implies a positive solution ofthe cancellation problem.     

Embedding covers and the theory of frobenius fields

We show that the theory of Frobenius fields is decidable. This is conjectured in [4], [8] and [13], and we prove it by solving a group theoretic problem to which this question is reduced there. To do this we present and develop the notion of embedding covers of finite and pro-finite groups. We also answer two other problems from [8], again by solving a corresponding group theoretic problem: A finite extension of a Frobenius field need not be Frobenius and there are PAC fields which are not Frobenius fields. Portions of this work will be incorporated in the doctoral dissertation of the first author done in Tel Aviv University under the supervision of Prof. Moshe Jarden.     

Non‐linear initial boundary value problems of hyperbolic–parabolic type. A general investigation of admissible couplings between systems of higher order. Part 2: abstract quasilinear theory

This is the second part of an article that is devoted to the theory of non‐linear initial boundary value problems. We consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2 at hand, we prove the local in time existence, uniqueness and regularity of solutions to the quasilinear initial boundary value problem (3.4) using the so‐called energy method. In the above sense the regularity assumptions (A6) and (A7) about the coefficients and right‐hand sides define the admissible couplings. In part 3, we extend the results of part 2 to non‐linear initial boundary value problems. In particular, the assumptions about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit the assumptions about the respective parameters for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

Cubulating small cancellation groups

We study the B(6) and B(4)-T(4) small cancellation groups. These classes include the usual C(1/6) and C(1/4)-T(4) metric small cancellation groups. We show that every finitely presented B(4)-T(4) or word-hyperbolic B(6) group acts properly discontinuously and cocompactly on a CAT(0) cube complex. We show that finitely generated infinite B(6) and B(4)-T(4) groups have codimension 1 subgroups and thus do not have property (T). We show that a finitely presented B(6) group is wordhyperbolic if and only if it contains no subgroup.     

Modular Invariance and Anomaly Cancellation Formulas in Odd Dimension Ⅱ

By studying modular invariance properties of some characteristic forms, we get some generalized anomaly cancellation formulas on(4 r-1)-dimensional manifolds with no assumption that the 3rd de-Rham cohomology of manifolds vanishes. These anomaly cancellation formulas generalize our previous anomaly cancellation formulas on(4 r-1)-dimensional manifolds. We also generalize our previous anomaly cancellation formulas on(4 r-1)-dimensional manifolds and the Han–Yu rigidity theorem to the(a, b) case.     

Representation theory of MV-algebras

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely.