\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Schwartz-Bruhat function}

\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

A Schwartz-Bruhat function is a certain type of complex-valued function on a general [[locally compact space|locally compact]] [[Hausdorff space|Hausdorff]] [[topological abelian group|abelian group]], generalizing the familiar notion of [[Schwartz space|Schwartz function]] on a space given as a finite product of copies of the real line, of the circle, and a finitely generated abelian group.

\hypertarget{definitions}{}\subsection*{{Definitions}}\label{definitions}

The notion of Schwartz-Bruhat function is constructed in stages that parallel developments in the general structure theory of locally compact (Hausdorff) abelian groups.

Recall the notion of \emph{compactly generated topological group} $G$: it means there is a compact neighborhood of the identity which generates $G$ as a group. The structure of a compactly generated abelian Lie group is well-known: it is a product of type $K \times \mathbb{R}^m \times \mathbb{Z}^n$ where $K$ is a [[compactum|compact]] [[abelian group|abelian]] [[Lie group]] (thus of the form $T^p \times F$ where $F$ is a finite abelian group and $T = \mathbb{R}/\mathbb{Z}$ is a circle group). These are often called \emph{elementary Lie groups}.

\begin{defn}
\label{def1}\hypertarget{def1}{}
Let $G$ be an elementary Lie group of type $K \times \mathbb{R}^m \times \mathbb{Z}^n$ where $K$ is a compact abelian Lie group. A \emph{Schwartz-Bruhat function} on $G$ is an [[smooth function|infinitely differentiable function]] $f: G \to \mathbb{C}$ that is \emph{rapidly decreasing}: applications of any polynomial differential operator to $f$ is uniformly bounded in the $\mathbb{R}$- and $\mathbb{Z}$-variables, in the sense that

\begin{displaymath}
\underset{\alpha \in \mathbb{N}^n}{\forall}\;\;
  \underset{\beta, \gamma \in \mathbb{N}^m}{\forall}\;\; \underset{K_{\alpha, \beta, \gamma} \gt 0}{\exists}\;
  \left(
  \underset{(j, x) \in \mathbb{Z}^n \times \mathbb{R}^m}{sup} {\Vert j^\alpha x^\beta \partial_{\gamma} f(x, j)  \Vert} \lt K_{\alpha, \beta, \gamma}
  \right)
\end{displaymath}
using the usual notations for multi-indices $\alpha, \beta, \gamma$.

\end{defn}
Next, any locally compact abelian group is canonically a [[filtered colimit]] of the system of its open compactly generated subgroups and open inclusions between them. In particular, any abelian Lie group is canonically a filtered colimit of its open elementary Lie subgroups. In fact, an abelian Lie group is of the form $A \times \mathbb{R}^m \times T^p$, where $A$ is a discrete abelian group. We may reckon $A$ as a filtered colimit of its finitely generated subgroups $A_\alpha$; taking the product with the locally compact group $\mathbb{R}^m \times T^p$, any abelian Lie group is a filtered colimit of elementary Lie subgroups $A_\alpha \times \mathbb{R}^m \times T^p$.

\begin{defn}
\label{def2}\hypertarget{def2}{}
A \emph{Schwartz-Bruhat function} on an abelian Lie group $G$ is a continuous function $f: G \to \mathbb{C}$ that is supported on an open elementary Lie subgroup $H$, and whose restriction $f|_H: H \to \mathbb{C}$ is Schwartz-Bruhat in the sense of Definition \ref{def1}. (Thus $f$ is identically zero on the complement of $H$, which is a union of open cosets $g + H$.)

\end{defn}
Let $\mathcal{S}(G)$ denote the [[topological vector space|TVS]] of Schwartz-Bruhat functions on an abelian Lie group $G$. We obtain a functor $\mathcal{S}(-): AbLie^{op} \to TVS$.

Finally, the character group of a compactly generated locally compact abelian group is an abelian Lie group. By applying [[Pontryagin duality]] to the statement that a locally compact abelian group is canonically a filtered colimit of compactly generated subgroups, we see that any locally compact abelian group $G$ is canonically an inverse limit of a cofiltered diagram of abelian Lie groups $G_\alpha$:

\begin{displaymath}
G \cong \underset{\longleftarrow}{\lim}_\alpha G_\alpha.
\end{displaymath}
We may apply the contravariant functor $\mathcal{S}(-)$ to this cofiltered diagram to produce a filtered diagram of Schwartz-Bruhat spaces $\mathcal{S}(G_\alpha)$ of abelian Lie groups. In this notation,

\begin{defn}
\label{}\hypertarget{}{}
For a locally compact abelian group $G$, the Schwartz-Bruhat space $\mathcal{S}(G)$ is the colimit of the filtered diagram of spaces $\mathcal{S}(G_\alpha)$ defined according to Definition \ref{def2}.

\end{defn}
In other words, a Schwartz-Bruhat function on $G$ is one that factors through one of its Lie quotients as

\begin{displaymath}
G \twoheadrightarrow G_\alpha \stackrel{g}{\to} \mathbb{C}
\end{displaymath}
where $g: G_\alpha \to \mathbb{C}$ is Schwartz-Bruhat in the sense given for Lie groups, Definition \ref{def2}.

\hypertarget{references}{}\subsection*{{References}}\label{references}

The extension of Schwartz functions and [[tempered distributions]] on Euclidean spaces $\mathbb{R}^n$ to more general locally compact abelian groups was given by Bruhat:

\begin{itemize}%
\item F. Bruhat, \emph{Distributions sur un groupe localement compact et applications \`a{} l’\'e{}tude des repr\'e{}sentations des groupes p-adiques}, Bull. Soc. Math. France 89 (1961), 43-75. (\href{http://www.numdam.org/article/BSMF_1961__89__43_0.pdf}{pdf})

\end{itemize}
References to the fact that Schwartz-Bruhat spaces can be presented as direct limits of [[topological vector spaces]] frequently appear in the literature, e.g.,

\begin{itemize}%
\item A. Wawrzyńczyk, \emph{On tempered distributions and Bochner-Schwartz theorem on arbitrary locally compact Abelian groups}, Colloquium Mathematicae Volume 19 Issue 2 (1968), 305-318. (\href{https://eudml.org/doc/263023}{link})

\end{itemize}
(However, the precise categorical details seem to be hard to come by, or at least treated in somewhat cavalier fashion.)

Some useful background material on the structure of locally compact Hausdorff abelian groups used in the description above can be found here:

\begin{itemize}%
\item Dikran Dikranjan, Luchezar Stoyanov, \emph{An elementary approach to Haar integration and Pontryagin duality in locally compact abelian groups}, Topology and its Applications 158 (2011), 1942–1961. (\href{https://ac.els-cdn.com/S0166864111002604/1-s2.0-S0166864111002604-main.pdf?_tid=b5b2e8fe-134e-11e8-b733-00000aab0f26&acdnat=1518809121_303788c33fd1d38a829198fb1dd2741a}{pdf})

\end{itemize}
[[!redirects Schwartz-Bruhat functions]] [[!redirects Schwartz-Bruhat space]] [[!redirects Schwartz-Bruhat spaces]]



\end{document}