Conley–Morse–Forman Theory for Combinatorial Multivector Fields on Lefschetz Complexes

We introduce combinatorial multivector fields, associate with them multivalued dynamics and study their topological features. Our combinatorial multivector fields generalize combinatorial vector fields of Forman. We define isolated invariant sets, Conley index, attractors, repellers and Morse decompositions. We provide a topological characterization of attractors and repellers and prove Morse inequalities. The generalization aims at algorithmic analysis of dynamical systems through combinatorialization of flows given by differential equations and through sampling dynamics in physical and numerical experiments. We provide a prototype algorithm for such applications.     

Discrete morse theory and the cohomology ring

In [5], we presented a discrete Morse Theory that can be applied to general cell complexes. In particular, we defined the notion of a discrete Morse function, along with its associated set of critical cells. We also constructed a discrete Morse cocomplex, built from the critical cells and the gradient paths between them, which has the same cohomology as the underlying cell complex. In this paper we show how various cohomological operations are induced by maps between Morse cocomplexes. For example, given three discrete Morse functions, we construct a map from the tensor product of the first two Morse cocomplexes to the third Morse cocomplex which induces the cup product on cohomology. All maps are constructed by counting certain configurations of gradient paths. This work is closely related to the corresponding formulas in the smooth category as presented by Betz and Cohen [2] and Fukaya [11], [12].

     

Oriented matroids, complex manifolds, and a combinatorial model for BU

We introduce a new notion of complex oriented matroid and develop some basic properties of this object. Our definition of complex oriented matroids bears the same relationship to classical oriented matroids that the stratification of the complex plane into nine components corresponding to the signs of the complex and real parts has with the three-component sign stratification of the real line. We then use these complex oriented matroids to set up the foundations of a combinatorial version of complex geometry analogous to MacPherson's combinatorial differential manifolds; in this world, the representing object for the functor of (combinatorial) complex vector bundles is the nerve of a poset of complex oriented matroids. We conclude by showing that this space is homotopy equivalent to the complex Grassmannian, thus deducing that our combinatorial world is able to completely capture the notion of complex vector bundles.     

Topologies on function spaces

Function spaces play an important role in complex analysis, in the theory of differential equations, in functional analysis and in almost every other branch of modern mathematics. In this paper we give and study the notion of clopen convergence. Also, we study the notion of clopen continuity and define new topologies on function spaces. These results generalize basic results of R. Arens, J. Dugundji and A. Di Concilio (see [1], [4], [2] and [3]).     

Morse inequalities for the Koszul complex of multi-persistence

In this paper, we define the homological Morse numbers of a filtered cell complex in terms of relative homology of nested filtration pieces, and derive inequalities relating these numbers to the Betti tables of the multi-parameter persistence modules of the considered filtration. Using the Mayer-Vietoris spectral sequence we first obtain strong and weak Morse inequalities involving the above quantities, and then we improve the weak inequalities achieving a sharp lower bound for homological Morse numbers. Furthermore, we prove a sharp upper bound for homological Morse numbers, expressed again in terms of the Betti tables.     

Selberg and Ruelle zeta functions for non-unitary twists

In this paper we study the dynamical zeta functions of Ruelle and Selberg associated with the geodesic flow of a compact hyperbolic odd-dimensional manifold. These are functions of a complex variable s in some right half-plane of \(\mathbb {C}\). Using the Selberg trace formula for arbitrary finite dimensional representations of the fundamental group of the manifold, we establish the meromorphic continuation of the dynamical zeta functions to the whole complex plane. We explicitly describe the singularities of the Selberg zeta function in terms of the spectrum of certain twisted Laplace and Dirac operators.     

On critical orbits and sectional hyperbolicity of the nonwandering set for flows

In this note, we introduce the notion of nonuniformly sectional hyperbolic set and use it to prove that any C¹-open set which contains a residual subset of vector fields with nonuniformly sectional hyperbolic critical set also contains a residual subset of vector fields with sectional hyperbolic nonwandering set. This not only extends Theorem A of Castro [11], but using suspensions we recover it.     

Right-handed vector fields & the Lorenz attractor

The main purpose of this paper is to introduce a class of vector fields on the 3-sphere that we call “right-handed”. Roughly speaking, they are characterized by the fact that any two orbits link positively. We give various natural examples and provide some kind of homological characterization. We then describe some of the main dynamical properties of these flows. This article is based on the 5th Takagi Lectures that the author delivered at the University of Tokyo on October 4 and 5, 2008.     

Gradient-like flows and self-indexing in stratified Morse theory

We develop the idea of self-indexing and the technology of gradient-like vector fields in the setting of Morse theory on a complex algebraic stratification. Our main result is the local existence, near a Morse critical point, of gradient-like vector fields satisfying certain “stratified dimension bounds up to fuzz” for the ascending and descending sets. As a global consequence of this, we derive the existence of self-indexing Morse functions.     

A boolean transfer principle from L*-Algebras to AL*-Algebras

Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is presupposed. MSC: 03C90, 03E40, 17B65, 46L10.     

Morse equation of attractors for nonsmooth dynamical systems

This paper is concerned with a Morse theory of attractors for finite-dimensional nonsmooth dynamical systems described by differential inclusions with upper semi-continuous righthand sides. We first show that all open attractor neighborhoods of an attractor share the same homotopy type. Then based on this basic fact we introduce the concept of homology index for Morse sets and establish Morse inequalities and Morse equation by using smooth Morse–Lyapunov functions.     

On weakly (τ, m)-continuous functions

In this paper we introduce a new notion of weakly (τ, m)-continuous functions as functions from a topological space into a set satisfying some minimal conditions. We obtain some characterizations and several properties of such functions. This function leads to the formulation of a unified theory of weak continuity [20], almosts-continuity [33],p(θ)-continuity [10] andp-continuity [41].     

A unified theory of weak continuity for functions

In this paper we introduce a new notion of weaklyM-continuous functions as functions from a set satisfying some minimal conditions into a set satisfying some minimal conditions. We obtain some characterizations and several properties of such functions. This function leads to the formulation of a unified theory of weak continuity [27], almosts-continuity [43],p(θ)-continuity [10] andp-continuity [59].     

On normal invariants of certain manifolds

A method is presented for computing the set of homotopy classes [X, G/PL], where X is a finite CW complex satisfying certain homological conditions. The result obtained is applied to compute normal invariants of products of projective spaces.     

A radical splitting theorem for bernstein algebras

We introduce the notion of radical in Bernstein algebras and prove a splitting theorem, that is an analog of a well-known statement in classical varieties of algebras. Note that in this situation Bernstein algebras are more similar to solvable Lie and Malcev algebras (see [4], [6]) than to associative, Jordan or Binary Lie ones.

Throughout the paper all algebras and vector spaces are finite dimensional over an algebraically closed field k of characteristic 0.     

Dissipative differential inclusions,set-valued energy storage and supply rate maps,and stability of discontinuous feedback systems

In this paper, we develop dissipativity notions for dynamical systems with discontinuous vector fields. Specifically, we consider dynamical systems with Lebesgue measurable and locally essentially bounded vector fields characterized by differential inclusions involving Filippov set-valued maps specifying a set of directions for the system velocity and admitting Filippov solutions with absolutely continuous curves. In particular, we introduce a generalized definition of dissipativity for discontinuous dynamical systems in terms of set-valued supply rate maps and set-valued storage maps consisting of locally Lebesgue integrable supply rates and Lipschitz continuous storage functions, respectively. In addition, we introduce the notion of a set-valued available storage map and a set-valued required supply map, and show that if these maps have closed convex images they specialize to single-valued maps corresponding to the smallest available storage and the largest required supply of the differential inclusion, respectively. Furthermore, we show that all system storage functions are bounded from above by the largest required supply and bounded from below by the smallest available storage, and hence, a dissipative differential inclusion can deliver to its surroundings only a fraction of its generalized stored energy and can store only a fraction of the generalized work done to it. Moreover, extended Kalman–Yakubovich–Popov conditions, in terms of the discontinuous system dynamics, characterizing dissipativity via generalized Clarke gradients and locally Lipschitz continuous storage functions are derived. Finally, these results are then used to develop feedback interconnection stability results for discontinuous systems thereby providing a generalization of the small gain and positivity theorems to systems with discontinuous vector fields.     

Meromorphic continuation of dynamical zeta functions via transfer operators

We describe a method to prove meromorphic continuation of dynamical zeta functions to the entire complex plane under the condition that the corresponding partition functions are given via a dynamical trace formula from a family of transfer operators. Further we give general conditions for the partition functions associated with general spin chains to be of this type and provide various families of examples for which these conditions are satisfied.     

An index theory for paths that are solutions of a class of strongly indefinite variational problems

We generalize the Morse index theorem of [12,15] and we apply the new result to obtain lower estimates on the number of geodesics joining two fixed non conjugate points in certain classes of semi-Riemannian manifolds. More specifically, we consider semi-Riemannian manifolds admitting a smooth distribution spanned by commuting Killing vector fields and containing a maximal negative distribution for . In particular we obtain Morse relations for stationary semi-Riemannian manifolds (see [7]) and for the G?del-type manifolds (see [3]). Received: 4 April 2001 / Accepted: 27 September 2001 / Published online: 23 May 2002 The authors are partially sponsored by CNPq (Brazil) Proc. N. 301410/95 and N. 300254/01-6. Parts of this work were done during the visit of the two authors to the IMPA, Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brazil, in January and February 2001. The authors wish to express their gratitude to all Faculty and Staff of the IMPA for their kind hospitality.