Searcharxiv⌕ Search

arXiv subjects

Jean-Paul Brasselet

Publications and source records attributed to Jean-Paul Brasselet.

At least 19 recordsLinked to original sources
arXiv2026

Singular Morse-Smale Flows on Pseudomanifolds with Spherical-Cone Singularities: Conley Theory and Intersection Homology

Classical Morse-Conley theory provides powerful tools for relating dynamical and topological invariants of smooth manifolds. In this paper, we extend this perspective to pseudomanifolds with spherical-cone singularities. By introducing and investigating singular Morse-Smale flows on pseudomanifolds with isolated singularities whose links are homeomorphic to finite disjoint unions of spheres. We establish formulas for the Conley indices of spherical-cone singularities in terms of their local dynamics, prove the existence of global Lyapunov functions, and investigate the structure of the associated Lyapunov graphs. These results yield alternative formulas for the Euler-Poincaré characteristic expressed in terms of Conley-theoretic invariants. To relate the singular and smooth settings, we introduce a global morsification procedure that associates a smooth manifold $\widetilde{X}$ to a singular pseudomanifold $X$. This construction allows us to compare the topology of $X$ and $\widetilde{X}$ and, in particular, to derive formulas relating their Euler-Poincaré characteristics. Finally, we study the intersection homology of pseudomanifolds with spherical-cone singularities. We establish connections between intersection homology, singular homology, and the Morse homology of the morsification, thereby providing a dynamical approach to the computation of intersection homology.

math.DS↗
arXiv2025

Chern-Schwartz-MacPherson classes in the point of view of Obstruction Theory and Lipschitz framework

Since Chern and Grothendieck, Chern's characteristic class theory has made significant progress. In particular with regard to the classes of singular varieties. Conjectured by Grothendieck and Deligne and demonstrated by MacPherson, Chern classes of singular varieties have been defined in several ways, such as using polar varieties, Lagrangian theory... However, the initial definition using obstruction theory, due to Marie-Hélène Schwartz, has been forgotten. Despite the simple ideas that enabled the obstruction definition, their implementation using Whitney stratifications requires delicate and technical constructions. In the present article, we show that in the Lipschitz framework, the ideas of Marie-Hélène Schwartz lead to a simplified definition and construction of Chern classes of complex analytic varieties.

math.AG↗
arXiv2020

An elementary proof of Euler formula using Cauchy's method

The use of Cauchy's method to prove Euler's well-known formula is an object of many controversies. The purpose of this paper is to prove that Cauchy's method applies for convex polyhedra and not only for them, but also for surfaces such as the torus, the projective plane, the Klein bottle and the pinched torus.

math.HO↗
arXiv2020

Uma prova elementar da fórmula de Euler usando o método de Cauchy

The use of Cauchy's method in proving the well-known Euler formula is an object of many controversies. The purpose of this paper is to prove that the Cauchy's method applies for convex polyhedra and not only for them, but also for surfaces such as the torus, the projective plane, the Klein bottle and the pinched torus.

math.AT↗
arXiv2019

O Teorema de Poincare-Hopf

The Poincare-Hopf Theorem is one of the most used in other areas of science. There are applications of the Poincare-Hopf Theorem in physics, chemistry, biology and even in economics, psychology, etc ... The Poincare-Hopf Theorem connects an invariant of combinatorial, the character of Euler-Poincare to an invariant of differential geometry, index of vector fields. The results that connect two very different areas of mathematics can be considered as the most beautiful, useful and fruitful.

math.HO↗
arXiv2017

Residues for flags of holomorphic foliations

In this work we prove a Baum-Bott type residue theorem for flags of holomorphic foliations. We prove some relations between the residues of the flag and the residues of their correspondent foliations. We define the Nash residue for flags and we give a partial answer to the Baum-Bott type rationality conjecture in this context .

math.AG↗
arXiv2016

Local and global coincidence homology classes

For two differentiable maps between two manifolds of possibly different dimensions, the local and global coincidence homology classes are introduced and studied by Bisi- Bracci-Izawa-Suwa (2016) in the framework of Cech-de Rham cohomology. We take up the problem from the combinatorial viewpoint and give some finer results, in particular for the local classes. As to the global class, we clarify the relation with the cohomology coincidence class as studied by Biasi-Libardi-Monis (2015). In fact they introduced such a class in the context of several maps and we also consider this case. In particular we define the local homology class and give some explicit expressions. These all together lead to a generalization of the classical Lefschetz coincidence point formula.

math.AT↗
arXiv2016

Motivic and derived motivic Hirzebruch classes

In this paper we give a formula for the Hirzebruch $χ_y$-genus $χ_y(X)$ and similarly for the motivic Hirzebruch class $T_{y*}(X)$ for possibly singular varieties $X$, using the Vandermonde matrix. Motivated by the notion of secondary Euler characteristic and higher Euler characteristic, we consider a similar notion for the motivic Hirzebruch class, which we call a \emph{derived motivic Hirzebruch class}

math.AG↗
arXiv2015

Generic sections of essentially isolated determinantal singularities

We study the essentially isolated determinantal singularities (EIDS), defined by W. Ebeling and S. Gusein-Zade, as a generalization of isolated singularity. We prove in dimension $3$ a minimality theorem for the Milnor number of a generic hyperplane section of an EIDS, generalizing previous results by J. Snoussi in dimension $2$. We define strongly generic hyperplane sections of an EIDS and show that they are still EIDS. Using strongly general hyperplanes, we extend a result of Lê D. T. concerning constancy of the Milnor number.

math.AG↗
arXiv2014

Cobordism of maps on $Z_2$-Witt spaces

In this article we study the bordism groups of normally nonsingular maps $f: X \to Y$ defined on pseudomanifolds $X$ and $Y$. To characterize the bordism of such maps, inspired by the formula given by Stong, we give a general definition of Stiefel-Whitney numbers defined on $X$ and $Y$ using the Wu classes defined by Goresky and Pardon and we show that in several cases the cobordism class of a normally nonsingular map $f:X \to Y$ guarantees that these numbers are zero.

math.AT↗
arXiv2010

Formes de Whitney et primitives relatives de formes différentielles sous-analytiques

Let $X$ be a real-analytic manifold and $g\colon X\to{\mathbf R}^n$ a proper triangulable subanalytic map. Given a subanalytic $r$-form $ω$ on $X$ whose pull-back to every non singular fiber of $g$ is exact, we show tha $ω$ has a relative primitive: there is a subanalytic $(r-1)$-form $Ω$ such that $dgΛ(ω-dΩ)=0$. The proof uses a subanalytic triangulation to translate the problem in terms of "relative Whitney forms" associated to prisms. Using the combinatorics of Whitney forms, we show that the result ultimately follows from the subanaliticity of solutions of a special linear partial differential equation. The work was inspired by a question of François Treves.

math.AP↗
arXiv2005

Hirzebruch classes and motivic Chern classes for singular spaces

In this paper we study some new theories of characteristic homology classes for singular complex algebraic (or compactifiable analytic) spaces. We introduce a motivic Chern class transformation mC_{*}: K_{0}(var/X)-> G_{0}(X)[y], which generalizes the total λ-class of the cotangent bundle to singular spaces. Here K_{0}(var/X) is the relative Grothendieck group of complex algebraic varieties over X as introduced and studied by Looijenga and Bittner in relation to motivic integration, and G_{0}(X) is the Grothendieck group of coherent sheaves of O_{X}-modules. We define a natural transformation T_{y*}: K_{0}(var/X)-> H_{*}(X,Q)[y] commuting with proper pushdown, which generalizes the corresponding Hirzebruch characteristic. T_{y*} is a homology class version of the motivic measure corresponding to suitable specialization of the well known Hodge polynomial. This transformation unifies the Chern class transformation of MacPherson and Schwartz (for y=-1), the Todd class transformation of the singular Riemann-Roch theorem of Baum-Fulton-MacPherson (for y=0) and the L-class transformation of Cappell-Shaneson (for y=1). In the simplest case of a normal Gorenstein variety with ``canonical singularities'' we also explain a relation among the ``stringy version'' of our characteristic classses, the elliptic class of Borisov-Libgober and the stringy Chern classes of Aluffi and De Fernex-Lupercio-Nevins-Uribe. Moreover, all our results can be extended to varieties over a base field k of characteristic 0.

math.AG↗
arXiv2004

Hirzebruch classes and motivic Chern classes for singular (complex) algebraic varieties

In this paper we study some new theories of characteristic homology classes for singular complex algebraic varieties. First we introduce a natural transformation T_{y}: K_{0}(var/X) -> H_{*}(X,Q)[y] commuting with proper pushdown, which generalizes the corresponding Hirzebruch characteristic. Here K_{0}(var/X) is the relative Grothendieck group of complex algebraic varieties over X as introduced and studied by Looijenga and Bittner in relation to motivic integration. T_{y} is a homology class version of the motivic measure corresponding to a suitable specialization of the well known Hodge polynomial. This transformation unifies the Chern class transformation of MacPherson and Schwartz (for y=-1) and the Todd class transformation in the singular Riemann-Roch theorem of Baum-Fulton-MacPherson (for y=0). In fact, T_{y} is the composition of a generalized version of this Todd class transformation due to Yokura, and a new motivic Chern class transformation mC_{*}: K_{0}(var/X)-> G_{0}(X)[y], which generalizes the total lambda-class of the cotangent bundle to singular spaces. Here G_{0}(X) is the Grothendieck group of coherent sheaves, and the construction of mC_{*} is based on some results from the theory of algebraic mixed Hodge modules due to M.Saito. In the final part of the paper we use the algebraic cobordism theory of Levine and Morel to lift mC_{*} further up to a natural transformation mC'_{*} from K_{0}(var/X) to a suitable universal Borel-Moore weak homology theory. Moreover, all our results can be extended to varieties over a base field k, which can be embedded into the complex numbers.

math.AG↗
arXiv2004

Bivariant Chern classes and Grothendieck transformations

The existence of bivariant Chern classes was conjectured by W.Fulton and R.MacPherson and proved by J.P.Brasselet for cellular morphisms of analytic varieties. In this paper we show that restricted to morphisms whose target varieties are possible singular but (rational) homology manifolds, the bivariant Chern classes (with rational coefficients) are uniquely determined. In the final sections we construct a unique bivariant Chern class satisfying a suitable normalization condition. In fact, it will be a special case of a general construction of unique Grothendieck transformations, which in a sense gives a positive answer to a corresponding question posed by Fulton and MacPherson. This construction generalizes and unifies previous attemps, in particular the main result of the paper math.AG/0209299.

math.AG↗
arXiv2003

Combinatorial Duality and Intersection Product: A Direct Approach

The proof of the combinatorial Hard Lefschetz Theorem for the ``virtual'' intersection cohomology of a not necessarily rational polytopal fan that has been presented by K. Karu completely establishes Stanley's conjectures for the generalized $h$-vector of an arbitrary polytope. The main ingredients, namely, Poincare Duality and the Hard Lefschetz Theorem, both rely on the intersection product. In the constructions of Barthel, Brasselet, Fieseler and Kaup and Bressler and Lunts, there remained an apparent ambiguity. The recent solution of this problem by Bressler and Lunts uses the formalism of derived categories. The present article gives a straightforward approach to combinatorial duality and a natural intersection product, completely within the framework of elementary sheaf theory and commutative algebra, thus avoiding derived categories.

math.AG↗
arXiv2001

Interpolation of characteristic classes of singular hypersurfaces

We show that the Chern-Schwartz-MacPherson class of a hypersurface X in a nonsingular variety M `interpolates' between two other notions of characteristic classes for singular varieties, provided that the singular locus of X is smooth and that certain numerical invariants of X are constant along this locus. This allows us to define a lift of the Chern-Schwartz-MacPherson class of such `nice' hypersurfaces to intersection homology. As another application, the interpolation result leads to an explicit formula for the Chern-Schwartz-MacPherson class of X in terms of its polar classes.

math.AG↗
arXiv2000

Combinatorial Intersection Cohomology for Fans

We continue the approach toward a purely combinatorial "virtual" intersection cohomology for possibly non-rational fans, based on our investigation of equivariant intersection cohomology for toric varieties (see math.AG/9904159). Fundamental objects of study are "minimal extension sheaves" on "fan spaces". These are flabby sheaves of graded modules over a sheaf of polynomial rings, satisfying three relatively simple axioms that characterize the properties of the equivariant intersection cohomology sheaf on a toric variety, endowed with the finite topology given by open invariant subsets. These sheaves are models for the "pure" objects of a "perverse category"; a "Decomposition Theorem" is shown to hold. -- Formalizing those fans that define "equivariantly formal" toric varieties (where equivariant and non-equivariant intersection cohomology determine each other by Kunneth type formulae), we study "quasi-convex" fans (including fans with convex or with "co-convex" support). For these, there is a meaningful "virtual intersection cohomology". We characterize quasi-convex fans by a topological condition on the support of their boundary fan and prove a generalization of Stanley's "Local-Global" formula realizing the intersection Poincare polynomial of a complete toric variety in terms of local data. Virtual intersection cohomology of quasi-convex fans is shown to satify Poincare duality. To describe the local data in terms of virtual intersection cohomology of lower-dimensional complete polytopal fans, one needs a "Hard Lefschetz" type theorem. It requires a vanishing condition that is known to hold for rational cones, but yet remains to be proven in the general case.

math.AG↗