\section{Introduction}
\label{sect:intro}

In an ideal case, the problem of flux calibration can be simplified to

\begin{equation}
\label{eg:basic}
f_\lambda = \frac{A}{d^2} F_\lambda\ ,
\end{equation}

\noindent
where $f_\lambda$ is the measured stellar flux,
$A$ is the radiation area,
$d$ is the distance,
and $F_\lambda$ is the emitted flux.
In an astrophysical case, additional absorption in the
circumstellar,
interstellar, and Earth's atmosphere environment will
reduce $f_\lambda$. This absorption occurs on both,
time- and energy-dependent scales, and thus exacerbates
the calibration problem (cf\@. these proceedings).

While observational techniques have strongly improved in the
last decades, and the measurement of $f_\lambda$ is
performed at
high precision,
high resolution, and
high S/N
based on ground-based and space-borne instruments,
the main uncertainties of Eq.\,\ref{eg:basic} are found
on its right side.
The first challenge to minimize these
is to find ``simple'' objects with high photometric stability
whose radiation can be described by fundamental physics.
White dwarfs (WDs) fulfill such requirements.
Since their radius $R$
is determined be electron degeneracy, their radiative area can
be calculated from

\begin{equation}
\label{eg:area}
A = \pi R^2
\end{equation}

\noindent
with

\begin{equation}
\label{eg:area}
R = \sqrt{\frac{G\cdot M}{g}}
\end{equation}

\noindent
($M$ is the star's mass and $g$ its surface gravity.
$G$ is the gravitational constant.).

Most of the hot, hydrogen-rich WDs (spectral type DA)
with $T_\mathrm{eff} < 40\,000\,\mathrm{K}$
have virtually
pure hydrogen atmospheres due to gravitational settling
($\log g\,\raisebox{-0.10em}{$\stackrel{>}{{\mbox{\tiny $\sim$}}}$}\,7$),
while the hotter WDs exhibit lines of heavier elements
due to radiative levitation or weak stellar winds.
This singled out in the past stars with many metal lines in their spectra
as standards for flux calibration.

Moreover, WDs are nearby and, thus, their distances $d$ can be measured
with high accuracy by parallaxes, particularly with the upcoming
\emph{GAIA}\footnote{\url{http://www.rssd.esa.int/index.php?project=GAIA&page=index}} mission.
A further advantage of their small distances is that WDs with extremely
low interstellar reddening can be found, where the calibration problem
reduces almost to the ideal case of Eq.\,\ref{eg:basic} -- at least for
space-borne missions. The spectra of such objects can be used for
panchromatic calibration (from the soft X-ray to the far infrared).

In this paper, we start with a brief summary on the
application of theoretical WD spectra to the flux calibration (Sect.\,\ref{sect:da}).
Then (Sect.\,\ref{sect:models}), we describe modeling
of WD atmospheres and the calculation of synthetic spectra.
In the case of G\,191-B2B is demonstrated that state-of-the-art
metal-line blanketed model atmospheres reproduce well its spectrum (Sect.\,\ref{sect:g191b2b}).
In Sect.\,\ref{sect:cross}, we show example for the application
of DA model spectra in the cross-calibration between different
instruments,
An easy way to access such spectra is shown in Sect.\,\ref{sect:vo}.
We conclude in Sect.\,\ref{sect:conclusions}.

\section{Flux calibration using DA-type white dwarfs}
\label{sect:da}

Most of the presently known ($\approx 10\,000$) WDs are of spectral
type DA. Only a few of them are relatively bright and exhibit negligible reddening.
These are a priori suited to act as primary standard stars for the
flux calibration in a large variety of observatories.
As a pre-requisite, however, reliable model atmospheres are necessary to compare
observed with theoretical spectra. These became available in the early
1970ies, following the pioneering work of
\citet{auermihalas1969,auermihalas1970} and \citet{mihalasauer1970}
who presented the first NLTE models for pure hydrogen
and hydrogen + helium stellar atmospheres, respectively.
Consequently, \citet{oke1974} presented a compilation of
absolute spectral energy distributions (SEDs) for 38 WDs
in the wavelength range $\lambda \ge 3200\,\mathrm{\AA}$, partly up to
more than 10\,000\,\AA.

\begin{figure}[ht!]
\plotone{rauch_t_fig01.eps}
\caption{Synthetic fluxes of an example binary (A\,35, top) and
         an isolated WD (G\,191-B2B, bottom) compared with observations.
         In case of A\,35, the composite model spectrum is normalized
         to the 2MASS brightness at 22\,000\,\AA.
         The synthetic spectrum for G\,191-B2B is normalized to that of the
         calibrated HST spectrum (R\@. Bohlin,
         priv\@. comm.). Since the observed and theoretical flux levels are
         almost identical, the observation is plotted in white in the
         foreground of the  \emph{TMAP} spectrum (red) for clarity (visible
         in the electronic version).
         The insert shows a scaled-up part of the spectrum.
         Interstellar reddening was considered using the law of \citet{fitzpatrick1999}.
}
\label{fig:reddening}
\end{figure}

Figure\,\ref{fig:reddening} illustrates the advantage of
an isolated DA WD in comparison to a DAO WD in a binary system --
the many strong metal lines in the DAO spectrum hamper an accurate calibration
in the FUV and the contribution of a cool companion spoils the
low-energy region. Although the composite synthetic spectrum matches
the FUV flux as well as the optical and IR magnitudes, the uncertainties
in modeling both components cannot be quantified properly. This excludes
such objects from the standards of \emph{panchromatic} flux calibration.
An isolated DA WD allows to normalize observation and synthetic spectrum
to the WD brightness in the infrared where interstellar reddening is lowest.
Note that there are no strong interstellar lines in the \emph{FUSE}
spectrum of G\,191-B2B (Fig.\,\ref{fig:reddening}).

Oke's list included HZ\,43A
\citep[WD\,1314+293, for the WD numbers cf\@.]
[and their online catalogue\footnote{\url{http://www.astronomy.villanova.edu/WDCatalog/index.html}}]
{mccooksion1999} and
G\,191-B2B (WD\,0501+527).
From a black body comparison, Oke found that the observed SED of G\,191-B2B corresponds
to a black body at $T = 100\,000\,\mathrm{K}$. In addition, HZ\,43A and G\,191-B2B
were amongst the brightest of Oke's list. Together with
GD\,71 (WD\,0549+158) and
GD\,153 (WD\,1254+223), these were used by \citet{bohlinetal1995} as
primary standard stars for the Hubble Space Telescope (HST, Tab.\,\ref{tab:hst}).

\begin{table}[ht!]\centering
\caption{Parameters of the HST DA standard stars used by \citet{bohlinetal1995}.
         The $m_\mathrm{B}$ and $m_\mathrm{V}$ values are from SIMBAD.}
\label{tab:hst}
\begin{tabular}{llccccl}
\hline
\noalign{\smallskip}
&
&
$T_\mathrm{eff}$ &
$\log g$ &
&
&
\vspace{-2mm}\\
WD name &
name &
&
&
$m_\mathrm{B}$ &
$m_\mathrm{V}$ &
comment \vspace{-2mm}\\
&
&
[K] &
[$\mathrm{cm/sec^2})$] &
&
&
\\
\noalign{\smallskip}
\hline
\noalign{\smallskip}
WD\,0549+158 & GD\,71   & 32\,300 & 7.73 & 12.78 & 13.03 & \\
WD\,1254+223 & GD\,153  & 38\,500 & 7.67 & 13.17 & 13.40 & \\
WD\,0501+527 & G191-B2B & 61\,300 & 7.50 & 11.44 & 11.69 & metal lines \\
WD\,1314+293 & HZ\,43A  & 50\,000 & 8.00 & 12.52 & 12.66 & binary \\
\hline
\end{tabular}
\end{table}

The HST flux scale \citep[1200\,\AA\ - 8000\,\AA]{bohlinetal1995}
was the reference for other calibration work, e.g\@.
\citet{holbergbergeron2006} used it to calibrate four major ground-based
systems
(Johnson-Kron-Cousins UBVRI,
Str\"omgren uvby,
2MASS\footnote{\url{http://www.ipac.caltech.edu/2mass/}} JHK$_\mathrm{s}$,
SDSS\footnote{\url{http://www.sdss.org/}} ugriz).

Although stellar model atmospheres improved continuously in the last four deca\-des,
some problems are still unsolved, e.g\@. the discrepancy between $T_\mathrm{eff}$
determined from H\,{\sc i} lines in ultraviolet and optical spectra \citep{barstowetal2001}.
In the case of G191-B2B, \citet{lajoiebergeron2007} found
$T^\mathrm{UV}_\mathrm{eff} = 60\,680\,\pm\,15\,000\,\mathrm{K}$ and
$T^\mathrm{opt}_\mathrm{eff} = 57\,414\,\pm\,4\,700\,\mathrm{K}$.
Even improved Stark line-broadening tables for H\,{\sc i} Lyman and Balmer lines
\citep{tremblaybergeron2009}
leave this discrepancy unexplained.

The recent, comprehensive analysis of more than 1100 WDs \citep{gianninasetal2011}
shows significant deviations for the HST DA standard stars (Tab.\,\ref{tab:gianninas})
from previous values (Tab.\,\ref{tab:hst}). Note that the errors given are from their
statistical approach and, thus, appear too optimistic. A calibration of \emph{IRAC}
aboard \emph{Spitzer ST} \citep{bohlinetal2011} uses a $T_\mathrm{eff} = 61\,196\,\mathrm{K}$
model for G191-B2B which is within the error limits of \citet{gianninasetal2011} and fulfils
the desired 1\,\% flux-accuracy limit.

\begin{table}[ht!]\centering
\caption{Parameters of the HST DA standard stars \citep{gianninasetal2011}.}
\label{tab:gianninas}
\begin{tabular}{lr@{\,$\pm$\,}lr@{\,$\pm$\,}l}
\hline
\noalign{\smallskip}
&
\multicolumn{2}{c}{$T_\mathrm{eff}$} &
\multicolumn{2}{c}{$\log g$} \vspace{-2mm}\\
name &
\multicolumn{2}{c}{}&
\multicolumn{2}{c}{}\vspace{-2mm}\\
&
\multicolumn{2}{c}{[K]} &
\multicolumn{2}{c}{[$\mathrm{cm/sec^2}$]} \\
\noalign{\smallskip}
\hline
\noalign{\smallskip}
GD\,71           &  33\,590 &  \hbox{}\hspace{2mm}483 & \hbox{}\hspace{4mm}7.93 & 0.05     \\
GD\,153          &  40\,320 &  \hbox{}\hspace{2mm}626 & 7.93 & 0.05                        \\
G191-B2B         &  60\,920 &  \hbox{}\hspace{2mm}993 & 7.55 & 0.05                        \\
HZ\,43A          &  51\,116 &                    1249 & 7.90 & 0.07                        \\
\hline
\end{tabular}
\end{table}

\section{Model atmospheres}
\label{sect:models}

WD spectral analysis requires adequate observations (WDs are intrinsically faint)
and state-of-the-art theoretical atmosphere models \citep[cf\@.][]{oke1974} that account for
reliable physics and deviations from the assumption of a local
thermodynamic equilibrium (LTE). Figure\,\ref{fig:ltenlte} shows
that for cool stars with high surface gravity (spectral type B and later),
LTE model atmospheres might be sufficient \citep{auermihalas1972}.
There are, however, NLTE effects
in any star, at least towards higher energies and in high-resolution
spectra. Aiming at a panchromatic flux calibration
(at an 1\,\% flux-error limit, which was the designated aim mentioned in many talks
at this conference)
and a cross-correlation of various instruments from the soft X-ray to the infrared,
the use of NLTE stellar-atmosphere models is mandatory.

\begin{figure}[ht!]
\plotone{rauch_t_fig02.eps}
\caption{Reliability domains of LTE and NLTE models for
         static and expanding stellar atmospheres.}
\label{fig:ltenlte}
\end{figure}

Since reliable atomic data is a crucial input for model-atmosphere calculations,
we start with a brief summary of existing lacks and problems in
Sect.~\ref{sect:atomicdata}. Then, we demonstrate the successful
application of NLTE atmosphere models in detailed spectral analysis and
show recent discoveries (Sect.~\ref{sect:reliability}).

\subsection{Atomic Data}
\label{sect:atomicdata}

For \emph{TMAP}, we compile atomic data from several standard sources like
NIST\footnote{\url{http://www.nist.gov/pml/data/asd.cfm}},
Kelly's data\-base\footnote{\url{http://www.cfa.harvard.edu/ampcgi/kelly.pl}}, or
CHIANTI\footnote{\url{http://www.chianti.rl.ac.uk}},
the Opacity \citep{seatonetal1994}
and
Iron \citep{hummeretal1993}
projects\footnote{\url{http://cdsweb.u-strasbg.fr/topbase/home.html}}
as well as
Kurucz's line lists\footnote{\url{http://kurucz.harvard.edu/}} \citep{kurucz1991,kurucz2009}.
The model atoms \citep{rauchdeetjen2003} are provided by the
T\"ubingen Model-Atom Database \emph{TMAD}\footnote{\url{http://astro.uni-tuebingen.de/~TMAD}}
(Sect.~\ref{sect:vo}). \emph{TMAD} is continuously updated and extended for the most
recent atomic data. Presently it provides
ready-to-use, \emph{TMAP}-compliant model atoms of the elements H - Ca, Ge (Fig.~\ref{fig:grotrian}), Kr, and Xe.

\begin{figure}[ht!]
\plotone{rauch_t_fig03.eps}
\caption{Grotrian diagram of the \emph{TMAD} Ge\,{\sc v} model ion.}
\label{fig:grotrian}
\end{figure}

\subsection{On the reliability of NLTE model atmospheres}
\label{sect:reliability}

\emph{TMAP}\footnote{\url{http://astro.uni-tuebingen.de/~TMAP}} \citep{werneretal2003}
can calculate fully metal-line blanketed WD model atmospheres.
About 1600 atomic levels and 7000 individual spectral lines of the
elements H - K can be treated in NLTE. Due to a statistical
treatment \citep{rauchdeetjen2003}, $\approx$\,300 million of lines of
the iron-group elements (Ca - Ni) can be considered. \emph{TMAP}
assumes hydrostatic and radiative equilibrium and a plane-parallel geometry.
It makes use of \emph{TMAD}.
\emph{TMAP} was successfully employed for detailed spectral analyses of hot, compact stars
\citep[e.g\@.][]{rauchetal2007,rauchetal2010,rauchetal2012,wassermannetal2010,werneretal2012}.
In these analyses, the models considered opacities of many elements from
H to Ni.

In case of synthetic spectra for high-$g$ DA-type WDs (Sect.\,\ref{sect:intro}),
where the calculation of pure hydrogen models is sufficient, the highest reliability
is achieved because H\,{\sc i} atomic data is accurately known.
Especially, tabulated Stark line-broadening tables are available \citep{lemke1997,tremblaybergeron2009}.
The models depend on $T_\mathrm{eff}$ and $\log g$ only, i.e\@. there are no other free parameters.
A synthetic WD spectrum can be calculated for a large wavelength range with
arbitrary resolution. Figure\,\ref{fig:vernet} shows the example of
EG\,274 (WD\,1620$-$391) for the optical to the near infrared wavelength range.
The observations were performed at ESO (European Southern Observatory, Chile)
with
UVES (Ultraviolet and Visual Echelle Spectrograph)
and
SINFONI (Spectrograph for INtegral Field Observations in the Near Infrared)
\citep[cf\@.][]{vernetetal2008a,vernetetal2008b}.
The initial aim to achieve an agreement of observation and theory better than 10\,\% in flux
was exceeded by far.

\begin{figure}[ht!]
\plotone{rauch_t_fig04.eps}
\caption{Comparison of a \emph{TMAP} model (light blue / grey) for EG\,274
($T_\mathrm{eff} = 24\,276\,\mathrm{K}$, $\log g = 8.01$)
with an optical spectrum and infrared brightness measurements.
The insert shows a detail of the UVES spectrum in the optical.
The dashed lines indicate the flux limits of the synthetic spectrum
within the $T_\mathrm{eff}$ and $\log g$ uncertainties.
}
\label{fig:vernet}
\end{figure}

It is worthwhile to note that large observatories like ESO have large calibration
programs where spectro-photometric standard stars are observed every
night. The huge number of observations with different setups allows
to define master spectra (Fig.~\ref{fig:vernet}) that help to improve
the pipeline reduction of the observations.  These spectra may serve also
to automatically measure e.g\@. the nights' conditions or to monitor the efficiency
of a telescope as a whole by comparison of the master flux level of a star
to that of an actual observation. Moreover, the pipeline reduction can
be improved, e.g\@. to remove residuals of \'echelle orders (see insert
in Fig.~\ref{fig:vernet}, EG\,274 is a spectrum
from the Advanced Data Products\footnote{\url{http://archive.eso.org/eso/eso_archive_adp.html}}).

The capability and reliability of a model-atmospheres code can be judged
from its application to spectral analysis over a wide wavelength range.
In general, synthetic spectra are more reliable in the low energy range
because towards higher energies, the consideration of metal opacities
(bound-bound as well as bound-free transitions) and the lack of atomic
input data (Sect.~\ref{sect:atomicdata}) thwarts any atmosphere code, how
sophisticated it may be. A simple look at the model-atom statistics is not sufficient.
\citet{kudritzki1976} used the complete linearization technique of
\citet{auermihalas1969} and allowed 18 atomic levels
(5 H\,{\sc i}, 1 H\,{\sc ii}, 5 He\,{\sc i}, 6 He\,{\sc ii},  1 He\,{\sc iii})
to deviate from LTE and included six H\,{\sc i} line transitions in his so-called
\emph{classical models}. Together with 65 frequency points, he arrived at a system of
86 equations to solve simultaneously and at the accuracy limit of the 32\,bit computers that
were available. Present models employ the approximated lambda operator (ALO) method
\citep{wernerhusfeld1985,werner1986,werner1989,wernerdreizler1999} and consider all elements from
H to Ni \citep{rauch1997,rauch2003} with
e.g\@. 686 levels in NLTE, 2417 individual lines, and millions of lines of the
iron group in the analysis of LS\,V\,+46$^\mathrm{o}$21 \citep{rauchetal2007}.

The large number of levels and lines that can be considered in the models,
however, implies the difficulty to quantify e.g\@. uncertainties of the respective
atomic data (Sect.~\ref{sect:atomicdata}) and, thus, the synthetic spectra.
Detailed spectral analyses of high-quality spectra and the agreement between
model and observation are an important measure to estimate the models' flux accuracy.
We will now present some individual examples for spectral analyses with \emph{TMAP}
models of compact stars with different $T_\mathrm{eff}$.

\boldmath
\subsubsection{(Pre-) white dwarfs: $T_\mathrm{eff} \approx 100\,000\,\mathrm{K}$}
\label{sect:wd}
\unboldmath

The main field of our working group are post-AGB stars, with a focus on
hydrogen-deficient stellar evolution. The development of observation techniques
and the quality of the obtained spectra in the ultraviolet wavelength range
with e.g\@.
\emph{FUSE} (Far Ultraviolet Spectroscopic Explorer)
or
\emph{HST/STIS} (Hubble Space Telescope / Space Telescope Imaging Spectrograph)
allowed the determination of stellar photospheric parameters like
$T_\mathrm{eff}$, $\log g$, and elemental abundances with unprecedented
accuracy \citep[see][and references therein]{wernerherwig2006}.
The identification of hitherto unidentified lines in \emph{FUSE} and
\emph{STIS} spectra and abundance analyses of many of the respective species
(e.g\@.
Ne\,{\sc vii}     \citep{werneretal2004},
F\,{\sc vi}       \citep{wrk2005},
Ar\,{\sc vi}      \citep{rauchetal2007},
Ar\,{\sc vii}     \citep{wrk2007a},
Ne\,{\sc viii}    \citep{wrk2007b},
Ca\,{\sc x}       \citep{wrk2008}, and
Fe\,{\sc x}       \citep{wrk2010},
Ga\,{\sc v},
Ge\,{\sc v},
As\,{\sc v},
Se\,{\sc iv - vi},
Kr\,{\sc vi, vii},
Mb\,{\sc vi},
Sn\,{\sc iv - v},
Te\,{\sc vi},
I\,{\sc vi},
Xe\,{\sc vi, vii} \citep{werneretal2012})
were the direct consequence of
a continuous development of \emph{TMAP} and the available atomic data.
E.g\@. the identification of Ne\,{\sc viii} lines \citep{wrk2007b} followed
the publication of energy levels and spectral lines of Ne\,{\sc viii}
by \citet{kramidaetal2006}.

Figure~\ref{fig:krxe} shows newly identified Kr and Xe lines
in the \emph{FUSE} spectrum of the DO-type WD RE\,0503$-$289 \citep{werneretal2012}.
With these discoveries, new ionization equilibria, e.g\@. Kr\,{\sc vi} / {\sc vii},
can be evaluated for a more precise determination of $T_\mathrm{eff}$. In addition,
abundance determinations of trans-iron elements establish new challenges for
stellar evolutionary theory. Although \citet{werneretal2012} identified
22 out of the 23 Ge\,{\sc v} lines that are listed at NIST and five that are
listed in Kelly's database, a Ge abundance analysis was impossible due to the lack of
transition probabilities. After their calculation, \citet{rauchetal2012} presented
a precise determination of the Ge abundance in RE\,0503$-$289 and discovered
additional four Ge\,{\sc iv}, 14 Ge\,{\sc v} and seven Ge\,{\sc vi} lines.

\begin{figure}[ht!]
\plotone{rauch_t_fig05.eps}
\caption{Kr\,{\sc vi}, Kr\,{\sc vii}, Xe\,{\sc vi}, and Xe\,{\sc vii} lines
         in the FUV spectrum of RE\,0503$-$289.}
\label{fig:krxe}
\end{figure}

\begin{figure}[ht!]
\plotone{rauch_t_fig06.eps}
\caption{Two sections of the
         \emph{FUSE} (top) and
         \emph{STIS} (bottom) observations of LS\,V\,+46$^\mathrm{o}$21
         compared with the final model of \citet{rauchetal2007}.
         Photospheric lines are marked at top of the panels.
         is denotes interstellar origin (not modeled here).}
\label{fig:lsv}
\end{figure}

In the spectral analysis of LS\,V\,+46$^\mathrm{o}$21 \citep{rauchetal2007},
the central star of the planetary nebula Sh\,2$-$216,
it was possible to identify and reproduce about 95\% of all spectral
lines (more than 1000) in the \emph{FUSE} and \emph{STIS} spectra (Fig.~\ref{fig:lsv})
by the combination of a photospheric model and a model of the interstellar
line-absorption \emph{Owens} profile fitting procedure.

Figure~\ref{fig:lsv} demonstrates the unique opportunity to employ
stars as stellar laboratories for atomic physics. The large number of
spectral lines, e.g\@. of Fe\,{\sc vi}, allows to measure relative
line strengths and to verify or improve the respective $\log gf$ values
($g$ is here the statistical weight of the lower level of the line
transition, $f$ the oscillator strength). In addition,
precise wavelength measurements in high-resolution spectra allow to
improve the atomic level energies.

\boldmath
\subsubsection{Super-soft sources: $T_\mathrm{eff} \approx \mathrm{700\,000\,K}$}
\label{sect:sss}
\unboldmath

Some months after their outbursts, novae may evolve into very bright
super-soft X-ray sources (SSS). V\,4743 Sgr (outburst Sep 20, 2002)
was the brightest SSS
in March 2003 \citep{nessetal2003}. Although the origin and the
physics of the nova's spectrum is still under debate, \citet{rauchetal2010}
could reproduce well the strengths and shapes of lines and absorption edges
and determined
$T_\mathrm{eff} = 740\,000 \pm 20\,000\,\mathrm{K}$. Fig.\,\ref{fig:v4743} shows
a comparison of theoretical spectra with an \emph{XMM-Newton} (X-ray Multi-Mirror Mission)
RGS (Reflection Grating Spectrometer) fluxed spectrum from
\emph{BiRD}\footnote{\url{http://xmm.esac.esa.int/BiRD/}}.
Note that the given error is rather conservative, i.e\@. we arrive at an
uncertainty level of better than 3\,\% even for these extremely hot objects.

\begin{figure}[ht!]
\plotone{rauch_t_fig07.eps}
\caption{Dependance of the strengths of lines (marked above the top spectrum, red)
         and ground-state thresholds (marked at top) on $T_\mathrm{eff}$.
         The SEDs of our models ($\log g = 9$)
         are compared with the \emph{XMM-Newton} observation (2003-04-04)
         of V\,4743 Sgr and normalized to match the observed flux level at 38\,\AA.
         IG denotes a generic model atom that contains Ca - Ni.}
\label{fig:v4743}
\end{figure}

V\,4743 Sgr is not the only example where our static models were used successfully
to determine photospheric parameters of the WD in SSS.
Nova KT \,Eri (outburst at Nov 25, 2009) was observed in early 2010 with
\emph{Chandra} and \emph{XMM-Newton}.
In Fig.\ref{fig:kteri}, we show a
comparison of a model SED with the observation.
Although the model is not fine-tuned in abundances and does not include all
elements from H to Ni, the reproduction of the observed spectrum is already very good.
Obviously, lines of different ionization stages, e.g\@.  N\,{\sc vi} and N\,{\sc vii}
are formed in different radial velocity regimes but their theoretical strengths match
the observation.

\begin{figure}[ht!]
\plotone{rauch_t_fig08.eps}
\caption{SED of our preliminary \emph{TMAP} model  ($\log g = 9$) compared with
         the \emph{Chandra} spectrum (2010-01-31) of
         KT\,Eri (normalized to the observed flux at 38\,\AA).}
\label{fig:kteri}
\end{figure}

\boldmath
\subsubsection{Neutron stars: $T_\mathrm{eff} \approx \mathrm{10\,000\,000\,K}$}
\label{sect:ns}
\unboldmath

At a typical $\log g \approx 14.39$
(neutron star with $M =1.4\,\mathrm{M_\odot}$ and  $R = 10\,\mathrm{km}$),
an extended Fig.~\ref{fig:ltenlte} would show that \emph{TMAP} models are still
valid up to $T_\mathrm{eff} \approx 20\,\mathrm{MK}$. At higher $T_\mathrm{eff}$,
comptonization has a significant impact on the X-ray spectrum \citep{rauchetal2008}.

In the case of EXO\,0748$-$676, an X-ray bursting neutron star,
\citet{rauchetal2008} could easily show that the identification of
gravitationally red-shifted absorption
lines of Fe\,{\sc xxv} and {\sc xxvi} by \citet{cottametal2002} is wrong because at the relevant temperatures,
Fe\,{\sc xxiv} lines should be much stronger but these were not observed (Fig.~\ref{fig:exo}).

\begin{figure}[ht!]
\plotone{rauch_t_fig09.eps}
\caption{Model spectra for EXO\,0748$-$676 with different iron content.}
\label{fig:exo}
\end{figure}

\clearpage

\section{G\,191$-$B2B - too many metal lines?}
\label{sect:g191b2b}

G\,191$-$B2B is the visually brightest of the HST standard stars
(Table~\ref{tab:gianninas}) and thus it may be the most observed
and best studied hot DA WD in all wavelength ranges. Hence, it should
be the prime standard star for the UV wavelengths as well. However,
it shows many weak metal lines \citep[e.g\@.][]{barstowetal2003}
in its observed UV spectrum. Therefore its was not used for the \emph{FUSE} calibration
(G\@. Sonneborn, this conference). Detailed modeling with \emph{TMAP}
shows that these lines can be well reproduced and, thus, a reliable synthetic spectrum
from the H\,{\sc i} Lyman threshold to the far IR can be calculated
that allows a flux calibration over a wide energy interval.
Fig.~\ref{fig:reddening} shows a comparison of
HST observations of
G\,191$-$B2B\footnote{\url{http://www.stsci.edu/hst/observatory/cdbs/calspec.html}}
within $1\,400 < \lambda < 30\,000\,\mathrm{\AA}$
with our preliminary \emph{TMAP} model that agree almost perfectly in the
continuum-flux level. A detailed fine-tuning of the metal abundances is still ongoing
that will improve the agreement in the FUV and EUV range.

Figure~\ref{fig:g191flux} shows a comparison of the flux of a pure hydrogen model
to a metal-blanketed model and a black-body flux. Strong metal-line blanketing
is visible around the flux maximum in the H-Ni model. This results in significant
deviations from the pure H model flux even in the IR. Compared to the model-atmosphere
fluxes, the black body has its flux maximum at a 2.7 times higher wavelength
and the peak maximum is about 40\% lower.

\begin{figure}[ht!]
\plotone{rauch_t_fig10.eps}
\caption{Astrophysical flux of two \emph{TMAP} models for G\,191$-$B2B with different elemental
         compositions (blue, thick: pure H atmosphere;
                       red, thin: H+He+C+N+O+Si+P+S+Ca+Sc+Ti+V+Cr+Mn+Fe+Co+Ni).
         The dashed line shows the black body flux at the same $T=60\,920\,\mathrm{K}$.}
\label{fig:g191flux}
\end{figure}

\section{Cross-correlation between various instruments}
\label{sect:cross}

\citet{beuermannetal2006} established two DA WDs, namely HZ43\,A and Sirius\,B,
and the neutron star RX\,J185635$-$3754 as soft X-ray standards. This enabled
a cross-calibration between the \emph{Chandra}
LETG+HRC-S (Low Energy Transmission Grating, High Resolution Camera Spectroscopic array), the
\emph{EUVE} (Extreme Ultraviolet Explorer) spectrometer, and the
\emph{ROSAT} PSPC (R\"ontgensatellit, Position Sensitive Proportional Counter).
With their attempt, the effective area of \emph{ROSAT} could be corrected,
yielding consistent fluxes from about 20 to 160\,\AA.
It is worthwhile to note that during the work for this cross-correlation,
Jelle Kaastra discovered discrepancies between
\emph{TMAP} and
\emph{TLUSTY} \citep{hubenylanz1995} models in the case of HZ43\,A,
that were then intensively investigated and understood \citep[e.g\@.][]{rauch2008}.

\citet{drake2012} and the \emph{Chandra} LETG team relied on the growing confidence
in the photospheric parameters for HZ43\,A \citep{beuermannetal2006}
and that its spectrum was well-represented by pure hydrogen atmospheric models.
They used HZ43\,A spectra obtained over ten years and \emph{TMAP} atmospheres
in order to improve the in-flight calibration. The corrected effective area curve allowed
then to incorporate a secular decline in quantum efficiency for a better
(re-)calibration of LETG spectra. It is worthwhile to note that
GD\,153 was newly introduced by
\citet{menz2011} for the calibration of LETG spectra in order to bridge
the $T_\mathrm{eff}$ gap between Sirius\,B and HZ43\,A (Table~\ref{tab:standard}).

\section{Virtual Observatory Services and Tools for Synthetic Spectra}
\label{sect:vo}

In the framework of the \emph{Virtual Observatory}\footnote{\url{http://www.ivoa.net/}} (\emph{VO}),
the \emph{German Astrophysical Virtual Observatory}\footnote{\url{http://www.g-vo.org/}} (\emph{GAVO})
provides the registered \emph{VO} service
\emph{TheoSSA} (Theoretical Spectra Simple Access,
Fig.\,\ref{fig:theossa}).
It was created to provide access to synthetic stellar SEDs at three levels.
1) Fast and easy download of precalculated SEDs by an unexperienced \emph{VO} user
(no detailed knowledge of the model-atmosphere code necessary).
2) Calculation of SEDs (elements H, He, C, N, and O) with standard \emph{TMAD} model atoms
for a preliminary analysis of individual objects via the
\emph{TMAP} web interface \emph{TMAW}\footnote{\url{http://astro.uni-tuebingen.de/~TMAW}}.
3) Advanced calculation of SEDs with especially tailored model atoms, e.g\@.
for a comparison with other stellar model-atmosphere codes.

\begin{figure}[ht!]
\plotone{rauch_t_fig11.eps}
\caption{\emph{TheoSSA} web interface at {\tt http://dc.g-vo.org/theossa}.}
\label{fig:theossa}
\end{figure}

\emph{TheoSSA} is related to the \emph{GAVO} database that includes already
thousands of SEDs. Newly calculated SEDs are automatically ingested and,
thus, this database is growing in time.
If a requested SED is not available, the \emph{VO} user will be redirected
to the \emph{TMAW} interface, where individual models can be calculated.
Figure\,\ref{fig:dataflow} illustrates the dataflow between the
\emph{TheoSSA} and \emph{TMAW} WWW interfaces and the \emph{GAVO} database.
For a pure H model, the calculation takes some hours, for H+He+C+N+O composed
models, one or two days are necessary. The wall-clock time, however, is
depending on the number of queued SED requests.
The calculation of extended model grids ($> 150$ models) makes use of compute resources of
\emph{AstroGrid-D\footnote{\url{http://www.gac-grid.de/}}}.

\begin{figure}[ht!]
\begin{picture}(17.0,10.0)
\thicklines

\put( 3.5, 8.0){\makebox(6.0,1.0)[c]{{\small\color{red}\emph{{TheoSSA} request:} $T_\mathrm{eff}$, $\log g$, $X_\mathrm{i}$}}}
\put( 4.0, 8.5){\oval( 1.0, 1.0)[l]}
\put( 9.0, 8.5){\oval( 1.0, 1.0)[r]}
\multiput( 4.0, 8.0)(0.0,1.0){2}{\line(1,0){5.0}}

\put( 6.5, 8.0){\vector(0,-1){0.5}}

\put( 4.54, 6.25){\makebox(4.0,1.0)[c]{{\begin{minipage}{60mm}
                                       \footnotesize
                                       \begin{center}
                                       check {\color{blue}GAVO database}:\\
                                       requested parameters matched\\
                                       within tolerance limits?
                                       \end{center}
                                       \end{minipage}
                                       }}}
\put( 4.3, 6.75){\oval( 1.0, 1.5)[l]}
\put( 8.7, 6.75){\oval( 1.0, 1.5)[r]}
\multiput( 4.3, 6.0)(0.0,1.5){2}{\line(1,0){4.4}}

\put( 6.5, 6.0){\line(0,-1){0.25}}
\put( 3.75, 5.75){\line(1,0){5.5}}
\multiput( 3.75, 5.75)(5.5,0.0){2}{\vector(0,-1){0.25}}

\multiput( 2.0, 5.0)(4.7,0.0){2}{\oval( 1.0, 1.0)[l]}
\multiput( 5.5, 5.0)(6.0,0.0){2}{\oval( 1.0, 1.0)[r]}
\multiput( 2.0, 4.5)(0.0,1.0){2}{\line(1,0){3.5}}
\multiput( 6.7, 4.5)(0.0,1.0){2}{\line(1,0){4.8}}
\put( 1.75, 4.5){\makebox(4.0,1.0)[c]{{\footnotesize yes: offer existing SED}}}
\put( 7.15, 4.5){\makebox(4.0,1.0)[c]{{\begin{minipage}{55mm}
                                       \footnotesize
                                       \begin{center}
                                       no:\,calculate\,new\,model\,and\,SED\\
                                       and ingest into {\color{blue}GAVO database}
                                       \end{center}
                                       \end{minipage}
                                       }}}

\put( 3.75, 4.5){\line(0,-1){0.25}}
\put( 1.75, 4.25){\line(1,0){4.0}}
\put( 1.75, 4.25){\vector(0,-1){1.25}}
\put( 5.75, 4.25){\vector(0,-1){0.25}}

\put( 0.5, 2.50){\oval( 1.0, 1.0)[l]}
\put( 3.0, 2.50){\oval( 1.0, 1.0)[r]}
\multiput( 0.5, 2.00)(0.0,1.0){2}{\line(1,0){2.5}}
\put( 0.25, 2.00){\makebox(3.0,1.0)[c]{{\footnotesize \color{green} accept, retrieve SED}}}
\put(12.50, 2.50){\vector(-1,0){9.00}}

\put( 4.5, 3.50){\oval( 1.0, 1.0)[l]}
\put( 7.75, 3.50){\oval( 1.0, 1.0)[r]}
\multiput( 4.5, 3.00)(0.0,1.0){2}{\line(1,0){3.25}}
\put( 3.85, 3.0){\makebox(4.5,1.0)[c]{{\footnotesize request exact parameters}}}
\put( 8.25, 3.5){\vector(1,1){1.0}}

\put(13.0, 7.75){\oval( 1.0, 3.0)[l]}
\put(15.9, 7.75){\oval( 1.0, 3.0)[r]}
\multiput(13.0, 6.25)(0.0,3.0){2}{\line(1,0){2.9}}
\put(12.7, 6.25){\makebox(3.5,3.0)[c]{{\begin{minipage}{40mm}
                                       \footnotesize
                                       \begin{center}
                                       {\color{blue}GAVO database}\vspace{5mm}\\
                                       {\color{red}$T_\mathrm{eff}$, $\log g$, $X_\mathrm{i}$}\vspace{5mm}\\
                                       metadata
                                       \end{center}
                                       \end{minipage}
                                       }}}

\put( 9.2, 6.75){\vector(4,1){3.30}}
\put(12.5, 7.58){\vector(-4,-1){3.30}}
\put(12.0, 5.00){\vector(1,2){0.653}}

\put(13.0, 2.675){\oval( 1.0, 3.45)[l]}
\put(15.9, 2.675){\oval( 1.0, 3.45)[r]}
\multiput(13.0, 0.95)(0.0,3.45){2}{\line(1,0){2.9}}
\put(12.7, 1.15){\makebox(3.5,3.0)[c]{{\begin{minipage}{50mm}
                                      \footnotesize
                                      \begin{center}
                                      {\color{blue}GAVO database}\vspace{1.7mm}\\
                                      {\color{red}$T_\mathrm{eff}$, $\log g$, $X_\mathrm{i}$}\vspace{1.7mm}\\
                                      models\\
                                      atomic data\\
                                      frequency grids\\
                                      SEDs
                                      \end{center}
                                      \end{minipage}
                                      }}}

\put(12.0, 5.00){\vector(1,-1){0.65}}

\put(14.5, 4.50){\vector(0,1){1.75}}
\put(14.5, 6.25){\vector(0,-1){1.85}}

\end{picture}
\caption{\emph{TheoSSA} / \emph{TMAW} data flow. $X_\mathrm{i}$ is the
mass fraction of species $\mathrm{i} \in \left[\mathrm{H, He, C, N, O}\right]$.}
\label{fig:dataflow}
\end{figure}

Presently, \emph{TheoSSA} provides a preliminary sample of pre-calculated DA WD spectra
(Table~\ref{tab:standard}) from the optical to infrared wavelength range. These
will be expanded to include the X-ray and UV ranges in the near future.

\begin{table}[ht!]\centering
\caption{Standard star SEDs ($3\,000 - 55\,000\,\mathrm{\AA}$) presently available in \emph{TheoSSA}.}
\label{tab:standard}
\begin{tabular}{lccl}
\hline
\noalign{\smallskip}
     & $T_\mathrm{eff}$ & $\log g$              &          \vspace{-2mm}\\
name &                  &                       & comments \vspace{-2mm}\\
     & [K]              & [$\mathrm{cm/sec^2}$] &          \\
\hline
\noalign{\smallskip}
EG\,274    & 24\,276 & 8.01 & \\
Feige\,67  & 75\,000 & 5.20 & \\
Feige\,110 & 40\,000 & 5.00 & He mass fraction 0.107 \\
GD\,108    & 22\,908 & 5.30 & \\
GD\,153    & 38\,205 & 7.89 & \\
GD\,50     & 40\,550 & 9.22 & \\
GD\,71     & 32\,780 & 7.83 & \\
G\,191-B2B & 60\,920 & 7.55 & metal-line blanketed model in preparation \\
G\,93-48   & 18\,100 & 7.85 & \\
HZ\,2      & 20\,600 & 7.90 & \\
HZ\,43     & 51\,116 & 7.90 & \\
Sirius\,B  & 24\,826 & 8.60 & \\
\hline
\end{tabular}
\vspace{3cm}
\end{table}

\section{Conclusions}
\label{sect:conclusions}

DA-type WDs are stable sources of radiation on a wide energy range
from the X-ray to the IR. This allows a cross-correlation between
ground- and space-based observations.

WD modeling arrived at a high level of sophistication and thus,
they are well suited to provide model SEDs within 1\,\% flux-level accuracy.
It is, however,  difficult to quantify the absolute accuracy of model atmospheres,
at least if we aim at the ambitious 1\,\%.
About 200\,000\,000 variables are calculated iteratively to achieve convergence
of a NLTE stellar-atmosphere model.
Besides the mentioned uncertainties in atomic data and line-broadening theory,
systematic deviations may exist between different codes due to programming
language, coding, compiling, properties of the compute nodes, etc.
Future close collaboration of all groups working in stellar-atmosphere modeling
is required \citep[in the legacy of past workshops,][]{beyond1991,sam2002}
in order to identify and minimize existing uncertainties and to further improve
the flux calibration which is a continuous process. The \emph{VO} provides an
ideal platform to publish observations as well as models. The quality of spectral
analysis and, hence, stellar-atmosphere models benefits from the observational data
that it is based on.

Further improvement of flux calibration will be possible with \emph{GAIA}.
Precise distances of almost all known WDs will be available in the post-\emph{GAIA} era.

For ground-based telescopes,
it is a major challenge to model and to correct for Earth's atmosphere
contributions (cf\@. a variety of papers in these proceedings)
and to establish an extended database of secondary standard stars,
that should be observable in the vicinity of science targets.

\clearpage

\acknowledgements
This work was supported by the German Aerospace Center (DLR, grant 05\,OR\,0806).
I thank Klaus Werner for comments and reading the manu\-script.
This research has made use of the SIMBAD database, operated at CDS, Strasbourg, France.
Some of the data presented in this paper were obtained from the
Mikulski Archive for Space Telescopes (MAST). STScI is operated by the
Association of Universities for Research in Astronomy, Inc., under NASA
contract NAS5-26555. Support for MAST for non-HST data is provided by
the NASA Office of Space Science via grant NNX09AF08G and by other
grants and contracts.


\section*{Introduction}

In \cite{camara-fa2dlfs} we explained how characteristic zero two-dimensional local
fields may be regarded as locally convex vector spaces once an embedding
of a local field into them has been fixed.

This note, designed as a natural continuation of that work, explains how
the locally convex approach to higher topologies works for a higher local
field of arbitrary dimension.

It is perhaps necessary to explain the need to treat the arbitrary
dimensional case separately. The two-dimensional case often supplies the
first step of induction and therefore it is a good idea to treat it
first. At the same time, the cases for dimension
greater than two quickly turn into a rather involved exercise in notation
and the application of arguments which are familiar from the case $n=2$.
As such, the proof of many results in this note often refers to
\cite{camara-fa2dlfs} for the case $n=2$ and then indicates how to
proceed by induction.

Furthermore, there are many relevant functional analytic properties which
may be shown to hold in the two-dimensional case and which fail in
greater dimension or which one could only expect to hold in few
particular cases; being bornological, reflexive or nuclear is an example
of such properties.

However, it is possible to give explicit bases for the bornologies of
bounded and compactoid $\mathcal{O}$-submodules of $F$. We also show an
explicit self-duality result in Theorem \ref{thm:selfduality}
which generalises \cite[Theorem 6.2]{camara-fa2dlfs}.

We not only often refer to concepts and results explained in
\cite{camara-fa2dlfs}, but also assume the reader to be
familiar with it. In particular, we reviewed the definitions and results of the theory of
locally convex vector spaces over a local field which are needed for this
work in
\cite[\textsection 1]{camara-fa2dlfs}. Besides that,
\cite{perez-garcia-schikof-locally-convex-spaces-nonarchimedean-valued-fields}
and \cite{schneider-non-archimedean-functional-analysis} contain suitable introductions to the topic.

We outline the contents of this work. \textsection
\ref{sec:categoryofhdlfs} is shaped very much after \cite[\textsection
2]{camara-fa2dlfs} and summarizes certain results from the
structure theory of higher local fields. At the end of this section we
focus our attention on a {\it standard} higher local field, which is one
of the form
\begin{equation*}
  F =
  K\curlyb{t_1}\cdots\curlyb{t_r}\roundb{t_{r+1}}\cdots\roundb{t_{n-1}}
\end{equation*}
and deduce our results first in this case.

Section \textsection \ref{sec:highertops} explains how the higher
topology on $F$ is locally convex. \textsection
\ref{sec:firstproperties} exposes facts which are either immediate
consequences of the results in the previous section or facts which were
already known about higher topologies.

Sections \textsection \ref{sec:boundedsubmodules} and \textsection
\ref{sec:compactoidsubmodules} deal with the study of bounded
submodules and compactoid submodules of $F$,
respectively.

We study duality issues in \textsection \ref{sec:duality}. In Theorem
\ref{thm:selfduality} we prove
self-duality after topologizing the dual space adequately, generalising
the work that was done for the two-dimensional case in \cite[Theorem
6.2]{camara-fa2dlfs}. We also describe polars and pseudo-polars
of relevant submodules of $F$.

We explain how the results obtained in the previous sections may be
extended from $F$ to an arbitrary $n$-dimensional local field in
\textsection \ref{sec:generalcase} and we dedicate a few words to the positive
characteristic and archimedean cases in section \textsection
\ref{sec:positivecharcase}.

Finally, we discuss some interesting questions and directions of work specifically
related to this note in \textsection \ref{sec:future}.

\paragraph{Notation.} Whenever $F$ is a complete discrete valuation
field, we will denote by $\mathcal{O}_F, \mathfrak{p}_F, \pi_F, \overline{F}$ its ring of
integers, the unique nonzero prime ideal in the ring of integers, an
element of valuation one and the residue field, respectively.

Throughout the text, $K$ will denote a characteristic zero local
field, that is, a finite extension of $\mathbb{Q}_p$ for some prime $p$. The cardinality of the finite field $\overline{K}$ will be denoted by $q$. The absolute value of $K$
will be denoted by $|\cdot|$, normalised so that $|\pi_K| = q^{-1}$. Due
to far too frequent apparitions in the text, we will ease notation by
letting $\mathcal{O} := \mathcal{O}_K$ and $\mathfrak{p} := \mathfrak{p}_K$.

The conventions $\mathfrak{p}^{-\infty} = K$,
$\mathfrak{p}^\infty = 0$ and $q^{-\infty} = 0$ will be used.

The main object of study of this work is a field inclusion $K \subset F$
where $F$ is an $n$-dimensional local field. See \textsection
\ref{sec:categoryofhdlfs} for details.

\paragraph{Acknowledgements.} I thank Thomas Oliver for carefully reading
this note and pointing out several improvements. I also thank my
supervisor Ivan Fesenko for his guidance and encouragement. Finally, I am
also grateful to Cristina P\'erez Garc\'ia for several interesting
conversations regarding the theory of locally convex nonarchimedean
spaces.

\section{Higher local fields arising from arithmetic contexts}
\label{sec:categoryofhdlfs}

A {\it zero-dimensional local field} is a finite field. An {\it $n$-dimensional
local field}, for $n \geq 1$, is a complete discrete valuation field $F$
such that $\overline{F}$ is an $(n-1)$-dimensional local field. Thus, a
local field in the usual sense is a one-dimensional local field.

An $n$-dimensional local field $F$ determines then a collection of fields
$F_i$, $i \in \left\{ 0, \ldots, n \right\}$, by letting $F_n = F$,
$\overline{F_i} = F_{i-1}$ for $1 \leq i \leq n$; being $n$-dimensional
is then determined by the finiteness of $F_0$

An excellent introduction to this topic may be found in
\cite{morrow-intro-hlf}, we also often refer to results explained in
\cite{ihlf}.

In \cite[\textsection 2]{camara-fa2dlfs}, we explained how, as
was first introduced in \cite{morrow-explicit-approach-to-residues},
it is a good idea to regard two-dimensional local fields arising from an
arithmetic context as vector spaces over a local field.

The construction may be generalised to an arithmetic scheme of any
dimension as follows. Let $S$ be the spectrum of the ring of integers of a
number field and $f: X \to S$ be an arithmetic scheme of dimension $n$
(for our purposes, it is enough to suppose that $X$ is an $n$-dimensional
regular scheme and that $f$ is projective and
flat). Given a complete flag of irreducible subschemes $\eta_n \in
\overline{\left\{ \eta_{n-1} \right\}} \subset \cdots \subset
\overline{\left\{ \eta_0 \right\}} = X$, and assuming for simplicity that
$\eta_n$ is regular in $\overline{\left\{ \eta_i \right\}}$ for each $0
\leq i \leq n-1$, define $A^n
= \widehat{\mathcal{O}_{X,\eta_n}}$ and
\begin{equation*}
  A^i = \widehat{A_{\eta_i}^{i+1}}, \quad i \in \left\{ 0, \ldots, n-1 \right\}.
\end{equation*}
It can be shown \cite[Remark 6.12]{morrow-intro-hlf} that $F = A^0$ is an
$n$-dimensional local field. The ring homomorphism $\mathcal{O}_{S, f(x)} \to
\mathcal{O}_{X,x}$ induces a field embedding $K \hookrightarrow F$, where $K =
\mathrm{Frac}\left( \widehat{\mathcal{O}_{S,f(x)}} \right)$. Our conclusion is
that whenever $n$-dimensional local fields arise from an
arithmetic-geometric setting they always come equipped with a prefixed
embedding of a local field into them.

This justifies our decision to fix a characteristic zero local field $K$
and to study $n$-dimensional local fields not as fields $F$, but as pairs
of a field $F$ and a field embedding $K \hookrightarrow F$. We shall refer to such
a pair as an {\it $n$-dimensional local field over $K$}. A morphism of higher
local fields over $K$ is therefore a commutative diagram of field embeddings
\begin{equation*}
  \xymatrix{
  F_1 \ar@{->}[r] & F_2 \\
  K  \ar@{->}[u] \ar@{->}[ur] &
  }
\end{equation*}
where $F_1$ and $F_2$ are higher local fields and $F_1 \to F_2$ is an extension of complete discrete valuation rings.

The structure of higher local fields is explained in
\cite{madunts-zhukov-topology-hlfs}, \cite[\textsection 1]{ihlf} or
\cite[Theorem 2.18]{morrow-intro-hlf}. They may be classified using
Cohen structure theory for complete rings.
In particular, we have the following possibilities:
\begin{enumerate}
  \item If $\mathrm{char}\: F$ is positive, then it is possible to choose $t_1,
    \ldots, t_n \in F$ such that $F \cong
    F_0\roundb{t_1}\cdots\roundb{t_n}$. In this work we assume $\mathrm{char}\: F
    =0$, and only treat the positive characteristic case in \textsection
    \ref{sec:positivecharcase}.
  \item If $\mathrm{char}\: F_1 = 0$, then there are $t_1, \ldots, t_{n-1} \in
    F$ such that
    \begin{equation*}
      F \cong F_1\roundb{t_1}\cdots\roundb{t_{n-1}}.
    \end{equation*}
    Moreover, if an embedding of fields $K \hookrightarrow F$ has been fixed, then
    we have a finite extension $K \hookrightarrow F_1$.
  \item If none of the above holds, then there is a unique $r \in \left\{
    1, \ldots, n-1 \right\}$ such that $\mathrm{char}\: F_{r+1} \neq \mathrm{char}\:
    F_{r}$. Then there is a characteristic zero local field $L$ and
    elements $t_1, \ldots, t_{n-1} \in F$ such that $F$ is a finite
    extension of
    \begin{equation*}
      L\curlyb{t_1}\cdots\curlyb{t_r}\roundb{t_{r+1}}\cdots\roundb{t_{n-1}}.
    \end{equation*}
    Moreover, if $\mathrm{char}\: F_0 = p$, $L$ may be chosen to be the unique
    unramified extension of $\mathbb{Q}_p$ with residue field $F_0$. In
    this work we will not require this fact, but simply use the fact that
    given an embedding $K \hookrightarrow F$, there is a finite subextension
    \begin{equation*}
      K\curlyb{t_1}\cdots\curlyb{t_r}\roundb{t_{r+1}}\cdots\roundb{t_{n-1}}
      \hookrightarrow F.
    \end{equation*}
\end{enumerate}

\paragraph{Notation.} We fix from now on, and until the beginning of
\textsection \ref{sec:generalcase},
\begin{equation*}
  F = K\curlyb{t_1}\cdots\curlyb{t_r}\roundb{t_{r+1}}\cdots\roundb{t_{n-1}}
\end{equation*}
with $0 \leq r \leq n-1$. The extremal case $r = 0$ (resp. $r=n-1$)
stands for $F = K\roundb{t_1}\cdots\roundb{t_{n-1}}$ (resp. $F =
K\curlyb{t_1}\cdots\curlyb{t_{n-1}}$). We also let
\begin{equation*}
  L=K\curlyb{t_1}\cdots\curlyb{t_r}\roundb{t_{r+1}}\cdots\roundb{t_{n-2}},
\end{equation*}
by which we simply mean that $L$ is the subfield of $F$ consisting of
power series in $t_1, \ldots, t_{n-2}$.

It will be extremely convenient to use multi-index notation. For this
purpose, let $I = \mathbb{Z}^{n-1}$ and $J = \mathbb{Z}^{n-2}$. For $l\in \left\{
1,\ldots,n-1\right\}$, if we fix indices
$(i_l,\ldots,i_{n-1}) \in \mathbb{Z}^{n-l-1}$, we will denote
\begin{equation*}
  I(i_l, \ldots, i_{n-1}) = \left\{ \alpha \in I;\; \alpha = \left( j_1,
  \ldots, j_{l-1}, i_l,
  \ldots, i_{n-1} \right) \text{ for some } (j_1, \ldots,j_{l-1}) \in
  \mathbb{Z}^{l-1} \right\}.
\end{equation*}

Any element $x \in F$ can be written uniquely as a power series
\begin{equation*}
  x = \sum_{i_{n-1} \gg -\infty} \cdots \sum_{i_{r+1} \gg -\infty }
  \sum_{i_r \in \mathbb{Z}} \cdots \sum_{i_1 \in \mathbb{Z}} x_{i_1, \ldots,
  i_{n-1}} t_1^{i_1} \cdots t_{n-1}^{i_{n-1}},
\end{equation*}
with $x_{i_1, \ldots, i_{n-1}} \in K$. We will abbreviate such an expression to
\begin{equation*}
 x = \sum_\alpha x(\alpha) t^\alpha,
\end{equation*}
for $\alpha \in I$ and $x(\alpha) \in K$. Finally, for $\alpha =
(i_1, \ldots, i_{n-1}) \in I$, denote $-\alpha = (-i_1,\ldots,
-i_{n-1})$.

Several proofs will use induction arguments. For such, it will be
convenient to denote elements of $L$ as $\sum_{\beta} x(\beta)
t^\beta$ for $\beta \in J$ and $x(\beta) \in K$, with this notation being
analogous to that adopted for elements in $F$. The statement
$\alpha=(\beta,i)$ for $\alpha \in I$, $\beta \in J$ and $i \in \mathbb{Z}$
means that if $\beta=(i_1, \ldots, i_{n-2})$, then $\alpha = (i_1,
\ldots, i_{n-2}, i)$.

When necessary, $I$ will be ordered with the inverse lexicographical
order, that is:
$(i_1, \ldots, i_{n-1}) < (j_1, \ldots, j_{n-1})$ if and only if for an
index $l \in \left\{ 1, \ldots, n-1 \right\}$ we have $i_l < j_l$ and
$i_m = j_m$ for $l < m \leq n-1$.

By a {\it net}, we will refer to a set indexed by $I$ or $J$ (more
generally, a net in a topological space is a subset indexed by a
directed set, but we will only use this more general notion in Proposition
\ref{prop:boundedsubmodsarecomplete}). We will
construct objects such as $\mathcal{O}$-submodules of and seminorms on $F$
attached to a given net in $\mathbb{Z} \cup \left\{ \pm \infty \right\}$.
Instead of using notation $(n_\alpha)_{\alpha \in
I}$, which is standard for sequences and was used thoroughly in
\cite{camara-fa2dlfs}, we will denote the elements of a net by
$(n(\alpha))_{\alpha \in I}$, the
net of coefficients $(x(\alpha))_{\alpha \in I} \subset K$ attached to an element
$x = \sum_\alpha x(\alpha) t^\alpha \in F$ being a first example. We will
ease notation by letting, when given a net $(n(\alpha))_{\alpha \in
I}\subset \mathbb{Z} \cup \left\{ \pm \infty \right\}$, $n(\beta,i) :=
n\left( \left( \beta,i \right) \right)$ for $\beta \in J$, $i \in \mathbb{Z}$.

\section{Local convexity of higher topologies}
\label{sec:highertops}

The construction of the higher topology on $F$ is explained for example in
\cite[\textsection 4]{morrow-intro-hlf} and \cite[\textsection
1]{madunts-zhukov-topology-hlfs}. It revolves around two basic
constructions.

First suppose that a $L$ is a field on which a translation
invariant and Hausdorff topology has been defined. Let $\left\{ U_i
\right\}_{i \in \mathbb{Z}}$ be a sequence of neighbourhoods of zero of $L$,
with the property that there is an index $i_0 \in \mathbb{Z}$ such that
$U_i = L$ for all $i \geq i_0$. The sets of the form
\begin{equation}
  \label{eqn:basicnhoodequalchar}
  \sum_{i \in \mathbb{Z}} U_i t^i := \left\{ \sum_{i \gg -\infty}
  x_i t^i;\; x_i \in U_i \text{ for all } i\right\}
\end{equation}
describe a basis of neighbourhoods of zero for a translation invariant
Hausdorff topology on $L\roundb{t}$ \cite[\textsection 1]{madunts-zhukov-topology-hlfs}.

Second, suppose that $L$ is a complete discrete valuation field with
$\mathrm{char}\: L \neq \mathrm{char}\: \overline{L}$, so that $L\curlyb{t}$ is a complete
discrete valuation field of mixed characteristic.
Suppose that a
translation invariant and Hausdorff topology has been defined on $L$.
Let $\left\{ V_i \right\}_{i \in \mathbb{Z}}$ be a sequence of neighbourhoods of
zero of $L$ satisfying the following two conditions:
\begin{enumerate}
  \item There is $c \in \mathbb{Z}$ such that $\mathfrak{p}_L^c \subset V_i$ for every $i
    \in \mathbb{Z}$.
  \item For every $l \in \mathbb{Z}$ there is $i_0 \in \mathbb{Z}$ such that for every
    $i \geq i_0$ we have $\mathfrak{p}_L^l \subset V_i$. This condition simply
    means that as $i \to \infty$ the neighbourhoods of zero $V_i$ become
    bigger and bigger. We will denote this condition by $V_i \to L$ as
    $i \to \infty$.
\end{enumerate}

The sets of the form
\begin{equation}
  \label{eqn:basicnhoodmixedchar}
  \sum V_i t^i := \left\{ \sum_{i \in \mathbb{Z}} x_i t^i \in L\curlyb{t};\; x_i
  \in V_i \text{ for all } i\right\}
\end{equation}
constitute the basis of neighbourhoods of zero for a translation
invariant and Hausdorff topology on $L\curlyb{t}$
\cite[\textsection 1]{madunts-zhukov-topology-hlfs}.

The procedure for topologizing $F$ is an inductive application of the two
constructions specified above. Namely, we endow $K$ with its $\mathfrak{p}$-adic
topology, and for every $k \in \left\{ 1,
\ldots, r \right\}$, we apply the second construction inductively on
$E\curlyb{t_k}$, with $E = K\curlyb{t_1}\cdots\curlyb{t_{k-1}}$.
For $k \in \left\{ r+1, \ldots, n-1 \right\}$, we apply inductively the
first construction on $E\roundb{t_k}$, with $E =
K\curlyb{t_1}\cdots\curlyb{t_r}\roundb{t_{r+1}}\cdots\roundb{t_{k-1}}$.

The resulting topology on $F$ is called the {\it higher topology}.

If $r < n$ the higher topology on $F$
depends on the choice of a coefficient field, that is, a field
inclusion $\overline{F} \subset F$ \cite[\textsection
1.4]{madunts-zhukov-topology-hlfs}. This is due to the fact that, since in this case $\mathrm{char}\:
\overline{F} = 0$ and $\overline{F}$ is transcendental over
$\mathbb{Q}$, there are infinitely many choices for such an embedding
\cite[II.5]{fesenko-vostokov-local-fields}.
In our description of the higher topology, we are implicitly choosing
an isomorphism $\overline{F} \cong K\curlyb{t_1}\cdots\curlyb{t_r}
\roundb{t_{r+1}}\cdots\roundb{t_{n-2}}$. In the two-dimensional equal
characteristic case, there is a unique coefficient field which factors
the field embedding $K \hookrightarrow F$, namely the algebraic closure of $K$ in
$F$ \cite[\textsection 7.1]{camara-fa2dlfs}. Such a choice is not possible whenever $n \geq 3$.

\begin{prop}
  \label{prop:highertopislocconv}
  The higher topology on $F$ is locally convex. It may be described as
  follows. For any net $( n(\alpha) )_{\alpha \in I} \subset
  \mathbb{Z} \cup \left\{ -\infty \right\}$ subjected to the conditions:
  \begin{enumerate}
    \item For any $l \in \left\{ r+1, \ldots, n-1 \right\}$ and fixed
      indices $i_{l+1}, \ldots, i_{n-1} \in \mathbb{Z}$, there is a $k_0 \in \mathbb{Z}$ such
      that for every $k \geq k_0$ we have
      \begin{equation*}
	n(\alpha) = -\infty \quad \text{for all } \alpha \in I(k,
	i_{l+1}, \ldots, i_{n-1} ).
      \end{equation*}
    \item For any $l \in \left\{ 1, \ldots, r \right\}$ and fixed indices
      $i_{l+1}, \ldots, i_{n-1}$, there is an integer $c \in \mathbb{Z}$ such
      that
      \begin{equation*}
	n(\alpha) \leq c\quad \text{for every } \alpha \in I(i_{l+1}, \ldots, i_{n-1}),
      \end{equation*}
      and we have that
      \begin{equation*}
	n(\alpha) \to -\infty, \quad \alpha \in I(k, i_{l+1}, \ldots,
	i_{n-1}), \text{ as } k \to \infty.
      \end{equation*}
  \end{enumerate}
  Then, the open lattices of $F$ are those of the form
  \begin{equation}
    \label{eqn:openlattices}
    \Lambda = \sum_{\alpha} \mathfrak{p}^{n(\alpha)} t^\alpha.
  \end{equation}
\end{prop}

\begin{rmk}
  Let us clarify what the second part in condition (ii) above stands
  for. The condition is that for any $l \in \left\{ 1,\ldots,r \right\}$
  and fixed indices $i_{l+1}, \ldots, i_{n-1}$, given $d \in \mathbb{Z}$ there is an
  integer $k_0$ such that for every $k \geq k_0$ and $\alpha \in
  I(k,i_{l+1}, \ldots, i_{n-1})$ we have $n(\alpha) \leq d$.
\end{rmk}

\begin{proof}
  We will prove the result by induction on $n$. For $n=2$, see
  \cite[Propositions 3.1 and 3.7]{camara-fa2dlfs}. Suppose $n > 2$. Then write $L =
  K\curlyb{t_1}\cdots\curlyb{t_r}\roundb{t_{r+1}}\cdots\roundb{t_{n-2}}$,
  with $r \in \left\{ 0, n-2 \right\}$.
  By induction hypothesis, the
  higher topology on $L$ is locally convex and its open lattices are of the form
  \begin{equation}
    \label{eqn:latticesinductionhyp}
    M = \sum_{\beta \in J} \mathfrak{p}^{n(\beta)} t^\beta,
  \end{equation}
  with $(n(\beta))_{\beta \in J} \subset \mathbb{Z} \cup \left\{ -\infty
  \right\}$ a net satisfying the conditions in the
  statement of the proposition.

  Now we need to distinguish two cases. First, if $r \leq n-2$, we must
  apply the construction in which neighbourhoods of zero are of the form
  (\ref{eqn:basicnhoodequalchar}), as $F = L\roundb{t_{n-1}}$. So we let
  \begin{equation*}
    M_{i} = \sum_{\beta \in J} \mathfrak{p}^{n(\beta, i)} t^\beta,\quad i \in
    \mathbb{Z},
  \end{equation*}
  with the property that there is an $i_0 \in \mathbb{Z}$ such that for all
  $i \geq i_0$, $M_i = L$. This last condition is equivalent to setting
  $n(\beta, i) = -\infty$ for all $\beta \in J$ and $i \geq i_0$. As the
  $M_i$ describe a basis of neighbourhoods of zero for the higher
  topology on $L$, the higher topology on $F$ admits a basis of
  neighbourhoods of zero formed by sets of the form
  \begin{equation*}
    \Lambda = \sum_{i \in \mathbb{Z}} M_i t_{n-1}^i.
  \end{equation*}
  By induction hypothesis, the $M_i$ are all $\mathcal{O}$-lattices, which is
  enough to show that $\Lambda$ is an $\mathcal{O}$-lattice. So, in this case,
  we let $\alpha = \left( \beta,i \right)$
  so that a basis of neighbourhoods of zero for the higher topology is described by sets
  $\Lambda = \sum_{\alpha \in I} \mathfrak{p}^{n(\alpha)} t^\alpha$. On top of the
  conditions which the indices $n(\beta,i)$ satisfy by the induction
  hypothesis for $\beta \in J$, we must add the further condition that
  there is an integer $i_0$ such that for all $i \geq i_0$, $n(\alpha) =
  -\infty$ for all $\alpha \in I(i)$. This shows that our claim holds in
  this case.

  The second case is the one in which $r > n-2$ and we must apply the
  construction in which neighbourhoods of zero are given by sets of the
  form (\ref{eqn:basicnhoodmixedchar}), as $F = L\curlyb{t}$. So we set
  \begin{equation*}
    M_{i} = \sum_{\beta \in J} \mathfrak{p}^{n(\beta, i)} t^\beta,\quad i \in \mathbb{Z},
  \end{equation*}
  subject to the properties:
  \begin{enumerate}
    \item There is an integer $c$ such that for every $i \in \mathbb{Z}$,
      $\mathfrak{p}_L^c \subset M_i$. By induction hypothesis, this means that
      $n(\beta,i) \leq c$ for every $\beta \in J$ and $i \in \mathbb{Z}$.
    \item $M_i \to L$ as $i \to \infty$. This is equivalent to
      $n(\beta, i) \to -\infty$ for $\beta \in J$ as $i \to \infty$.
  \end{enumerate}
  As $M_i$ describe a basis of neighbourhoods of zero of the topology of
  $L$, the sets of the form
  \begin{equation*}
    \Lambda = \sum_{i \in \mathbb{Z}} M_i t_{n-1}^i
  \end{equation*}
  describe a basis of neighbourhoods of zero for the higher topology on
  $F$. Since the $M_i$ are $\mathcal{O}$-lattices, we get that $\Lambda$ is an
  $\mathcal{O}$-lattice. Again, we let $\alpha = (\beta,i)$,
  so that the $\mathcal{O}$-lattice $\Lambda$ may be described as $\Lambda =
  \sum_{\alpha \in I} \mathfrak{p}^{n(\alpha)} t^\alpha$. On top of the conditions
  satisfied by the $n(\alpha)$ which are inherited by induction, there are the
  two new conditions:
  \begin{enumerate}
    \item There is an integer $c$ such that $n(\alpha) \geq c$ for all
      $\alpha \in I$.
    \item $n(\alpha) \to -\infty$ for $\alpha \in I(i)$, as $i \to
      \infty$.
  \end{enumerate}
  This shows that the result also holds in this case.
\end{proof}

After showing that the higher topology on $K \hookrightarrow F$ is locally convex, it is
natural to describe it in terms of seminorms.

\begin{prop}
  \label{prop:seminorms}
  The higher topology on $F$ is the locally convex $K$-vector space
  topology defined by the seminorms of the form
  \begin{equation}
    \label{eqn:admissibleseminorm}
    \| \cdot \|: F \to \mathbb{R}, \quad \sum_\alpha x(\alpha) t^\alpha
    \mapsto \sup_\alpha |x(\alpha)| q^{n(\alpha)}
  \end{equation}
  as $( n(\alpha) )_{\alpha \in I} \subset \mathbb{Z} \cup \left\{ -\infty
  \right\}$ varies over the nets
  described in the statement of Proposition
  \ref{prop:highertopislocconv}.
\end{prop}

\begin{proof}
  It is necessary to show that the gauge seminorm associated to the open
  lattice $\Lambda$ as in (\ref{eqn:openlattices}) is the one given by
  (\ref{eqn:admissibleseminorm}).

  The gauge seminorm defined by $\Lambda$ is by definition
  \begin{equation*}
    \|x\| = \inf_{x \in a\Lambda} |a|,\quad \text{for } x \in F.
  \end{equation*}
  Let $x = \sum_{\alpha} x(\alpha) t^\alpha$. We have that $x \in a\Lambda$
  if and only if $x(\alpha) \in
  a\mathfrak{p}^{n(\alpha)}$ for every $\alpha \in I$. That is, if and only if
  \begin{equation}
    \label{eqn:pfadmissseminorm}
    |x(\alpha)| q^{n(\alpha)} \leq |a| \quad \text{for all } \alpha \in I.
  \end{equation}
  The infimum of the values $|a|$ for which
  (\ref{eqn:pfadmissseminorm}) holds is the supremum of the
  values $|x(\alpha)|q^{n(\alpha)}$ as $\alpha \in I$.
\end{proof}

\begin{df}
  The seminorms on $F$ defined in the previous proposition will be
  referred to as {\it admissible seminorms}.
\end{df}

  An admissible seminorm
  $\| \cdot \|$ is attached to a net $( n(\alpha) )_{\alpha \in I} \subset \mathbb{Z} \cup \left\{ -\infty \right\}$. If
  we have chosen notation not to reflect this fact it is in pursue of
  a lighter reading and understanding that the net $( n({\alpha)}
  )_{\alpha \in I}$, when needed, will be clear from the context.

\section{First properties}
\label{sec:firstproperties}

We summarise some properties which were known already for
higher topologies, or which are deduced immediately from the fact that these
topologies are locally convex. We also state some properties which do
not hold in general because they are known not to hold already for $n=2$.

The field $F$, equipped with a higher topology, is a locally convex
$K$-vector space, as shown in Proposition \ref{prop:highertopislocconv}. As such, it is a topological vector space. It is a
previously known fact that higher topologies are Hausdorff. In order to show
that this property holds in our setting it is enough to show that, given
$x \in F^\times$, there is an admissible seminorm $\| \cdot \|$ for which
$\|x\| \neq 0$. If the $\alpha$-coefficient of $x$ is
nonzero, any admissible seminorm for which $n(\alpha) > -\infty$ suffices.

Moreover, the reduction map $\mathcal{O}_F \to \overline{F}$ is open when
$\mathcal{O}_F$ is given the subspace topology and $\overline{F}$ a higher
topology compatible with the choice of coefficient field if $\mathrm{char}\: F \neq
\mathrm{char}\: \overline{F}$ \cite[Proposition 3.6.(v)]{camara-top-rat-pts-hlfs-arxiv}.

Multiplication $F \to F$ by a fixed nonzero element induces a
homeomorphism of $F$, but multiplication $\mu: F \times F \to F$ is not
continuous \cite[\textsection 1.3.2]{ihlf}; the immediate reason why this is the
case being that for any open lattice $\Lambda$ we have $\mu(\Lambda,\Lambda) = F$.

Higher topologies are not first-countable and therefore not metrizable
\cite[\textsection 1.3.2]{ihlf}.
Moreover, in general, $F$ is not bornological, barrelled, reflexive nor
nuclear and its rings of integers are not c-compact nor compactoid, the
first counterexample being the field $K\curlyb{t}$ \cite{camara-fa2dlfs}.

\begin{rmk}
  \label{rmk:powerseriesconverge}

  Power series in the
  system of parameters $t_1, \ldots, t_{n-1}$ are convergent in the
  higher topology.

  If $x = \sum_{\alpha \in I} x(\alpha) t^\alpha \in F$, we define a net
  $(s(\alpha))_{\alpha \in I} \subset F$ by taking $s(\alpha) =
  \sum_{\alpha' \leq \alpha} x(\alpha') t^{\alpha'}$. If $\| \cdot
  \|$ is an admissible seminorm on $F$, then as $\alpha \in I$ grows,
  the value $\| x - s(\alpha) \|$ becomes arbitrarily small.
\end{rmk}

\section{Bounded $\mathcal{O}$-submodules}
\label{sec:boundedsubmodules}

Let us study the bounded $\mathcal{O}$-submodules of $F$. We start by describing
a basis for the Von-Neumann bornology on $K \hookrightarrow F$.

\begin{prop}
  \label{prop:boundedsubmodules}
  Let $( k(\alpha) )_{\alpha \in I} \subset \mathbb{Z} \cup \left\{
  \infty \right\}$ be a net subjected to the conditions:
  \begin{enumerate}
    \item For every $l \in \left\{ r+1, \ldots, n-1 \right\}$ and indices
      $i_{l+1}, \ldots, i_{n-1} \in \mathbb{Z}$ there is an index $j_0 \in \mathbb{Z}$
      such that for every $j < j_0$ we have $k(\alpha) = \infty$ for all
      $\alpha \in I(j, i_{l+1}, \ldots, i_{n-1})$.
    \item For every $l \in \left\{ 1, \ldots, r \right\}$ and
      $i_{l+1}, \ldots, i_{n-1} \in \mathbb{Z}$, there is an integer $d$ such
      that $k(\alpha) \geq d$ for all $\alpha \in I(i_{l+1}, \ldots,
      i_{n-1})$.
  \end{enumerate}
  The Von-Neumann bornology of $F$ admits as a basis the collection of
  $\mathcal{O}$-submodules
  \begin{equation}
    \label{eqn:boundedsets}
    B = \sum_{\alpha \in I} \mathfrak{p}^{k(\alpha)} t^\alpha
  \end{equation}
  as $(k(\alpha))_{\alpha \in I}$ varies over the nets specified above.
\end{prop}

\begin{proof}
  First, let us show that the sets $B$ are bounded. As we will use
  induction on $n$, the case $n=2$ is thoroughly explained in
  \cite[Propositions 4.2 and 4.4]{camara-fa2dlfs}.

  Let $\| \cdot \|$ be
  an admissible seminorm attached to the net $( n(\alpha)
  )_{\alpha\in I} \subset \mathbb{Z} \cup \left\{ -\infty \right\}$.

  Let $x = \sum_{\alpha} x(\alpha) t^\alpha$. We have
  \begin{equation*}
    \| x \| = \sup_\alpha |x(\alpha)| q^{n(\alpha)} \leq \sup_\alpha
    q^{n(\alpha) -
    k(\alpha)}
  \end{equation*}
  and therefore it is enough to prove that the set
  $\left\{ n(\alpha) - k(\alpha) \right\}_{\alpha \in I} \subset \mathbb{Z} \cup
  \left\{ - \infty \right\}$ is bounded above.

  We distinguish two cases. Suppose first that $r \leq n-2$. Then $F =
  L\roundb{t_{n-1}}$. On one hand, there is an index
  $j_0 \in \mathbb{Z}$ such that $k(\alpha) = \infty$ for every $\alpha \in
  I(j)$, $j < j_0$. On the other hand, there is an index $j_1 \in \mathbb{Z}$
  such that $n(\alpha)=-\infty$ for every $\alpha \in I(j)$, $j > j_1$. It
  is therefore enough to show that each of the finitely many sets
  \begin{equation*}
    N(j) = \left\{ n(\alpha) - k(\alpha);\; \alpha \in I(j) \right\},\quad
    j_0 \leq j \leq j_1
  \end{equation*}
  are bounded above. But for
  each $j \in \mathbb{Z}$, the net $( n(\alpha) )_{\alpha \in I(j)}$ defines
  an admissible seminorm and $\sum_{\beta\in J} \mathfrak{p}^{k(\beta,j)}
  t^{\beta} \subset L$ is a bounded $\mathcal{O}$-submodule; this implies the
  boundedness of $N(j)$.

  The case in which $r = n-1$, and therefore $F = L\curlyb{t_{n-1}}$, is
  simpler: we have that all the $n(\alpha)$ are bounded above and all the
  $k(\alpha)$ are bounded below; therefore the differences $n(\alpha) -
  k(\alpha)$ are bounded above.

  Second, we have to show that any bounded subset of $F$ is contained in
  an $\mathcal{O}$-submodule of $F$ of the form (\ref{eqn:boundedsets}).

  The elements of any bounded subset $D \subset F$ cannot have
  $t_{n-1}$-expansions with arbitrarily large coefficients in $L$ in a fixed
  degree: otherwise, suppose that this is not the case and that for $j
  \in \mathbb{Z}$ the $j$-th coefficients in the $t_{n-1}$-expansions of the
  elements in $D$ may be arbitrarily large. By choosing any admissible seminorm with $n(\alpha) >
  -\infty$ for some $\alpha \in I(j)$ we easily obtain that $D$ is not
  bounded.

  Hence, $D$ is contained in an $\mathcal{O}$-submodule of the form $C = \sum_{i \in \mathbb{Z}} C_i t_{n-1}^{i}$ with $C_i \subset L$ bounded $\mathcal{O}$-submodules. By
  induction hypothesis, let us write
  \begin{equation*}
    C_i = \sum_{\beta \in J} \mathfrak{p}^{k(\beta,i)}t^\beta,\quad i \in \mathbb{Z},
  \end{equation*}
  with $k(\beta,i) \in \mathbb{Z} \cup \left\{ \infty \right\}$ satisfying the
  conditions exposed in the statement of the proposition.

  By letting $\alpha = (\beta, i) \in I$, we may write $C = \sum_{\alpha \in I}
  \mathfrak{p}^{k(\alpha)}t^\alpha$ and we only have to show that the indices
  $k(\alpha)$ might be taken to satisfy the conditions exposed in the
  proposition. Suppose that this is not the case, and let us consider
  separate cases again.

  First, if $r \leq n-2$ and $F = L\roundb{t_{n-1}}$, the indices
  $k(\alpha)$ may be taken to satisfy condition
  (ii) by induction hypothesis. Condition (i) is also
  satisfied by induction hypothesis for every $l \in \left\{ r+1, \ldots,
  n-2 \right\}$. So we only have to show that if the $k(\alpha)$ may not
  be taken to satisfy condition (i) in the case $l = n-1$, then $D$
  cannot be bounded.

  If the condition does not hold, then there is a decreasing sequence
  $(j_h)_{h \geq 0} \subset \mathbb{Z}_{<0}$, an index $\alpha_h \in I(j_h)$ and
  an element $\xi_h \in D$ such that its $\alpha_h$-coefficient, which we
  label $x(\alpha_h)$, is nonzero. Let
  \begin{equation*}
    n(\alpha) = \left\{
    \begin{array}{ll}
      -j_h + v(x(\alpha_h)),& \text{ if } \alpha = \alpha_h \in I(j_h),\\
      -\infty & \text{ otherwise}.
    \end{array}
    \right.
  \end{equation*}
  The net $( n(\alpha) )_{\alpha \in I}$ defines
  an admissible seminorm $\| \cdot \|$. Since $\| \xi_h \| \geq
  |x(\alpha_h)| q^{n(\alpha_h)} = q^{-j_h}$, $D$ cannot be bounded.

  Second, suppose that $r=n-1$ and $F = L\curlyb{t_{n-1}}$. By induction
  hypothesis, we know that condition (ii) holds for every $l \in \left\{
  1, \ldots, n-2 \right\}$, so we suppose that it does not hold in the
  case $l = n-1$. In such case, at least one of the following must happen:
  \begin{enumerate}[1.]
    \item There is a decreasing sequence $(j_h)_{h \geq 0} \subset
      \mathbb{Z}_{<0}$, an index $\alpha_h \in I(j_h)$ and $\xi_{h} \in D$
      such that, if $x(\alpha_h)$ denotes the $\alpha_{h}$-coefficient of
      $\xi_h$, we have $|x(\alpha_h)| \to \infty$ as $h \to \infty$.
    \item There is an increasing sequence $(j_h)_{h \geq 0} \subset
      \mathbb{Z}_{\geq 0}$, an index $\alpha_h \in I(j_h)$ and $\xi_{h} \in D$
      such that, if $x(\alpha_h)$ denotes the $\alpha_{h}$-coefficient of
      $\xi_h$, we have $|x(\alpha_h)| \to \infty$ as $h \to \infty$.
  \end{enumerate}
  Suppose that condition 1 holds. In this case, let
  \begin{equation*}
    n(\alpha) = \left\{
    \begin{array}{ll}
      0,&\text{ if } \alpha=\alpha_h \text{ for some } h \geq 0,\\
      -\infty & \text{ otherwise. }
    \end{array}
    \right.
  \end{equation*}
  The net $( n(\alpha) )_{\alpha \in I}$ defines an
  admissible seminorm $\| \cdot \|$. Now, for $h \geq 0$, we have
  $\| \xi_h \| \geq q^{-v(x(\alpha_h))}$ and hence $D$ cannot be bounded.

  Finally, if condition 1 does not hold, then condition 2 must happen. In
  such case, let
  \begin{equation*}
    n(\alpha) = \left\{
    \begin{array}{ll}
      (v(x(\alpha_h)) - 1)/2,&\text{ if } \alpha=\alpha_h
      \text{ for some } h \geq 0
      \text{ and } v(x(\alpha_h)) \text{ odd.}\\
      v(x(\alpha_h))/2,&\text{ if } \alpha=\alpha_h \text{ for some } h
      \geq 0
      \text{ and } v(x(\alpha_h)) \text{ even.}\\
      -\infty&\text{ otherwise.}
    \end{array}
    \right.
  \end{equation*}
  The net $( n(\alpha) )_{\alpha \in I}$ defines an
  admissible seminorm. Moreover, we have $n(\alpha_h) - v(x(\alpha_h))
  \to \infty$ as $h \to \infty$. We have that $\| \xi_h \| \geq
  |x(\alpha_h)|q^{n(\alpha_h)} = q^{n(\alpha_h) - v(x(\alpha_h))}$
  and therefore $D$ cannot be bounded.

\end{proof}

\begin{df}
  We will say that an $\mathcal{O}$-submodule of the form (\ref{eqn:boundedsets})
  is a {\it basic bounded submodule} of $F$.
\end{df}

The following result is necessary in order to compare compactoids and
c-compacts in the sequel.

\begin{prop}
  \label{prop:boundedsubmodsarecomplete}
  The submodules $B$ in Proposition \ref{prop:boundedsubmodules} are
  complete.
\end{prop}

\begin{proof}
  Let $B = \sum_{\alpha \in I} \mathfrak{p}^{k(\alpha)} t^\alpha$ with $(
  k(\alpha) )_{\alpha \in I} \subset \mathbb{Z} \cup \left\{ \infty
  \right\}$ satisfying conditions (i) and (ii) in the statement of
  Proposition \ref{prop:boundedsubmodules}.

  Let $H$ be a directed set and $(x(h))_{h \in H} \subset B$ a Cauchy net.
  Let us denote, for each $h \in H$, $x(h) = \sum_\alpha x(h)(\alpha)
  t^\alpha$ with $x(h)(\alpha) \in \mathfrak{p}^{k(\alpha)}$ for $\alpha \in I$.

  We have that, for a fixed $\alpha \in I$, $(x(h)(\alpha))_{h \in H}
  \subset \mathfrak{p}^{k(\alpha)}$ is a Cauchy net. As $\mathfrak{p}^{k(\alpha)}$ is
  complete, the net converges to an element $x(\alpha) \in
  \mathfrak{p}^{k(\alpha)}$.

  If the power series $\sum_{\alpha} x(\alpha) t^\alpha$ defines an
  element $x$ in $F$, then $x \in B$ and $x(h) \to x$. This is easy to
  check by induction on $n$ (the case $n = 2$ may be found in
  \cite[\textsection 5]{camara-fa2dlfs}).
\end{proof}

As we have explained, multiplication $\mu: F \times F \to F$ is not a
continuous map. However, we may shown that it is bounded.

\begin{prop}
  Multiplication $\mu: F \times F \to F$ is a bounded map.
\end{prop}

\begin{proof}
  The argument for the proof is by induction on $n$. The case $n = 2$ is
  dealt with in \cite[Proposition 4.8]{camara-fa2dlfs}, and the same
  argument applies when looking at $F =L\curlyb{t_{n-1}}$ or $L\roundb{t_{n-1}}$
\end{proof}

\section{Compactoid $\mathcal{O}$-submodules}
\label{sec:compactoidsubmodules}

The result below outlines which basic bounded submodules of $F$ are
compactoid, and thus describes a basis for the bornology on $F$ generated
by compactoid $\mathcal{O}$-submodules.

\begin{prop}
  \label{prop:compactoidsubmodules}
  Let $(k(\alpha) )_{\alpha \in I} \subset
  \mathbb{Z} \cup \left\{ \infty \right\}$ be a net satisfying the
  conditions:
  \begin{enumerate}
    \item For every $l \in \left\{ r+1, \ldots, n-1 \right\}$ and indices
      $i_{l+1}, \ldots, i_{n-1} \in \mathbb{Z}$ there is an index $j_0 \in \mathbb{Z}$
      such that for every $j < j_0$ we have $k(\alpha) = \infty$ for all
      $\alpha \in I(j, i_{l+1}, \ldots, i_{n-1})$.
    \item For every $l \in \left\{ 1, \ldots, r \right\}$ and
      $i_{l+1}, \ldots, i_{n-1} \in \mathbb{Z}$, there is an integer $d \in \mathbb{Z}$
      such that $k(\alpha) \geq d$ for all $\alpha \in I(i_{l+1}, \ldots,
      i_{n-1})$ and we have that $k(\alpha) \to \infty$ for $\alpha \in
      I(j,i_{l+1}, \ldots, i_{n-1})$, as $j \to -\infty$.
  \end{enumerate}
  Then the $\mathcal{O}$-submodule of $F$ given by
  \begin{equation}
    \label{eqn:basiccpctoidmodule}
    B = \sum_{\alpha} \mathfrak{p}^{k(\alpha)} t^\alpha
  \end{equation}
  is compactoid.

  The $\mathcal{O}$-submodules of the form (\ref{eqn:basiccpctoidmodule}) are the
  only compactoid submodules amongst basic bounded submodules, and define
  a basis for the bornology on $F$ defined by compactoid submodules.
\end{prop}

In the proof to this proposition we shall need to consider the projection
maps to the coefficients of the $\alpha$-expansions of elements of $F$. For
every $\alpha_0 \in I$, consider the continuous linear form:
\begin{equation*}
  \pi_{\alpha_0}: F \to K,\quad \sum_{\alpha} x(\alpha) t^\alpha \mapsto
  x(\alpha_0).
\end{equation*}

\begin{proof}
  The result holds for $n = 2$ as shown in \cite[\textsection 5]{camara-fa2dlfs}.

  First, let us show that the submodule $B$ as in
  (\ref{eqn:basiccpctoidmodule}) is compactoid.
  Let $\Lambda = \sum_\alpha \mathfrak{p}^{n(\alpha)} t^\alpha$ be an open lattice.
  We will show that there exist elements $x_1, \ldots, x_m \in F$ such
  that $B \subset \Lambda + \mathcal{O} x_1+\cdots+\mathcal{O} x_m$.

  Regardless of the value of $r \in \left\{ 0, \ldots, n-1 \right\}$,
  there are two indices $j_0, j_1 \in \mathbb{Z}$ such that
  \begin{equation}
    k(\alpha) \geq n(\alpha), \quad \text{for all } \alpha \in I(j) \text{
    with } j < j_0 \text{ or } j > j_1.
    \label{eqn:compactoidsubmodules1}
  \end{equation}
  if $j_0 > j_1$ then $B \subset \Lambda$ and we are done. Henceforth, we
  assume $j_0 \leq j_1$.

  Let us examine the situation for $j_0 \leq j \leq j_1$. For a fixed
  such $j$, let $\alpha = (\beta, j)$ with $\beta \in J$. By induction
  hypothesis, the $\mathcal{O}$-submodule
  \begin{equation*}
    \sum_{\beta\in J} \mathfrak{p}^{k(\beta,j)}t^\beta \subset L
  \end{equation*}
  is compactoid. Similarly, for a fixed such $j$, $\sum_\beta
  \mathfrak{p}^{n(\beta,j)}t^\beta$ is an open lattice in $L$. Therefore, there
  exist a finite number of elements $y_{j,1},\ldots,y_{j,m_j} \in L$ for
  which we have, for $j_0 \leq j \leq j_1$,
  \begin{equation*}
    \sum_{\beta} \mathfrak{p}^{k(\beta,j)} t^\beta \subset \sum_\beta
    \mathfrak{p}^{n(\beta,j)} t^\beta + \mathcal{O} y_{j,1}+\cdots+\mathcal{O}
    y_{j,m_j}.
  \end{equation*}
  Now, this implies that
  \begin{equation*}
    \sum_{j=j_0}^{j_1} \left( \sum_{\beta \in J} \mathfrak{p}^{k(\beta,j)} t^\beta
    \right) t_{n-1}^j \subset \sum_{j=j_0}^{j_1} \left( \sum_{\beta \in
    J} \mathfrak{p}^{n(\beta,j)} t^\beta + \sum_{s=1}^{m_j} \mathcal{O} y_{j,s} \right)t_{n-1}^j.
  \end{equation*}
  We rewrite this last equation as:
  \begin{equation}
    \sum_{\substack{\alpha \in I(j)\\ j_0\leq j \leq j_1}} \mathfrak{p}^{k(\alpha)} t^\alpha
    \subset \sum_{\substack{\alpha \in I(j)\\j_0 \leq j \leq j_1}}
    \mathfrak{p}^{n(\alpha)}
    t^\alpha + \left( \sum_{j=j_0}^{j_1} \sum_{s=1}^{m_j} \mathcal{O} y_{j,s}t_{n-1}^j \right).
    \label{eqn:compactoidsubmodules2}
  \end{equation}
  The fact that
  \begin{equation*}
    B \subset \Lambda +\left( \sum_{j=j_0}^{j_1} \sum_{s=1}^{m_j}
    \mathcal{O} y_{j,s}t_{n-1}^j \right)
  \end{equation*}
  follows from (\ref{eqn:compactoidsubmodules1}) and
  (\ref{eqn:compactoidsubmodules2}).

  Second, let us show how any compactoid $\mathcal{O}$-submodule of $F$ is
  contained in one of the form (\ref{eqn:basiccpctoidmodule}). Since
  compactoid $\mathcal{O}$-submodules are bounded, it is enough to show that any
  basic bounded submodule $C = \sum_{\alpha} \mathfrak{p}^{k(\alpha)} t^\alpha$ is
  compactoid if and only if the indices $k(\alpha)$ satisfy conditions (i)
  and (ii) in the statement of the Proposition. We proceed by induction,
  the result holds for $n=2$ as mentioned above.

  Now, suppose $C$ is compactoid. Then, for every $j \in \mathbb{Z}$, the
  $\mathcal{O}$-submodule of $L$ given by
  \begin{equation*}
    C_j = \sum_{\beta} \mathfrak{p}^{k(\beta,j)} t^\beta
  \end{equation*}
  is compactoid.

  Next, we distinguish cases. Suppose that $r \leq n-2$, so that $F =
  L\roundb{t_{n-1}}$. In such case, by induction hypothesis, we only need
  to check that the indices $k(\alpha)$ satisfy condition (i) for $l =
  n-1$. But if this condition does not hold, then from the proof of
  Proposition \ref{prop:boundedsubmodules} we deduce that $C$ cannot be
  compactoid, as it is not bounded. So there is nothing more to say in this case.

  Finally, suppose that $r =n-1$, so that $F=L\curlyb{t_{n-1}}$. By
  hypothesis induction, the indices $k(\alpha)$ satisfy condition (ii) in
  the statement of the Proposition for $1 \leq l \leq  n-2$. If condition
  (ii) for $l = n-1$ does not hold, then there is a decreasing sequence
  $(j_h)_{h \geq 0} \subset \mathbb{Z}_{<0}$ and an index $\alpha_h \in
  I(j_h)$ for each $h \geq 0$ such that the sequence
  $(k(\alpha_h))_{h \geq 0}$ is
  bounded above. Let $M \in \mathbb{Z}$ be such that $k(\alpha_h) < M$ for
  every $h \geq 0$. Let
  \begin{equation*}
    n(\alpha) = \left\{
    \begin{array}{ll}
      M, & \text{ if } \alpha = \alpha_h \text{ for some } h \geq 0,\\
      -\infty & \text{ otherwise }.
    \end{array}
    \right.
  \end{equation*}
  The net $(n(\alpha))_{\alpha \in I}$ defines an open lattice $\Lambda =
  \sum_\alpha \mathfrak{p}^{n(\alpha)} t^\alpha$. Now, suppose that $x_1, \ldots,
  x_m \in F$ satisfy that $C \subset \Lambda + \mathcal{O} x_1 + \cdots + \mathcal{O}
  x_m$. Let us write, for $1 \leq l \leq m$, $x_l = \sum_\alpha
  x_l(\alpha) t^\alpha$.

  Since $x_l(\alpha) \to 0$ for $\alpha \in I(j)$ as $j \to -\infty$, we
  have that there is an index $k \in \mathbb{Z}$ such that for every $j \leq
  k$, we have $v(x_l(\alpha)) > M$ for every $\alpha \in I(j)$ and
  $1 \leq l \leq m$. Fix an $h \geq 0$ such that $j_h \leq k$. Now, for
  such an $h$, we have
  \begin{equation*}
    \pi_{\alpha_h}(C) \subset \pi_{\alpha_h}(\Lambda + \mathcal{O} x_1 + \cdots +
    \mathcal{O} x_m),
  \end{equation*}
  which implies
  \begin{equation*}
    \mathfrak{p}^{k(\alpha_h)} \subset \mathfrak{p}^M + \mathfrak{p}^{v(x_1(\alpha_h))} + \cdots +
    \mathfrak{p}^{v(x_m(\alpha_h))} = \mathfrak{p}^M.
  \end{equation*}
  This last inclusion implies that $M \leq k(\alpha_h)$, a
  contradiction. Hence, we must have $k(\alpha) \to \infty$ for $\alpha
  \in I(j)$ as $j \to \infty$.
\end{proof}

\begin{df}
  We will refer to the $\mathcal{O}$-submodules of $F$ of the form
  (\ref{eqn:basiccpctoidmodule}) as {\it basic compactoid submodules of
  $F$}.
\end{df}

\begin{corollary}
  The basic compactoid $\mathcal{O}$-submodules of $F$ are c-compact.
\end{corollary}

\begin{proof}
  An $\mathcal{O}$-submodule of a locally convex $K$-vector space is c-compact
  and bounded if and only if it is compactoid and complete
  \cite[Prop. 12.7]{schneider-non-archimedean-functional-analysis}. So
  the result follows from the fact that these $\mathcal{O}$-submodules are
  bounded, compactoid and complete.
\end{proof}

\section{Duality}
\label{sec:duality}

Let us discuss some issues regarding the dual space of $F$. We showed in
\cite[Theorem 6.2]{camara-fa2dlfs} how in the two-dimensional case $F$ is isomorphic in the category
of locally convex $K$-vector spaces to $F'_c$, its continuous dual space
topologized using the c-topology, that is: the topology of uniform
convergence on compactoid submodules.

The c-topology is defined on the continuous dual of any n-dimensional $F$ by the
collection of seminorms
\begin{equation*}
  |\cdot|_B : F' \to \mathbb{R},\quad l \mapsto \sup_{x \in B} |l(x)|,
\end{equation*}
for any basic compactoid submodule $B \subset F$.

Our first goal in this section is to construct an isomorphism of locally
convex vector spaces $F \cong F'_c$.

We have already come across some continuous nonzero linear forms on $F$
in the previous section, we recall that these were the projections, for
every $\alpha_0 \in I$:
\begin{equation*}
  \pi_{\alpha_0} : F \to K, \quad \sum_{\alpha \in I} x(\alpha) t^\alpha
  \mapsto x(\alpha_0).
\end{equation*}

In particular, denote by $\pi_0$ the continuous linear form on $F$
constructed as in the previous example for $\alpha_0 = \left( 0, \ldots,0
\right) \in I$.

We relate $F$ and its continuous dual space. Define
\begin{equation}
  \gamma: F \to F', \quad x \mapsto \pi_x,
  \label{eqn:definegamma}
\end{equation}
with
\begin{equation*}
  \pi_x: F \to K,\quad y \mapsto \pi_0(xy).
\end{equation*}

\begin{lem}
  If $x = \sum_{\alpha \in I} x(\alpha) t^\alpha$ and $y = \sum_{\alpha
  \in I} y(\alpha) t^\alpha$ are elements in $F$, we have that
  \begin{equation*}
    \pi_x(y) = \sum_{\alpha \in I} x(-\alpha)y(\alpha) = \sum_{i_{n-1} \in
    \mathbb{Z}}\cdots\sum_{i_1 \in \mathbb{Z}} x_{(-i_1,\ldots, -i_{n-1})}
    y_{(i_1, \ldots, i_{n-1})}.
  \end{equation*}
\end{lem}

\begin{proof}
  The result becomes clear once notation is unwinded and the 0-th
  coefficient of $xy$ is taken for each parameter $t_l$ separately, for
  $l$ descending from $n-1$ to $1$.
\end{proof}

\begin{lem}
  \label{lem:surjectivityofgamma}
  Let $w \in F'$. Define, for each $\alpha \in I$, $x(\alpha) =
  w(t^{-\alpha}) \in K$. Then, the expression $\sum_{\alpha \in I}
  x(\alpha) t^\alpha$ defines an element in $F$.
\end{lem}

\begin{proof}
  The result may be shown by induction; the argument is the same as in
  \cite[Lemma 6.3]{camara-fa2dlfs}.
\end{proof}

\begin{thm}
  \label{thm:selfduality}
  The map $\gamma: F \to F'_c$ is an isomorphism of locally convex vector
  spaces.
\end{thm}

\begin{proof}
  The map $\gamma$ is linear and injective. Surjectivity follows from
  Lemma \ref{lem:surjectivityofgamma}; as if $w \in F'$, we apply the
  lemma to obtain $x = \sum_{\alpha \in I} x(\alpha) t^\alpha \in F$.
  Then, for any $y = \sum_{\alpha\in I} y(\alpha) t^\alpha \in F$, we have
  \begin{equation*}
    w(y) = w \left( \sum_{\alpha} y(\alpha) t^\alpha \right) =
    \sum_\alpha y(\alpha) w(t^\alpha) = \sum_\alpha y(\alpha) x(-\alpha) =
    \pi_x(y).
  \end{equation*}
  The second equality follows from Remark \ref{rmk:powerseriesconverge}.

  In order to show bicontinuity of $\gamma$, the argument is very similar
  to the one given in the proof of
  \cite[Theorem 6.2]{camara-fa2dlfs}; given a basic compactoid
  $\mathcal{O}$-submodule $B = \sum_{\alpha \in I} \mathfrak{p}^{k(\alpha)} t^\alpha$ of
  $F$ as in Proposition \ref{prop:compactoidsubmodules}, the net
  $( -k(-\alpha) )_{\alpha \in I}$ defines an
  admissible seminorm $\| \cdot \|$ on $F$. We have that, for $x \in F$,
  \begin{equation*}
    \| x \| \leq q^{n} \text{ if and only if } |\pi_x|_B \leq q^n,
  \end{equation*}
  which concludes the proof.
\end{proof}

If $A \subset F$ is an $\mathcal{O}$-submodule, we denote $A^\gamma =
\gamma^{-1}(A^p) \subset F$, with $A^p \subset F'$ being the pseudo-polar of $A$.

\begin{prop}
  \label{prop:pseudopolars}
  Let $A = \sum_{\alpha \in I} \mathfrak{p}^{k(\alpha)} t^\alpha \subset F$ be an
  $\mathcal{O}$-submodule, with $k(\alpha) \in \mathbb{Z} \cup \left\{ \pm \infty
  \right\}$. We have that
  \begin{equation*}
    A^\gamma = \sum_{\alpha \in I} \mathfrak{p}^{1-k(-\alpha)} t^{\alpha}.
  \end{equation*}
\end{prop}

\begin{proof}
  The argument is the same as the one exposed in the proof of
  \cite[Proposition 6.7]{camara-fa2dlfs}.
\end{proof}

The isomorphism $\gamma$ is not unique as, for example, choosing
$\pi_\alpha$ for any $\alpha \in I$ instead of $\pi_0$ in the definition
of $\gamma$ would have given a different isomorphism. Thus, the shape of
$A^\gamma$ depends ultimately on our choice of $\gamma$.

However, there are certain facts which are general for pseudo-polars of
$\mathcal{O}$-submodules in any locally convex $K$-vector space. As such, we
recall that taking the pseudo-polar exchanges open lattices and compactoid
$\mathcal{O}$-submodules, and that the pseudo-bipolar of an $\mathcal{O}$-submodule is equal
to its closure.

These facts are highlighted in the previous Proposition for the
$\mathcal{O}$-submodules of the form $\sum_\alpha \mathfrak{p}^{k(\alpha)}t^\alpha$, which
are closed. The facts that for an open lattice $\Lambda$ we have that
$\Lambda^\gamma$ is compactoid and that for a basic compactoid set
$B$ we have that $B^\gamma$ is an open lattice are evident by checking
that for the nets $(n(\alpha))_{\alpha \in I}$ and
$(1-n(-\alpha))_{\alpha \in I}$, one of them satisfies conditions (i) and
(ii) in Proposition \ref{prop:highertopislocconv} if and only if the
other one satisfies conditions (i) and (ii) in Proposition
\ref{prop:compactoidsubmodules}.

\section{The general case}
\label{sec:generalcase}

In this section, let $K \hookrightarrow F$ be a general $n$-dimensional local field
over $K$. By structure
theory, there is an $r \in \left\{ 0, \ldots, n \right\}$ such that $F$
is a finite extension of
$F_0 :=
K\curlyb{t_1}\cdots\curlyb{t_r}\roundb{t_{r+1}}\cdots\roundb{t_{n-1}}$ as
explained in \textsection \ref{sec:categoryofhdlfs}.
Denote the degree of such extension by $e$.
The higher topology on $F$ may be defined as the product topology on $F
\cong
(F_0)^{e}$
\cite[Remark after 1.3.2]{ihlf}.

Since the product topology on a product of locally convex vector spaces
is again locally convex, a higher topology on $F$ is locally convex.
Open lattices (resp. continuous seminorms) on $F$ may be described using
Proposition \ref{prop:highertopislocconv} (resp. Proposition
\ref{prop:seminorms}) and \cite[Proposition 1.1]{camara-fa2dlfs}.

Finally, from Theorem \ref{thm:selfduality} we recover the existence of
an isomorphism $F \cong F'_c$ via the chain
\begin{equation*}
  F' \cong (F_0^e)' \cong (F'_0)^e \cong ((F_0)'_c)^e \cong F_0^e \cong
  F.
\end{equation*}
Explicit nonzero continuous linear forms on
$F$ may be obtained by composing the forms $\pi_\alpha: F_0 \to K$ for
$\alpha \in I$ with $\mathrm{Tr}\:_{F\vert F_0}$.

\section{Other types of higher local fields}

Let us center our attention, for the sake of completeness, on the higher
local fields which we have not treated in the previous.

First, suppose that $\mathrm{char}\: F = p$. In such case, as explained in
\textsection \ref{sec:categoryofhdlfs}, there is a finite field
$\mathbb{F}_q$ and elements $t_1, \ldots, t_n \in F$ such that
\begin{equation*}
  F \cong \mathbb{F}_q\roundb{t_1}\cdots\roundb{t_n}.
\end{equation*}
The field $\mathbb{F}_q\roundb{t_1}$ is a local field and the results in
this work may be applied to $F$ if we let $K =
\mathbb{F}_q\roundb{t_1}$. However, after \cite[\textsection 9]{camara-fa2dlfs}, we are only stating that the higher topology
on $F$ is a linear topology when we regard $F$ as a vector space over
$\mathbb{F}_q$. The choice between linear-topological structures over
$\mathbb{F}_q$ or locally convex structures over
$\mathbb{F}_q\roundb{t_1}$ is merely a matter of language in our case.

Now let $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$ and denote the usual
absolute value by $| \cdot |$. The theory of higher local fields is also
developed by looking at complete discrete valuation fields $F$ that have
an $n$-dimensional structure on them and such that $F_1 =
\mathbb{K}$. For these, there are $t_1, \ldots, t_{n-1} \in F$ for which
\begin{equation*}
  F \cong \mathbb{K}\roundb{t_1}\cdots\roundb{t_{n-1}}.
\end{equation*}
As hinted at in \cite[\textsection 8]{camara-fa2dlfs}, we can apply
the archimedean theory of locally convex spaces to study these fields.

The open disks
\begin{equation*}
  D_\rho = \left\{ a \in \mathbb{K};\; |a| < \rho \right\},\quad \rho \in
  \mathbb{Q}_{>0} \cup \left\{ \infty \right\}
\end{equation*}
supply a basis of convex sets for the euclidean topology on
$\mathbb{K}$.

The higher topology on $F$ is constructed by iterating the construction
in \cite[\textsection 8]{camara-fa2dlfs}.

\begin{prop}
  Let $I = \mathbb{Z}^{n-1}$ and $( \rho(\alpha) )_{\alpha \in I}
  \subset \mathbb{Q}_{>0} \cup \left\{ \infty \right\}$ be a net restricted to
  the condition:

  For any $l \in \left\{ 1, \ldots, n-1 \right\}$ and fixed indices
  $i_{l+1}, \ldots, i_{n-1} \in \mathbb{Z}$ there is a $k_0 \in \mathbb{Z}$ such that
  for every $k \geq k_0$ we have $\rho(\alpha) = \infty$ for all
  $\alpha \in I(k, i_{l+1}, \ldots, i_{n-1})$.

  The higher topology on $F$ is locally convex and it is defined by the
  seminorms of the form
  \begin{equation}
    \| \cdot \|: F \to \mathbb{R}, \sum_{\alpha \in I} x(\alpha) t^\alpha
    \mapsto \sup_{\alpha \in I} \frac{|x(\alpha)|}{\rho(\alpha)},
    \label{eqn:archiseminorm}
  \end{equation}
  with the convention that $a/\infty = 0$ for any $a \in
  \mathbb{R}_{\geq 0}$.
\end{prop}

\begin{proof}
  The result follows from \cite[Proposition 8.3]{camara-fa2dlfs}
  and straightforward adaptation of the arguments used in Proposition
  \ref{prop:highertopislocconv} and Corollary \ref{prop:seminorms}.
\end{proof}

\label{sec:positivecharcase}
\label{sec:archimedeancase}

\section{Future work}
\label{sec:future}

Let us start this discussion by saying that
\cite[\textsection 10]{camara-fa2dlfs} contains a list of topics
worth studying, and that many of them are closely related to the topics
dealt with in this note.

Among the directions outlined there, there is one which particularly has
a direct impact on the study of functional analytic properties of higher local
fields of arbitrary dimension.

Structure and topology on higher local fields may be studied successfully
as an iteration of applications of inverse limits
in the form of completions and direct limits in the form of
localizations. In order to describe functional analytic structures that
hold in any dimension and regardless of the characteristic type of $F$,
it seems that two initial ingredients are necessary: a theory of locally
convex $\mathcal{O}$-modules and a study of which functional analytic properties of
these modules are preserved after taking direct and inverse limits.

On a different direction, the dependence of higher topologies on choices
of coefficient fields as soon as $\mathrm{char}\: \overline{F} = 0$ is a well-known
handicap of the theory. For this reason, showing a class of subsets of
$F$ with an interesting topological or functional analytic property and
which would remain stable under change of coefficient field would be
extremely important.

Similarly, we have not dealt with the different rings of integers
of a higher local field in this note, on purpose: although they are
$\mathcal{O}$-submodules which are very relevant for arithmetic purposes, as
highlighted already by comparing $K\roundb{t}$ and $K\curlyb{t}$ in
\cite{camara-fa2dlfs}, the functional analytic properties of such rings
change drastically according to the characteristic of the residue field.
It would also be interesting to establish whether there is a relevant
topological or analytic property which highlights the relevance of these
arithmetically interesting $\mathcal{O}$-submodules.

\def$'$} \def\cprime{$'${$'$} \def$'$} \def\cprime{$'${$'$}