# Interpolation and Fatou-Zygmund property for completely Sidon subsets of discrete groups (New title: Completely Sidon sets in discrete groups)

## TL;DR

This paper studies completely Sidon sets in discrete groups, proving their stability under unions, extending bounded functions to positive definite functions, and characterizing their spans in $C^*(G)$ with operator space properties.

## Contribution

It introduces a new proof emphasizing the interpolation property, proves the Fatou-Zygmund extension property, and characterizes the operator space structure of spans of completely Sidon sets.

## Key findings

- Completely Sidon sets are stable under finite unions.
- Bounded Hermitian functions on symmetric completely Sidon sets extend to positive definite functions.
- The dual of the span of a completely Sidon set is exact iff the set is completely Sidon.

## Abstract

A subset of a discrete group $G$ is called completely Sidon if its span in $C^*(G)$ is completely isomorphic to the operator space version of the space $\ell_1$ (i.e. $\ell_1$ equipped with its maximal operator space structure). We recently proved a generalization to this context of Drury's classical union theorem for Sidon sets: completely Sidon sets are stable under finite unions. We give a different presentation of the proof emphasizing the "interpolation property" analogous to the one Drury discovered. In addition we prove the analogue of the Fatou-Zygmund property: any bounded Hermitian function on a symmetric completely Sidon set $\Lambda\subset G\setminus\{1\}$ extends to a positive definite function on $G$. In the final section, we give a completely isomorphic characterization of the closed span $C_\Lambda$ of a completely Sidon set in $C^*(G)$: the dual (in the operator space sense) of $C_\Lambda$ is exact iff $\Lambda$ is completely Sidon. In particular, $\Lambda$ is completely Sidon as soon as $C_\Lambda$ is completely isomorphic (by an arbitrary isomorphism) to $\ell_1(\Lambda)$ equipped with its maximal operator space structure.