% LaTeX
\documentclass[leqno]{article}
\usepackage[utf8x]{inputenc}
\usepackage{ucs}
\usepackage{soul}
\usepackage{url}
\usepackage{braket}
\usepackage{graphicx}
\usepackage[intlimits]{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{bm}
\usepackage{gellmu2}
\usepackage[margin=100bp,nohead]{geometry}
\setlength{\parskip}{1ex}
\setlength{\parindent}{0em}
\pagestyle{plain}
\thispagestyle{empty}
\title{Personal Research Interests and Activity}
\newlength{\centerskip}
\setlength{\centerskip}{\topsep}
\newcommand{\hsf}{\hspace*{\fill}}
\newcommand{\tdbc}[1]{\hsf\textbf{#1}\hsf}
\author{William F. Hammond}
\begin{document}
\begin{center}
{\LARGE\bfseries{}Personal Research Interests and Activity}
\\[4\partopsep]{\Large\bfseries{}\textsl{William F. Hammond}}
\end{center}
\vspace*{-\centerskip}
\section*{Table of Contents}
\begin{Toclist}

\item[]{1\ \ General\dotfill{}~\pageref{SU-1}}

\item[]{2\ \ Mathematics on the Network\dotfill{}~\pageref{SU-2}}

\item[]{3\ \ Reduction of Schwartz Bruhat Functions\dotfill{}~\pageref{SU-3}}

\item[]{4\ \ Everyone Seminar, October 1993\dotfill{}~\pageref{SU-4}}

\item[]{5\ \ Special Theta Relations\dotfill{}~\pageref{SU-5}}

\item[]{6\ \ Plans Regarding ``Reduction''\dotfill{}~\pageref{SU-6}}

\item[]{7\ \ Weil's Real Metaplectic Group\dotfill{}~\pageref{SU-7}}

\item[]{8\ \ A Certain Class of Primes\dotfill{}~\pageref{SU-8}}

\item[]{9\ \ Planned Course Notes on Theta Functions\dotfill{}~\pageref{SU-9}}

\item[]{10\ \ Syracuse/3n+1 Doodles\dotfill{}~\pageref{SU-10}}

\item[]{11\ \ Command Line Utilities\dotfill{}~\pageref{SU-11}}

\item[]{12\ \ About this document\dotfill{}~\pageref{SU-12}}
\end{Toclist}

\section*{1\ \ \label{SU-1}General}
\par{The range of my strictly mathematical research interests falls within the territory spanned by number theory and algebraic geometry, and I have since 1987 acquired an interest in the meta-mathematical topic of the design of ``mathematics in the international universe of networked computing''.  
}
\par{Most of my visible past strictly mathematical investigations have involved modular forms, theta functions, abelian varieties, the geometry of Hilbert modular surfaces, and ``reduction'' of Schwartz-Bruhat functions.   
}

\section*{2\ \ \label{SU-2}Mathematics on the Network}
\par{In the arena of ``mathematics and the network'' great hope has been present since, say, 1993 when CERN's Tim Berners-Lee's free World Wide Web (WWW) emerged into the consciousness of the mathematical community at large.  
}
\par{From the University of Minnesota Paul Lindner offered ``gopher'', an alternative approach with browsing free to everyone and serving free to universities, and with by 1993 the handling of \textbf{arbitrary} ``content-types''.    This alternative had equal potential utility to serious needs of academic mathematics, science, and engineering.  
}
\par{In a sense not much has happened since that time, while a great deal more\footnote{URI: http://www.albany.edu/\textasciitilde{}hammond/gellmu/webmath.html} is explicitly desired by the mathematical community.   It is my opinion that much more will happen if the design of ``mathematics'' on the web is regarded as a question of the construction of an abstract meta-mathematical entity.    It may not be too late.    It does need the attention of mathematicians who understand the universe of networked computing.  
}
\par{Beginning in late 1987 I became interested in optimizing the use of desktop computer processing for the authoring and reading of mathematical documents.    Many of my ideas about Mathematical Typewriter Emulation (MTE)\footnote{URI: mte.html} were formed at that time.    Those ideas are evolving inasmuch as they are still somewhat relevant to current issues concerning math on the web.  
}
\par{The question is how to design the whole structure, as an abstract entity, of mathematical information in the universe of networked computers so as to enable that universe:  \begin{itemize}

\item  to contain all information that in 1970 one expected to be able to find available in printed paper form in library buildings.   

\item  to admit sufficiently complex searching that a mathematician may freely locate sources in that universe of current information on a narrowly defined mathematical question beginning from little information and without reliance on human networks.  
\end{itemize}
}
\par{This has led to what I call ``\textsc{GELLMU}''\footnote{URI: igl.html}, a name which, as I use it, refers to:  \begin{enumerate}

\item  a cross-platform free\footnote{URI: http://www.gnu.org/} computer      software project assembled with interchangeable components.   

\item  an extensible LaTeX-like markup language with provision for      mathematical authors serving as      \emph{A Bridge from \LaTeX{}      to XML}\footnote{URI: http://www.tug.org/TUGboat/Articles/tb22-3/tb72hammond.pdf} that is suitable for \emph{single source authoring toward      multiple presentation formats} (\textsc{SSATMF}).   
\end{enumerate} 
}

\section*{3\ \ \label{SU-3}Reduction of Schwartz Bruhat Functions}
\par{Despite all of my work with computing and ``mathematics on the web'', some of which includes very substantial voluntary service to my Department in supervising its *IX network since 1992 and serving as both editor and manager of a substantial portion of its web service, I do have a current mathematical focus, which since 1977, has been the topic of ``product formulas'', a phrase that in my context is implied jargon referring to identities that involve one of a certain fuzzy family of infinite products indexed by \emph{primes}, often called ``Euler products''.  
}
\par{A simple, but important, special case of such products is an essential invariant of the geometric object that is our contemporary understanding of the \emph{solution} of a finite number of polynomial equations in finitely many variables.    And, of course, there are important ``modular forms'' and important objects in ``representation theory'' that are such products.  
}
\par{Reduction of Schwartz-Bruhat functions is a topic handled explicitly in Donald Roby's 1980 Albany thesis, under my direction, that arises naturally as an extension of J.-I.~Igusa's extension of the principal result of Andr\'{e} Weil (1906-1998) in his \emph{Acta} paper (1964).    These results apply to the context of \emph{adelic analysis}, a (the?) context from which product formulas arise and which \emph{should} be understood today as part of ``basic analysis''\footnote{URI: anabasic.html}, though that perception has yet to receive a proper dissemination in graduate-level mathematical education inside many institutions in the United States.  
}
\par{Weil, as an easy sideline corollary, reached the only truly conceptual proof (at least that I know) of (Hilbert's product formula version of) Gauss's famous law of quadratic reciprocity.  
}
\par{In the early years after the particular Weil results (his first \emph{Acta} paper published in 1964) became known, there was a substantial ``buzz'', especially around Harvard, about the possible relation of adelic Haar measure to the study of the ``L-function'' of an elliptic curve.    This view led eventually to the ``Langlands Program''.\footnote{It even led eventually by the time of the Antwerp Meeting on Modular Forms in 1972 to an inadvertently inappropriate use of the term \emph{Weil curve} (not, I believe, originating with Weil) for an elliptic curve that arises from a modular form.    The name ``Shimura curve'' would have been better except that at the time it had another meaning; today one says ``modular curve'' for such a curve, which is understood now as an elliptic curve that is, up to isogeny, in the image of a \emph{map} --- the ``Shimura map'' --- first constructed by Goro Shimura that might have been given more highlighting in his 1971 book.    It was reported in 1999 that Breuil, Conrad, Diamond, and Taylor had proved the modular curve conjecture using an argument along the lines outlined by Wiles in 1993 for the case of a ``semi-stable'' elliptic curve.}
}
\par{The approach to the modular curve theorem through adelic-analysis, in contrast with the recent successful approach through equivariant arithmetic geometry, so far has not born fruit.    I still see the absence of such a proof of this basic fact about elliptic curves as a hole in our knowledge of ``basic analysis'' without knowing what to do about it.    The precise Archimdean dimensions of this hole were measured by Weil and published in \textsl{Math. Ann.} in 1967.   The subject of elliptic curves is rich enough to admit more than one approach.  
}
\par{It is, even today after the work of Wiles, not completely clear that there is no use to be found in the circle of ideas surrounding ``reduction of Schwartz-Bruhat functions'' in the subject of elliptic curves.    This question may be regarded as a question about the transport of the \emph{reduction} idea to non-abelian contexts with arithmetic dimension \(2\).    In fact, a useful connection, if any, of this idea with Artin reciprocity (see below), a context of arithmetic dimension \(1\), has yet to surface, so far as I know.    It may take time.  
}
\par{A proper understanding of basic analysis here will certainly take time.   I suspect that in both cases (reciprocity and elliptic) one wants to look far beyond the Heisenberg group and its Schr\"{o}dinger normalizer.    One wants to be alert for interesting operators of finite order, especially order \(6\) in the elliptic case.    (Fourier transform is an operator of order \(4\) that is almost certainly relevant; of course, it \emph{is} relevant for theta \emph{nullwerte}.)
}
\par{In the general theory of product formulas, one wants to understand the entire class of identities that ultimately may be regarded as consequences (perhaps, for some cases just in a mirror-like fashion) of two things: \begin{enumerate}

\item  the fact that Haar measure on the adeles is \textbf{restricted      product measure}.  

\item  in-the-case evaluation of integrals, i.e., adelic and everywhere      local \textbf{evaluation of integrals} (whether or not \(\mbox{L}^{1}\),      \{i.e.\}$^{\mbox{2}}$, ``absolutely convergent'') that are derived      from objects existing over the rational field (or, as appropriate      for the context, a ``global field'' of characteristic zero).  
\end{enumerate}
}
\par{This is a fundamental task in basic analysis.  
}
\par{I expect that Andr\'{e}~Weil, who appears to me to have been careful about venturing ``conjectures'', as opposed to raising questions, especially perhaps after having perceived a loss with ``intermediate Jacobians'' in the 1960's, imagined this as a further task when he posed as a challenge in his \emph{Acta} paper the explicit task of bringing Artin reciprocity under this banner inasmuch as this is the most obvious more general framework to consider when pondering his treatment of the Hilbert product formula.  
}
\par{We do not have proper follow-up on Roby's work.   
}

\section*{4\ \ \label{SU-4}Everyone Seminar, October 1993}
\par{The official notes\footnote{URI: oct93.html} on my October~22, 1993 Albany \emph{Everyone Seminar} presentation offer a beginning introduction to the idea that Fermat's Last Theorem is a consequence of knowing as much about plane curves defined by cubic equations with \emph{rational coefficients} as first year undergraduates have traditionally been expected to know about plane curves defined by quadratic equations with real coefficients.   
}

\section*{5\ \ \label{SU-5}Special Theta Relations}
\par{The notes of my 1988 New York City Number Theory Seminar talk have have finally appeared: ``Special Theta Relations'', \emph{Number Theory: New York Seminar 1991-1995}, D.~V.~Chudnovsky et al., eds., Springer Verlag, 1996, pp. 195-199.  
}
\par{As far as I know, Patrick McNally's 1995 doctoral dissertation on the subject has not appeared.    For me its chief thrust is that in the context of abelian surfaces with real quadratic endomorphisms the classically-described theta relations obtained as a corollary of Mumford's \emph{Tata} approach to Riemann's relations (my New York talk) have the same zero loci as the complete set of relations constructed somewhat less classically (in the \emph{newer} more general Mumford setting) by Zarhin.  
}
\par{Of course, the whole subject of theta functions has deep ties to the subject of ``Basic Analysis'', properly understood.   
}

\section*{6\ \ \label{SU-6}Plans Regarding ``Reduction''}
\par{Unless Roby, unbeknownst to me, has published his thesis, I plan an expansion of some of the material treated there and never published beyond archiving at University Microfilms.    I have been stalling this writing project since about 1990 while seeking a \textbf{markup language worthy of the effort}, leading to my development of \textsc{GELLMU}\footnote{URI: http://www.albany.edu/\textasciitilde{}hammond/gellmu/}, which, as of 2004, is adequate to this task.   
}

\section*{7\ \ \label{SU-7}Weil's Real Metaplectic Group}
\par{Some day there will be available here an item from 1976\footnote{URI: rmpgp.tex}, never published, dealing with the straightforward but tedious calculation of the 2-cocycle giving the Shale-Mackey-Weil group as an extension of the group of centrally trivial automorphisms of the real Heisenberg group by the one dimensional compact real torus that provided my motivation for one of the questions treated in Roby's thesis.    The \(p\)-adic case was treated in Roby's thesis.   This also has been waiting for \textsc{GELLMU}.   
}

\section*{8\ \ \label{SU-8}A Certain Class of Primes}
\par{During 1991-92 I went searching for the second member\footnote{URI: cpe-nth} of a class of primes that ought to be infinite.    This is the class of odd primes \(p\) for which the smallest positive primitive root \(c\) mod \(p\) fails also to be primitive mod \(p^{2}\)\@. \   Such failure is equivalent to the condition \[ c^{p-1} \ \equiv{} \ 1 \pmod{p^{2}} \ \ \ . \] In the common case when a number is primitive mod \(p^{2}\)\@,  \(p\) an odd prime, it is necessarily primitive modulo every power of \(p\)\@,  and, therefore, it is a topological generator of the multiplicative group of \(p\)-adic units.    The smallest member of the class is the prime \(40487\)\@. \  In April 2001, Professor Stephen Glasby of the University of Central Washington wrote me that he had found another example, which is the prime \(6692367337\)\@,  and that these two primes are the only examples smaller than \(10^{10}\)\@. \  
}

\section*{9\ \ \label{SU-9}Planned Course Notes on Theta Functions}
\par{Also I plan to make available here my notes from the course about theta functions that I presented in the Spring of 1995.    This will require converting sketchy outlines to markup; it has very low priority right now.    Like any ``busy-work'' task on my list it is always at risk of yielding to something more worthwhile.   
}

\section*{10\ \ \label{SU-10}Syracuse/3n+1 Doodles}
\par{In 1992 I wrote some \texttt{"gp"} code (as in ``PARI/gp'' from Henri~Cohen et al., see, e.g., the locally archived information\footnote{URI: http://math.albany.edu:8010/g/Math/MathComp/pari/view.html} regarding PARI) for toying with the problem known variously as ``Syracuse'', ``\(3 N + 1\)'', \ldots{}.    Since I used it for only a month or two without drawing any firm conclusions and it has lain dormant since that time, I am making my package of \texttt{"gp"} code\footnote{URI: n32p}, which contains about 55 functions in 1200 lines of code, believed to be debugged, available with a ``doc''\footnote{URI: n32p-doc} giving English function definitions but otherwise without explanation.    In this I think that I may have seen a machine that makes infinite eventually periodic sequences of natural numbers, and another such machine, of course, is a quadratic Hilbert modular cusp, something subordinate to a real quadratic number field.    It's just a curiosity.  
}
\par{An online reference for the Syracuse, ``\(3 N + 1\)'', \ldots{} problem is an article by Jeff Lagarias that originally appeared in the \textsc{MAA} \emph{Monthly}: \begin{center}
\url{http://www.cecm.sfu.ca/organics/papers/lagarias/paper/html/paper.html}\ .  
\end{center} 
}

\section*{11\ \ \label{SU-11}Command Line Utilities}
\par{Along the way I became interested in writing certain kinds of software\footnote{URI: sftw.html}, all of which had at some point been relevant to mathematical authoring.    For example, \texttt{"fwid"} is relevant both to \textsc{MTE} and to clean \texttt{text/plain} or \texttt{text/ansi} rendering of \textsc{GELLMU} documents, \texttt{"conv"} is relevant both to efficient printer setting of \textsc{MTE} as well as to articulation between authoring platform base character sets, i.e., \textsc{ASCII} vs. \textsc{EBCDIC}, and the experience of having once needed to furnish myself with \texttt{"xcho"} led to my philosophy that \emph{every non-word character in a platform base character set needs a symbolic name in \textbf{any} sane single-source authoring language on that platform}.   
}

\section*{12\ \ \label{SU-12}About this document}
\par{This is an example of a \textsc{GELLMU}\footnote{URI: igl.html} document.   Various forms of it are available: the \textsc{GELLMU} source\footnote{URI: research/rsch.glm}, the syntactic translation\footnote{URI: research/rsch.sgml} to \textsc{SGML}, the subsequent translation\footnote{URI: research/rsch.xml} to \textsc{XML} from which all end formattings are derived, the HTML formatting\footnote{URI: research/rsch.html}, the \LaTeX{} formatting\footnote{URI: research/rsch.ltx}, a DVI file for ``letter'' paper\footnote{URI: research/rsch.dvi}, a PDF file\footnote{URI: research/rsch.pdf}, and an XHTML+MathML formatting\footnote{URI: http://math.albany.edu:8010/math/pers/hammond/research/rsch.xhtml}.   
}
\end{document}

