# Parametrix of external product of elliptic operators

Let $S$ and $T$ be Dirac-type operators on vector bundles $E\rightarrow M$ and $F\rightarrow N$ respectively, where $M$ and $N$ are manifolds. Suppose $Q_S$ and $Q_T$ are parametrices for $S$ and $T$. Form the operator $S\#T$ on the external product bundle $E\boxtimes F\rightarrow M\times N$, defined as $$S\#T=S\otimes 1+1\otimes T.$$

Then $S\#T$ is an elliptic operator and has a parametrix $Q_{S\#T}$ so that

$$1-Q_S S,\qquad 1-Q_T T,\qquad 1-Q_{S\#T}(S\#T),$$ $$1-S Q_S,\qquad 1-T Q_T,\qquad 1-(S\#T)Q_{S\#T}$$ have smooth Schwartz kernels.

Question: How can one construct $Q_{S\#T}$ using $Q_S$ and $Q_T$ so that one can relate the Schwartz kernel of, say $1-Q_{S\#T}(S\#T)$, to those of $1-Q_S S$ and $1-Q_T T$?

Thanks!

• Why is $S\#T$ elliptic? – Deane Yang Jun 19 '18 at 19:16
• As a post with similar terminologies please see mathoverflow.net/questions/266734/… – Ali Taghavi Jun 19 '18 at 21:14
• @DeaneYang one can ask the same question in the context of fredholm operators on Hilber spaces is $S\#T$ a fredholm operator if both $S$ and $T$ are Fredholm operators on hilbert spaces $H_1,H_2$, respectively? – Ali Taghavi Jun 19 '18 at 21:25
• @DeaneYang You're right, it doesn't in general need to be elliptic. Let's specialise to Dirac-type operators. – ougoah Jun 20 '18 at 0:42
• I haven't tried to do it myself, but it seems like you could do this by the usual approach using the symbol calculus for pseudodifferential operators. – Deane Yang Jun 20 '18 at 2:08