The following papers are the latest research papers available from the
Canadian Journal of Mathematics.

The papers below are all fully peer-reviewed and we vouch for the research inside.
Some items are labelled Author's Draft,
and others are identified as Published.
As a service to our readers, we post new papers as soon as the science is right, but before official publication; these are the papers marked Author's Draft.
When our copy editing process is complete and the paper now has our official form, we replace the
Author's Draft
with the Published version.
All the papers below are scheduled for inclusion in a Print issue. When that issue goes to press, the paper is moved from this Online First web page over to the main CJM Digital Archive.

Using properties of skew-Hamiltonian matrices and classic
connectedness results, we prove that the moduli space
$M_{ort}^0(r,n)$ of stable rank $r$ orthogonal vector bundles
on $\mathbb{P}^2$, with Chern classes $(c_1,c_2)=(0,n)$, and trivial
splitting on the general line, is smooth irreducible of
dimension $(r-2)n-\binom{r}{2}$ for $r=n$ and $n \ge 4$, and
$r=n-1$ and $n\ge 8$. We speculate that the result holds in
greater generality.

We find, for all sufficiently large $n$ and each $k$, the maximum number of edges in an $n$-vertex graph which does not contain $k+1$ vertex-disjoint triangles.

This extends a result of Moon [Canad. J. Math. 20 (1968), 96-102] which is in turn an extension of Mantel's Theorem. Our result can also be viewed as a density version of the Corrádi-Hajnal Theorem.

We generalize the Chern class relation for the transversal intersection
of two nonsingular
varieties to a relation for possibly singular varieties, under
a splayedness assumption.
We show that the relation for the Chern-Schwartz-MacPherson classes
holds for two splayed hypersurfaces in a nonsingular variety,
and under a `strong splayedness' assumption for more
general subschemes. Moreover, the relation is shown to hold for
the Chern-Fulton classes
of any two splayed subschemes.
The main tool is a formula for Segre classes of splayed
subschemes. We also discuss the Chern class relation under the
assumption that one of the
varieties is a general very ample divisor.

A category structure for Bratteli diagrams is proposed and a
functor from
the category of AF algebras to the category of Bratteli diagrams
is
constructed. Since isomorphism of Bratteli diagrams in this
category coincides
with Bratteli's notion of equivalence, we obtain in particular
a functorial formulation of Bratteli's
classification of AF algebras (and at the same time, of Glimm's
classification of UHF~algebras).
It is shown that the three approaches
to classification of AF~algebras, namely, through Bratteli diagrams,
K-theory, and
abstract classifying categories, are essentially the same
from a categorical point of view.

The symmetric group $\mathcal{S}_n$ acts on the power
set $\mathcal{P}(n)$ and also on the set of
square free polynomials in $n$ variables. These
two related representations are analyzed from the stability point
of view. An application is given for the action of the symmetric
group on the cohomology of the pure braid group.

We define a notion of $p$-adic measure on Artin $n$-stacks which are
of strongly finite type over the ring of $p$-adic integers. $p$-adic
measure on schemes can be evaluated by counting points on the
reduction of the scheme modulo $p^n$. We show that an analogous
construction works in the case of Artin stacks as well if we count the
points using the counting measure defined by Toën. As a consequence,
we obtain the result that the Poincaré and Serre series of such
stacks are rational functions, thus extending Denef's result for
varieties. Finally, using motivic integration we show that as $p$
varies, the rationality of the Serre series of an Artin stack defined
over the integers is uniform with respect to $p$.

Let $M$ and $N$ be admissible Hausdorff topological spaces endowed
with
admissible families of open coverings. Assume that $\mathcal{S}$ is a
semigroup acting on both $M$ and $N$. In this paper we study the behavior of
limit sets, prolongations, prolongational limit sets, attracting sets,
attractors and Lyapunov stable sets (all concepts defined for the action of
the semigroup $\mathcal{S}$) under equivariant maps and semiconjugations
from $M$ to $N$.

In this paper, we extend the definition of the ${SL(2, {\mathbb C})}$ Casson
invariant
to arbitrary knots $K$ in integral homology 3-spheres and relate
it to the $m$-degree of the $\widehat{A}$-polynomial of $K$. We
prove a product formula for the $\widehat{A}$-polynomial of the connected
sum $K_1 \# K_2$ of two knots in $S^3$ and deduce additivity
of ${SL(2, {\mathbb C})}$ Casson knot invariant under connected sum for a large
class of knots in $S^3$. We also present an example of a nontrivial
knot $K$ in $S^3$ with trivial $\widehat{A}$-polynomial and trivial
${SL(2, {\mathbb C})}$ Casson knot invariant, showing that neither of these invariants
detect the unknot.

We construct one dimensional families of Abelian surfaces with
quaternionic multiplication
which also have an automorphism of order three or four. Using Barth's
description of the moduli space of $(2,4)$-polarized Abelian surfaces,
we find the Shimura curve parametrizing these Abelian surfaces in a
specific case.
We explicitly relate these surfaces to the Jacobians of genus two
curves studied by Hashimoto and Murabayashi.
We also describe a (Humbert) surface in Barth's moduli space which
parametrizes Abelian surfaces with real multiplication by
$\mathbf{Z}[\sqrt{2}]$.

In this paper, we study the stability in the Lyapunov sense of the
equilibrium solutions of discrete or difference Hamiltonian systems
in the plane. First, we perform a detailed study of linear
Hamiltonian systems as a function of the parameters, in particular
we analyze the regular and the degenerate cases. Next, we give a
detailed study of the normal form associated with the linear
Hamiltonian system. At the same time we obtain the conditions under
which we can get stability (in linear approximation) of the
equilibrium solution, classifying all the possible phase diagrams as
a function of the parameters. After that, we study the stability of
the equilibrium solutions of the first order difference system in
the plane associated to mechanical Hamiltonian system and
Hamiltonian system defined by cubic polynomials. Finally, important
differences with the continuous case are pointed out.

We prove two results about nonunital index theory left open in a
previous paper. The
first is that the spectral triple arising from an action of the reals on a $C^*$-algebra with invariant trace
satisfies the hypotheses of the nonunital local index formula. The second result concerns the meaning of spectral flow in the nonunital case. For the special case of paths
arising from the odd
index pairing for smooth spectral triples in the nonunital setting we are able to connect with earlier approaches to the analytic definition of spectral flow.

Letting $p$ vary over all primes and $E$ vary over all elliptic
curves over the finite field $\mathbb{F}_p$, we study the frequency to
which a given group $G$ arises as a group of points $E(\mathbb{F}_p)$.
It is well-known that the only permissible groups are of the
form $G_{m,k}:=\mathbb{Z}/m\mathbb{Z}\times \mathbb{Z}/mk\mathbb{Z}$.
Given such a candidate group, we let $M(G_{m,k})$ be the frequency
to which the group $G_{m,k}$ arises in this way.
Previously, the second and fourth named authors determined an
asymptotic formula for $M(G_{m,k})$ assuming a conjecture about primes
in short arithmetic progressions. In this paper, we prove several
unconditional bounds for $M(G_{m,k})$, pointwise and on average. In
particular, we show that $M(G_{m,k})$ is bounded above by a constant
multiple of the expected quantity when $m\le k^A$ and that the
conjectured asymptotic for $M(G_{m,k})$ holds for almost all groups
$G_{m,k}$ when $m\le k^{1/4-\epsilon}$.
We also apply our methods to study the frequency to which a given
integer $N$ arises as the group order $\#E(\mathbb{F}_p)$.

We demonstrate that the notions of bi-free independence and combinatorial-bi-free
independence of two-faced families are equivalent using a diagrammatic
view of bi-non-crossing partitions.
These diagrams produce an operator model on a Fock space suitable
for representing any two-faced family of non-commutative random
variables.
Furthermore, using a Kreweras complement on bi-non-crossing partitions
we establish the expected formulas for the multiplicative convolution
of a bi-free pair of two-faced families.

Let $\psi$ be a generic Drinfeld module of rank $r \geq 2$. We study
the first elementary divisor
$d_{1, \wp}(\psi)$ of the reduction of $\psi$ modulo a prime $\wp$, as $\wp$ varies.
In particular, we prove the existence of the density of the primes $\wp$ for which $d_{1, \wp} (\psi)$ is fixed. For $r = 2$, we also study the second elementary divisor (the exponent) of the reduction of $\psi$ modulo $\wp$
and prove that, on average, it has a large norm. Our work is motivated by the study of J.-P. Serre of an elliptic curve analogue of Artin's Primitive Root Conjecture, and, moreover, by refinements to Serre's study developed by the first author and M.R. Murty.

If $f,g:\mathbb{R}^n\longrightarrow\mathbb{R}_{\geq0}$ are non-negative measurable
functions, then the Prékopa-Leindler inequality asserts that
the integral of the Asplund sum (provided that it is measurable)
is greater or equal than the $0$-mean of the integrals of $f$
and $g$.
In this paper we prove that under the sole assumption that $f$
and $g$ have
a common projection onto a hyperplane, the Prékopa-Leindler
inequality admits a linear refinement. Moreover, the same inequality
can be obtained when assuming that both projections (not necessarily
equal as functions) have the same integral. An analogous approach
may be also carried out for the so-called Borell-Brascamp-Lieb
inequality.

We collect evidence in support of a conjecture of Griffiths,
Green
and Kerr
on the arithmetic of extension classes of
limiting
mixed Hodge structures arising from semistable degenerations
over
a number field. After briefly summarizing how a result of Iritani
implies this conjecture for a collection of hypergeometric
Calabi-Yau threefold examples studied by Doran and Morgan,
the authors investigate a sequence of (non-hypergeometric) examples
in dimensions $1\leq d\leq6$ arising from Katz's theory of the
middle
convolution.
A crucial role is played by the Mumford-Tate
group (which is $G_{2}$) of the family of 6-folds, and the theory
of boundary components of Mumford-Tate domains.

We show that the assignment of the (left) completely bounded
multiplier algebra
$M_{cb}^l(L^1(\mathbb G))$ to a locally compact quantum group
$\mathbb G$, and
the assignment of the intrinsic group, form functors between
appropriate
categories. Morphisms of locally compact quantum
groups can be described by Hopf $*$-homomorphisms between universal
$C^*$-algebras, by bicharacters, or by special sorts of coactions.
We show that the whole
theory of completely bounded multipliers can be lifted to the
universal
$C^*$-algebra level, and that then the different pictures of
both multipliers
(reduced, universal, and as centralisers)
and morphisms interact in extremely natural ways. The intrinsic
group of a
quantum group can be realised as a class of multipliers, and
so our techniques
immediately apply. We also show how to think of the intrinsic
group using
the universal $C^*$-algebra picture, and then, again, show how
the differing
views on the intrinsic group interact naturally with morphisms.
We show that
the intrinsic group is the ``maximal classical'' quantum subgroup
of a locally
compact quantum group, show that it is even closed in the strong
Vaes sense,
and that the intrinsic group functor is an adjoint to the inclusion
functor
from locally compact groups to quantum groups.

Fontaine described the category of formal groups over the ring
of Witt vectors over a finite field
of characteristic $p$ with the aid of triples consisting of the
module of logarithms,
the Dieudonné module and the morphism from the former to the
latter. We propose
an explicit construction for the kernels in this category in
term of Fontaine's triples.
The construction is applied to the formal norm homomorphism in
the case of an unramified extension
of $\mathbb{Q}_p$ and of a totally ramified extension of degree less
or equal than $p$. A similar
consideration applied to a global extension allows us to establish
the existence of a strict
isomorphism between the formal norm torus and a formal group
law coming from $L$-series.

Erdős conjectured that for any set $A\subseteq \mathbb{N}$
with positive
lower asymptotic density, there are infinite sets $B,C\subseteq
\mathbb{N}$
such that $B+C\subseteq A$. We verify Erdős' conjecture in
the case that $A$ has Banach density exceeding $\frac{1}{2}$.
As a consequence, we prove that, for $A\subseteq \mathbb{N}$
with
positive Banach density (a much weaker assumption than positive
lower density), we can find infinite $B,C\subseteq \mathbb{N}$
such
that $B+C$ is contained in the union of $A$ and a translate of
$A$. Both of the aforementioned
results are generalized to arbitrary countable
amenable groups. We also provide a positive solution to Erdős'
conjecture for subsets of the natural numbers that are pseudorandom.

In this paper, we mainly give a general explicit form of Cassels'
$p$-adic embedding theorem for number fields. We also give its
refined form in the case of cyclotomic fields. As a byproduct,
given an irreducible polynomial $f$ over $\mathbb{Z}$, we give a general
unconditional upper bound for the smallest prime number $p$ such
that $f$ has a simple root modulo $p$.

In this article we study exponential trichotomy for infinite dimensional
discrete time dynamical systems. The goal of this article is to prove that
finite time exponential trichotomy conditions allow to derive exponential
trichotomy for any times. We present an application to the case of pseudo
orbits in some neighborhood of a normally hyperbolic set.

Let $\theta\in[0, 1]$ be any irrational number. It is shown that the
extended rotation algebra $\mathcal B_\theta$ introduced in
a previous paper is always an AF algebra.

We answer two questions of Hindman, Steprāns and Strauss,
namely we prove that every
strongly summable
ultrafilter on an abelian group is sparse and has the trivial
sums property. Moreover we
show that in most
cases the sparseness of the given ultrafilter is a
consequence of its being isomorphic to a union ultrafilter. However,
this does not happen
in all cases:
we also construct (assuming Martin's Axiom for countable partial
orders, i.e.
$\operatorname{cov}(\mathcal{M})=\mathfrak c$), on the
Boolean group, a strongly summable ultrafilter that
is not additively isomorphic to any union ultrafilter.

Let $G$ be a finite group. A faithful $G$-variety $X$ is called
strongly incompressible if every dominant $G$-equivariant rational
map of $X$ onto another faithful $G$-variety $Y$ is birational.
We settle the problem of existence of strongly incompressible
$G$-curves for any finite group $G$ and any base field $k$ of
characteristic zero.

We consider random i.i.d. samples of absolutely continuous measures
on bounded connected domains.
We prove an upper bound on the $\infty$-transportation distance
between the measure and the empirical measure of the sample.
The bound is optimal in terms of scaling with the number of sample
points.

We prove an intrinsic equivalence between strong
hypercontractivity and a strong logarithmic Sobolev
inequality for the cone of logarithmically subharmonic
(LSH) functions. We introduce a new large class of measures,
Euclidean regular and exponential type, in addition to all compactly-supported
measures, for which this equivalence holds. We prove a Sobolev
density theorem through LSH functions and use it to prove
the equivalence of strong
hypercontractivity and the strong logarithmic Sobolev
inequality for such log-subharmonic
functions.

Let $\mathfrak{g}$ be a compact, simple Lie algebra of dimension
$d$. It is
a classical result that the convolution of any $d$ non-trivial,
$G$-invariant,
orbital measures is absolutely continuous with respect to
Lebesgue measure on $\mathfrak{g}$ and the sum of any $d$ non-trivial
orbits
has non-empty interior. The number $d$ was later reduced to the
rank of the
Lie algebra (or rank $+1$ in the case of type $A_{n}$). More
recently, the
minimal integer $k=k(X)$ such that the $k$-fold convolution of
the orbital
measure supported on the orbit generated by $X$ is an absolutely
continuous
measure was calculated for each $X\in \mathfrak{g}$.

In this paper $\mathfrak{g}$ is any of the classical, compact,
simple Lie
algebras. We characterize the tuples $(X_{1},\dots,X_{L})$, with
$X_{i}\in
\mathfrak{g},$ which have the property that the convolution of
the $L$-orbital
measures supported on the orbits generated by the $X_{i}$ is
absolutely continuous and, equivalently, the sum of their orbits
has
non-empty interior. The characterization depends on the Lie type
of
$\mathfrak{g}$ and the structure of the annihilating roots of
the $X_{i}$.
Such a characterization was previously known only for type $A_{n}$.

We study unitary quotients of the free product unitary pivotal
category $A_2*T_2$.
We show that such quotients are parametrized by an integer $n\geq
1$ and an $2n$-th root of unity $\omega$.
We show that for $n=1,2,3$, there is exactly one quotient and
$\omega=1$.
For $4\leq n\leq 10$, we show that there are no such quotients.
Our methods also apply to quotients of $T_2*T_2$, where we have
a similar result.

The essence of our method is a consistency check on jellyfish
relations.
While we only treat the specific cases of $A_2 * T_2$ and $T_2
* T_2$, we anticipate that our technique can be extended to a
general method for proving nonexistence of planar algebras with
a specified principal graph.

During the preparation of this manuscript, we learnt of Liu's
independent result on composites of $A_3$ and $A_4$ subfactor
planar algebras
(arxiv:1308.5691).
In 1994, Bisch-Haagerup showed that the principal graph of a
composite of $A_3$ and $A_4$ must fit into a certain family,
and Liu has classified all such subfactor planar algebras.
We explain the connection between the quotient categories and
the corresponding composite subfactor planar algebras.
As a corollary of Liu's result, there are no such quotient categories
for $n\geq 4$.

Let $\mathcal{C}^M$ denote a Denjoy-Carleman class of $\mathcal{C}^\infty$
functions (for a given logarithmically-convex sequence $M = (M_n)$).
We construct: (1) a function in $\mathcal{C}^M((-1,1))$ which
is nowhere in any smaller class; (2) a function on $\mathbb{R}$ which
is formally $\mathcal{C}^M$ at every point, but not in
$\mathcal{C}^M(\mathbb{R})$;
(3) (under the assumption of quasianalyticity) a smooth function
on $\mathbb{R}^p$ ($p \geq 2$) which is $\mathcal{C}^M$ on every $\mathcal{C}^M$
curve, but not in $\mathcal{C}^M(\mathbb{R}^p)$.

Associated with two commutative Banach algebras $A$ and $B$ and
a character $\theta$ of $B$ is a certain Banach algebra product
$A\times_\theta B$, which is a splitting extension of $B$ by
$A$. We investigate two topics for the algebra $A\times_\theta
B$ in relation to the corresponding ones of $A$ and $B$. The
first one is the Bochner-Schoenberg-Eberlein property and the
algebra of Bochner-Schoenberg-Eberlein functions on the spectrum,
whereas the second one concerns the wide range of spectral synthesis
problems for $A\times_\theta B$.

We elucidate the geometric background of function-theoretic properties
for the Gauss maps of
several classes of immersed surfaces in three-dimensional space
forms, for example, minimal surfaces in Euclidean three-space, improper affine spheres in the affine three-space, and constant
mean curvature one surfaces and flat surfaces in hyperbolic three-space. To achieve this purpose, we prove an optimal curvature bound
for a specified conformal metric on an open Riemann surface and give some applications. We also provide unicity theorems for
the Gauss maps of these classes of surfaces.

Given a faithful action of a finite group $G$ on an algebraic
curve~$X$ of genus $g_X\geq 2$, we give explicit criteria for
the induced action of~$G$ on the Riemann-Roch space~$H^0(X,\mathcal{O}_X(D))$
to be faithful, where $D$ is a $G$-invariant divisor on $X$ of
degree at least~$2g_X-2$. This leads to a concise answer to the
question when the action of~$G$ on the space~$H^0(X, \Omega_X^{\otimes
m})$ of global holomorphic polydifferentials of order $m$ is
faithful. If $X$ is hyperelliptic, we furthermore provide an
explicit basis of~$H^0(X, \Omega_X^{\otimes m})$. Finally, we
give applications in deformation theory and in coding theory
and we discuss the analogous problem for the action of~$G$ on
the first homology $H_1(X, \mathbb{Z}/m\mathbb{Z})$ if $X$ is a Riemann surface.

Let $\beta\colon S^{2n+1}\to S^{2n+1}$ be a minimal homeomorphism ($n\ge 1$). We show that
the crossed product $C(S^{2n+1})\rtimes_\beta \mathbb{Z}$ has rational tracial rank at most one.
Let $\Omega$ be a connected compact metric space with finite covering dimension and
with $H^1(\Omega, \mathbb{Z})=\{0\}.$ Suppose that $K_i(C(\Omega))=\mathbb{Z}\oplus G_i,$ where $G_i$ is a finite abelian group, $i=0,1.$
Let $\beta\colon \Omega\to\Omega$ be a minimal homeomorphism. We also show that
$A=C(\Omega)\rtimes_\beta\mathbb{Z}$ has rational tracial rank at most one and is
classifiable.
In particular, this applies to the minimal dynamical systems on
odd dimensional real projective spaces.
This is done by studying minimal homeomorphisms on $X\times \Omega,$ where
$X$ is the Cantor set.

We give a normal form of the cuspidal edge
which uses only diffeomorphisms on the source
and isometries on the target.
Using this normal form, we study differential
geometric invariants of
cuspidal edges which determine them up to order three.
We also
clarify relations between these invariants.

We construct one-parameter families of overconvergent Siegel-Hilbert
modular forms. This result has applications to construction of
Galois representations for automorphic forms of non-cohomological
weights.

We show that the moduli space
of parabolic bundles on the projective line
and the polygon space are isomorphic,
both as complex manifolds
and symplectic manifolds equipped with structures of completely integrable systems,
if the stability parameters are
small.

We extend the classicial notion of an outer action
$\alpha$ of a group $G$ on a unital ring $A$
to the case when $\alpha$ is a partial action
on ideals, all of which have local units.
We show that if $\alpha$ is an outer partial
action of an abelian group $G$,
then its associated partial skew group
ring $A \star_\alpha G$ is simple if and only if
$A$ is $G$-simple.
This result is applied to partial skew group rings associated with two different types of partial dynamical systems.

This paper is concerned with suitable generalizations of a plane de
Jonquières map to higher dimensional space
$\mathbb{P}^n$ with $n\geq 3$.
For each given point of $\mathbb{P}^n$ there is a subgroup of the entire
Cremona group of dimension $n$
consisting of such maps.
One studies both geometric and group-theoretical properties of this notion.
In the case where $n=3$ one describes an explicit set of generators of
the group and gives a homological characterization
of a basic subgroup thereof.

In this paper we develop a variational method for the Loewner
equation in higher dimensions. As a result we obtain a version of Pontryagin's
maximum principle from optimal control theory for the Loewner equation in
several complex variables. Based on recent work of Arosio, Bracci and
Wold,
we then apply our version of the Pontryagin maximum
principle to obtain first-order necessary conditions for the extremal
mappings for a wide class
of extremal problems over the set of normalized biholomorphic
mappings on the unit ball in $\mathbb{C}^n$.

The notion of positive-definite functions over locally compact
quantum
groups was recently introduced and studied by Daws and Salmi.
Based
on this work, we generalize various well-known results about
positive-definite
functions over groups to the quantum framework. Among these are
theorems
on "square roots" of positive-definite functions, comparison
of
various topologies, positive-definite measures and characterizations
of amenability, and the separation property with respect to compact
quantum subgroups.

In this note we introduce and study a new class of maps called
oriented colored broken submersions. This is the simplest class
of maps that satisfies a version of the b-principle and in dimension
$2$ approximates the class of oriented submersions well in the
sense that
every oriented colored broken submersion of dimension $2$ to
a closed simply connected manifold is bordant to a submersion.
We show that the Madsen-Weiss theorem (the standard Mumford Conjecture)
fits a general setting of the b-principle. Namely, a version
of the b-principle for
oriented colored broken submersions together with the Harer
stability theorem and Miller-Morita theorem implies the Madsen-Weiss
theorem.

We establish an integral test on the lower escape rate
of symmetric jump-diffusion processes generated by regular Dirichlet
forms.
Using this test, we can find the speed of particles escaping
to infinity.
We apply this test to symmetric jump processes of variable order. We also derive the upper and lower escape rates of time changed
processes
by using those of underlying processes.

Assuming Lang's conjectured lower bound on the heights of non-torsion
points on an elliptic curve, we show that there exists an absolute
constant $C$ such that for any elliptic curve $E/\mathbb{Q}$ and non-torsion
point $P \in E(\mathbb{Q})$, there is at most one integral multiple
$[n]P$ such that $n \gt C$. The proof is a modification of a proof
of Ingram giving an unconditional but not uniform bound. The
new ingredient is a collection of explicit formulae for the
sequence $v(\Psi_n)$ of valuations of the division polynomials.
For $P$ of non-singular reduction, such sequences are already
well described in most cases, but for $P$ of singular reduction,
we are led to define a new class of sequences called elliptic
troublemaker sequences, which measure the failure of the Néron
local height to be quadratic. As a corollary in the spirit of
a conjecture of Lang and Hall, we obtain a uniform upper bound
on $\widehat{h}(P)/h(E)$ for integer points having two large
integral multiples.

Let $M=\operatorname{GL}_{r_1}\times\cdots\times\operatorname{GL}_{r_k}\subseteq\operatorname{GL}_r$ be a Levi
subgroup of $\operatorname{GL}_r$, where $r=r_1+\cdots+r_k$, and $\widetilde{M}$ its metaplectic preimage
in the $n$-fold metaplectic cover $\widetilde{\operatorname{GL}}_r$ of $\operatorname{GL}_r$. For automorphic
representations $\pi_1,\dots,\pi_k$ of $\widetilde{\operatorname{GL}}_{r_1}(\mathbb{A}),\dots,\widetilde{\operatorname{GL}}_{r_k}(\mathbb{A})$,
we construct (under a certain
technical assumption, which is always satisfied when $n=2$) an
automorphic representation $\pi$
of $\widetilde{M}(\mathbb{A})$ which can be considered as the ``tensor product'' of the
representations $\pi_1,\dots,\pi_k$. This is
the global analogue of the metaplectic tensor product
defined by P. Mezo in the sense that locally at each place $v$,
$\pi_v$ is equivalent to the local metaplectic tensor product of
$\pi_{1,v},\dots,\pi_{k,v}$ defined by Mezo. Then we show that if all
of $\pi_i$ are cuspidal (resp. square-integrable modulo center), then
the metaplectic tensor product is cuspidal (resp. square-integrable
modulo center). We also show that (both
locally and globally) the metaplectic tensor product behaves in the
expected way under the action of a Weyl group element, and show the
compatibility with parabolic inductions.

Let $w$ be either in the Muckenhoupt class of $A_2(\mathbb{R}^n)$ weights
or in the class of $QC(\mathbb{R}^n)$ weights, and
$L_w:=-w^{-1}\mathop{\mathrm{div}}(A\nabla)$
the degenerate elliptic operator on the Euclidean space $\mathbb{R}^n$,
$n\ge 2$. In this article, the authors establish the non-tangential
maximal function characterization
of the Hardy space $H_{L_w}^p(\mathbb{R}^n)$ associated with $L_w$ for
$p\in (0,1]$ and, when $p\in (\frac{n}{n+1},1]$ and
$w\in A_{q_0}(\mathbb{R}^n)$ with $q_0\in[1,\frac{p(n+1)}n)$,
the authors prove that the associated Riesz transform $\nabla L_w^{-1/2}$
is bounded from $H_{L_w}^p(\mathbb{R}^n)$ to the weighted classical
Hardy space $H_w^p(\mathbb{R}^n)$.