arXiv Science⌕ Search

arXiv subjects

Marina Prokhorova

Publications and source records attributed to Marina Prokhorova.

13 recordsLinked to original sources
arXiv2026

Family index for Fredholm extensions of semi-Fredholm operators

This paper is devoted to an abstract analogue of elliptic boundary value problems, namely, Fredholm realizations of semi-Fredholm operators in a Hilbert space. Such a realization is determined by an abstract boundary condition, which is a subspace in the space of abstract boundary values. We find the $K^0$ index of a family of such abstract boundary value problems, or the $K^1$ index in the self-adjoint case, in terms of the corresponding family of abstract boundary conditions. Our approach is based on passing from a Fredholm operator to its graph. The graph forms a Fredholm pair with the horizontal subspace, and we prove the index formula by deforming the horizontal subspace instead of the operator.

math.DG↗
arXiv2025

From graph to Riesz continuity

We show that every graph continuous family of unbounded operators in a Hilbert space becomes Riesz continuous after one-sided multiplication by an appropriate family of unitary operators. This result provides a simple definition of the index for graph continuous families of Fredholm operators, and we show that for such families this index coincides with the index defined by N. Ivanov in arXiv:2111.15081. This result also has two corollaries for operators with compact resolvents: (1) the identity map between the space of such operators with the Riesz topology and the space of such operators with the graph topology is a homotopy equivalence; (2) every graph continuous family of such operators acting between fibers of Hilbert bundles becomes Riesz continuous in appropriate trivializations of the bundles. For self-adjoint operators, multiplication by unitary operators should be replaced by conjugation. In general, a graph continuous family of self-adjoint operators with compact resolvents cannot be made Riesz continuous by an appropriate conjugation. We obtain a partial analogue of the "trivialization" result above for self-adjoint operators and describe obstructions to existence of such a trivialization in the general case. This motivates the notion of a polarization of a Hilbert bundle, and we prove a similar result for polarizations. These results are closely related to the recent work arXiv:2111.15081 of Ivanov and provide alternative proofs for some of his results. We then show that, under a minor assumption on the space of parameters and for operators which are neither essentially positive nor essentially negative, there is always a trivialization making the family Riesz continuous.

math.DG↗
arXiv2025

Spectral flow and Robin domains on metric graphs

This paper is devoted to the Neumann-Kirchhoff Laplacian on a finite metric graph. We prove an index theorem relating the nodal deficiency of an eigenfunction with (1) the Morse index of the Dirichlet-to-Neumann map, (2) its positive index and the first Betti number of the graph. We then generalize this result, replacing nodal points of an eigenfunction f with its Robin points (these are points with a prescribed value of f'/f, known as the Robin parameter, or delta coupling, or cotangent of Prüfer angle). This provides the Robin count, a generalization of the nodal and Neumann counts of an eigenfunction. We relate the Robin count deficiency with the positive index of the Robin map (a generalization of the Dirichlet-to-Neumann map). In addition, we show that two of the relevant indices are independent of the Prüfer angle. Our main tool is the spectral flow of the Laplacian with special families of boundary conditions. As an application of our results, we show that the spectral flow of these families is related to topological properties of the graph, such as its Betti number, the number of interaction vertices, and their positions with respect to the graph cycles.

math.SP↗
arXiv2025

The unitary group in the strong topology and a construction of Dixmier-Douady

By a theorem of Dixmier-Douady the unitary group of an infinite-dimensional separable Hilbert space $H$ in the strong operator topology is contractible. The Dixmier-Douady proof is based on an explicit construction of families of subspaces and operators in $H$ with rather special properties. Unfortunately, this proof leaves hidden the geometric meaning of the theorem. The first goal of this note is to give a direct geometric proof of this theorem. The second goal is to provide a geometic analogue of Dixmier-Douady construction.

math.FA↗
arXiv2025

Spaces of unbounded Fredholm operators: I. Homotopy equivalences

This paper is devoted to the space of unbounded Fredholm operators equipped with the graph topology, the subspace of operators with compact resolvent, and their subspaces consisting of self-adjoint operators. Our main results are the following: (1) Natural maps between these four spaces and classical spaces of bounded operators representing K-theory are homotopy equivalences. This provides an alternative proof of a particular case of results of Joachim. (2) The subspace of unbounded essentially positive Fredholm operators represents odd K-theory. (3) The subspace of invertible operators in each of these spaces of unbounded operators is contractible.

math.KT↗
arXiv2021

Spectral Sections

The paper is devoted to the notion of a spectral section introduced by Melrose and Piazza. In the first part of the paper we generalize results of Melrose and Piazza to arbitrary base spaces, not necessarily compact. The second part contains a number of applications, including cobordism theorems for families of Dirac type operators parametrized by a non-compact base space. In the third part of the paper we investigate whether Riesz continuity is necessary for existence of a spectral section or a generalized spectral section. In particular, we show that if a graph continuous family of regular self-adjoint operators with compact resolvents has a spectral section, then the family is Riesz continuous.

math.SP↗
arXiv2020

Self-adjoint local boundary problems on compact surfaces. II. Family index

The paper presents a first step towards a family index theorem for classical self-adjoint boundary value problems. We address here the simplest non-trivial case of manifolds with boundary, namely the case of two-dimensional manifolds. The first result of the paper is an index theorem for families of first order self-adjoint elliptic differential operators with local boundary conditions, parametrized by points of a compact topological space $X$. We compute the $K^1(X)$-valued index in terms of the topological data over the boundary. The second result is the universality of the index: we show that the index is a universal additive homotopy invariant for such families, if the vanishing on families of invertible operators is required.

math-ph↗
arXiv2019

Self-adjoint local boundary problems on compact surfaces. I. Spectral flow

The paper deals with first order self-adjoint elliptic differential operators on a smooth compact oriented surface with non-empty boundary. We consider such operators with self-adjoint local boundary conditions. The paper is focused on paths in the space of such operators connecting two operators conjugated by a unitary automorphism. The first result is the computation of the spectral flow for such paths in terms of the topological data over the boundary. The second result is the universality of the spectral flow: we show that the spectral flow is a universal additive invariant for such paths, if the vanishing on paths of invertible operators is required. In the next paper of the series we generalize these results to families of such operators parametrized by points of an arbitrary compact space instead of an interval. The integer-valued spectral flow is replaced then by the family index taking values in the $K^1$-group of the base space.

math.AP↗
arXiv2015

Homeomorphism criteria for the theory of grid generation

We give some general criteria of being a homeomorphism for continuous mappings of topological manifolds, as well as criteria of being a diffeomorphism for smooth mappings of smooth manifolds. As an illustration, we apply these criteria to the problems arising in two- and three-dimensional grid generation.

math.GT↗
arXiv2012

The spectral flow for Dirac operators on compact planar domains with local boundary conditions

Let $D_t$, $t \in [0,1]$ be an arbitrary 1-parameter family of Dirac type operators on a two-dimensional disk with $m-1$ holes. Suppose that all operators $D_t$ have the same symbol, and that $D_1$ is conjugate to $D_0$ by a scalar gauge transformation. Suppose that all operators $D_t$ are considered with the same locally elliptic boundary condition, given by a vector bundle over the boundary. Our main result is a computation of the spectral flow for such a family of operators. The answer is obtained up to multiplication by an integer constant depending only on the number of the holes in the disk. This constant is calculated explicitly for the case of the annulus ($m=2$).

math-ph↗
arXiv2009

The structure of the category of parabolic equations

We define here the category of partial differential equations. Special cases of morphisms from an object (equation) are symmetries of the equation and reductions of the equation by a symmetry groups, but there are many other morphisms. We are mostly interested in a subcategory that arises from second order parabolic equations on arbitrary manifolds. We introduce a certain structure in this category enabling us to find the simplest representative of every quotient object of the given object, and develop a special-purpose language for description and study of structures of this kind. An example that deals with nonlinear reaction-diffusion equation is discussed in more detail.

math.AP↗
arXiv2001

Factorization of nonlinear heat equation posed on Riemann manifold

There was proposed the method of a factorization of PDE. The method is based on reduction of complicated systems to more easy ones (for example, due to dimension decrease). This concept is proposed in general case for the arbitrary PDE systems, and its concrete investigation is developing for the heat equation case. There is considered the category of second order parabolic equations posed on arbitrary manifolds. In this category, for the given nonlinear heat equation we could find morphisms from it to other parabolic equations with the same or a smaller number of independent variables. This allows to receive some classes of solutions of original equation from the class of all solutions of such a reduced equation. Classification of morphisms (with the selection from every equivalence class of the simplest "canonical" representatives) is carried out. There are derived the necessary and sufficient conditions for canonical morphisms of heat equation to the parabolic equation on the other manifold. These conditions are formulated in the differential geometry language. The comparison with invariant solutions classes, obtained by the Lie group methods, is carried out. It is proved that discovered solution classes are richer than invariant solution classes, even if we find any (including discontinuous) symmetry groups of original equation.

math.AP↗