Direct And Inverse Scattering At Fixed Energy For Massless Charged Dirac Fields By Kerr Newman De Sitter Black Holes

In this paper, the authors study the direct and inverse scattering theory at fixed energy for massless charged Dirac fields evolving in the exterior region of a Kerr-Newman-de Sitter black hole. In the first part, they establish the existence and asymptotic completeness of time-dependent wave operators associated to our Dirac fields. This leads to the definition of the time-dependent scattering operator that encodes the far-field behavior (with respect to a stationary observer) in the asymptotic regions of the black hole: the event and cosmological horizons. The authors also use the miraculous property (quoting Chandrasekhar)—that the Dirac equation can be separated into radial and angular ordinary differential equations—to make the link between the time-dependent scattering operator and its stationary counterpart. This leads to a nice expression of the scattering matrix at fixed energy in terms of stationary solutions of the system of separated equations. In a second part, the authors use this expression of the scattering matrix to study the uniqueness property in the associated inverse scattering problem at fixed energy. Using essentially the particular form of the angular equation (that can be solved explicitly by Frobenius method) and the Complex Angular Momentum technique on the radial equation, the authors are finally able to determine uniquely the metric of the black hole from the knowledge of the scattering matrix at a fixed energy.

In this article the authors study Hamiltonian flows associated to smooth functions R R restricted to energy levels close to critical levels. They assume the existence of a saddle-center equilibrium point in the zero energy level . The Hamiltonian function near is assumed to satisfy Moser's normal form and is assumed to lie in a strictly convex singular subset of . Then for all small, the energy level contains a subset near , diffeomorphic to the closed -ball, which admits a system of transversal sections , called a foliation. is a singular foliation of and contains two periodic orbits and as binding orbits. is the Lyapunoff orbit lying in the center manifold of , has Conley-Zehnder index and spans two rigid planes in . has Conley-Zehnder index and spans a one parameter family of planes in . A rigid cylinder connecting to completes . All regular leaves are transverse to the Hamiltonian vector field. The existence of a homoclinic orbit to in follows from this foliation.

Our analysis adapts the robust energy method developed for the study of energy critical bubbles by Merle-Rapha¨el-Rodnianski, Rapha¨el-Rodnianski and Rapha¨el- Schweyer, the study of this issue for the supercritical semilinear heat equation done by Herrero-Vel´azquez, Matano-Merle and Mizoguchi, and the analogous result for the energy supercritical Schr¨odinger equation by Merle-Rapha¨el-Rodnianski.

The author constructs knot invariants categorifying the quantum knot variants for all representations of quantum groups. He shows that these invariants coincide with previous invariants defined by Khovanov for sl and sl and by Mazorchuk-Stroppel and Sussan for sl . The author's technique is to study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. These are the representation categories of certain finite dimensional algebras with an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the KLR algebra. When the Lie algebra under consideration is sl , the author shows that these categories agree with certain subcategories of parabolic category for gl .

The authors introduce and study the class of groups graded by root systems. They prove that if is an irreducible classical root system of rank and is a group graded by , then under certain natural conditions on the grading, the union of the root subgroups is a Kazhdan subset of . As the main application of this theorem the authors prove that for any reduced irreducible classical root system of rank and a finitely generated commutative ring with , the Steinberg group and the elementary Chevalley group have property . They also show that there exists a group with property which maps onto all finite simple groups of Lie type and rank , thereby providing a “unified” proof of expansion in these groups.

In this paper the authors apply to the zeros of families of -functions with orthogonal or symplectic symmetry the method that Conrey and Snaith (Correlations of eigenvalues and Riemann zeros, 2008) used to calculate the -correlation of the zeros of the Riemann zeta function. This method uses the Ratios Conjectures (Conrey, Farmer, and Zimbauer, 2008) for averages of ratios of zeta or -functions. Katz and Sarnak (Zeroes of zeta functions and symmetry, 1999) conjecture that the zero statistics of families of -functions have an underlying symmetry relating to one of the classical compact groups , and . Here the authors complete the work already done with (Conrey and Snaith, Correlations of eigenvalues and Riemann zeros, 2008) to show how new methods for calculating the -level densities of eigenangles of random orthogonal or symplectic matrices can be used to create explicit conjectures for the -level densities of zeros of -functions with orthogonal or symplectic symmetry, including all the lower order terms. They show how the method used here results in formulae that are easily modified when the test function used has a restricted range of support, and this will facilitate comparison with rigorous number theoretic -level density results.

The authors consider operators of the form in a bounded domain of where are nonsmooth Hörmander's vector fields of step such that the highest order commutators are only Hölder continuous. Applying Levi's parametrix method the authors construct a local fundamental solution for and provide growth estimates for and its first derivatives with respect to the vector fields. Requiring the existence of one more derivative of the coefficients the authors prove that also possesses second derivatives, and they deduce the local solvability of , constructing, by means of , a solution to with Hölder continuous . The authors also prove estimates on this solution.

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory is the type spectrum of some homogeneous model of . Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theorem (HMT), and analyzed from the points of view of computability theory and reverse mathematics. Previous computability theoretic results by Lange suggested a close connection between HMT and the Atomic Model Theorem (AMT), which states that every complete atomic theory has an atomic model. The authors show that HMT and AMT are indeed equivalent in the sense of reverse mathematics, as well as in a strong computability theoretic sense and do the same for an analogous result of Peretyat'kin giving necessary and sufficient conditions for when a set of types is the type spectrum of some model.