γ-Active Constraints in Convex Semi-Infinite Programming

In this article, we extend the definition of γ-active constraints for linear semi-infinite programming to a definition applicable to convex semi-infinite programming, by two approaches. The first approach entails the use of the subdifferentials of the convex constraints at a point, while the second approach is based on the linearization of the convex inequality system by means of the convex conjugates of the defining functions. By both these methods, we manage to extend the results on γ-active constraints from the linear case to the convex case.     

Separating the solution sets of analytical and polynomial systems

A linear inequality system with infinitely many constraints is polynomial (analytical) if its index set is a compact interval of the real line and all its coefficients are polynomial (analytical, respectively) functions of the index on this interval. This paper provides an example of analytical system whose solution set cannot be the solution set of any polynomial system. Research supported by DGES of Spain and FEDER of UE, Grant BFM2002-04114-C02-01. Research supported by CONACyT of Mexico, Grant 130036. Research partially supported by CONACyT of Mexico, Grant 44003.     

Capelli identities for classical Lie algebras

We extend the Capelli identity from the Lie algebra to the other classical Lie algebras and . We employ the theory of reductive dual pairs due to Howe. Received: 12 February 1997 / in revised form: 24 July 1998     

Class of singular integral operators

A class of singular integral operators is studied from the point of view of the boundedness of their action from some symmetric spaces into other spaces.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 1, pp. 105–110, January, 1991.     

A first countable linearly Lindelöf not Lindelöf topological space

A topological space X is called linearly Lindelöf if every increasing open cover of X has a countable subcover. It is well known that every Lindelöf space is linearly Lindelöf. The converse implication holds only in particular cases, such as X being countably paracompact or if nw(X)<ℵω.Arhangel?skii and Buzyakova proved that the cardinality of a first countable linearly Lindelöf space does not exceed ℵ₀². Consequently, a first countable linearly Lindelöf space is Lindelöf if ℵω>ℵ₀². They asked whether every linearly Lindelöf first countable space is Lindelöf in ZFC. This question is supported by the fact that all known linearly Lindelöf not Lindelöf spaces are of character at least ℵω. We answer this question in the negative by constructing a counterexample from MA+ℵω<ℵ₀².A modification of Alster?s Michael space that is first countable is presented.     

Kirwan-Novikov inequalities on a manifold with boundary

We extend the Novikov Morse-type inequalities for closed 1-forms in 2 directions. First, we consider manifolds with boundary. Second, we allow a very degenerate structure of the critical set of the form, assuming only that the form is non-degenerated in the sense of Kirwan. In particular, we obtain a generalization of a result of Floer about the usual Morse inequalities on a manifold with boundary. We also obtain an equivariant version of our inequalities.

Our proof is based on an application of the Witten deformation technique. The main novelty here is that we consider the neighborhood of the critical set as a manifold with a cylindrical end. This leads to a considerable simplification of the local analysis. In particular, we obtain a new analytic proof of the Morse-Bott inequalities on a closed manifold.

     

New Proof of the Cheeger–Müller Theorem

We present a short analytic proof of the equality between the analytic and combinatorialtorsion. We use the same approach as in the proof given by Burghelea, Friedlander andKappeler, but avoid using the difficult Mayer-Vietoris type formula for the determinantsof elliptic operators. Instead, we provide a direct way of analyzing the behaviour of thedeterminant of the Witten deformation of the Laplacian. In particular, we show that thisdeterminant can be written as a sum of two terms, one of which has an asymptoticexpansion with computable coefficients and the other is very simple (no zeta-functionregularization is involved in its definition).