Sharp de Rham realization

We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then show a (sharp de Rham) comparison theorem in the category of formal Hodge structures. For a free 1-motive along with its Cartier dual we get a canonical connection on their sharp extensions yielding a perfect pairing on sharp realizations. We thus provide "one-dimensional sharp de Rham cohomology" of algebraic varieties.Comment: 30 page

On the Deligne--Beilinson cohomology sheaves

We are showing that the Deligne--Beilinson cohomology sheaves ${\cal H}^{q+1}({\bf Z}(q)_{\cal D})$ are torsion free by assuming Kato's conjectures hold true for function fields. This result is `effective' for $q=2$; in this case, by dealing with `arithmetic properties' of the presheaves of mixed Hodge structures defined by singular cohomology, we are able to give a cohomological characterization of the Albanese kernel for surfaces with $p_g=0$.Comment: 12 pages, LaTeX 2.0

Category forcings, MM+++MM^{+++}, and generic absoluteness for the theory of strong forcing axioms

We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial segment of the universe of height a super compact which is a limit of super compact cardinals is a stationary set preserving partial order which forces $MM^{++}$ and collapses its size to become the second uncountable cardinal. Next we argue that any of the known methods to produce a model of $MM^{++}$ collapsing a superhuge cardinal to become the second uncountable cardinal produces a model in which the cutoff of the category of stationary set preserving forcings at any rank initial segment of the universe of large enough height is forcing equivalent to a presaturated tower of normal filters. We let $MM^{+++}$ denote this statement and we prove that the theory of $L(Ord^{\omega_1})$ with parameters in $P(\omega_1)$ is generically invariant for stationary set preserving forcings that preserve $MM^{+++}$. Finally we argue that the work of Larson and Asper\'o shows that this is a next to optimal generalization to the Chang model $L(Ord^{\omega_1})$ of Woodin's generic absoluteness results for the Chang model $L(Ord^{\omega})$. It remains open whether $MM^{+++}$ and $MM^{++}$ are equivalent axioms modulo large cardinals and whether $MM^{++}$ suffices to prove the same generic absoluteness results for the Chang model $L(Ord^{\omega_1})$.Comment: - to appear on the Journal of the American Mathemtical Societ

The Proper Forcing Axiom and the Singular Cardinal Hypothesis

We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.Comment: 10 page

Sola fides at the Core of Varieties: Luther as Religious Genius in William James's Thought?

The purpose of this article is to show the great influence of Luther's conception of religion on James' Varieties of Religious Experience. I will argue that James's conception of religion should be interpreted as a philosophical course of Lutheranism; and that, as a course of Lutheranism, James's conception of religion infers the most radical consequences of the Lutheran principle of sola fides.Fil: Viale, Claudio Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Derecho y Ciencias Sociales. Centro de Investigaciones Juridícas y Sociales; Argentin