Noncharacteristic hypersurfaces for complexes of differential operators

Sunto Sia X una varietà differenziabile ed S una ipersuperficie orientata in X. Si consideri un complesso di operatori differenziali su X. Se S è formalmente non caratteristica, esso induce un complesso di operatori su S. Si generalizza la nozione di simbolo di un operatore differensiale al caso di multigradazioni e si dimostra che, se S è non caratteristica, modulo «trasformazioni fibra» il complesso indotto è un complesso di operatori differenziali. In particolare, se una ipersuperficie è non caratteristica rispetto alla nozione usuale di simbolo, il complesso al bordo è sempre un complesso di operatori differenziali. Nell'ultima parte del lavoro si studio, il complesso al bordo indotto dal complesso di Hilbert dell'operatore .