Abstract:The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized the importance of functions and measures on locally compact abelian groups that are both positive and positive-definite at the same time. It looks like this class of functions and measures was not systematically studied before. The goal of this paper is to partially fill in this gap. We answer some of the natural questions involving these functions and measures, especially those that satisfy some extra integrability conditions. We also study some operations and constructions involving these functions and measures. There are several very interesting open questions, that we are only able to point out at this moment. In particular, the structure of the cone of such functions is not clear even when the group is just $\R.$

Sheaves in Elementary Mathematics: The case of positive integer numbers

On sheaves on semicartesian quantales and their truth values

Sheaf Theoretic Approach to Lefschetz Calculus

Elementary submodels, coding strategies, and an infinite real number game

Group actions in number theory

Abstract sheaf theory

The extension of Elementary Numerical Operator Theory: Simply Generic, Right-Stochastically Non-Gaussian, Sub-Canonically H-Positive Definite Monoids

Positive positive-definite functions and measures on locally compact abelian groups

Counting sheaves on curves

Paramathematical notions and Klein's Plan B: the case of equations

A Note on Numerical Perverse Sheaves

On an elementary proof of the fundamental theorem of algebra

Introduction to Sheaf Cohomology

The Inverse Semigroup Theory of Elementary Arithmetic

Sheaves of nonlinear generalized function spaces

Elementary equivalence versus Isomorphism

What Group Theory Can Do for You: From Magmas to Abstract Thinking in School Mathematics

An elementary multidimensional fundamental theorem of calculus

Bridging Meadows and Sheaves

Sheaf stable pairs, Quot-schemes, and birational geometry