Showing 1–46 of 46 results for author: Morin, B

Euclid preparation. LensMC, weak lensing cosmic shear measurement with forward modelling and Markov Chain Monte Carlo sampling

Authors: Euclid Collaboration, G. Congedo, L. Miller, A. N. Taylor, N. Cross, C. A. J. Duncan, T. Kitching, N. Martinet, S. Matthew, T. Schrabback, M. Tewes, N. Welikala, N. Aghanim, A. Amara, S. Andreon, N. Auricchio, M. Baldi, S. Bardelli, R. Bender, C. Bodendorf, D. Bonino, E. Branchini, M. Brescia, J. Brinchmann, S. Camera , et al. (217 additional authors not shown)

Abstract: LensMC is a weak lensing shear measurement method developed for Euclid and Stage-IV surveys. It is based on forward modelling to deal with convolution by a point spread function with comparable size to many galaxies; sampling the posterior distribution of galaxy parameters via Markov Chain Monte Carlo; and marginalisation over nuisance parameters for each of the 1.5 billion galaxies observed by Eu… ▽ More LensMC is a weak lensing shear measurement method developed for Euclid and Stage-IV surveys. It is based on forward modelling to deal with convolution by a point spread function with comparable size to many galaxies; sampling the posterior distribution of galaxy parameters via Markov Chain Monte Carlo; and marginalisation over nuisance parameters for each of the 1.5 billion galaxies observed by Euclid. The scientific performance is quantified through high-fidelity images based on the Euclid Flagship simulations and emulation of the Euclid VIS images; realistic clustering with a mean surface number density of 250 arcmin$^{-2}$ ($I_{\rm E}<29.5$) for galaxies, and 6 arcmin$^{-2}$ ($I_{\rm E}<26$) for stars; and a diffraction-limited chromatic point spread function with a full width at half maximum of $0.^{\!\prime\prime}2$ and spatial variation across the field of view. Objects are measured with a density of 90 arcmin$^{-2}$ ($I_{\rm E}<26.5$) in 4500 deg$^2$. The total shear bias is broken down into measurement (our main focus here) and selection effects (which will be addressed elsewhere). We find: measurement multiplicative and additive biases of $m_1=(-3.6\pm0.2)\times10^{-3}$, $m_2=(-4.3\pm0.2)\times10^{-3}$, $c_1=(-1.78\pm0.03)\times10^{-4}$, $c_2=(0.09\pm0.03)\times10^{-4}$; a large detection bias with a multiplicative component of $1.2\times10^{-2}$ and an additive component of $-3\times10^{-4}$; and a measurement PSF leakage of $α_1=(-9\pm3)\times10^{-4}$ and $α_2=(2\pm3)\times10^{-4}$. When model bias is suppressed, the obtained measurement biases are close to Euclid requirement and largely dominated by undetected faint galaxies ($-5\times10^{-3}$). Although significant, model bias will be straightforward to calibrate given the weak sensitivity. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 28 pages, 18 figures, 2 tables

On Integral Class field theory for varieties over $p$-adic fields

Authors: Thomas H. Geisser, Baptiste Morin

Abstract: Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$ its generic fiber. We show, under some assumptions on $\mathcal X_K$, that there is a reciprocity isomorphism of locally compact groups… ▽ More Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$ its generic fiber. We show, under some assumptions on $\mathcal X_K$, that there is a reciprocity isomorphism of locally compact groups $H_{ar}^{2d-1}(\mathcal X_K, \mathbb Z(d)) \simeq π_1^{ab}(\mathcal X_K)_{W}$ from a new cohomology theory to an integral model $π_1^{ab}(\mathcal X_K)_{W}$ of the abelianized geometric fundamental groups $π_1^{ab}(\mathcal X_K)^{geo}$. After removing the contribution from the base field, the map becomes an isomorphism of finitely generated abelian groups. △ Less

Submitted 24 November, 2022; originally announced November 2022.

MSC Class: 14G45 (Primary); 11G25; 14G20; 14F42 (Secondary)

Euclid: Fast two-point correlation function covariance through linear construction

Authors: E. Keihanen, V. Lindholm, P. Monaco, L. Blot, C. Carbone, K. Kiiveri, A. G. Sánchez, A. Viitanen, J. Valiviita, A. Amara, N. Auricchio, M. Baldi, D. Bonino, E. Branchini, M. Brescia, J. Brinchmann, S. Camera, V. Capobianco, J. Carretero, M. Castellano, S. Cavuoti, A. Cimatti, R. Cledassou, G. Congedo, L. Conversi , et al. (87 additional authors not shown)

Abstract: We present a method for fast evaluation of the covariance matrix for a two-point galaxy correlation function (2PCF) measured with the Landy-Szalay estimator. The standard way of evaluating the covariance matrix consists in running the estimator on a large number of mock catalogs, and evaluating their sample covariance. With large random catalog sizes (data-to-random objects ratio M>>1) the computa… ▽ More We present a method for fast evaluation of the covariance matrix for a two-point galaxy correlation function (2PCF) measured with the Landy-Szalay estimator. The standard way of evaluating the covariance matrix consists in running the estimator on a large number of mock catalogs, and evaluating their sample covariance. With large random catalog sizes (data-to-random objects ratio M>>1) the computational cost of the standard method is dominated by that of counting the data-random and random-random pairs, while the uncertainty of the estimate is dominated by that of data-data pairs. We present a method called Linear Construction (LC), where the covariance is estimated for small random catalogs of size M = 1 and M = 2, and the covariance for arbitrary M is constructed as a linear combination of these. We validate the method with PINOCCHIO simulations in range r = 20-200 Mpc/h, and show that the covariance estimate is unbiased. With M = 50 and with 2 Mpc/h bins, the theoretical speed-up of the method is a factor of 14. We discuss the impact on the precision matrix and parameter estimation, and derive a formula for the covariance of covariance. △ Less

Submitted 24 May, 2022; originally announced May 2022.

Comments: 17 pages, 11 figures

KiDS & Euclid: Cosmological implications of a pseudo angular power spectrum analysis of KiDS-1000 cosmic shear tomography

Authors: A. Loureiro, L. Whittaker, A. Spurio Mancini, B. Joachimi, A. Cuceu, M. Asgari, B. Stölzner, T. Tröster, A. H. Wright, M. Bilicki, A. Dvornik, B. Giblin, C. Heymans, H. Hildebrandt, H. Shan, A. Amara, N. Auricchio, C. Bodendorf, D. Bonino, E. Branchini, M. Brescia, V. Capobianco, C. Carbone, J. Carretero, M. Castellano , et al. (89 additional authors not shown)

Abstract: We present a tomographic weak lensing analysis of the Kilo Degree Survey Data Release 4 (KiDS-1000), using a new pseudo angular power spectrum estimator (pseudo-$C_{\ell}$) under development for the ESA Euclid mission. Over 21 million galaxies with shape information are divided into five tomographic redshift bins, ranging from 0.1 to 1.2 in photometric redshift. We measured pseudo-$C_{\ell}$ using… ▽ More We present a tomographic weak lensing analysis of the Kilo Degree Survey Data Release 4 (KiDS-1000), using a new pseudo angular power spectrum estimator (pseudo-$C_{\ell}$) under development for the ESA Euclid mission. Over 21 million galaxies with shape information are divided into five tomographic redshift bins, ranging from 0.1 to 1.2 in photometric redshift. We measured pseudo-$C_{\ell}$ using eight bands in the multipole range $76<\ell<1500$ for auto- and cross-power spectra between the tomographic bins. A series of tests were carried out to check for systematic contamination from a variety of observational sources including stellar number density, variations in survey depth, and point spread function properties. While some marginal correlations with these systematic tracers were observed, there is no evidence of bias in the cosmological inference. B-mode power spectra are consistent with zero signal, with no significant residual contamination from E/B-mode leakage. We performed a Bayesian analysis of the pseudo-$C_{\ell}$ estimates by forward modelling the effects of the mask. Assuming a spatially flat $Λ$CDM cosmology, we constrained the structure growth parameter $S_8 = σ_8(Ω_{\rm m}/0.3)^{1/2} = 0.754_{-0.029}^{+0.027}$. When combining cosmic shear from KiDS-1000 with baryon acoustic oscillation and redshift space distortion data from recent Sloan Digital Sky Survey (SDSS) measurements of luminous red galaxies, as well as the Lyman-$α$ forest and its cross-correlation with quasars, we tightened these constraints to $S_8 = 0.771^{+0.006}_{-0.032}$. These results are in very good agreement with previous KiDS-1000 and SDSS analyses and confirm a $\sim 3σ$ tension with early-Universe constraints from cosmic microwave background experiments. △ Less

Submitted 4 July, 2022; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: 24 pages, 17 figures, Accepted by A&A

Journal ref: A&A 665, A56 (2022)

Pontryagin duality for varieties over $p$-adic fields

Authors: Thomas H. Geisser, Baptiste Morin

Abstract: We define cohomological complexes of locally compact abelian groups associated with varieties over $p$-adic fields and prove a duality theorem under some assumption. Our duality takes the form of Pontryagin duality between locally compact motivic cohomology groups. We define cohomological complexes of locally compact abelian groups associated with varieties over $p$-adic fields and prove a duality theorem under some assumption. Our duality takes the form of Pontryagin duality between locally compact motivic cohomology groups. △ Less

Submitted 22 December, 2021; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: New definition of cohomology of strict normal crossing schemes (section 3), and cohomology of schemes with such reduction (section 4.3). Improved exposition in several places

Euclid preparation: I. The Euclid Wide Survey

Authors: R. Scaramella, J. Amiaux, Y. Mellier, C. Burigana, C. S. Carvalho, J. -C. Cuillandre, A. Da Silva, A. Derosa, J. Dinis, E. Maiorano, M. Maris, I. Tereno, R. Laureijs, T. Boenke, G. Buenadicha, X. Dupac, L. M. Gaspar Venancio, P. Gómez-Álvarez, J. Hoar, J. Lorenzo Alvarez, G. D. Racca, G. Saavedra-Criado, J. Schwartz, R. Vavrek, M. Schirmer , et al. (216 additional authors not shown)

Abstract: Euclid is an ESA mission designed to constrain the properties of dark energy and gravity via weak gravitational lensing and galaxy clustering. It will carry out a wide area imaging and spectroscopy survey (EWS) in visible and near-infrared, covering roughly 15,000 square degrees of extragalactic sky on six years. The wide-field telescope and instruments are optimized for pristine PSF and reduced s… ▽ More Euclid is an ESA mission designed to constrain the properties of dark energy and gravity via weak gravitational lensing and galaxy clustering. It will carry out a wide area imaging and spectroscopy survey (EWS) in visible and near-infrared, covering roughly 15,000 square degrees of extragalactic sky on six years. The wide-field telescope and instruments are optimized for pristine PSF and reduced straylight, producing very crisp images. This paper presents the building of the Euclid reference survey: the sequence of pointings of EWS, Deep fields, Auxiliary fields for calibrations, and spacecraft movements followed by Euclid as it operates in a step-and-stare mode from its orbit around the Lagrange point L2. Each EWS pointing has four dithered frames; we simulate the dither pattern at pixel level to analyse the effective coverage. We use up-to-date models for the sky background to define the Euclid region-of-interest (RoI). The building of the reference survey is highly constrained from calibration cadences, spacecraft constraints and background levels; synergies with ground-based coverage are also considered. Via purposely-built software optimized to prioritize best sky areas, produce a compact coverage, and ensure thermal stability, we generate a schedule for the Auxiliary and Deep fields observations and schedule the RoI with EWS transit observations. The resulting reference survey RSD_2021A fulfills all constraints and is a good proxy for the final solution. Its wide survey covers 14,500 square degrees. The limiting AB magnitudes ($5σ$ point-like source) achieved in its footprint are estimated to be 26.2 (visible) and 24.5 (near-infrared); for spectroscopy, the H$_α$ line flux limit is $2\times 10^{-16}$ erg cm$^{-2}$ s$^{-1}$ at 1600 nm; and for diffuse emission the surface brightness limits are 29.8 (visible) and 28.4 (near-infrared) mag arcsec$^{-2}$. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: 43 pages, 51 figures, submitted to A&A

Journal ref: A&A 662, A112 (2022)

Euclid Preparation: XIV. The Complete Calibration of the Color-Redshift Relation (C3R2) Survey: Data Release 3

Authors: Euclid Collaboration, S. A. Stanford, D. Masters, B. Darvish, D. Stern, J. G. Cohen, P. Capak, N. Hernitschek, I. Davidzon, J. Rhodes, D. B. Sanders, B. Mobasher, F. J. Castander, S. Paltani, N. Aghanim, A. Amara, N. Auricchio, A. Balestra, R. Bender, C. Bodendorf, D. Bonino, E. Branchini, J. Brinchmann, V. Capobianco, C. Carbone , et al. (161 additional authors not shown)

Abstract: The Complete Calibration of the Color-Redshift Relation (C3R2) survey is obtaining spectroscopic redshifts in order to map the relation between galaxy color and redshift to a depth of i ~ 24.5 (AB). The primary goal is to enable sufficiently accurate photometric redshifts for Stage IV dark energy projects, particularly Euclid and the Roman Space Telescope, which are designed to constrain cosmologi… ▽ More The Complete Calibration of the Color-Redshift Relation (C3R2) survey is obtaining spectroscopic redshifts in order to map the relation between galaxy color and redshift to a depth of i ~ 24.5 (AB). The primary goal is to enable sufficiently accurate photometric redshifts for Stage IV dark energy projects, particularly Euclid and the Roman Space Telescope, which are designed to constrain cosmological parameters through weak lensing. We present 676 new high-confidence spectroscopic redshifts obtained by the C3R2 survey in the 2017B-2019B semesters using the DEIMOS, LRIS, and MOSFIRE multi-object spectrographs on the Keck telescopes. Combined with the 4454 redshifts previously published by this project, the C3R2 survey has now obtained and published 5130 high-quality galaxy spectra and redshifts. If we restrict consideration to only the 0.2 < z(phot) < 2.6 range of interest for the Euclid cosmological goals, then with the current data release C3R2 has increased the spectroscopic redshift coverage of the Euclid color space from 51% (as reported by Masters et al. 2015) to the current 91%. Once completed and combined with extensive data collected by other spectroscopic surveys, C3R2 should provide the spectroscopic calibration set needed to enable photometric redshifts to meet the cosmology requirements for Euclid, and make significant headway toward solving the problem for Roman. △ Less

Submitted 16 February, 2022; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 14 pages, 7 figures, 4 tables. Accepted for publication in The Astrophysical Journal Supplement. Survey website with links to the C3R2 redshift catalog and the spectroscopic data hosted by the Keck Observatory Archive can be found at https://sites.google.com/view/c3r2-survey/home

$Euclid$ preparation: XV. Forecasting cosmological constraints for the $Euclid$ and CMB joint analysis

Authors: Euclid Collaboration, S. Ilić, N. Aghanim, C. Baccigalupi, J. R. Bermejo-Climent, G. Fabbian, L. Legrand, D. Paoletti, M. Ballardini, M. Archidiacono, M. Douspis, F. Finelli, K. Ganga, C. Hernández-Monteagudo, M. Lattanzi, D. Marinucci, M. Migliaccio, C. Carbone, S. Casas, M. Martinelli, I. Tutusaus, P. Natoli, P. Ntelis, L. Pagano, L. Wenzl , et al. (185 additional authors not shown)

Abstract: The combination and cross-correlation of the upcoming $Euclid$ data with cosmic microwave background (CMB) measurements is a source of great expectation since it will provide the largest lever arm of epochs, ranging from recombination to structure formation across the entire past light cone. In this work, we present forecasts for the joint analysis of $Euclid$ and CMB data on the cosmological para… ▽ More The combination and cross-correlation of the upcoming $Euclid$ data with cosmic microwave background (CMB) measurements is a source of great expectation since it will provide the largest lever arm of epochs, ranging from recombination to structure formation across the entire past light cone. In this work, we present forecasts for the joint analysis of $Euclid$ and CMB data on the cosmological parameters of the standard cosmological model and some of its extensions. This work expands and complements the recently published forecasts based on $Euclid$-specific probes, namely galaxy clustering, weak lensing, and their cross-correlation. With some assumptions on the specifications of current and future CMB experiments, the predicted constraints are obtained from both a standard Fisher formalism and a posterior-fitting approach based on actual CMB data. Compared to a $Euclid$-only analysis, the addition of CMB data leads to a substantial impact on constraints for all cosmological parameters of the standard $Λ$-cold-dark-matter model, with improvements reaching up to a factor of ten. For the parameters of extended models, which include a redshift-dependent dark energy equation of state, non-zero curvature, and a phenomenological modification of gravity, improvements can be of the order of two to three, reaching higher than ten in some cases. The results highlight the crucial importance for cosmological constraints of the combination and cross-correlation of $Euclid$ probes with CMB data. △ Less

Submitted 10 September, 2021; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: 20 pages, 8 figures, 5 tables, 1 appendix; updated to match version accepted by journal

Journal ref: A&A 657, A91 (2022)

Euclid preparation: XIII. Forecasts for galaxy morphology with the Euclid Survey using Deep Generative Models

Authors: Euclid Collaboration, H. Bretonnière, M. Huertas-Company, A. Boucaud, F. Lanusse, E. Jullo, E. Merlin, D. Tuccillo, M. Castellano, J. Brinchmann, C. J. Conselice, H. Dole, R. Cabanac, H. M. Courtois, F. J. Castander, P. A. Duc, P. Fosalba, D. Guinet, S. Kruk, U. Kuchner, S. Serrano, E. Soubrie, A. Tramacere, L. Wang, A. Amara , et al. (171 additional authors not shown)

Abstract: We present a machine learning framework to simulate realistic galaxies for the Euclid Survey. The proposed method combines a control on galaxy shape parameters offered by analytic models with realistic surface brightness distributions learned from real Hubble Space Telescope observations by deep generative models. We simulate a galaxy field of $0.4\,\rm{deg}^2$ as it will be seen by the Euclid vis… ▽ More We present a machine learning framework to simulate realistic galaxies for the Euclid Survey. The proposed method combines a control on galaxy shape parameters offered by analytic models with realistic surface brightness distributions learned from real Hubble Space Telescope observations by deep generative models. We simulate a galaxy field of $0.4\,\rm{deg}^2$ as it will be seen by the Euclid visible imager VIS and show that galaxy structural parameters are recovered with similar accuracy as for pure analytic Sérsic profiles. Based on these simulations, we estimate that the Euclid Wide Survey will be able to resolve the internal morphological structure of galaxies down to a surface brightness of $22.5\,\rm{mag}\,\rm{arcsec}^{-2}$, and $24.9\,\rm{mag}\,\rm{arcsec}^{-2}$ for the Euclid Deep Survey. This corresponds to approximately $250$ million galaxies at the end of the mission and a $50\,\%$ complete sample for stellar masses above $10^{10.6}\,\rm{M}_\odot$ (resp. $10^{9.6}\,\rm{M}_\odot$) at a redshift $z\sim0.5$ for the wide (resp. deep) survey. The approach presented in this work can contribute to improving the preparation of future high-precision cosmological imaging surveys by allowing simulations to incorporate more realistic galaxies. △ Less

Submitted 10 January, 2022; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: 22 pages, 21 figures (6 in appendinx). Accepted for publication to A&A. Change in the title for Euclid submission chronology coherence. Few changes for clarification

Euclid preparation: XII. Optimizing the photometric sample of the Euclid survey for galaxy clustering and galaxy-galaxy lensing analyses

Authors: Euclid Collaboration, A. Pocino, I. Tutusaus, F. J. Castander, P. Fosalba, M. Crocce, A. Porredon, S. Camera, V. Cardone, S. Casas, T. Kitching, F. Lacasa, M. Martinelli, A. Pourtsidou, Z. Sakr, S. Andreon, N. Auricchio, C. Baccigalupi, A. Balaguera-Antolínez, M. Baldi, A. Balestra, S. Bardelli, R. Bender, A. Biviano, C. Bodendorf , et al. (135 additional authors not shown)

Abstract: The accuracy of photometric redshifts (photo-zs) particularly affects the results of the analyses of galaxy clustering with photometrically-selected galaxies (GCph) and weak lensing. In the next decade, space missions like Euclid will collect photometric measurements for millions of galaxies. These data should be complemented with upcoming ground-based observations to derive precise and accurate p… ▽ More The accuracy of photometric redshifts (photo-zs) particularly affects the results of the analyses of galaxy clustering with photometrically-selected galaxies (GCph) and weak lensing. In the next decade, space missions like Euclid will collect photometric measurements for millions of galaxies. These data should be complemented with upcoming ground-based observations to derive precise and accurate photo-zs. In this paper, we explore how the tomographic redshift binning and depth of ground-based observations will affect the cosmological constraints expected from Euclid. We focus on GCph and extend the study to include galaxy-galaxy lensing (GGL). We add a layer of complexity to the analysis by simulating several realistic photo-z distributions based on the Euclid Consortium Flagship simulation and using a machine learning photo-z algorithm. We use the Fisher matrix formalism and these galaxy samples to study the cosmological constraining power as a function of redshift binning, survey depth, and photo-z accuracy. We find that bins with equal width in redshift provide a higher Figure of Merit (FoM) than equipopulated bins and that increasing the number of redshift bins from 10 to 13 improves the FoM by 35% and 15% for GCph and its combination with GGL, respectively. For GCph, an increase of the survey depth provides a higher FoM. But the addition of faint galaxies beyond the limit of the spectroscopic training data decreases the FoM due to the spurious photo-zs. When combining both probes, the number density of the sample, which is set by the survey depth, is the main factor driving the variations in the FoM. We conclude that there is more information that can be extracted beyond the nominal 10 tomographic redshift bins of Euclid and that we should be cautious when adding faint galaxies into our sample, since they can degrade the cosmological constraints. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Comments: 21 pages, 13 figures. Abstract abridged

Journal ref: A&A 655, A44 (2021)

Euclid preparation: XI. Mean redshift determination from galaxy redshift probabilities for cosmic shear tomography

Authors: Euclid Collaboration, O. Ilbert, S. de la Torre, N. Martinet, A. H. Wright, S. Paltani, C. Laigle, I. Davidzon, E. Jullo, H. Hildebrandt, D. C. Masters, A. Amara, C. J. Conselice, S. Andreon, N. Auricchio, R. Azzollini, C. Baccigalupi, A. Balaguera-Antolínez, M. Baldi, A. Balestra, S. Bardelli, R. Bender, A. Biviano, C. Bodendorf, D. Bonino , et al. (140 additional authors not shown)

Abstract: The analysis of weak gravitational lensing in wide-field imaging surveys is considered to be a major cosmological probe of dark energy. Our capacity to constrain the dark energy equation of state relies on the accurate knowledge of the galaxy mean redshift $\langle z \rangle$. We investigate the possibility of measuring $\langle z \rangle$ with an accuracy better than $0.002\,(1+z)$, in ten tomogr… ▽ More The analysis of weak gravitational lensing in wide-field imaging surveys is considered to be a major cosmological probe of dark energy. Our capacity to constrain the dark energy equation of state relies on the accurate knowledge of the galaxy mean redshift $\langle z \rangle$. We investigate the possibility of measuring $\langle z \rangle$ with an accuracy better than $0.002\,(1+z)$, in ten tomographic bins spanning the redshift interval $0.2<z<2.2$, the requirements for the cosmic shear analysis of Euclid. We implement a sufficiently realistic simulation to understand the advantages, complementarity, but also shortcoming of two standard approaches: the direct calibration of $\langle z \rangle$ with a dedicated spectroscopic sample and the combination of the photometric redshift probability distribution function (zPDF) of individual galaxies. We base our study on the Horizon-AGN hydrodynamical simulation that we analyse with a standard galaxy spectral energy distribution template-fitting code. Such procedure produces photometric redshifts with realistic biases, precision and failure rate. We find that the Euclid current design for direct calibration is sufficiently robust to reach the requirement on the mean redshift, provided that the purity level of the spectroscopic sample is maintained at an extremely high level of $>99.8\%$. The zPDF approach could also be successful if we debias the zPDF using a spectroscopic training sample. This approach requires deep imaging data, but is weakly sensitive to spectroscopic redshift failures in the training sample. We improve the debiasing method and confirm our finding by applying it to real-world weak-lensing data sets (COSMOS and KiDS+VIKING-450). △ Less

Submitted 6 January, 2021; originally announced January 2021.

Comments: 21 pages, 10 figures, accepted in A&A

Euclid: Forecasts for $k$-cut $3 \times 2$ Point Statistics

Authors: P. L. Taylor, T. Kitching, V. F. Cardone, A. Ferté, E. M. Huff, F. Bernardeau, J. Rhodes, A. C. Deshpande, I. Tutusaus, A. Pourtsidou, S. Camera, C. Carbone, S. Casas, M. Martinelli, V. Pettorino, Z. Sakr, D. Sapone, V. Yankelevich, N. Auricchio, A. Balestra, C. Bodendorf, D. Bonino, A. Boucaud, E. Branchini, M. Brescia , et al. (70 additional authors not shown)

Abstract: Modelling uncertainties at small scales, i.e. high $k$ in the power spectrum $P(k)$, due to baryonic feedback, nonlinear structure growth and the fact that galaxies are biased tracers poses a significant obstacle to fully leverage the constraining power of the {\it Euclid} wide-field survey. $k$-cut cosmic shear has recently been proposed as a method to optimally remove sensitivity to these scales… ▽ More Modelling uncertainties at small scales, i.e. high $k$ in the power spectrum $P(k)$, due to baryonic feedback, nonlinear structure growth and the fact that galaxies are biased tracers poses a significant obstacle to fully leverage the constraining power of the {\it Euclid} wide-field survey. $k$-cut cosmic shear has recently been proposed as a method to optimally remove sensitivity to these scales while preserving usable information. In this paper we generalise the $k$-cut cosmic shear formalism to $3 \times 2$ point statistics and estimate the loss of information for different $k$-cuts in a $3 \times 2$ point analysis of the {\it Euclid} data. Extending the Fisher matrix analysis of~\citet{blanchard2019euclid}, we assess the degradation in constraining power for different $k$-cuts. We work in the idealised case and assume the galaxy bias is linear, the covariance is Gaussian, while neglecting uncertainties due to photo-z errors and baryonic feedback. We find that taking a $k$-cut at $2.6 \ h \ {\rm Mpc} ^{-1}$ yields a dark energy Figure of Merit (FOM) of 1018. This is comparable to taking a weak lensing cut at $\ell = 5000$ and a galaxy clustering and galaxy-galaxy lensing cut at $\ell = 3000$ in a traditional $3 \times 2$ point analysis. We also find that the fraction of the observed galaxies used in the photometric clustering part of the analysis is one of the main drivers of the FOM. Removing $50 \% \ (90 \%)$ of the clustering galaxies decreases the FOM by $19 \% \ (62 \%)$. Given that the FOM depends so heavily on the fraction of galaxies used in the clustering analysis, extensive efforts should be made to handle the real-world systematics present when extending the analysis beyond the luminous red galaxy (LRG) sample. △ Less

Submitted 20 July, 2021; v1 submitted 8 December, 2020; originally announced December 2020.

Comments: 10 pages, 5 figures. Accepted by the Open Journal of Astrophysics

On the kernel of the Brauer-Manin pairing

Authors: Thomas H. Geisser, Baptiste Morin

Abstract: Let $\mathcal X$ be a regular scheme, flat and proper over the ring of integers of a $p$-adic field, with generic fiber $X$ and special fiber $\mathcal X_s$. We study the left kernel $Br(\mathcal X)$ of the Brauer-Manin pairing $Br(X)\times CH_0(X)\to \mathbb Q/\mathbb Z$. Our main result is that the kernel of the reduction map $Br(\mathcal X)\to Br(\mathcal X_s)$ is the direct sum of… ▽ More Let $\mathcal X$ be a regular scheme, flat and proper over the ring of integers of a $p$-adic field, with generic fiber $X$ and special fiber $\mathcal X_s$. We study the left kernel $Br(\mathcal X)$ of the Brauer-Manin pairing $Br(X)\times CH_0(X)\to \mathbb Q/\mathbb Z$. Our main result is that the kernel of the reduction map $Br(\mathcal X)\to Br(\mathcal X_s)$ is the direct sum of $(\mathbb Q/\mathbb Z[\frac{1}{p}])^s\oplus (\mathbb Q/\mathbb Z)^t$ and a finite $p$-group, where $s+t= ρ_{\mathcal X_s}-ρ_X-I+1$, for $ρ_{\mathcal X_s}$ and $ρ_X$ the Picard numbers of $\mathcal X_s$ and $X$, and $I$ the number of irreducible components of $\mathcal X_s$. Moreover, we show that $t>0$ implies $s>0$. △ Less

Submitted 25 January, 2021; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: Improved version

MSC Class: Primary 14F22; Secondary: 14F40; 14F42; 11G40

Topological Hochschild homology and Zeta-values

Authors: Baptiste Morin

Abstract: Using work of Antieau and Bhatt-Morrow-Scholze, we define a filtration on topological Hochschild homology and its variants $TP$ and $TC^-$ of quasi-lci rings with bounded torsion, which recovers the BMS-filtration after $p$-adic completion. Then we compute the graded pieces of this filtration in terms of Hodge completed derived de Rham cohomology relative to the base ring $\mathbb{Z}$. We denote t… ▽ More Using work of Antieau and Bhatt-Morrow-Scholze, we define a filtration on topological Hochschild homology and its variants $TP$ and $TC^-$ of quasi-lci rings with bounded torsion, which recovers the BMS-filtration after $p$-adic completion. Then we compute the graded pieces of this filtration in terms of Hodge completed derived de Rham cohomology relative to the base ring $\mathbb{Z}$. We denote the cofiber of the canonical map from $\mathrm{gr}^{n}TC^-(-)$ to $\mathrm{gr}^{n}TP(-)$ by $LΩ^{<n}_{-/\mathbb{S}}[2n]$. Let $\mathcal{X}$ be a regular connected scheme of dimension $d$ proper over $\mathrm{Spec}(\mathbb{Z})$ and let $n\in\mathbb{Z}$ be an arbitrary integer. Together with Weil-étale cohomology with compact support $RΓ_{W,c}(\mathcal{X},\mathbb{Z}(n))$, the complex $LΩ^{<n}_{\mathcal{X}/\mathbb{S}}$ is expected to give the Zeta-value $\pmζ^*(\mathcal{X},n)$ on the nose. Combining the results proven here with a theorem recently proven in joint work with Flach, we obtain a formula relating $LΩ^{<n}_{\mathcal{X}/\mathbb{S}}$, $LΩ^{<d-n}_{\mathcal{X}/\mathbb{S}}$, Weil-étale cohomology of the archimedean fiber $\mathcal{X}_{\infty}$ with Tate twists $n$ and $d-n$, the Bloch conductor $A(\mathcal{X})$ and the special values of the archimedean Euler factor of the Zeta-function $ζ(\mathcal{X},s)$ at $s=n$ and $s=d-n$. This formula is a shadow of the functional equation of Zeta-functions. △ Less

Submitted 9 July, 2021; v1 submitted 23 November, 2020; originally announced November 2020.

MSC Class: 14F40; 14F10; 11G40; 13D03; 19F27

Euclid: impact of nonlinear prescriptions on cosmological parameter estimation from weak lensing cosmic shear

Authors: M. Martinelli, I. Tutusaus, M. Archidiacono, S. Camera, V. F. Cardone, S. Clesse, S. Casas, L. Casarini, D. F. Mota, H. Hoekstra, C. Carbone, S. Ilić, T. D. Kitching, V. Pettorino, A. Pourtsidou, Z. Sakr, D. Sapone, N. Auricchio, A. Balestra, A. Boucaud, E. Branchini, M. Brescia, V. Capobianco, J. Carretero, M. Castellano , et al. (69 additional authors not shown)

Abstract: Upcoming surveys will map the growth of large-scale structure with unprecented precision, improving our understanding of the dark sector of the Universe. Unfortunately, much of the cosmological information is encoded by the small scales, where the clustering of dark matter and the effects of astrophysical feedback processes are not fully understood. This can bias the estimates of cosmological para… ▽ More Upcoming surveys will map the growth of large-scale structure with unprecented precision, improving our understanding of the dark sector of the Universe. Unfortunately, much of the cosmological information is encoded by the small scales, where the clustering of dark matter and the effects of astrophysical feedback processes are not fully understood. This can bias the estimates of cosmological parameters, which we study here for a joint analysis of mock Euclid cosmic shear and Planck cosmic microwave background data. We use different implementations for the modelling of the signal on small scales and find that they result in significantly different predictions. Moreover, the different nonlinear corrections lead to biased parameter estimates, especially when the analysis is extended into the highly nonlinear regime, with both the Hubble constant, $H_0$, and the clustering amplitude, $σ_8$, affected the most. Improvements in the modelling of nonlinear scales will therefore be needed if we are to resolve the current tension with more and better data. For a given prescription for the nonlinear power spectrum, using different corrections for baryon physics does not significantly impact the precision of Euclid, but neglecting these correction does lead to large biases in the cosmological parameters. In order to extract precise and unbiased constraints on cosmological parameters from Euclid cosmic shear data, it is therefore essential to improve the accuracy of the recipes that account for nonlinear structure formation, as well as the modelling of the impact of astrophysical processes that redistribute the baryons. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: 18 pages, 6 figures. Prepared for submission to Astronomy & Astrophysics

Report number: IFT-UAM/CSIC-20-146

Euclid preparation: IX. EuclidEmulator2 -- Power spectrum emulation with massive neutrinos and self-consistent dark energy perturbations

Authors: Euclid Collaboration, M. Knabenhans, J. Stadel, D. Potter, J. Dakin, S. Hannestad, T. Tram, S. Marelli, A. Schneider, R. Teyssier, S. Andreon, N. Auricchio, C. Baccigalupi, A. Balaguera-Antolínez, M. Baldi, S. Bardelli, P. Battaglia, R. Bender, A. Biviano, C. Bodendorf, E. Bozzo, E. Branchini, M. Brescia, C. Burigana, R. Cabanac , et al. (109 additional authors not shown)

Abstract: We present a new, updated version of the EuclidEmulator (called EuclidEmulator2), a fast and accurate predictor for the nonlinear correction of the matter power spectrum. Percent-level accurate emulation is now supported in the eight-dimensional parameter space of $w_0w_a$CDM$+\sum m_ν$models between redshift $z=0$ and $z=3$ for spatial scales within the range 0.01 $h$/Mpc $\leq k \leq$ 10 $h$/Mpc… ▽ More We present a new, updated version of the EuclidEmulator (called EuclidEmulator2), a fast and accurate predictor for the nonlinear correction of the matter power spectrum. Percent-level accurate emulation is now supported in the eight-dimensional parameter space of $w_0w_a$CDM$+\sum m_ν$models between redshift $z=0$ and $z=3$ for spatial scales within the range 0.01 $h$/Mpc $\leq k \leq$ 10 $h$/Mpc. In order to achieve this level of accuracy, we have had to improve the quality of the underlying N-body simulations used as training data: (1) we use self-consistent linear evolution of non-dark matter species such as massive neutrinos, photons, dark energy and the metric field, (2) we perform the simulations in the so-called N-body gauge, which allows one to interpret the results in the framework of general relativity, (3) we run over 250 high-resolution simulations with $3000^3$ particles in boxes of 1 (Gpc/$h$)${}^3$ volumes based on paired-and-fixed initial conditions and (4) we provide a resolution correction that can be applied to emulated results as a post-processing step in order to drastically reduce systematic biases on small scales due to residual resolution effects in the simulations. We find that the inclusion of the dynamical dark energy parameter $w_a$ significantly increases the complexity and expense of creating the emulator. The high fidelity of EuclidEmulator2 is tested in various comparisons against N-body simulations as well as alternative fast predictors like Halofit, HMCode and CosmicEmu. A blind test is successfully performed against the Euclid Flagship v2.0 simulation. Nonlinear correction factors emulated with EuclidEmulator2 are accurate at the level of 1% or better for 0.01 $h$/Mpc $\leq k \leq$ 10 $h$/Mpc and $z\leq3$ compared to high-resolution dark matter only simulations. EuclidEmulator2 is publicly available at https://github.com/miknab/EuclidEmulator2 . △ Less

Submitted 21 October, 2020; originally announced October 2020.

Comments: 28 pages, 19 figures, submitted to MNRAS

A Feature Importance Analysis for Soft-Sensing-Based Predictions in a Chemical Sulphonation Process

Authors: Enrique Garcia-Ceja, Åsmund Hugo, Brice Morin, Per-Olav Hansen, Espen Martinsen, An Ngoc Lam, Øystein Haugen

Abstract: In this paper we present the results of a feature importance analysis of a chemical sulphonation process. The task consists of predicting the neutralization number (NT), which is a metric that characterizes the product quality of active detergents. The prediction is based on a dataset of environmental measurements, sampled from an industrial chemical process. We used a soft-sensing approach, that… ▽ More In this paper we present the results of a feature importance analysis of a chemical sulphonation process. The task consists of predicting the neutralization number (NT), which is a metric that characterizes the product quality of active detergents. The prediction is based on a dataset of environmental measurements, sampled from an industrial chemical process. We used a soft-sensing approach, that is, predicting a variable of interest based on other process variables, instead of directly sensing the variable of interest. Reasons for doing so range from expensive sensory hardware to harsh environments, e.g., inside a chemical reactor. The aim of this study was to explore and detect which variables are the most relevant for predicting product quality, and to what degree of precision. We trained regression models based on linear regression, regression tree and random forest. A random forest model was used to rank the predictor variables by importance. Then, we trained the models in a forward-selection style by adding one feature at a time, starting with the most important one. Our results show that it is sufficient to use the top 3 important variables, out of the 8 variables, to achieve satisfactory prediction results. On the other hand, Random Forest obtained the best result when trained with all variables. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: Accepted for: 3rd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2020)

Towards the Automation of a Chemical Sulphonation Process with Machine Learning

Authors: Enrique Garcia-Ceja, Åsmund Hugo, Brice Morin, Per-Olav Hansen, Espen Martinsen, An Ngoc Lam, Øystein Haugen

Abstract: Nowadays, the continuous improvement and automation of industrial processes has become a key factor in many fields, and in the chemical industry, it is no exception. This translates into a more efficient use of resources, reduced production time, output of higher quality and reduced waste. Given the complexity of today's industrial processes, it becomes infeasible to monitor and optimize them with… ▽ More Nowadays, the continuous improvement and automation of industrial processes has become a key factor in many fields, and in the chemical industry, it is no exception. This translates into a more efficient use of resources, reduced production time, output of higher quality and reduced waste. Given the complexity of today's industrial processes, it becomes infeasible to monitor and optimize them without the use of information technologies and analytics. In recent years, machine learning methods have been used to automate processes and provide decision support. All of this, based on analyzing large amounts of data generated in a continuous manner. In this paper, we present the results of applying machine learning methods during a chemical sulphonation process with the objective of automating the product quality analysis which currently is performed manually. We used data from process parameters to train different models including Random Forest, Neural Network and linear regression in order to predict product quality values. Our experiments showed that it is possible to predict those product quality values with good accuracy, thus, having the potential to reduce time. Specifically, the best results were obtained with Random Forest with a mean absolute error of 0.089 and a correlation of 0.978. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: Published in: 2019 7th International Conference on Control, Mechatronics and Automation (ICCMA)

Journal ref: 2019 7th International Conference on Control, Mechatronics and Automation (ICCMA) (pp. 352-357). IEEE

Maximizing Error Injection Realism for Chaos Engineering with System Calls

Authors: Long Zhang, Brice Morin, Benoit Baudry, Martin Monperrus

Abstract: In this paper, we present a novel fault injection framework for system call invocation errors, called Phoebe. Phoebe is unique as follows. First, Phoebe enables developers to have full observability of system call invocations. Second, Phoebe generates error models that are realistic in the sense that they mimic errors that naturally happen in production. Third, Phoebe is able to automatically cond… ▽ More In this paper, we present a novel fault injection framework for system call invocation errors, called Phoebe. Phoebe is unique as follows. First, Phoebe enables developers to have full observability of system call invocations. Second, Phoebe generates error models that are realistic in the sense that they mimic errors that naturally happen in production. Third, Phoebe is able to automatically conduct experiments to systematically assess the reliability of applications with respect to system call invocation errors in production. We evaluate the effectiveness and runtime overhead of Phoebe on two real-world applications in a production environment. The results show that Phoebe successfully generates realistic error models and is able to detect important reliability weaknesses with respect to system call invocation errors. To our knowledge, this novel concept of "realistic error injection", which consists of grounding fault injection on production errors, has never been studied before. △ Less

Submitted 2 April, 2021; v1 submitted 8 June, 2020; originally announced June 2020.

Journal ref: IEEE Transactions on Dependable and Secure Computing, 2021

Compatibility of Special value conjectures with the functional equation of Zeta functions

Authors: Matthias Flach, Baptiste Morin

Abstract: We prove that the special value conjecture for the Zeta function of a proper, regular arithmetic scheme X that we formulated in our previous article [8] is compatible with the functional equation of the Zeta function provided that the factor C(X,n) we were not able to compute in loc. cit. has the simple explicit form suggested in [9]. We prove that the special value conjecture for the Zeta function of a proper, regular arithmetic scheme X that we formulated in our previous article [8] is compatible with the functional equation of the Zeta function provided that the factor C(X,n) we were not able to compute in loc. cit. has the simple explicit form suggested in [9]. △ Less

Submitted 10 May, 2020; originally announced May 2020.

MSC Class: 14F20 (primary) 14F42; 11G40

Automatic Observability for Dockerized Java Applications

Authors: Long Zhang, Deepika Tiwari, Brice Morin, Benoit Baudry, Martin Monperrus

Abstract: Docker is a virtualization technique heavily used in the industry to build cloud-based systems. In the context of Docker, a system is said to be observable if engineers can get accurate information about its running state in production. In this paper, we present a novel approach, called POBS, to automatically improve the observability of Dockerized Java applications. POBS is based on automated tra… ▽ More Docker is a virtualization technique heavily used in the industry to build cloud-based systems. In the context of Docker, a system is said to be observable if engineers can get accurate information about its running state in production. In this paper, we present a novel approach, called POBS, to automatically improve the observability of Dockerized Java applications. POBS is based on automated transformations of Docker configuration files. Our approach injects additional modules in the production application, in order to provide better observability. We evaluate POBS by applying it on open-source Java applications which are containerized with Docker. Our key result is that 148/170 (87%) of Docker Java containers can be automatically augmented with better observability. △ Less

Submitted 9 July, 2021; v1 submitted 14 December, 2019; originally announced December 2019.

Observability and Chaos Engineering on System Calls for Containerized Applications in Docker

Authors: Jesper Simonsson, Long Zhang, Brice Morin, Benoit Baudry, Martin Monperrus

Abstract: In this paper, we present a novel fault injection system called ChaosOrca for system calls in containerized applications. ChaosOrca aims at evaluating a given application's self-protection capability with respect to system call errors. The unique feature of ChaosOrca is that it conducts experiments under production-like workload without instrumenting the application. We exhaustively analyze all ki… ▽ More In this paper, we present a novel fault injection system called ChaosOrca for system calls in containerized applications. ChaosOrca aims at evaluating a given application's self-protection capability with respect to system call errors. The unique feature of ChaosOrca is that it conducts experiments under production-like workload without instrumenting the application. We exhaustively analyze all kinds of system calls and utilize different levels of monitoring techniques to reason about the behaviour under perturbation. We evaluate ChaosOrca on three real-world applications: a file transfer client, a reverse proxy server and a micro-service oriented web application. Our results show that it is promising to detect weaknesses of resilience mechanisms related to system calls issues. △ Less

Submitted 29 January, 2021; v1 submitted 30 July, 2019; originally announced July 2019.

Journal ref: Future Generation Computer Systems, 2021

A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM

Authors: Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus

Abstract: Software systems contain resilience code to handle those failures and unexpected events happening in production. It is essential for developers to understand and assess the resilience of their systems. Chaos engineering is a technology that aims at assessing resilience and uncovering weaknesses by actively injecting perturbations in production. In this paper, we propose a novel design and implemen… ▽ More Software systems contain resilience code to handle those failures and unexpected events happening in production. It is essential for developers to understand and assess the resilience of their systems. Chaos engineering is a technology that aims at assessing resilience and uncovering weaknesses by actively injecting perturbations in production. In this paper, we propose a novel design and implementation of a chaos engineering system in Java called ChaosMachine. It provides a unique and actionable analysis on exception-handling capabilities in production, at the level of try-catch blocks. To evaluate our approach, we have deployed ChaosMachine on top of 3 large-scale and well-known Java applications totaling 630k lines of code. Our results show that ChaosMachine reveals both strengths and weaknesses of the resilience code of a software system at the level of exception handling. △ Less

Submitted 18 November, 2019; v1 submitted 14 May, 2018; originally announced May 2018.

Journal ref: IEEE Transactions on Software Engineering, 2019

On the trace forms of Galois algebras

Authors: Philippe Cassou-Noguès, Ted Chinburg, Baptiste Morin, Martin J. Taylor

Abstract: We study the trace form $q_L$ of $G$-Galois algebras $L/K$ when $G$ is a finite group and $K$ is a field of characteristic different from $2$. We introduce in this paper the category of $2$-reduced groups and, when $G$ is such a group, we use a formula of Serre to compute the second Hasse-Witt invariant of $q_L$. By combining this computation with work of Quillen we determine the isometry class of… ▽ More We study the trace form $q_L$ of $G$-Galois algebras $L/K$ when $G$ is a finite group and $K$ is a field of characteristic different from $2$. We introduce in this paper the category of $2$-reduced groups and, when $G$ is such a group, we use a formula of Serre to compute the second Hasse-Witt invariant of $q_L$. By combining this computation with work of Quillen we determine the isometry class of $q_L$ for large families of $G$-Galois algebras over global fields. We also indicate how our results generalize to Galois $G$-covers of schemes. △ Less

Submitted 17 July, 2017; originally announced July 2017.

Comments: 17 pages

MSC Class: 11E04 (Primary); 11E08 (Secondary)

Structure of chambers cut out by Veronese arrangements of hyperplanes in the real projective spaces

Authors: François Apéry, Bernard Morin, Masaaki Yoshida

Abstract: We study arrangements of $m$ hyperplanes in the $n$-dimensional real projective space, with a special focus on $m=n+3$ and $n=3$ or $n=4$. We study arrangements of $m$ hyperplanes in the $n$-dimensional real projective space, with a special focus on $m=n+3$ and $n=3$ or $n=4$. △ Less

Submitted 16 December, 2016; originally announced December 2016.

Comments: The paper is 58 pages long including 44 figures and 32 diagrams

MSC Class: 14N20; 52C35

Milne's correcting factor and derived de Rham cohomology II

Authors: Baptiste Morin

Abstract: Milne's correcting factor, which appears in the Zeta-value at $s=n$ of a smooth projective variety $X$ over a finite field $\mathbb{F}_q$, is the Euler characteristic of the derived de Rham cohomology of $X/\mathbb{Z}$ modulo the Hodge filtration $F^n$. In this note, we extend this result to arbitrary separated schemes of finite type over $\mathbb{F}_q$ of dimension at most $d$, provided resolutio… ▽ More Milne's correcting factor, which appears in the Zeta-value at $s=n$ of a smooth projective variety $X$ over a finite field $\mathbb{F}_q$, is the Euler characteristic of the derived de Rham cohomology of $X/\mathbb{Z}$ modulo the Hodge filtration $F^n$. In this note, we extend this result to arbitrary separated schemes of finite type over $\mathbb{F}_q$ of dimension at most $d$, provided resolution of singularities for schemes of dimension at most $d$ holds. More precisely, we show that Geisser's generalization of Milne's factor, whenever it is well defined, is the Euler characteristic of the $eh$-cohomology with compact support of the derived de Rham complex relative to $\mathbb{Z}$ modulo $F^n$. △ Less

Submitted 25 October, 2016; originally announced October 2016.

MSC Class: 14G10; 14F40; 11S40; 11G25

Weil-étale cohomology and Zeta-values of proper regular arithmetic schemes

Authors: Matthias Flach, Baptiste Morin

Abstract: We give a conjectural description of the vanishing order and leading Taylor coefficient of the Zeta function of a proper, regular arithmetic scheme $\mathcal{X}$ at any integer $n$ in terms of Weil-étale cohomology complexes. This extends work of Lichtenbaum \cite{Lichtenbaum05} and Geisser \cite{Geisser04b} for $\mathcal{X}$ of characteristic $p$, of Lichtenbaum \cite{li04} for… ▽ More We give a conjectural description of the vanishing order and leading Taylor coefficient of the Zeta function of a proper, regular arithmetic scheme $\mathcal{X}$ at any integer $n$ in terms of Weil-étale cohomology complexes. This extends work of Lichtenbaum \cite{Lichtenbaum05} and Geisser \cite{Geisser04b} for $\mathcal{X}$ of characteristic $p$, of Lichtenbaum \cite{li04} for $\mathcal{X}=\mathrm{Spec}(\mathcal{O}_F)$ and $n=0$ where $F$ is a number field, and of the second author for arbitrary $\mathcal{X}$ and $n=0$ \cite{Morin14}. We show that our conjecture is compatible with the Tamagawa number conjecture of Bloch, Kato, Fontaine and Perrin-Riou \cite{fpr91} if $\mathcal{X}$ is smooth over $\mathrm{Spec}(\mathcal{O}_F)$, and hence that it holds in cases where the Tamagawa number conjecture is known. △ Less

Submitted 1 March, 2017; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: 107 pages

MSC Class: 14F20; 14F42; 11G40

Tannakian twists of quadratic forms and orthogonal Nori motives

Authors: Philippe Cassou-Noguès, Baptiste Morin

Abstract: We revisit classical results of Serre, Fröhlich and Saito in the theory of quadratic forms. Given a neutral Tannakian category $(\mathcal{T},ω)$ over a field $k$ of characteristic $\neq 2$, another fiber functor $η$ over a $k$-scheme $X$ and an orthogonal object $(M,q)$ in $\mathcal{T}$, we show formulas relating the torsor $\bf{Isom}^{\otimes}(ω,η)$ to Hasse-Witt invariants of the quadratic space… ▽ More We revisit classical results of Serre, Fröhlich and Saito in the theory of quadratic forms. Given a neutral Tannakian category $(\mathcal{T},ω)$ over a field $k$ of characteristic $\neq 2$, another fiber functor $η$ over a $k$-scheme $X$ and an orthogonal object $(M,q)$ in $\mathcal{T}$, we show formulas relating the torsor $\bf{Isom}^{\otimes}(ω,η)$ to Hasse-Witt invariants of the quadratic space $ω(M,q)$ and the symmetric bundle $η(M,q)$. We apply this result to various neutral Tannakian categories arising in different contexts. We first consider Nori's Tannakian category of essentially finite bundles over an integral proper $k$-scheme $X$ with a rational point, in order to study an analogue of the Serre-Fröhlich embedding problem for Nori's fundamental group scheme. Then we consider Fontaine's Tannakian categories of $B$-admissible representations, in order to obtain a generalization of both the classical Serre-Fröhlich formula and Saito's analogous result for Hodge-Tate $p$-adic representations. Finally we consider Nori's category of mixed motives over a number field. These last two examples yield formulas relating the torsor of periods of an orthogonal motive to Hasse-Witt invariants of the associated Betti and de Rham quadratic forms and to Stiefel-Withney invariants of the associated local $l$-adic orthogonal representations. We give some computations for Artin motives and for the motive of a smooth hypersurface. △ Less

Submitted 10 November, 2015; originally announced November 2015.

MSC Class: 11E12; 11R34; 14F20

Leveraging Time Distortion for seamless Navigation into Data Space-Time Continuum

Authors: Thomas Hartmann, Francois Fouquet, Yves Le Traon, Brice Morin

Abstract: Intelligent software systems continuously analyze their surrounding environment and accordingly adapt their internal state. Depending on the criticality index of the situation, the system should dynamically focus or widen its analysis and reasoning scope. A naive -why have less when you can have more- approach would consist in systematically sampling the context at a very high rate and triggering… ▽ More Intelligent software systems continuously analyze their surrounding environment and accordingly adapt their internal state. Depending on the criticality index of the situation, the system should dynamically focus or widen its analysis and reasoning scope. A naive -why have less when you can have more- approach would consist in systematically sampling the context at a very high rate and triggering the reasoning process regularly. This reasoning process would then need to mine a huge amount of data, extract a relevant view, and finally analyze this adequate view. This overall process would require some heavy resources and/or be time-consuming, conflicting with the (near) real-time response time requirements of intelligent systems. We claim that a continuous and more flexible navigation into context models, in space and in time, can significantly improve reasoning processes. This paper thus introduces a novel modeling approach together with a navigation concept, which consider time and locality as first-class properties crosscutting any model element, and enable the seamless navigation of models in this space-time continuum. In particular, we leverage a time-relative navigation (inspired by the space-time and distortion theory [7]) able to efficiently empower continuous reasoning processes. We integrate our approach into an open-source modeling framework and evaluate it on a smart grid reasoning engine for electric load prediction. We demonstrate that reasoners leveraging this distorted space-time continuum outperform the full sampling approach, and is compatible with most of (near) real-time requirements. △ Less

Submitted 17 July, 2014; originally announced July 2014.

Milne's correcting factor and derived de Rham cohomology

Authors: Baptiste Morin

Abstract: Milne's correcting factor is a numerical invariant playing an important role in formulas for special values of zeta functions of varieties over finite fields. We show that Milne's factor is simply the Euler characteristic of the derived de Rham complex (relative to $\mathbb{Z}$) modulo the Hodge filtration. Milne's correcting factor is a numerical invariant playing an important role in formulas for special values of zeta functions of varieties over finite fields. We show that Milne's factor is simply the Euler characteristic of the derived de Rham complex (relative to $\mathbb{Z}$) modulo the Hodge filtration. △ Less

Submitted 20 November, 2014; v1 submitted 9 July, 2014; originally announced July 2014.

MSC Class: 14G10; 14G15; 11S40

Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use

Authors: Fouquet Francois, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel

Abstract: The creation of Domain Specific Languages(DSL) counts as one of the main goals in the field of Model-Driven Software Engineering (MDSE). The main purpose of these DSLs is to facilitate the manipulation of domain specific concepts, by providing developers with specific tools for their domain of expertise. A natural approach to create DSLs is to reuse existing modeling standards and tools. In this a… ▽ More The creation of Domain Specific Languages(DSL) counts as one of the main goals in the field of Model-Driven Software Engineering (MDSE). The main purpose of these DSLs is to facilitate the manipulation of domain specific concepts, by providing developers with specific tools for their domain of expertise. A natural approach to create DSLs is to reuse existing modeling standards and tools. In this area, the Eclipse Modeling Framework (EMF) has rapidly become the defacto standard in the MDSE for building Domain Specific Languages (DSL) and tools based on generative techniques. However, the use of EMF generated tools in domains like Internet of Things (IoT), Cloud Computing or Models@Runtime reaches several limitations. In this paper, we identify several properties the generated tools must comply with to be usable in other domains than desktop-based software systems. We then challenge EMF on these properties and describe our approach to overcome the limitations. Our approach, implemented in the Kevoree Modeling Framework (KMF), is finally evaluated according to the identified properties and compared to EMF. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: ISBN 978-2-87971-131-7; N&deg; TR-SnT-2014-11 (2014)

Report number: TR-SnT-2014-11

Variable Susceptibility With An Open Population: A Transport Equation Approach

Authors: Benjamin R. Morin

Abstract: Variable individual response to epidemics may be found within many contexts in the study of infectious diseases (e.g., age structure or contact networks). There are situations where the variability, in terms of epidemiological parameter, cannot be neatly packaged along with other demographics of the population like spatial location or life stage. Transport equations are a novel method for handling… ▽ More Variable individual response to epidemics may be found within many contexts in the study of infectious diseases (e.g., age structure or contact networks). There are situations where the variability, in terms of epidemiological parameter, cannot be neatly packaged along with other demographics of the population like spatial location or life stage. Transport equations are a novel method for handling this variability via a distributed parameter; where particular parameter values are possessed by various proportions of the population. Several authors (e.g., Kareva, Novozhilov, and Katriel) have studied such systems in a closed population setting (no births/immigrations or deaths/emigrations), but have cited restrictions to employing such methods when entry and removal of individuals is added to the population. This paper details, in the context of a simple susceptible-infectious-recovered (SIR) epidemic, how the method works in the closed population setting and gives conditions for initial, transient, and asymptotic results to be equivalent with the nondistributed case. Additionally, I show how the method may be applied to various forms of open SIR systems. Transport equations are used to transform an infinite dimensional system for the open population case into a finite dimensional system which is, at the very least, able to be numerically studied, a model with direct inheritance of the distributed parameter is shown to be qualitatively identical to the nondistributed case, and finally a model where disease results in sterilization is fully analyzed. △ Less

Submitted 6 October, 2013; originally announced October 2013.

The classifying topos of a group scheme and invariants of symmetric bundles

Authors: Philippe Cassou-Noguès, Ted Chinburg, Baptiste Morin, Martin J. Taylor

Abstract: Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group ${\bf O}(q)$ of the form $q$ is a group scheme over $Y$ whose cohomology ring $H^*(B_{{\bf O}(q)},{\bf Z}/2{\bf Z})\simeq A_Y[HW_1(q),..., HW_n(q)]$ is a polynomial algebra over the étale cohomology ring… ▽ More Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group ${\bf O}(q)$ of the form $q$ is a group scheme over $Y$ whose cohomology ring $H^*(B_{{\bf O}(q)},{\bf Z}/2{\bf Z})\simeq A_Y[HW_1(q),..., HW_n(q)]$ is a polynomial algebra over the étale cohomology ring $A_Y:=H^*(Y_{et},{\bf Z}/2{\bf Z})$ of the scheme $Y$. Here the $HW_i(q)$'s are Jardine's universal Hasse-Witt invariants and $B_{{\bf O}(q)}$ is the classifying topos of ${\bf O}(q)$ as defined by Grothendieck and Giraud. The cohomology ring $H^*(B_{{\bf O}(q)},{\bf Z}/2{\bf Z})$ contains canonical classes $\mathrm{det}[q]$ and $[C_q]$ of degree 1 and 2 respectively, which are obtained from the determinant map and the Clifford group of $q$. The classical Hasse-Witt invariants $w_i(q)$ live in the ring $A_Y$. Our main theorem provides a computation of ${det}[q]$ and $[C_{q}]$ as polynomials in $HW_{1}(q)$ and $HW_{2}(q)$ with coefficients in $A_Y$ written in terms of $w_1(q),w_2(q)\in A_Y$. This result is the source of numerous standard comparison formulas for classical Hasses-Witt invariants of quadratic forms. Our proof is based on computations with (abelian and non-abelian) Cech cocycles in the topos $B_{{\bf O}(q)}$. This requires a general study of the cohomology of the classifying topos of a group scheme, which we carry out in the first part of this paper. △ Less

Submitted 21 January, 2013; originally announced January 2013.

Comments: 63 pages

MSC Class: 15A63; 14F20

Preventing the tragedy of the commons through punishment of over-consumers and encouragement of under-consumers

Authors: Irina Kareva, Benjamin Morin, Georgy Karev

Abstract: The conditions that can lead to the exploitative depletion of a shared resource, i.e, the tragedy of the commons, can be reformulated as a game of prisoner's dilemma: while preserving the common resource is in the best interest of the group, over-consumption is in the interest of each particular individual at any given point in time. One way to try and prevent the tragedy of the commons is through… ▽ More The conditions that can lead to the exploitative depletion of a shared resource, i.e, the tragedy of the commons, can be reformulated as a game of prisoner's dilemma: while preserving the common resource is in the best interest of the group, over-consumption is in the interest of each particular individual at any given point in time. One way to try and prevent the tragedy of the commons is through infliction of punishment for over-consumption and/or encouraging under-consumption, thus selecting against over-consumers. Here, the effectiveness of various punishment functions in an evolving consumer-resource system is evaluated within a framework of a parametrically heterogeneous system of ordinary differential equations (ODEs). Conditions leading to the possibility of sustainable coexistence with the common resource for a subset of cases are identified analytically using adaptive dynamics; the effects of punishment on heterogeneous populations with different initial composition are evaluated using the Reduction theorem for replicator equations. Obtained results suggest that one cannot prevent the tragedy of the commons through rewarding of under-consumers alone - there must also be an implementation of some degree of punishment that increases in a non-linear fashion with respect to over-consumption and which may vary depending on the initial distribution of clones in the population. △ Less

Submitted 16 December, 2012; originally announced December 2012.

The effect of the high-pass filter data reduction technique on the Herschel PACS Photometer PSF and noise

Authors: P. Popesso, B. Magnelli, S. Buttiglione, D. Lutz, A. Poglitsch, S. Berta, R. Nordon, B. Altieri, H. Aussel, N. Billot, R. Gastaud, B. Ali, Z. Balog, A. Cava, H. Feuchtgruber, B. Gonzalez Garcia, N. Geis, C. Kiss, U. Klaas, H. Linz, X. C. Liu, A. Moor, B. Morin, T. Muller, M. Nielbock , et al. (14 additional authors not shown)

Abstract: We investigate the effect of the "high-pass filter" data reduction technique on the Herschel PACS PSF and noise of the PACS maps at the 70, 100 and 160 um bands and in medium and fast scan speeds. This branch of the PACS Photometer pipeline is the most used for cosmological observations and for point-source observations.The calibration of the flux loss due to the median removal applied by the PACS… ▽ More We investigate the effect of the "high-pass filter" data reduction technique on the Herschel PACS PSF and noise of the PACS maps at the 70, 100 and 160 um bands and in medium and fast scan speeds. This branch of the PACS Photometer pipeline is the most used for cosmological observations and for point-source observations.The calibration of the flux loss due to the median removal applied by the PACS pipeline (high-pass filter) is done via dedicated simulations obtained by "polluting" real PACS timelines with fake sources at different flux levels. The effect of the data reduction parameter settings on the final map noise is done by using selected observations of blank fields with high data redundancy. We show that the running median removal can cause significant flux losses at any flux level. We analyse the advantages and disadvantages of several masking strategies and suggest that a mask based on putting circular patches on prior positions is the best solution to reduce the amount of flux loss. We provide a calibration of the point-source flux loss for several masking strategies in a large range of data reduction parameters, and as a function of the source flux. We also show that, for stacking analysis, the impact of the high-pass filtering effect is to reduce significantly the clustering effect. The analysis of the global noise and noise components of the PACS maps shows that the dominant parameter in determining the final noise is the high-pass filter width. We also provide simple fitting functions to build the error map from the coverage map and to estimate the cross-correlation correction factor in a representative portion of the data reduction parameter space. △ Less

Submitted 18 November, 2012; originally announced November 2012.

Comments: 32 pages, 28 figures, submitted to A&A

Orthogonal representations of affine group schemes and twists of symmetric bundles

Authors: Philippe Cassou-Noguès, Ted Chinburg, Baptiste Morin, Martin Taylor

Abstract: Following Serre's initial work, a number of authors have considered twists of quadratic forms on a scheme Y by torsors of a finite group G, together with formulas for the Hasse-Witt invariants of the twisted form. In this paper we take the base scheme Y to be affine and consider non-constant groups schemes G. There is a fundamental new feature in this case - in that the torsor may now be ramified… ▽ More Following Serre's initial work, a number of authors have considered twists of quadratic forms on a scheme Y by torsors of a finite group G, together with formulas for the Hasse-Witt invariants of the twisted form. In this paper we take the base scheme Y to be affine and consider non-constant groups schemes G. There is a fundamental new feature in this case - in that the torsor may now be ramified over Y. The natural framework for handling the case of a non-constant group scheme over the affine base is provided by the quadratic theory of Hopf-algebras. △ Less

Submitted 7 November, 2011; originally announced November 2011.

Comments: 31 p

Explicit Solutions to the Continuous Time Albert-Barabási Scale-Free Model

Authors: Benjamin R. Morin

Abstract: Presented here is the explicit solution to the continuous time approximation of the Albert-Barabási scale-free network model at any time t. The solution is found by recursively solving the differential equations via integrating factors, identifying a pattern for the coefficients and then proving this observed pattern using induction. Presented here is the explicit solution to the continuous time approximation of the Albert-Barabási scale-free network model at any time t. The solution is found by recursively solving the differential equations via integrating factors, identifying a pattern for the coefficients and then proving this observed pattern using induction. △ Less

Submitted 8 May, 2011; v1 submitted 4 May, 2011; originally announced May 2011.

Comments: Updated version: Introduction and Discussion affected

Zeta functions of regular arithmetic schemes at s=0

Authors: Baptiste Morin

Abstract: Lichtenbaum conjectured the existence of a Weil-étale cohomology in order to describe the vanishing order and the special value of the Zeta function of an arithmetic scheme $\mathcal{X}$ at $s=0$ in terms of Euler-Poincaré characteristics. Assuming the (conjectured) finite generation of some étale motivic cohomology groups we construct such a cohomology theory for regular schemes proper over… ▽ More Lichtenbaum conjectured the existence of a Weil-étale cohomology in order to describe the vanishing order and the special value of the Zeta function of an arithmetic scheme $\mathcal{X}$ at $s=0$ in terms of Euler-Poincaré characteristics. Assuming the (conjectured) finite generation of some étale motivic cohomology groups we construct such a cohomology theory for regular schemes proper over $\mathrm{Spec}(\mathbb{Z})$. In particular, we obtain (unconditionally) the right Weil-étale cohomology for geometrically cellular schemes over number rings. We state a conjecture expressing the vanishing order and the special value up to sign of the Zeta function $ζ(\mathcal{X},s)$ at $s=0$ in terms of a perfect complex of abelian groups $RΓ_{W,c}(\mathcal{X},\mathbb{Z})$. Then we relate this conjecture to Soulé's conjecture and to the Tamagawa number conjecture of Bloch-Kato, and deduce its validity in simple cases. △ Less

Submitted 21 October, 2013; v1 submitted 30 March, 2011; originally announced March 2011.

Comments: 53 pages. To appear in Duke Math. J

MSC Class: 14F20; 14G10; 11S40; 11G40; 19F27

Journal ref: Duke Math. J. 163, no. 7 (2014), 1263-1336

On the Weil-étale topos of regular arithmetic schemes

Authors: Matthias Flach, Baptiste Morin

Abstract: We define and study a Weil-étale topos for any regular, proper scheme $X$ over $\Spec(Z)$ which has some of the properties suggested by Lichtenbaum for such a topos. In particular, the cohomology with $R$-coefficients has the expected relation to $ζ(X,s)$ at $s=0$ if the Hasse-Weil L-functions $L(h^i(X_Q),s)$ have the expected meromorphic continuation and functional equation. If $\X$ has character… ▽ More We define and study a Weil-étale topos for any regular, proper scheme $X$ over $\Spec(Z)$ which has some of the properties suggested by Lichtenbaum for such a topos. In particular, the cohomology with $R$-coefficients has the expected relation to $ζ(X,s)$ at $s=0$ if the Hasse-Weil L-functions $L(h^i(X_Q),s)$ have the expected meromorphic continuation and functional equation. If $\X$ has characteristic $p$ the cohomology with $Z$-coefficients also has the expected relation to $ζ(X,s)$ and our cohomology groups recover those previously studied by Lichtenbaum and Geisser. △ Less

Submitted 19 October, 2010; originally announced October 2010.

Comments: 84 pages. Submitted

MSC Class: Primary: 14F20; 11S40; Secondary: 11G40; 18F10

Logistic Models with Time-Dependent Coefficients and Some of Their Applications

Authors: Raquel M. Lopez, Benjamin R. Morin, Sergei K. Suslov

Abstract: We discuss explicit solutions of the logistic model with variable parameters. Classical data on the sunflower seeds growth are revisited as a simple application of the logistic model with periodic coefficients. Some applications to related biological systems are briefly reviewed. We discuss explicit solutions of the logistic model with variable parameters. Classical data on the sunflower seeds growth are revisited as a simple application of the logistic model with periodic coefficients. Some applications to related biological systems are briefly reviewed. △ Less

Submitted 15 August, 2010; originally announced August 2010.

Comments: 9 pages, 1 figure

Sur l'analogie entre le système dynamique de Deninger et le topos Weil-étale

Authors: Baptiste Morin

Abstract: We express some basic properties of Deninger's conjectural dynamical system in terms of morphisms of topoi. Then we show that the current definition of the Weil-étale topos satisfies these properties. In particular, the flow, the closed orbits, the fixed points of the flow and the foliation in characteristic $p$ are well defined on the Weil-étale topos. This analogy extends to arithmetic schemes.… ▽ More We express some basic properties of Deninger's conjectural dynamical system in terms of morphisms of topoi. Then we show that the current definition of the Weil-étale topos satisfies these properties. In particular, the flow, the closed orbits, the fixed points of the flow and the foliation in characteristic $p$ are well defined on the Weil-étale topos. This analogy extends to arithmetic schemes. Over a prime number $p$ and over the archimedean place of $\mathbb{Q}$, we define a morphism from a topos associated to Deninger's dynamical system to the Weil-étale topos. This morphism is compatible with the structure mentioned above. △ Less

Submitted 17 October, 2010; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: 33 pages. Submitted version

The Weil-étale fundamental group of a number field II

Authors: Baptiste Morin

Abstract: We define the fundamental group underlying to Lichtenbaum's Weil-étale cohomology for number rings. To this aim, we define the Weil-étale topos as a refinement of the Weil-étale sites introduced in \cite{Lichtenbaum}. We show that the (small) Weil-étale topos of a smooth projective curve defined in this paper is equivalent to the natural definition given in \cite{Lichtenbaum-finite-field}. Then we… ▽ More We define the fundamental group underlying to Lichtenbaum's Weil-étale cohomology for number rings. To this aim, we define the Weil-étale topos as a refinement of the Weil-étale sites introduced in \cite{Lichtenbaum}. We show that the (small) Weil-étale topos of a smooth projective curve defined in this paper is equivalent to the natural definition given in \cite{Lichtenbaum-finite-field}. Then we compute the Weil-étale fundamental group of an open subscheme of the spectrum of a number ring. Our fundamental group is a projective system of locally compact topological groups, which represents first degree cohomology with coefficients in locally compact abelian groups. We apply this result to compute the Weil-étale cohomology in low degrees and to prove that the Weil-étale topos of a number ring satisfies the expected properties of the conjectural Lichtenbaum topos. △ Less

Submitted 30 September, 2010; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: 59 pages. To appear in Selecta Mathematica

MSC Class: 14F20; 14F35; 11R42

The Weil-étale fundamental group of a number field I

Authors: Baptiste Morin

Abstract: Lichtenbaum has conjectured the existence of a Grothendieck topology for an arithmetic scheme $X$ such that the Euler characteristic of the cohomology groups of the constant sheaf $\mathbb{Z}$ with compact support at infinity gives, up to sign, the leading term of the zeta-function $ζ_X(s)$ at $s=0$. In this paper we consider the category of sheaves $\bar{X}_L$ on this conjectural site for… ▽ More Lichtenbaum has conjectured the existence of a Grothendieck topology for an arithmetic scheme $X$ such that the Euler characteristic of the cohomology groups of the constant sheaf $\mathbb{Z}$ with compact support at infinity gives, up to sign, the leading term of the zeta-function $ζ_X(s)$ at $s=0$. In this paper we consider the category of sheaves $\bar{X}_L$ on this conjectural site for $X=Spec(\mathcal{O}_F)$ the spectrum of a number ring. We show that $\bar{X}_L$ has, under natural topological assumptions, a well defined fundamental group whose abelianization is isomorphic, as a topological group, to the Arakelov Picard group of $F$. This leads us to give a list of topological properties that should be satisfied by $\bar{X}_L$. These properties can be seen as a global version of the axioms for the Weil group. Finally, we show that any topos satisfying these properties gives rise to complexes of étale sheaves computing the expected Lichtenbaum cohomology. △ Less

Submitted 16 September, 2010; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: 40 pages. To appear in Kyushu Journal of Mathematics

On the Weil-étale cohomology of number fields

Authors: Baptiste Morin

Abstract: We give a direct description of the category of sheaves on Lichtenbaum's Weil-étale site of a number ring. Then we apply this result to define a spectral sequence relating Weil-étale cohomology to Artin-Verdier étale cohomology. Finally we construct complexes of étale sheaves computing the expected Weil-étale cohomology. We give a direct description of the category of sheaves on Lichtenbaum's Weil-étale site of a number ring. Then we apply this result to define a spectral sequence relating Weil-étale cohomology to Artin-Verdier étale cohomology. Finally we construct complexes of étale sheaves computing the expected Weil-étale cohomology. △ Less

Submitted 2 June, 2010; originally announced June 2010.

Comments: 50 pages. To appear in Trans. Amer. Math. Soc

Applications of an Equivariant Etale Cohomology to Arithmetic Topology

Authors: Baptiste Morin

Abstract: A. Sikora has shown results which confirm the analogy between number fields and 3-manifolds. However, he has given proofs of his results which are very different in the arithmetic and in the topological case. In this paper, we show how to provide a unified approach to the results in the two cases. For this we introduce an equivariant cohomology which satisfies a localization theorem. In particular… ▽ More A. Sikora has shown results which confirm the analogy between number fields and 3-manifolds. However, he has given proofs of his results which are very different in the arithmetic and in the topological case. In this paper, we show how to provide a unified approach to the results in the two cases. For this we introduce an equivariant cohomology which satisfies a localization theorem. In particular, we obtain a satisfactory explanation for the coincidences between Sikora's formulas which leads us to clarify and to extend the dictionary of arithmetic topology. △ Less

Submitted 2 June, 2010; v1 submitted 3 February, 2006; originally announced February 2006.

Comments: This is the final version published in Compositio Math. 144 (2008), no. 1, 32-60

MSC Class: 14F20; 55N91; 13A50

Journal ref: Compositio Math. 144 (2008), no. 1, 32-60

Terapixel Surveys for Cosmic Shear

Authors: Y. Mellier, L. van Waerbeke, M. Radovich, E. Bertin, M. Dantel-Fort, J. -C. Cuillandre, H. Mc Cracken, O. Le Fevre, P. Didelon, B. Morin, R. Maoli, T. Erben, F. Bernardeau, P. Schneider, B. Fort, B. Jain, .

Abstract: The recent detections of cosmic shear signal announced by several groups have demonstrated the feasibility of this challenging program and convinced astro- nomers of its potential for cosmology. Cosmic shear analysis demands to handle Gigabytes of data in order to probe several square degrees in subarcsecond deep imaging mode. The success of these surveys is sensitive to the designs of the obser… ▽ More The recent detections of cosmic shear signal announced by several groups have demonstrated the feasibility of this challenging program and convinced astro- nomers of its potential for cosmology. Cosmic shear analysis demands to handle Gigabytes of data in order to probe several square degrees in subarcsecond deep imaging mode. The success of these surveys is sensitive to the designs of the observation strategy, the organization of the data reduction pipelines and the links of the data base with surveys like X-ray or spectroscopic follow up. We describe the cosmic shear surveys we have carried out at the VLT and at CFHT and the way we handle this huge data set in a more general context including the VIRMOS and the XMM-LSS surveys, and the future CMB surveys. △ Less

Submitted 3 December, 2000; originally announced December 2000.

Comments: Latex, 11 pages. To appear in the ESO Proceedings ``Mining the Sky'', Garching July 31th-Aug. 4th, 2000. A.J. Banday et al eds