Source author record

Nikolai Saveliev

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
6topics
4close collaborators

Published work

12 publications

preprint2022arXiv

Topological obstructions to the diagonalisation of pseudodifferential systems

Given a matrix pseudodifferential operator on a smooth manifold, one may be interested in diagonalising it by choosing eigenvectors of its principal symbol in a smooth manner. We show that diagonalisation is not always possible, on the whole cotangent bundle or even in a single fibre. We identify global and local topological obstructions to diagonalisation and examine physically meaningful examples demonstrating that all possible scenarios can occur.

preprint2020arXiv

Classification of first order sesquilinear forms

A natural way to obtain a system of partial differential equations on a manifold is to vary a suitably defined sesquilinear form. The sesquilinear forms we study are Hermitian forms acting on sections of the trivial Cn\mathbb{C}^n-bundle over a smooth mm-dimensional manifold without boundary. More specifically, we are concerned with first order sesquilinear forms, namely, those generating first order systems. Our goal is to classify such forms up to GL(n,C)GL(n,\mathbb{C}) gauge equivalence. We achieve this classification in the special case of m=4m=4 and n=2n=2 by means of geometric and topological invariants (e.g. Lorentzian metric, spin/spinc^c structure, electromagnetic covector potential) naturally contained within the sesquilinear form - a purely analytic object. Essential to our approach is the interplay of techniques from analysis, geometry, and topology.

preprint2020arXiv

On the monopole Lefschetz number of finite order diffeomorphisms

Let KK be a knot in an integral homology 3-sphere YY, and ΣΣ the corresponding nn-fold cyclic branched cover. Assuming that ΣΣ is a rational homology sphere (which is always the case when nn is a prime power), we give a formula for the Lefschetz number of the action that the covering translation induces on the reduced monopole homology of ΣΣ. The proof relies on a careful analysis of the Seiberg--Witten equations on 3-orbifolds and of various ηη-invariants. We give several applications of our formula: (1) we calculate the Seiberg--Witten and Furuta--Ohta invariants for the mapping tori of all semi-free actions of Z/nZ/n on integral homology 3-spheres; (2) we give a novel obstruction (in terms of the Jones polynomial) for the branched cover of a knot in S3S^3 being an LL-space; (3) we give a new set of knot concordance invariants in terms of the monopole Lefschetz numbers of covering translations on the branched covers.

preprint2015arXiv

On the deleted squares of lens spaces

The configuration space F2(M)F_2 (M) of ordered pairs of distinct points in a manifold MM, also known as the deleted square of MM, is not a homotopy invariant of MM: Longoni and Salvatore produced examples of homotopy equivalent lens spaces MM and NN of dimension three for which F2(M)F_2 (M) and F2(N)F_2 (N) are not homotopy equivalent. In this paper, we study the natural question whether two arbitrary 33-dimensional lens spaces MM and NN must be homeomorphic in order for F2(M)F_2 (M) and F2(N)F_2 (N) to be homotopy equivalent. Among our tools are the Cheeger--Simons differential characters of deleted squares and the Massey products of their universal covers.

preprint2013arXiv

Index theory of the de Rham complex on manifolds with periodic ends

We study the de Rham complex on a smooth manifold with a periodic end modeled on an infinite cyclic cover X' \to X. The completion of this complex in exponentially weighted L^2-norms is Fredholm for all but finitely many exceptional weights determined by the eigenvalues of the covering translation map H_*(X') \to H_*(X'). We calculate the index of this weighted de Rham complex for all weights away from the exceptional ones.

preprint2011arXiv

Seiberg-Witten equations, end-periodic Dirac operators, and a lift of Rohlin's invariant

We introduce a gauge-theoretic integer lift of the Rohlin invariant of a smooth 4-manifold X with the homology of S1×S3S^1 \times S^3. The invariant has two terms; one is a count of solutions to the Seiberg-Witten equations on X, and the other is essentially the index of the Dirac operator on a non-compact manifold with end modeled on the infinite cyclic cover of X. Each term is metric (and perturbation) dependent, and we show that these dependencies cancel as the metric and perturbation vary in a 1-parameter family.

preprint2005arXiv

Rohlin's invariant and gauge theory III. Homology 4--tori

This is the third in our series of papers relating gauge theoretic invariants of certain 4-manifolds with invariants of 3-manifolds derived from Rohlin's theorem. Such relations are well-known in dimension three, starting with Casson's integral lift of the Rohlin invariant of a homology sphere. We consider two invariants of a spin 4-manifold that has the integral homology of a 4-torus. The first is a degree zero Donaldson invariant, counting flat connections on a certain SO(3)-bundle. The second, which depends on the choice of a 1-dimensional cohomology class, is a combination of Rohlin invariants of a 3-manifold carrying the dual homology class. We prove that these invariants, suitably normalized, agree modulo 2, by showing that they coincide with the quadruple cup product of 1-dimensional cohomology classes.

preprint2004arXiv

Rohlin's invariant and gauge theory II. Mapping tori

This is the second in a series of papers studying the relationship between Rohlin's theorem and gauge theory. We discuss an invariant of a homology S^1 cross S^3 defined by Furuta and Ohta as an analogue of Casson's invariant for homology 3-spheres. Our main result is a calculation of the Furuta-Ohta invariant for the mapping torus of a finite-order diffeomorphism of a homology sphere. The answer is the equivariant Casson invariant (Collin-Saveliev 2001) if the action has fixed points, and a version of the Boyer-Nicas (1990) invariant if the action is free. We deduce, for finite-order mapping tori, the conjecture of Furuta and Ohta that their invariant reduces mod 2 to the Rohlin invariant of a manifold carrying a generator of the third homology group. Under some transversality assumptions, we show that the Furuta-Ohta invariant coincides with the Lefschetz number of the action on Floer homology. Comparing our two answers yields an example of a diffeomorphism acting trivially on the representation variety but non-trivially on Floer homology.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.