arXiv research

We introduce a notion of cobordism of Callias-type operators over complete Riemannian manifolds and prove that the index is preserved by such a cobordism. As an application we prove a gluing formula for Callias-type index. In particular, a usual index of an elliptic operator on a compact manifold can be computed as a s…

We compute the index of a Callias-type operator with APS boundary condition on a manifold with compact boundary in terms of combination of indexes of induced operators on a compact hypersurface. Our result generalizes the classical Callias-type index theorem to manifolds with compact boundary.

We study differential operators on complete Riemannian manifolds which act on sections of a bundle of finite type modules over a von Neumann algebra with a trace. We prove a relative index and a Callias-type index theorems for von Neumann indexes of such operators. We apply these results to obtain a version of Atiyah's…

A Dirac-type operator on a complete Riemannian manifold is of Callias-type if its square is a Schrödinger-type operator with a potential uniformly positive outside of a compact set. We develop the theory of Callias-type operators twisted with Hilbert $C^\ast$-module bundles and prove an index theorem for such operators…

The paper provides obstructions to positive scalar curvature for certain manifolds with group actions.

We consider a complete Riemannian manifold M whose boundary is a disjoint union of finitely many complete connected Riemannian manifolds. We compute the index of a local boundary value problem for a strongly Callias-type operator on M. Our result extends an index theorem of D. Freed to non-compact manifolds, thus provi…

Interprets coarse symbol and index classes for Callias type operators.

A generalization of Callias' index theorem for self adjoint Dirac operators with skew adjoint potentials on asymptotically conic manifolds is presented in which the potential term may have constant rank nullspace at infinity. The index obtained depends on the choice of a family of Fredholm extensions, though as in the …

We study the index of the APS boundary value problem for a strongly Callias-type operator $D$ on a complete even dimensional Riemannian manifold $M$ (the odd dimensional case was considered in our previous paper arXiv:1706.06737). We use this index to define the relative $η$-invariant $η(A_1,A_0)$ of two strongly Calli…

Study on symmetric operators on non-compact manifolds, focusing on their index modulo 2.

The virtual dimensions of both framed and unframed SU(2) magnetic monopoles on asymptotically conic 3-manifolds are obtained by computing the index of a Fredholm extension of the associated deformation complex. The unframed dimension coincides with the one obtained by Braam for conformally compact 3-manifolds. The comp…

We formulate, for any Lie group G acting isometrically on a manifold M, the general notion of a G-equivariant elliptic operator that is invertible outside of a G-cocompact subset of M. We prove a version of the Rellich lemma for this setting and use this to define the equivariant index of such operators. We show that G…

We study the Cauchy data spaces of the strongly Callias-type operators using maximal domain on manifolds with non-compact boundary, with the aim of understanding the Atiyah-Patodi-Singer index and elliptic boundary value problems.

Study of spectral flow in symmetric Toeplitz operator families.

We provide criteria for self-adjointness and τ-Fredhomness of first and second order differential operators acting on sections of infinite dimensional bundles, whose fibers are modules of finite type over a von Neumann algebra A endowed with a trace τ. We extend the Callias-type index to operators acting on sections of…

The goal is to understand the index-theoretic aspects of the recent preprint of R. Nest and F. Radulescu, math.OA/9911042. The basic observation (due to E. Guenter/N. Higson) is that the index of the Toeplitz operator is equal to the index of an associated Callias type operator, i.e. a Dirac operator with potential, th…

We show that the (graded) spectral flow of a family of Toeplitz operators on a complete Riemannian manifold is equal to the index of a certain Callias-type operator. When the dimension of the manifold is even this leads to a cohomological formula for the spectral flow. As an application, we compute the spectral flow of…

We study the index of the APS boundary value problem for a strongly Callias-type operator D on a complete Riemannian manifold $M$. We show that this index is equal to an index on a simpler manifold whose boundary is a disjoint union of two complete manifolds $N_0$ and $N_1$. If the dimension of $M$ is odd we show that …

The equivariant coarse index is well-understood and widely used for actions by discrete groups. We extend the definition of this index to general locally compact groups. We use a suitable notion of admissible modules over $C^*$-algebras of continuous functions to obtain a meaningful index. Inspired by work by Roe, we t…

Study of eta invariant for non-compact manifolds via Dirac-type operators.

Consider a proper, isometric action by a unimodular, locally compact group $G$ on a complete Riemannian manifold $M$. For equivariant elliptic operators that are invertible outside a cocompact subset of $M$, we show that a localised index in the $K$-theory of the maximal group $C^*$-algebra of $G$ is well-defined. The …

AI generates theorems and proofs for training theorem provers.

Global inverse function theorem proved easily using Riemannian geometry.

A new comparison theorem for geometric spaces.

Paper develops formulas and theorems in Hermitian geometry.

The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

Proofs for Moon's theorem and its generalization.

Analyzes Saito vanishing theorem using $L^{2}$ methods.

Investigates proving geometric theorems over complex and real numbers using tilings.

Extends symplectic reduction and theorem to Lie algebroids.

Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.

Proves Thurston's bounded image theorem for Haken manifolds.

Method upgrades limit theorems to mixing limit theorems for dynamical systems.

Formulates Index III lemma and Rauch III theorem with applications.

In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…

The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.

Proves two theorems on odd-dimensional manifolds with boundary.

Sharp convergence theorem for sphere submanifolds proved.

INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.

A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.

Abstracts a theorem for non-smooth maps in infinite dimensions.

Atiyah-Singer theorem links math fields, predicts topological insights.

Paper generalizes a theorem for real analytic singularities.

The paper proves injectivity and vanishing theorems on compact Kahler manifolds.

Several proofs of Fáry--Milnor theorem are presented.

Reidemeister's theorem proved using smooth functions and transversality.

Proves an analytic Bertini theorem, generalizing previous work.