Showing 1–6 of 6 results for author: Guillén, F

Continuity between Cauchy and Bolzano: Issues of antecedents and priority

Authors: Jacques Bair, Piotr Blaszczyk, Elias Fuentes Guillen, Peter Heinig, Vladimir Kanovei, Mikhail G. Katz

Abstract: In a paper published in 1970, Grattan-Guinness argued that Cauchy, in his 1821 book Cours d'Analyse, may have plagiarized Bolzano's book Rein analytischer Beweis (RB), first published in 1817. That paper was subsequently discredited in several works, but some of its assumptions still prevail today. In particular, it is usually considered that Cauchy did not develop his notion of the continuity of… ▽ More In a paper published in 1970, Grattan-Guinness argued that Cauchy, in his 1821 book Cours d'Analyse, may have plagiarized Bolzano's book Rein analytischer Beweis (RB), first published in 1817. That paper was subsequently discredited in several works, but some of its assumptions still prevail today. In particular, it is usually considered that Cauchy did not develop his notion of the continuity of a function before Bolzano developed his in RB, and that both notions are essentially the same. We argue that both assumptions are incorrect, and that it is implausible that Cauchy's initial insight into that notion, which eventually evolved to an approach using infinitesimals, could have been borrowed from Bolzano's work. Furthermore, we account for Bolzano's interest in that notion and focus on his discussion of a definition by Kästner (in Section 183 of his 1766 book), which the former seems to have misrepresented at least partially. Cauchy's treatment of continuity goes back at least to his 1817 course summaries, refuting a key component of Grattan-Guinness' plagiarism hypothesis (that Cauchy may have lifted continuity from RB after reading it in a Paris library in 1818). We explore antecedents of Cauchy and Bolzano continuity in the writings of Kästner and earlier authors. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: 23 pages, 5 figures, to appear in British Journal for the History of Mathematics

MSC Class: 01A55; 26A15

Weight filtration on the cohomology of complex analytic spaces

Authors: Joana Cirici, Francisco Guillén

Abstract: We extend Deligne's weight filtration to the integer cohomology of complex analytic spaces (endowed with an equivalence class of compactifications). In general, the weight filtration that we obtain is not part of a mixed Hodge structure. Our purely geometric proof is based on cubical descent for resolution of singularities and Poincaré-Verdier duality. Using similar techniques, we introduce the si… ▽ More We extend Deligne's weight filtration to the integer cohomology of complex analytic spaces (endowed with an equivalence class of compactifications). In general, the weight filtration that we obtain is not part of a mixed Hodge structure. Our purely geometric proof is based on cubical descent for resolution of singularities and Poincaré-Verdier duality. Using similar techniques, we introduce the singularity filtration on the cohomology of compactificable analytic spaces. This is a new and natural analytic invariant which does not depend on the equivalence class of compactifications and is related to the weight filtration. △ Less

Submitted 28 September, 2014; v1 submitted 26 March, 2014; originally announced March 2014.

Comments: examples added + minor corrections

MSC Class: 32C18; 32S35

Journal ref: Journal of Singularities, volume 8 (2014), 83-99

Homotopy Theory of Mixed Hodge Complexes

Authors: Joana Cirici, Francisco Guillén

Abstract: We show that the category of mixed Hodge complexes admits a Cartan-Eilenberg structure, a notion introduced in [GNPR10] leading to a good calculation of the homotopy category in terms of (co)fibrant objects. This result provides a conceptual framework from which Beilinson's [Bei86] and Carlson's [Car80] results on mixed Hodge complexes and extensions of mixed Hodge structures follow easily. We show that the category of mixed Hodge complexes admits a Cartan-Eilenberg structure, a notion introduced in [GNPR10] leading to a good calculation of the homotopy category in terms of (co)fibrant objects. This result provides a conceptual framework from which Beilinson's [Bei86] and Carlson's [Car80] results on mixed Hodge complexes and extensions of mixed Hodge structures follow easily. △ Less

Submitted 23 April, 2013; originally announced April 2013.

MSC Class: 32S35; 55U35

Journal ref: Tohoku Math. J. (2) Vol. 68, No.3 (2016), 349-375

E_1-Formality of Complex Algebraic Varieties

Authors: J. Cirici, F. Guillén

Abstract: Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present work we generalize this result to arbitrary nilpotent complex algebraic varieties (possibly singular and/or non-compact) and to algebraic morphisms between them. T… ▽ More Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present work we generalize this result to arbitrary nilpotent complex algebraic varieties (possibly singular and/or non-compact) and to algebraic morphisms between them. The result for algebraic morphisms generalizes the Formality Theorem of [DGMS75] for compact Kähler varieties, filling a gap in Morgan's theory concerning functoriality over the rational numbers. As an application, we study the Hopf invariant of certain algebraic morphisms using intersection theory. △ Less

Submitted 17 December, 2012; originally announced December 2012.

MSC Class: 55P62; 32S35

Journal ref: Algebr. Geom. Topol. 14 (2014) 3049-3079

Moduli Spaces and Formal Operads

Authors: F. Guillen, V. Navarro, P. Pascual, A. Roig

Abstract: Let overline{M}_{g,n} be the moduli space of stable algebraic curves of genus g with n marked points. With the operations which relate the different moduli spaces identifying marked points, the family (overline{M}_{g,n})_{g,n} is a modular operad of projective smooth Deligne-Mumford stacks, overline{M}. In this paper we prove that the modular operad of singular chains C_*(overline{M};Q) is forma… ▽ More Let overline{M}_{g,n} be the moduli space of stable algebraic curves of genus g with n marked points. With the operations which relate the different moduli spaces identifying marked points, the family (overline{M}_{g,n})_{g,n} is a modular operad of projective smooth Deligne-Mumford stacks, overline{M}. In this paper we prove that the modular operad of singular chains C_*(overline{M};Q) is formal; so it is weakly equivalent to the modular operad of its homology H_*(overline{M};Q). As a consequence, the "up to homotopy" algebras of these two operads are the same. To obtain this result we prove a formality theorem for operads analogous to Deligne-Griffiths-Morgan-Sullivan formality theorem, the existence of minimal models of modular operads, and a characterization of formality for operads which shows that formality is independent of the ground field. △ Less

Submitted 1 March, 2004; v1 submitted 6 February, 2004; originally announced February 2004.

Comments: 36 pages (v3: some typographical corrections)

MSC Class: 14FXX; 55XX

Journal ref: Duke Math. J., vol 129, N0. 2, 2005

Un critère d'extension d'un foncteur défini sur les schémas lisses

Authors: F. Guillén, V. Navarro Aznar

Abstract: Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the criterion shows that if such a functor satisfies the standard exact sequence of a blowing-up, then the functor can be extended to all separated k-schemes of fini… ▽ More Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the criterion shows that if such a functor satisfies the standard exact sequence of a blowing-up, then the functor can be extended to all separated k-schemes of finite type. The result is applied to the Grothendieck's theory of motives, to the Hodge-De Rham filtered complex of an analytic space, and to the rational homotopy of k-schemes in algebraic De Rham theory. △ Less

Submitted 5 May, 1995; originally announced May 1995.

Comments: 37 pages, AMSTeX v 2.1

MSC Class: 14A20; 14C30; 14F35 (Primary) 19F35 (Secondary)

Journal ref: see the final version in Publ. math., IHES, 95 (2002) 1, 1-91