Examples of cohomology manifolds which are not homologically locally connected

Bredon has constructed a 2-dimensional compact cohomology manifold which is not homologically locally connected, with respect to the singular homology. In the present paper we construct infinitely many such examples (which are in addition metrizable spaces) in all remaining dimensions n?3.     

Categorified central extensions, étale Lie 2-groups and Lie?s Third Theorem for locally exponential Lie algebras

Lie?s Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinite-dimensional Lie algebras, which in turn is phrased in terms of an integration procedure for Lie algebra cocycles.This paper remedies the obstructions for integrating cocycles and central extensions from Lie algebras to Lie groups by generalising the integrating objects. Those objects obey the maximal coherence that one can expect. Moreover, we show that they are the universal ones for the integration problem.The main application of this result is that a Mackey-complete locally exponential Lie algebra (e.g., a Banach–Lie algebra) integrates to a Lie 2-group in the sense that there is a natural Lie functor from certain Lie 2-groups to Lie algebras, sending the integrating Lie 2-group to an isomorphic Lie algebra.     

Morse Theory for Geodesics in Conical Manifolds

The aim of this paper is to extend the Morse theory for geodesics to the conical manifolds. In a previous paper [15] we defined these manifolds as submanifolds of with a finite number of conical singularities. To formulate a good Morse theory we use an appropriate definition of geodesic, introduced in the cited work. The main theorem of this paper (see Theorem 3.6, section 3) proofs that, although the energy is nonsmooth, we can find a continuous retraction of its sublevels in absence of critical points. So, we can give a good definition of index for isolated critical values and for isolated critical points. We prove that Morse relations hold and, at last, we give a definition of multiplicity of geodesics which is geometrical meaningful. In section 5 we compare our theory with the weak slope approach existing in literature. Some examples are also provided.     

A bifurcation result for semi-Riemannian trajectories of the Lorentz force equation

We obtain a bifurcation result for solutions of the Lorentz equation in a semi-Riemannian manifold; such solutions are critical points of a certain strongly indefinite functionals defined in terms of the semi-Riemannian metric and the electromagnetic field. The flow of the Jacobi equation along each solution preserves the so-called electromagnetic symplectic form, and the corresponding curve in the symplectic group determines an integer valued homology class called the Maslov index of the solution.We study electromagnetic conjugate instants with symplectic techniques, and we prove at first, an analogous of the semi-Riemannian Morse Index Theorem (see (Calculus of Variations, Prentice-Hall, Englewood Cliffs, NJ, USA, 1963)). By using this result, together with recent results on the bifurcation for critical points of strongly indefinite functionals (see (J. Funct. Anal. 162(1) (1999) 52)), we are able to prove that each non-degenerate and non-null electromagnetic conjugate instant along a given solution of the semi-Riemannian Lorentz force equation is a bifurcation point.     

Semilinear elliptic variational inequalities with dependence on the gradient via Mountain Pass techniques

In this paper we consider a semilinear variational inequality with a gradient-dependent nonlinear term. Obviously the nature of this problem is non-variational. Nevertheless we study that problem associating a suitable semilinear variational inequality, variational in nature, with it, and performing an iterative technique used in De Figueiredo et al. (2004) [6] in order to treat semilinear elliptic equations when there is a gradient dependence on the nonlinearity. We prove the existence of a non-trivial non-negative weak solution u for our problem using essentially variational methods, a penalization technique and an iterative scheme. Via Lewy-Stampacchia’s estimates and regularity theory for elliptic equation we also show that u is differentiable and its gradient is α-H?lder continuous on for any α∈(0,1).     

Torsion in the matching complex and chessboard complex

Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vre?ica and ?ivaljevi? established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large n, the bottom nonvanishing homology of the matching complex Mn is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex Mn,n is a 3-group of exponent at most 9. When , the bottom nonvanishing homology of Mn,n is shown to be Z₃. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.     

Stochastic Navier-Stokes equations

We construct a solution to stochastic Navier-Stokes equations in dimension n4 with the feedback in both the external forces and a general infinite-dimensional noise. The solution is unique and adapted to the Brownian filtration in the 2-dimensional case with periodic boundary conditions or, when there is no feedback in the noise, for the Dirichlet boundary condition. The paper uses the methods of nonstandard analysis.The research of this author was supported by an SERC Grant.     

On superquadratic periodic systems with indefinite linear part

We consider a second order periodic system with an indefinite linear part and a potential function which is superquadratic but does not satisfy the AR-condition. Using Morse critical groups, we show that the system has at least one nontrivial solution.     

Transversality for equivariant exact 1-forms and gauge theory on 3-manifolds

An equivariant jet transversality framework is developed for the study of critical sets of invariant functions on G manifolds. Techniques are developed to extend transversality results to the infinite dimensional Fredholm setting. As an application, the generic structure of the SU(4) perturbed flat moduli space of an integral homology three-sphere is described, as well as the generic structure of the parameterized moduli space for a path of perturbations. A similar analysis of the U(3) moduli space for rational homology three-spheres is also carried out.     

Maurer–Cartan forms and the structure of Lie pseudo-groups

This paper begins a series devoted to developing a general and practical theory of moving frames for infinite-dimensional Lie pseudo-groups. In this first, preparatory part, we present a new, direct approach to the construction of invariant Maurer–Cartan forms and the Cartan structure equations for a pseudo-group. Our approach is completely explicit and avoids reliance on the theory of exterior differential systems and prolongation. The second paper [60] will apply these constructions in order to develop the moving frame algorithm for the action of the pseudo-group on submanifolds. The third paper [61] will apply Gr?bner basis methods to prove a fundamental theorem on the freeness of pseudo-group actions on jet bundles, and a constructive version of the finiteness theorem of Tresse and Kumpera for generating systems of differential invariants and also their syzygies. Applications of the moving frame method include practical algorithms for constructing complete systems of differential invariants and invariant differential forms, classifying their syzygies and recurrence relations, analyzing invariant variational principles, and solving equivalence and symmetry problems arising in geometry and physics.     

Cup and cap products in intersection (co)homology

We construct cup and cap products in intersection (co)homology with field coefficients. The existence of the cap product allows us to give a new proof of Poincaré duality in intersection (co)homology which is similar in spirit to the usual proof for ordinary (co)homology of manifolds.     

Two solutions for inhomogeneous nonlinear elliptic equations at critical growth

The existence of two nontrivial solutions for a class of fully nonlinear problems at critical growth with perturbations of lower order is proved. The first solution is obtained via a local minimization argument while the second solution follows by a non-smooth mountain pass theorem.     

Topological structure of non-contractible loop space and closed geodesics on real projective spaces with odd dimensions

In this paper, we use Chas–Sullivan theory on loop homology and Leray–Serre spectral sequence to investigate the topological structure of the non-contractible component of the free loop space on the real projective spaces with odd dimensions. Then we apply the result to get the resonance identity of non-contractible homologically visible prime closed geodesics on such spaces provided the total number of distinct prime closed geodesics is finite.     

A variational approach to the regularity of minimal surfaces of annulus type in Riemannian manifolds

Given two Jordan curves in a Riemannian manifold, a minimal surface of annulus type bounded by these curves is described as the harmonic extension of a critical point of some functional (the Dirichlet integral) in a certain space of boundary parametrizations. The H2,2-regularity of the minimal surface of annulus type will be proved by applying the critical points theory and Morrey's growth condition.     

A Nash type solution for hemivariational inequality systems

In this paper, we prove an existence result for a general class of hemivariational inequality systems using the Ky Fan version of the KKM theorem Fan (1984) [10] or Tarafdar fixed points Tarafdar (1987) [11]. As application, we give an infinite-dimensional version for the existence result of Nash generalized derivative points introduced recently by Kristály (2010) [5]. We also give an application to a general hemivariational inequality system.     

The Brake Orbits of Hamiltonian Systems on Positive-type Hypersurfaces

This paper deals with the brake orbits of Hamiltonian system on given energy hypersurfaces Σ = H ⁻¹(1). We introduce a class of contact type but not necessarily star-shaped hypersurfaces in ℝ²ⁿ and call them normalized positive-type hypersurfaces. By using of the critical point theory, we prove that if Σ is a partially symmetric normalized positive-type hypersurface, it must carries a brake orbit of (HS). Furthermore, we obtain some multiplicity results under certain pinching conditions. Our results include the earlier works on this subject given by P. Rabinowitz and A. Szulkin in star-shaped case. An example of partially symmetric normalized positive-type hypersurface in ℝ⁴ that is not star-shaped is also presented Partially supported by NNSF of China (10571085) and Science Foundation of Hohai University.     

The chromatic polynomial of fatgraphs and its categorification

Motivated by Khovanov homology and relations between the Jones polynomial and graph polynomials, we construct a homology theory for embedded graphs from which the chromatic polynomial can be recovered as the Euler characteristic. For plane graphs, we show that our chromatic homology can be recovered from the Khovanov homology of an associated link. We apply this connection with Khovanov homology to show that the torsion-free part of our chromatic homology is independent of the choice of planar embedding of a graph. We extend our construction and categorify the Bollobás-Riordan polynomial (a generalization of the Tutte polynomial to embedded graphs). We prove that both our chromatic homology and the Khovanov homology of an associated link can be recovered from this categorification.     

Isomorphic homotopy groups of certain regular sets and their images

In this paper we study the relation between the topology of the set R(f) of regular points and the topology of its image f(R(f)), for some special maps acting between two manifolds M and N. The results are oriented towards negative examples for the inverse problem of deciding whether a given closed subset of the source manifold is a critical set.     

Recursion and group structures of soliton equations

The recursion operator method for nonlinear evolution equations integrable by the inverse spectral transform method is discussed. This method enables us to present the integrable equations in a compact and convenient form and to construct the infinite-dimensional groups of general Bäcklund transformations and the infinite-dimensional symmetry groups for these equations. Adjoint representation of the spectral problems plays a central role in the recursion operator method. Nonlinear integrable equations in 1+1 and 1+2 dimensions are considered.     

Multiple closed geodesics on 3-spheres

This paper is devoted to a study on closed geodesics on Finsler and Riemannian spheres. We call a prime closed geodesic on a Finsler manifold rational, if the basic normal form decomposition (cf. [Y. Long, Bott formula of the Maslov-type index theory, Pacific J. Math. 187 (1999) 113-149]) of its linearized Poincaré map contains no 2×2 rotation matrix with rotation angle which is an irrational multiple of π, or irrational otherwise. We prove that if there exists only one prime closed geodesic on a d-dimensional irreversible Finsler sphere with d?2, it cannot be rational. Then we further prove that there exist always at least two distinct prime closed geodesics on every irreversible Finsler 3-dimensional sphere. Our method yields also at least two geometrically distinct closed geodesics on every reversible Finsler as well as Riemannian 3-dimensional sphere. We prove also such results hold for all compact simply connected 3-dimensional manifolds with irreversible or reversible Finsler as well as Riemannian metrics.