results for au:Burghelea_D in:math

- May 26 2016 math.AT arXiv:1605.07688v1This paper but section 6 is essentially my lecture at The Eighth Congress of Romanian Mathematicians, June 26 - July 1, 2015, Iasi, Romania. The paper summarizes the definitions and the properties of the invariants associated to a real or an angle valued map in the framework of what we call an Alternative to Morse-Novikov theory. These invariants are configurations of points in the complex plane, configurations of vector spaces or modules indexed by complex numbers and collections of Jordan cells. The first are refinements of Betti numbers, the second of homology and the third of monodromy. Although not discussed in this paper but discussed in works this report is based on, these invariants are computer friendly (i.e. can be calculated by computer implementable algorithms when the source of the map is a simplicial complex and the map is simplicial) and are of relevance for the dynamics of flows which admit Lyapunov real or angle valued map.
- Mar 08 2016 math.AT arXiv:1603.01861v2This paper is a sequel of [2]. We propose a refinement of the Novikov-Betti numbers and of the Novikov homology (w.r. to a specified field) of a pair consisting of a compact ANR and a degree one integral cohomology class in the presence of a continuous angle valued map representing the cohomology class. The first refinement consists of finite configurations of points with multiplicity located in the punctured complex plane of total cardinality the Novikov-Betti numbers; equivalently monic polynomials with nonzero free coefficient. The refinement of Novikov homology consists in configurations of free modules over the ring of Laurent polynomials with coefficients in the specified field indexed by the points of the previous configurations, each of rank equal to the multiplicity of the point. In case the specified field is the field of complex numbers, these configurations of free modules can be canonically converted into configurations of Hilbert modules, all closed submodules of the L2- homology of the total space of the infinite cyclic cover defined by the angle valued map. A number of properties of these configurations are discussed.
- Sep 28 2015 math.AT arXiv:1509.07734v2To a pair (X,f), X compact ANR and f a continuous angle valued map defined on X, a fixed field and a nonnegative integer one assigns a finite configuration of complex numbers with multiplicities located in the punctured complex plane and a finite configuration of free modules over the ring of Laurent polynomials (with coefficients in the fixed field) indexed by the same complex numbers. This is done in analogy with the configuration of eigenvalues and of generalized eigenspaces of an invertible linear operator in a finite dimensional complex vector space. The configuration of complex numbers refines the Novikov - Betti number and the configuration of free modules refines the Novikov homology associated with the cohomology class defined by f, in the same way the collection of eigenvalues and of generalized eigen-spaces refine the dimension of the vector space and the vector space on which the operator acts. In the case the field is the field of complex numbers the configuration of free modules induces by "von-Neumann completion" a configuration of mutually orthogonal closed Hilbert submodules of the L 2--homology of the infinite cyclic cover of X determined by the map f, which is an Hilbert module over the von-Neumann algebra of complex L-infinity functions on the unit circle in the complex plane.
- Jan 13 2015 math.AT arXiv:1501.02486v3In this paper we consider the definition of " monodromy of an angle valued map" based on linear relations as proposed in Burghelea-Haller (3). This definition provides an alternative treatment of monodromy and computationally an alternative calculation of the "Jordan cells", topological persistence invariants of a circle valued maps introduced in Burghelea-Day (2). We give a new geometric proof that the monodromy is actually a homotopy invariant of a pair consisting of a compact ANR and an integral degree one cohomology class without any reference to the infinite cyclic cover associated to cohomology class as in (3), or to the graph representation associated an angle valued map defining the cohomology class as in (2). Most important, we describe an algorithm to calculate the monodromy for a simplicial angle valued map defined on a finite simplicial complex, providing a new algorithm for the calculation of the Jordan cells of the map, shorter than the one proposed in (2). We indicate the computational usefulness of "Jordan cells", and in particular of the proposed algorithm, for the calculation of other basic topological invariants of the pair.
- Jan 07 2015 math.AT arXiv:1501.01012v5We propose a refinement of the Betti numbers and of the homology with coefficients in a field of a compact ANR in the presence of a continuous real valued function. The refinement of Betti numbers consists of finite configurations of points with multiplicities in the complex plane whose total cardinality are the Betti numbers and the refinement of homology consists of configurations of vector spaces indexed by points in complex plane, with the same support as the first, whose direct sum is isomorphic to the homology. When the homology is equipped with a scalar product these vector spaces are canonically realized as mutually orthogonal subspaces of the homology. The assignments above are in analogy with the collections of eigenvalues and generalized eigenspaces of a linear map in a finite dimensional complex vector space. A number of remarkable properties of the above configurations are discussed.
- Mar 19 2013 math.AT arXiv:1303.4328v7In this paper one presents a collection of results about the "bar codes" and "Jordan blocks" introduced by Burghelea-Day as "computer friendly" invariants of a tame angle-valued map and one relates these invariants to the Betti numbers, Novikov Betti numbers and the monodromy of the underlying space and map. Among others, one organizes the bar codes as two configurations of points in C\0and one establishes their main properties: stability property and when the underlying space is a closed topological manifold, Poincaré duality property. One also provides an alternative "computer friendly" definition of the monodromy of an angle valued map based on the algebra of linear relations as well as a refinement of Morse and Morse-Novikov inequalities.
- May 22 2012 math.AT arXiv:1205.4439v1(lecture delivered at the Congress of the Romanian mathematicians, Brasov, June 2011) Using graph representations a new class of computable topological invariants associated with a tame real or angle valued map were recently introduced, providing a theory which can be viewed as an alternative to Morse-Novicov theory for real or angle valued Morse maps. The invariants are "barcodes" and "Jordan cells". From them one can derive all familiar topological invariants which can be derived via Morse-Novikov theory, like the Betti numbers and in the case of angle valued maps also the Novikov Betti numbers and the monodromy. Stability results for (some) bar codes and the homotopy invariance of the Jordan cells are the key results, and two new polynomials for any nonnegative integer (up to the dimension of the source) associated to a continuous nonzero complex valued map provide potentially interesting refinements of the Betti numbers and of the Novikov Betti numbers. In our theory the bar codes which are intervals with ends critical values/angles, the Jordan cells and the " canonical long exact sequence" of a tame map are the analogues of instantons between rest points, closed trajectories and of the Morse-Smale complex of the gradient of a Morse function in the Morse-Novikov theory.
- Feb 07 2012 math.AT arXiv:1202.1208v3In this paper we review the definition of the invariants "bar codes" and "Jordan cells" of real and angle valued tame maps as proposed in Burghelea and Dey and Carlsson et al and prove the homotopy invariance of the sum # B^c_r +#B^o_r-1$ and of the Jordan cells. Here B^c_r resp. B^o_r denote the sets of closed resp. open bar codes in dimension r and # denotes cardinality. In addition we provide calculation of some familiar topological invariants in terms of bar codes and Jordan cells. The presentation provides a different perspective on Morse-Novikov theory based on critical values, bar codes and Jordan cells rather than on critical points instantons and closed trajectories of a gradient of a real or angle valued map.
- We study circle valued maps and consider the persistence of the homology of their fibers. The outcome is a finite collection of computable invariants which answer the basic questions on persistence and in addition encode the topology of the source space and its relevant subspaces. Unlike persistence of real valued maps, circle valued maps enjoy a different class of invariants called Jordan cells in addition to bar codes. We establish a relation between the homology of the source space and of its relevant subspaces with these invariants and provide a new algorithm to compute these invariants from an input matrix that encodes a circle valued map on an input simplicial complex.
- This paper describes the construction of a canonical compactification of the space of trajectories and of the unstable/stable sets of a generic gradient like vector field on a closed manifold as well as a canonical structure of a smooth manifold with corners of these spaces. As an application we discuss the geometric complex associated with a gradient like vector field and show how differential forms can be integrated on its unstable/stable sets. Integration leads to a morphism between the de Rham complex and the geometric complex.
- The paper is an informal report on joint work with Stefan Haller on Dynamics in relation with Topology and Spectral Geometry. By dynamics one means a smooth vector field on a closed smooth manifold; the elements of dynamics of concern are the rest points, instantons and closed trajectories. One discusses their counting in the case of a generic vector field which has some additional properties satisfied by a still very large class of vector fields.
- The concept of topological persistence, introduced recently in computational topology, finds applications in studying a map in relation to the topology of its domain. Since its introduction, it has been extended and generalized in various directions. However, no attempt has been made so far to extend the concept of topological persistence to a generalization of `maps' such as cocycles which are discrete analogs of closed differential forms, a well known concept in differential geometry. We define a notion of topological persistence for 1-cocycles in this paper and show how to compute its relevant numbers. It turns out that, instead of the standard persistence, one of its variants which we call level persistence can be leveraged for this purpose. It is worth mentioning that 1-cocyles appear in practice such as in data ranking or in discrete vector fields.
- This paper is a short version of some joint work with Stefan Haller. It describes the structure of "smooth manifold with corners" on the space of possibly broken instantons of a generic smooth vector field on a closed smooth manifold.
- In this paper one considers three homotopy functors on the category of manifolds, $hH^\ast, cH^\ast, sH^\ast,$ and parallel them with other three homotopy functors on the category of connected commutative differential graded algebras, $HH^\ast, CH^\ast, SH^\ast.$ If $P$ is a smooth 1-connected manifold and the algebra is the de-Rham algebra of $P$ the two pairs of functors agree but in general do not. The functors $ HH^\ast $ and $CH^\ast$ can be also derived as Hochschild resp. cyclic homology of commutative differential graded algebra, but this is not the way they are introduced here. The third $SH^\ast ,$ although inspired from negative cyclic homology, can not be identified with any sort of cyclic homology of any algebra. The functor $sH^\ast$ might play some role in topology. Important tools in the construction of the functors $HH^\ast, CH^\ast $and $SH^\ast ,$ in addition to the linear algebra suggested by cyclic theory, are Sullivan minimal model theorem and the "free loop" construction described in this paper.
- We study the critical set C of the nonlinear differential operator F(u) = -u" + f(u) defined on a Sobolev space of periodic functions H^p(S^1), p >= 1. Let R^2_xy ⊂R^3 be the plane z = 0 and, for n > 0, let cone_n be the cone x^2 + y^2 = tan^2 z, |z - 2 pi n| < pi/2; also set Sigma = R^2_xy U U_n > 0 cone_n. For a generic smooth nonlinearity f: R -> R with surjective derivative, we show that there is a diffeomorphism between the pairs (H^p(S^1), C) and (R^3, Sigma) x H where H is a real separable infinite dimensional Hilbert space.
- Oct 31 2006 math.DG arXiv:math/0610875v1In this paper we extend Witten-Helffer-Sjöstrand theory from selfadjoint Laplacians based on fiber wise Hermitian structures, to non-selfadjoint Laplacians based on fiber wise non-degenerate symmetric bilinear forms. As an application we verify, up to sign, the conjecture about the comparison of the Milnor-Turaev torsion with the complex valued analytic torsion, for odd dimensional manifolds. This is done along the lines of Burghelea, Friedlander and Kappeler's proof of the Cheeger-Müller theorem.
- Apr 25 2006 math.DG arXiv:math/0604484v3In the spirit of Ray and Singer we define a complex valued analytic torsion using non-selfadjoint Laplacians. We establish an anomaly formula which permits to turn this into a topological invariant. Conjecturally this analytically defined invariant computes the complex valued Reidemeister torsion, including its phase. We establish this conjecture in some non-trivial situations.
- We consider a vector field $X$ on a closed manifold which admits a Lyapunov one form. We assume $X$ has Morse type zeros, satisfies the Morse--Smale transversality condition and has non-degenerate closed trajectories only. For a closed one form $\eta$, considered as flat connection on the trivial line bundle, the differential of the Morse complex formally associated to $X$ and $\eta$ is given by infinite series. We introduce the exponential growth condition and show that it guarantees that these series converge absolutely for a non-trivial set of $\eta$. Moreover the exponential growth condition guarantees that we have an integration homomorphism from the deRham complex to the Morse complex. We show that the integration induces an isomorphism in cohomology for generic $\eta$. Moreover, we define a complex valued Ray--Singer kind of torsion of the integration homomorphism, and compute it in terms of zeta functions of closed trajectories of $X$. Finally, we show that the set of vector fields satisfying the exponential growth condition is $C^0$--dense.
- Riemannian Geometry, Topology and Dynamics permit to introduce partially defined holomorphic functions on the variety of representations of the fundamental group of a manifold. The functions we consider are the complex valued Ray-Singer torsion, the Milnor-Turaev torsion, and the dynamical torsion. They are associated essentially to a closed smooth manifold equipped with a (co)Euler structure and a Riemannian metric in the first case, a smooth triangulation in the second case, and a smooth flow of type described in section 2 in the third case. In this paper we define these functions, describe some of their properties and calculate them in some case. We conjecture that they are essentially equal and have analytic continuation to rational functions on the variety of representations. We discuss the case of one dimensional representations and other relevant situations when the conjecture is true. As particular cases of our torsions, we recognize familiar rational functions in topology such as the Lefschetz zeta function of a diffeomorphism, the dynamical zeta function of closed trajectories, and the Alexander polynomial of a knot. A numerical invariant derived from Ray-Singer torsion and associated to two homotopic acyclic representations is discussed in the last section.
- We consider the following question: given $A \in SL(2,R)$, which potentials $q$ for the second order Sturm-Liouville problem have $A$ as its Floquet multiplier? More precisely, define the monodromy map $\mu$ taking a potential $q \in L^2([0,2\pi])$ to $\mu(q) = \tilde\Phi(2\pi)$, the lift to the universal cover $G = \widetilde{SL(2,R)}$ of $SL(2,R)$ of the fundamental matrix map $\Phi: [0,2\pi] \to SL(2,R)$, \[ \Phi(0) = I, \quad \Phi'(t) = \beginpmatrix 0 & 1 q(t) & 0 \endpmatrix \Phi(t). \]Let $H$ be the real infinite dimensional separable Hilbert space: we present an explicit diffeomorphism $\Psi: G_0 \times H \to H^0([0,2\pi])$ such that the composition $\mu \circ \Psi$ is the projection on the first coordinate. The key ingredient is the correspondence between potentials $q$ and the image in the plane of the first row of $\Phi$, parametrized by polar coordinates, which we call the Kepler transform. As an application among others, let $C_1 \subset L^2([0,2\pi])$ be the set of potentials $q$ for which the equation $-u'' + qu = 0$ admits a nonzero periodic solution: $C_1$ is diffeomorphic to the disjoint union of a hyperplane and cartesian products of the usual cone in $R^3$ with $H$.
- We define the geometric complex associated to a Morse-Bott-Smale vector field, cf. [Austin-Braam, 1995], and its associated spectral sequence. We prove an extension of the Bismut-Zhang theorem to Morse-Bott-Smale functions. The proof is based on the Bismut-Zhang theorem for Morse-Smale functions, see [Bismut-Zhang, 1992].
- We consider vector fields $X$ on a closed manifold $M$ with rest points of Morse type. For such vector fields we define the property of exponential growth. A cohomology class $\xi\in H^1(M;\mathbb R)$ which is Lyapunov for $X$ defines counting functions for isolated instantons and closed trajectories. If $X$ has exponential growth property we show, under a mild hypothesis generically satisfied, how these counting functions can be recovered from the spectral geometry associated to $(M,g,\omega)$ where $g$ is a Riemannian metric and $\omega$ is a closed one form representing $\xi$. This is done with the help of Dirichlet series and their Laplace transform.
- In this paper we extend and Poincare dualize the concept of Euler structures, introduced by Turaev for manifolds with vanishing Euler-Poincare characteristic, to arbitrary manifolds. We use the Poincare dual concept, co-Euler structures, to remove all geometric ambiguities from the Ray-Singer torsion by providing a slightly modified object which is a topological invariant. We show that when the co-Euler structure is integral then the modified Ray-Singer torsion when regarded as a function on the variety of generically acyclic complex representations of the fundamental group of the manifold is the absolute value of a rational function which we call in this paper the Milnor-Turaev torsion.
- Jul 30 2001 math.FA arXiv:math/0107197v2We consider the nonlinear Sturm-Liouville differential operator $F(u) = -u'' + f(u)$ for $u \in H^2_D([0, \pi])$, a Sobolev space of functions satisfying Dirichlet boundary conditions. For a generic nonlinearity $f: \RR \to \RR$ we show that there is a diffeomorphism in the domain of $F$ converting the critical set $C$ of $F$ into a union of isolated parallel hyperplanes. For the proof, we show that the homotopy groups of connected components of $C$ are trivial and prove results which permit to replace homotopy equivalences of systems of infinite dimensional Hilbert manifolds by diffeomorphisms.
- For a closed symplectic manifold $(M,\omega)$, a compatible almost complex structure $J$, a 1-periodic time dependent symplectic vector field $Z$ and a homotopy class of closed curves $\gamma$ we define a Floer complex based on 1-periodic trajectories of $Z$ in the homotopy class $\gamma$. We suppose that the closed 1-form $i_{Z_t}\omega$ represents a cohomology class $\beta(Z):=\beta$, independent of $t$. We show how to associate to $(M,\omega,\gamma,\beta)$ and to two pairs $(Z_i,J_i)$, $i=1,2$ with $\beta(Z_i)=\beta$ an invariant, the relative symplectic torsion, which is an element in the Whitehead group $Wh(\Lambda_0)$, of a Novikov ring $\Lambda_0$ associated with $(M,\omega,Z,\gamma)$. If the cohomology of the Floer complex vanishes or if $\gamma$ is trivial we derive an invariant, the symplectic torsion for any pair $(Z,J)$. We prove, that when $\beta(\gamma)\neq 0$, or when $\gamma$ is non-trivial and $\beta$ is 'small', the cohomology of the Floer complex is trivial, but the symplectic torsion can be non-trivial. Using the first fact we conclude results about non-contractible 1-periodic trajectories of 1-periodic symplectic vector fields. In this version we will only prove the statements for closed weakly monotone manifolds, but note that they remain true as formulated for arbitrary closed symplectic manifolds.
- Witten-Helffer-Sjöstrand theory is an addition to Morse theory and Hodge-de Rham theory for Riemannian manifolds and considerably improves on them by injecting some spectral theory of elliptic operators. It can serve as a general tool to prove results about comparison of numerical invariants associated to compact manifolds analytically, i.e. by using a Riemannian metric, or combinatorially, i.e. by using a triangulation. It can be also refined to provide an alternative presentation of Novikov Morse theory and improve on it in many respects. In particular it can be used in symplectic topology and in dynamics. This material represents my Notes for a three lectures course given at the Goettingen summer school on groups and geometry, June 2000.
- Jan 09 2001 math.DG arXiv:math/0101043v1We consider systems $(M,\omega,g)$ with $M$ a closed smooth manifold, $\omega$ a real valued closed one form and $g$ a Riemannian metric, so that $(\omega,g)$ is a Morse-Smale pair, Definition~2. We introduce a numerical invariant $\rho(\omega,g)\in[0,\infty]$ and improve Morse-Novikov theory by showing that the Novikov complex comes from a cochain complex of free modules over a subring $\Lambda'_{[\omega],\rho}$ of the Novikov ring $\Lambda_{[\omega]}$ which admits surjective ring homomorphisms $\ev_s:\Lambda'_{[\omega],\rho}\to\C$ for any complex number $s$ whose real part is larger than $\rho$. We extend Witten-Helffer-Sjöstrand results from a pair $(h,g)$ where $h$ is a Morse function to a pair $(\omega,g)$ where $\omega$ is a Morse one form. As a consequence we show that if $\rho<\infty$ the Novikov complex can be entirely recovered from the spectral geometry of $(M,\omega,g)$.
- Oct 01 1999 math.DG arXiv:math/9909186v1This paper achieves, among other things, the following: 1)It frees the main result of [BFKM] from the hypothesis of determinant class and extends this result from unitary to arbitrary representations. 2)It extends (and at the same times provides a new proof of) the main result of Bismut and Zhang [BZ] from finite dimensional representations of $\Gamma$ to representations on an ${\cal A}-$Hilbert module of finite type (${\cal A}$ a finite von Neumann algebra). The result of [BZ] corresponds to ${\cal A}=\bbc.$ 3)It provides interesting real valued functions on the space of representations of the fundamental group $\Gamma$ of a closed manifold M. These functions might be a useful source of topological and geometric invariants of M. These objectives are achieved with the help of the relative torsion $\cal R $, first introduced by Carey, Mathai and Mishchenko [CMM] in special cases. The main result of this paper calculates explicitly this relative torsion (cf Theorem 0.1).
- Jul 03 1998 math.DG arXiv:math/9807008v2Witten- Helffer-Sjöstrand theory is a considerable addition to the De Rham- Hodge theory for Riemannian manifolds and can serve as a general tool to prove results about comparison of numerical invariants associated to compact manifolds analytically, i.e. by using a Riemannian metric, or combinatorially, i.e by using a triangulation. In this presentation a triangulation, or a partition of a smooth manifold in cells, will be viewed in a more analytic spirit, being provided by the stable manifolds of the gradient of a nice Morse function. WHS theory was recently used both for providing new proofs for known but difficult results in topology, as well as new results and a positive solution for an important conjecture about $L_2-$torsion, cf [BFKM]. This presentation is a short version of a one quarter course I have given during the spring of 1997 at OSU.
- Jul 03 1998 math.DG arXiv:math/9807007v2Ray Singer torsion is a numerical invariant associated with a compact Riemannian manifold equipped with a flat bundle and a Hermitian structure on this bundle. In this note we show how one can remove the dependence on the Riemannian metric and on the Hermitian structure with the help of a base point and of an Euler structure, in order to obtain a topological invariant. A numerical invariant for an Euler structure and additional data is also constructed.
- For a closed manifold equipped with a Riemannian metric, a triangulation, a representation of its fundamental group on an Hilbert module of finite type (over of finite von Neumann algebra), and a Hermitian structure on the flat bundle associated to the representation, one defines a numerical invariant, the relative torsion. The relative torsion is a positive real number and unlike the analytic torsion or the Reidemeister torsion, which are defined only when the pair manifold- representation is of determinant class, is always defined. When the pair is of determinant class the relative torsionis equal to the quotient of the analytic and the Reidemeister torsion.We calculate the relative torsion.
- We extend the definition of analytic and Reidemeister torsion from closed compact Riemannian manifolds to compact Riemannian manifolds with boundary $(M, \partial M)$, given a flat bundle $\Cal F$ of $\Cal A$-Hilbert modules of finite type and a decomposition of the boundary $\partial M =\partial_- M \cup \partial_+ M$ into disjoint components. In particular we extend the $L-2$ analytic and Reidemeister torsions to compact manifolds with boundary. If the system $(M,\partial_-M, \partial_+M, \Cal F)$ is of determinant class we compute the quotient of the analytic and the Reidemeister torsion and prove glueing formulas for both of them. In particular we answer positively Conjecture 7.6 in [LL]
- For a closed Riemannian manifold we extend the definition of analytic and Reidemeister torsion associated to an orthogonal representation of fundamental group on a Hilbert module of finite type over a finite von Neumann algebra. If the representation is of determinant class we prove, generalizing the Cheeger-Müller theorem, that the analytic and Reidemeister torsion are equal. In particular, this proves the conjecture that for closed Riemannian manifolds with positive Novikov-Shubin invariants, the L2 analytic and Reidemeister torsions are equal.