Catarina Carvalho
We study Schr\"odinger operators $H:= -\Delta + V$ with potentials $V$ that have power-law growth (not necessarily polynomial) at 0 and at $\infty$ using methods of Lie theory (Lie-Rinehart algebras) and microlocal analysis. More precisely,…
We provide Fredholm conditions for compatible differential operators on certain Lie manifolds (that is, on certain possibly non-compact manifolds with nice ends). We discuss in more detail the case of manifolds with cylindrical, hyperbolic,…
Let A be an idempotent algebra on a finite domain. By mediating between results of Chen and Zhuk, we argue that if A satisfies the polynomially generated powers property (PGP) and B is a constraint language invariant under A (that is, in…
We study the algebraic properties of binary relations whose underlying digraph is smooth, that is has no source or sink. Such objects have been studied as surjective hyper-operations (shops) on the corresponding vertex set, and as binary…
This paper is a merge of arXiv:1807.05418 and arXiv:1808.01442. We introduce a new class of groupoids, called "boundary action groupoids", which are obtained by gluing reductions of action groupoids. We show that such groupoids model the…
We show that layer potential groupoids for conical domains constructed in an earlier paper (Carvalho-Qiao, Central European J. Math., 2013) are Fredholm groupoids, which enables us to deal with many analysis problems on singular spaces in a…
Let A be an idempotent algebra on a finite domain. We combine results of Chen, Zhuk and Carvalho et al. to argue that if A satisfies the polynomially generated powers property (PGP), then QCSP(Inv(A)) is in NP. We then use the result of…
We give explicit Fredholm conditions for classes of pseudodifferential operators on suitable singular and non-compact spaces. In particular, we include a "user's guide" to Fredholm conditions on particular classes of manifolds including…
We give a proof of the cobordism invariance of the index of elliptic pseudodifferential operators on sigma-compact manifolds, where, in the non-compact case, the operators are assumed to be multiplication outside a compact set. We show…
We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism…
We prove a regularity result in weighted Sobolev spaces (or Babuska--Kondratiev spaces) for the eigenfunctions of a Schr\"odinger operator. More precisely, let K_{a}^{m}(\mathbb{R}^{3N}) be the weighted Sobolev space obtained by blowing up…
Inspired by computational complexity results for the quantified constraint satisfaction problem, we study the clones of idempotent polymorphisms of certain digraph classes. Our first results are two algebraic dichotomy, even "gap",…
We give an index formula for a class of Dirac operators coupled with unbounded potentials. More precisely, we study operators of the form P := D+ V, where D is a Dirac operators and V is an unbounded potential at infinity on a possibly…
To a domain with conical points \Omega, we associate a natural C*-algebra that is motivated by the study of boundary value problems on \Omega, especially using the method of layer potentials. In two dimensions, we allow \Omega to be a…
We give a K-theory proof of the invariance under cobordism of the family index. We consider elliptic pseudodifferential families on a continuous fibre bundle with smooth fibres over a compact base space B, and define a notion of cobordant…
We prove that the constraint languages invariant under a short sequence of J\'onsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they have bounded width. This improves the previous result by Kiss…