510 Mathematik
We show that the residue density of the logarithm of a generalized Laplacian on a closed manifold definesan invariant polynomial-valued differential form. We express it in terms of a finite sum of residues ofclassical pseudodifferential symbols. In the case of the square of a Dirac operator, these formulas providea pedestrian proof of the Atiyah–Singer formula for a pure Dirac operator in four dimensions and for atwisted Dirac operator on a flat space of any dimension. These correspond to special cases of a moregeneral formula by Scott and Zagier. In our approach, which is of perturbative nature, we use either aCampbell–Hausdorff formula derived by Okikiolu or a noncommutative Taylor-type formula.
We show that the residue density of the logarithm of a generalized Laplacian on a closed manifold defines an invariant polynomial-valued differential form. We express it in terms of a finite sum of residues of
classical pseudodifferential symbols. In the case of the square of a Dirac operator, these formulas provide a pedestrian proof of the Atiyah–Singer formula for a pure Dirac operator in four dimensions and for a
twisted Dirac operator on a flat space of any dimension. These correspond to special cases of a more general formula by Scott and Zagier. In our approach, which is of perturbative nature, we use either a Campbell–Hausdorff formula derived by Okikiolu or a noncommutative Taylor-type formula.
The aim of this paper is to bring together two areas which are of great importance for the study of overdetermined boundary value problems. The first area is homological algebra which is the main tool in constructing the formal theory of overdetermined problems. And the second area is the global calculus of pseudodifferential operators which allows one to develop explicit analysis.
We describe a natural construction of deformation quantisation on a compact symplectic manifold with boundary. On the algebra of quantum observables a trace functional is defined which as usual annihilates the commutators. This gives rise to an index as the trace of the unity element. We formulate the index theorem as a conjecture and examine it by the classical harmonic oscillator.
The aim of this paper is to explain the notion of subspace defined by means of pseudodifferential projection and give its applications in elliptic theory. Such subspaces are indispensable in the theory of well-posed boundary value problems for an arbitrary elliptic operator, including the Dirac operator, which has no classical boundary value problems. Pseudodifferential subspaces can be used to compute the fractional part of the spectral Atiyah–Patodi–Singer eta invariant, when it defines a homotopy invariant (Gilkey’s problem). Finally, we explain how pseudodifferential subspaces can be used to give an analytic realization of the topological K-group with finite coefficients in terms of elliptic operators. It turns out that all three applications are based on a theory of elliptic operators on closed manifolds acting in subspaces.
Relative elliptic theory
(2002)
This paper is a survey of relative elliptic theory (i.e. elliptic theory in the category of smooth embeddings), closely related to the Sobolev problem, first studied by Sternin in the 1960s. We consider both analytic aspects to the theory (the structure of the algebra of morphismus, ellipticity, Fredholm property) and topological aspects (index formulas and Riemann-Roch theorems). We also study the algebra of Green operators arising as a subalgebra of the algebra of morphisms.
The paper deals with elliptic theory on manifolds with boundary represented as a covering space. We compute the index for a class of nonlocal boundary value problems. For a nontrivial covering, the index defect of the Atiyah-Patodi-Singer boundary value problem is computed. We obtain the Poincaré duality in the K-theory of the corresponding manifolds with singularities.
We introduce a natural symmetry condition for a pseudodifferential operator on a manifold with cylindrical ends ensuring that the operator admits a doubling across the boundary. For such operators we prove an explicit index formula containing, apart from the Atiyah-Singer integral, a finite number of residues of the logarithmic derivative of the conormal symbol.
The index formula for elliptic pseudodifferential operators on a two-dimensional manifold with conical points contains the Atiyah-Singer integral as well as two additional terms. One of the two is the 'eta' invariant defined by the conormal symbol, and the other term is explicitly expressed via the principal and subprincipal symbols of the operator at conical points. In the preceding paper we clarified the meaning of the additional terms for first-order differential operators. The aim of this paper is an explicit description of the contribution of a conical point for higher-order differential operators. We show that changing the origin in the complex plane reduces the entire contribution of the conical point to the shifted 'eta' invariant. In turn this latter is expressed in terms of the monodromy matrix for an ordinary differential equation defined by the conormal symbol.
In the preceding paper we proved an explicit index formula for elliptic pseudodifferential operators on a two-dimensional manifold with conical points. Apart from the Atiyah-Singer integral, it contains two additional terms, one of the two being the 'eta' invariant defined by the conormal symbol. In this paper we clarify the meaning of the additional terms for differential operators.
For general elliptic pseudodifferential operators on manifolds with singular points, we prove an algebraic index formula. In this formula the symbolic contributions from the interior and from the singular points are explicitly singled out. For two-dimensional manifolds, the interior contribution is reduced to the Atiyah-Singer integral over the cosphere bundle while two additional terms arise. The first of the two is one half of the 'eta' invariant associated to the conormal symbol of the operator at singular points. The second term is also completely determined by the conormal symbol. The example of the Cauchy-Riemann operator on the complex plane shows that all the three terms may be non-zero.