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.
It is proved that flatness of an analytic mapping germ from a
complete intersection is determined by its sufficiently high
jet. As a consequence, one obtains finite determinacy of complete
intersections. It is also shown that flatness and openness are
stable under deformations.
We classify and analyze the orbits of the Kepler problem on surfaces
of constant curvature (both positive and negative, $\mathbb S^2$ and
$\mathbb H^2$, respectively) as function of the angular momentum and
the energy. Hill's region are characterized and the problem of
time-collision is studied. We also regularize the problem in
Cartesian and intrinsic coordinates, depending on the constant
angular momentum and we describe the orbits of the regularized
vector field. The phase portrait both for $\mathbb S^2$ and $\mathbb H^2$
are pointed out.
In \cite{RatTOFL}, the second author showed that a tunnel of a tunnel
number one, fibered link in $S^3$ can be isotoped to lie as a properly
embedded arc in the fiber surface of the link. In this paper, we
observe that this is true for fibered links in any 3-manifold, we
analyze how the arc behaves under the monodromy action, and we show
that the tunnel arc is nearly clean, with the possible exception of
twisting around the boundary of the fiber.
We obtain bounds for the number of variables required to establish
Hasse principles, both for existence of solutions and for asymptotic
formulæ, for systems of additive equations containing forms
of differing degree but also multiple forms of like degree.
Apart from the very general estimates of Schmidt and Browning--Heath-Brown,
which give weak results when specialized to the diagonal situation,
this is the first result on such "hybrid" systems. We also obtain
specialised results for systems of quadratic and cubic forms,
where we are able to take advantage of some of the stronger methods
available in that setting. In particular, we achieve essentially
square root cancellation for systems consisting of one cubic
and $r$ quadratic equations.
Let $p \gt 2$ be a prime and let $X$ be a compactified PEL Shimura
variety of type (A) or (C) such that $p$ is an unramified prime
for the PEL datum and such that the ordinary locus is dense in
the reduction of $X$. Using the geometric approach of Andreatta,
Iovita, Pilloni, and Stevens we define the notion of families
of overconvergent locally analytic $p$-adic modular forms of
Iwahoric level for $X$. We show that the system of eigenvalues
of any finite slope cuspidal eigenform of Iwahoric level can
be deformed to a family of systems of eigenvalues living over
an open subset of the weight space. To prove these results, we
actually construct eigenvarieties of the expected dimension that
parameterize finite slope systems of eigenvalues appearing in
the space of families of cuspidal forms.
In this paper we give sharp norm estimates for the Bergman operator
acting from weighted
mixed-norm spaces to weighted Hardy spaces in the ball,
endowed with natural norms.
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 study the regularity of convolution powers for measures supported
on
Salem sets, and prove related results on Fourier restriction
and Fourier multipliers. In particular we show
that for $\alpha$ of the form
${d}/{n}$, $n=2,3,\dots$ there exist $\alpha$-Salem measures
for which the $L^2$ Fourier restriction theorem holds in the
range $p\le \frac{2d}{2d-\alpha}$.
The results rely on ideas of Körner.
We extend some of his constructions to obtain upper regular $\alpha$-Salem
measures, with sharp regularity results for $n$-fold convolutions
for all $n\in \mathbb{N}$.
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 review some simple techniques based on monotone mass transport
that allow to obtain transport-type inequalities for any log-concave
probability measure. We discuss quantitative forms of these inequalities,
with application to the variance Brascamp-Lieb inequality.
By a tiling of a topological linear space $X$ we mean a
covering of $X$ by at least two closed convex sets,
called tiles, whose nonempty interiors are
pairwise disjoint.
Study of tilings of infinite-dimensional spaces initiated in
the
1980's with pioneer papers by V. Klee.
We prove some general properties of tilings of locally convex
spaces,
and then apply these results to study existence of tilings of
normed and Banach spaces by tiles possessing
certain smoothness or rotundity properties. For a Banach space
$X$,
our main results are the following.
1. $X$ admits no tiling by Fréchet smooth bounded tiles.
2. If $X$ is locally uniformly rotund (LUR), it does not admit
any tiling by balls.
3. On the other hand, some $\ell_1(\Gamma)$ spaces, $\Gamma$
uncountable, do admit
a tiling by pairwise disjoint LUR bounded tiles.
For an appropriate class of Fano complete intersections in toric
varieties, we prove that there is a concrete relationship between
degenerations to specific toric subvarieties and expressions
for Givental's Landau-Ginzburg models as Laurent polynomials.
As a result, we show that Fano varieties presented as complete
intersections in partial flag manifolds admit degenerations to
Gorenstein toric weak Fano varieties, and their Givental Landau-Ginzburg
models can be expressed as corresponding Laurent polynomials.
We also use this to show that all of the Laurent polynomials
obtained by Coates, Kasprzyk and Prince by the so called Przyjalkowski
method correspond to toric degenerations of the corresponding
Fano variety. We discuss applications to geometric transitions
of Calabi-Yau varieties.
We consider positive solutions of the problem
\begin{equation}
(*)\qquad
\left\{
\begin{array}{l}-\mbox{div}(x_{n}^{a}\nabla u)=bx_{n}^{a}u^{p}\;\;\;\;\;\mbox{in}\;\;\mathbb{R}_{+}^{n},
\\
\frac{\partial u}{\partial \nu^a}=u^{q} \;\;\;\;\;\;\;\;
\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\mbox{on}\;\;\partial \mathbb{R}_{+}^{n},
\\
\end{array}
\right.
\end{equation}
where $a\in (-1,0)\cup(0,1)$, $b\geq 0$, $p, q\gt 1$ and
$\frac{\partial u}{\partial \nu^a}:=-\lim_{x_{n}\rightarrow
0^+}x_{n}^{a}\frac{\partial u}{\partial x_{n}}$. In special case
$b=0$, it is associated to fractional Laplacian equation $(-\Delta)^{s}u=u^{q}
$ in entire space $\mathbb{R}^{n-1}$.
We obtain the existence of positive axially symmetric solutions
to ($*$) for the case $a\in
(-1,0)$ in
$n\geq3$ for supercritical exponents $p\geq\frac{n+a+2}{n+a-2},
\;\;q\geq\frac{n-a}{n+a-2}$.
The nonexistence is obtained for the case $a\in (-1,0)$, $b\geq
0$ and any $p,~q\gt 1$ in $n=2$ as well.
We study in detail two row Springer fibres of even orthogonal
type from an algebraic as well as topological point of view.
We show that the irreducible components and their pairwise intersections
are iterated $\mathbb{P}^1$-bundles. Using results of Kumar and Procesi
we compute the cohomology ring with its action of the Weyl group.
The main tool is a type $\operatorname D$ diagram calculus labelling the
irreducible components in a convenient way which relates to a
diagrammatical algebra describing the category of perverse sheaves
on isotropic Grassmannians based on work of Braden. The diagram
calculus generalizes Khovanov's arc algebra to the type
$\operatorname
D$ setting and should be seen as setting the framework for generalizing
well-known connections of these algebras in type $\operatorname A$ to other
types.
We prove the consistency of
$\operatorname{add}(\mathcal{N})\lt \operatorname{v}(\mathcal{N})\lt \mathfrak{p}=\mathfrak{s}=\mathfrak{g}\lt \operatorname{add}(\mathcal{M})=\operatorname{f}(\mathcal{M})\lt \mathfrak{a}=\mathfrak{r}=\operatorname{non}(\mathcal{N})=\mathfrak{c}$
with $\mathrm{ZFC}$, where each of these cardinal invariants assume arbitrary
uncountable regular values.
The aim of this paper is to prove that a K3 surface is the minimal
model of the quotient of an Abelian surface by a group $G$ (respectively
of a K3 surface by an Abelian group $G$) if and only if a certain
lattice is primitively embedded in its Néron-Severi group.
This allows one to describe the coarse moduli space of the K3
surfaces which are (rationally) $G$-covered by Abelian or K3
surfaces (in the latter case $G$ is an Abelian group).
If either $G$ has order 2 or $G$ is cyclic and acts on an Abelian
surface, this result was already known, so we extend it to the
other cases.
Moreover, we prove that a K3 surface $X_G$ is the minimal model
of the quotient of an Abelian surface by a group $G$ if and only
if a certain configuration of rational curves is present on $X_G$.
Again this result was known only in some special cases, in particular
if $G$ has order 2 or 3.
We use the method of Ash and Stevens to prove the existence of
small slope $p$-adic families of cohomological modular forms
for an indefinite quaternion algebra $B$. We prove that the
Jacquet-Langlands correspondence relating modular forms on
$\textbf{GL}_2/\mathbb{Q}$
and cohomomological modular forms for $B$ is compatible with
the formation of $p$-adic families. This result is an analogue
of a theorem of Chenevier concerning definite quaternion algebras.
The dual immaculate functions are a basis of the ring $\operatorname*{QSym}$
of quasisymmetric functions, and form one of the most natural
analogues of the
Schur functions. The dual immaculate function corresponding to
a composition
is a weighted generating function for immaculate tableaux in
the same way as a
Schur function is for semistandard Young tableaux; an "
immaculate tableau" is defined similarly to be
a semistandard
Young tableau, but the shape is a composition rather than a partition,
and
only the first column is required to strictly increase (whereas
the other
columns can be arbitrary; but each row has to weakly increase).
Dual
immaculate functions have been introduced by Berg, Bergeron,
Saliola, Serrano
and Zabrocki in arXiv:1208.5191, and have since been found to
possess numerous
nontrivial properties.
In this note, we prove a conjecture of Mike Zabrocki which provides
an
alternative construction for the dual immaculate functions in
terms of certain
"vertex operators". The proof uses a dendriform structure on
the ring
$\operatorname*{QSym}$; we discuss the relation of this structure
to known
dendriform structures on the combinatorial Hopf algebras
$\operatorname*{FQSym}$ and $\operatorname*{WQSym}$.
Let $T_{\Omega}$ be the singular integral operator with kernel
$\frac{\Omega(x)}{|x|^n}$, where $\Omega$ is homogeneous of degree
zero, has mean value zero and belongs to $L^q(S^{n-1})$ for
some
$q\in (1,\,\infty]$. In this paper, the authors establish the
compactness on weighted $L^p$ spaces, and the Morrey spaces,
for the commutator generated by $\operatorname{CMO}(\mathbb{R}^n)$ function
and $T_{\Omega}$. The associated maximal operator and the discrete
maximal operator are also considered.
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 a canonical C$^*$-algebra, $\mathcal{S}(\Gamma, \mu)$, that
arises from a weighted graph $(\Gamma, \mu)$, specific cases
of which were previously studied in the context of planar algebras.
We discuss necessary and sufficient conditions of the weighting
which ensure simplicity and uniqueness of trace of $\mathcal{S}(\Gamma,
\mu)$, and study the structure of its positive cone. We then
study the $*$-algebra, $\mathcal{A}$, generated by the generators of
$\mathcal{S}(\Gamma, \mu)$, and use a free differential calculus and
techniques of Charlesworth and Shlyakhtenko, as well as Mai,
Speicher, and Weber to show that certain ``loop" elements have
no atoms in their spectral measure. After modifying techniques
of Shlyakhtenko and Skoufranis to show that self adjoint elements
$x \in M_{n}(\mathcal{A})$ have algebraic Cauchy transform, we explore
some applications to eigenvalues of polynomials in Wishart matrices
and to diagrammatic elements in von Neumann algebras initially
considered by Guionnet, Jones, and Shlyakhtenko.
We continue the investigation of the isomorphism problem for
multiplier algebras of reproducing kernel
Hilbert spaces with the complete Nevanlinna-Pick property.
In contrast to previous work in this area,
we do not study these spaces by identifying them with restrictions
of a universal space, namely the Drury-Arveson space.
Instead, we work directly with the Hilbert spaces and their
reproducing kernels. In particular,
we show that two multiplier algebras of Nevanlinna-Pick spaces
on the same set are equal if and only if the Hilbert
spaces are equal. Most of the article is devoted to the study
of a special class of
complete Nevanlinna-Pick spaces on homogeneous varieties. We
provide a complete
answer to the question of when two multiplier algebras of spaces
of this type
are algebraically or isometrically isomorphic. This generalizes
results of Davidson, Ramsey, Shalit,
and the author.
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$.
In this paper, we study the global regularity for
regular
Monge-Ampère type equations associated with semilinear Neumann
boundary conditions.
By establishing a priori estimates for second order derivatives,
the
classical solvability of the Neumann boundary value problem is
proved under natural conditions.
The techniques build upon the delicate and intricate treatment
of the standard Monge-Ampère case
by Lions, Trudinger and Urbas in 1986 and the recent barrier
constructions and second derivative bounds
by Jiang, Trudinger and Yang for the Dirichlet problem. We also
consider more general oblique boundary
value problems in the strictly regular case.
Main result: If a C*-algebra $\mathcal{A}$ is simple, $\sigma$-unital,
has finitely many extremal traces, and has strict comparison
of positive elements by traces, then its multiplier algebra
$\operatorname{\mathcal{M}}(\mathcal{A})$
also has strict comparison of positive elements by traces. The
same results holds if ``finitely many extremal traces" is replaced
by ``quasicontinuous scale".
A key ingredient in the proof is that every positive element
in the multiplier algebra of an arbitrary $\sigma$-unital C*-algebra
can be approximated by a bi-diagonal series.
An application of strict comparison: If $\mathcal{A}$ is a simple separable
stable C*-algebra with real rank zero, stable rank one, and
strict comparison of positive elements by traces, then whether
a positive element is a positive linear combination of projections
is determined by the trace values of its range projection.
Under the local Langlands correspondence, the conductor of an
irreducible representation of $\operatorname{Gl}_n(F)$ is greater than the
Swan conductor of the corresponding Galois representation. In
this paper, we establish the geometric analogue of this statement
by showing that the conductor of a categorical representation
of the loop group is greater than the irregularity of the corresponding
meromorphic connection.
This paper concerns free function theory. Free maps are free
analogs of analytic functions in several complex variables,
and are defined in terms of freely noncommuting variables.
A function of $g$ noncommuting variables is a function on $g$-tuples
of square matrices of all sizes that respects direct sums and
simultaneous conjugation.
Examples of such maps include noncommutative polynomials, noncommutative
rational functions and convergent noncommutative power series.
In sharp contrast to the existing literature in free analysis, this article
investigates free maps with involution --
free analogs of real analytic functions.
To
get a grip on these,
techniques and tools from invariant theory are developed and
applied to free analysis. Here is a sample of the results obtained.
A characterization of polynomial free maps via properties of
their finite-dimensional slices is presented and then used to
establish power series expansions for analytic free maps about
scalar and non-scalar points; the latter are series of generalized
polynomials for which an invariant-theoretic characterization
is given.
Furthermore,
an inverse and implicit function theorem for free maps with
involution is obtained.
Finally, with a selection of carefully chosen examples
it is shown that
free maps with involution
do not exhibit strong rigidity properties
enjoyed by their involution-free
counterparts.
Let $\mathbf{k}$ be an algebraically closed field complete with respect
to a non-Archimedean absolute value of arbitrary characteristic.
Let $D_1,\dots, D_n$ be effective nef divisors intersecting
transversally in an $n$-dimensional nonsingular projective variety
$X$.
We study the degeneracy of non-Archimedean analytic maps from
$\mathbf{k}$ into $X\setminus \cup_{i=1}^nD_i$ under various geometric
conditions. When $X$ is a rational ruled surface and $D_1$ and
$D_2$ are ample, we obtain a necessary and sufficient condition
such that
there is no non-Archimedean analytic map from $\mathbf{k}$ into $X\setminus
D_1 \cup D_2$.
Using the dictionary between non-Archimedean Nevanlinna theory
and Diophantine approximation that originated in
earlier work with T. T. H. An, %
we also study arithmetic analogues of these problems, establishing
results on integral points on these varieties over $\mathbb{Z}$
or the ring of integers of an imaginary quadratic field.
We consider Schubert problems with respect to flags osculating
the rational normal curve. These problems are of special interest
when the osculation points are all real -- in this case, for
zero-dimensional Schubert problems, the solutions are "as real
as possible". Recent work by Speyer has extended the theory
to the moduli space
$
\overline{\mathcal{M}_{0,r}}
$,
allowing the points to collide.
These give rise to smooth covers of
$
\overline{\mathcal{M}_{0,r}}
(\mathbb{R})
$, with structure
and monodromy described by Young tableaux and jeu de taquin.
In this paper, we give analogous results on one-dimensional Schubert
problems over
$
\overline{\mathcal{M}_{0,r}}
$.
Their (real) geometry turns out to
be described by orbits of Schützenberger promotion and a
related operation involving tableau evacuation. Over
$\mathcal{M}_{0,r}$,
our results show that the real points of the solution curves
are smooth.
We also find a new identity involving "first-order" K-theoretic
Littlewood-Richardson coefficients, for which there does not
appear to be a known combinatorial proof.
The closest infinite dimensional relatives of compact Lie algebras are Hilbert-Lie algebras, i.e. real Hilbert spaces with a Lie
algebra
structure for which the scalar product is invariant.
Locally affine Lie algebras (LALAs)
correspond to double extensions of (twisted) loop algebras
over simple Hilbert-Lie algebras $\mathfrak{k}$, also called
affinisations of $\mathfrak{k}$.
They possess a root space decomposition
whose corresponding root system is a locally affine root system
of one of the $7$ families $A_J^{(1)}$, $B_J^{(1)}$, $C_J^{(1)}$,
$D_J^{(1)}$, $B_J^{(2)}$, $C_J^{(2)}$ and $BC_J^{(2)}$ for some
infinite set $J$. To each of these types corresponds a ``minimal"
affinisation of some simple Hilbert-Lie algebra $\mathfrak{k}$,
which we call standard.
In this paper, we give for each affinisation $\mathfrak{g}$ of
a simple Hilbert-Lie algebra $\mathfrak{k}$ an explicit isomorphism
from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from
the classification
of locally affine root systems, but
for representation theoretic purposes it is crucial to obtain
it explicitly
as a deformation between two twists which is compatible
with the root decompositions.
We illustrate this by applying our isomorphism theorem to the
study of positive energy highest weight representations of $\mathfrak{g}$.
In subsequent work, the present paper will be used to obtain
a complete classification
of the positive energy highest weight representations of affinisations
of $\mathfrak{k}$.
Let $\mathcal A$, $\mathcal B$ be large subsets of $\{1,\ldots,N\}$.
We study the number of pairs $(a,b)\in\mathcal A\times\mathcal B$ such that
the sum of binary digits of $a+b$ is fixed.
We complete Mori's program with symmetric divisors for the moduli
space of stable seven-pointed rational curves. We describe all
birational models in terms of explicit blow-ups and blow-downs.
We also give a moduli theoretic description of the first flip,
which has not appeared in the literature.
We study the stability of disjointness preservers on Banach lattices.
In many cases, we prove that an "almost disjointness preserving"
operator is well approximable by a disjointness preserving one.
However, this approximation is not always possible, as our
examples show.
For a fixed $K\gg 1$ and
$n\in\mathbb{N}$, $n\gg 1$, we study metric
spaces which admit embeddings with distortion $\le K$ into each
$n$-dimensional Banach space. Classical examples include spaces
embeddable
into $\log n$-dimensional Euclidean spaces, and equilateral spaces.
We prove that good embeddability properties are preserved under
the operation of metric composition of metric spaces. In
particular, we prove that $n$-point ultrametrics can be
embedded with uniformly bounded distortions into arbitrary Banach
spaces of dimension $\log n$.
The main result of the paper is a new example of a family of
finite metric spaces which are not metric compositions of
classical examples and which do embed with uniformly bounded
distortion into any Banach space of dimension $n$. This partially
answers a question of G. Schechtman.
Ostrowski's theorem implies that $\log(x),\log(x+1),\dots$ are
algebraically independent over $\mathbb{C}(x)$. More generally, for
a linear differential or difference equation, it is an important
problem to find all algebraic dependencies among a non-zero solution
$y$ and particular transformations of $y$, such as derivatives
of $y$ with respect to parameters, shifts of the arguments, rescaling,
etc. In the present paper, we develop a theory of Tannakian categories
with semigroup actions, which will be used to attack such questions
in full generality, as each linear differential equation gives
rise to a Tannakian category.
Deligne studied actions of braid groups on categories and obtained
a finite collection of axioms that characterizes such actions
to apply it to various geometric constructions. In this paper,
we find a finite set of axioms that characterizes actions of
semigroups that are finite free products of semigroups of the
form $\mathbb{N}^n\times
\mathbb{Z}/{n_1}\mathbb{Z}\times\cdots\times\mathbb{Z}/{n_r}\mathbb{Z}$
on Tannakian categories. This is the class of semigroups that
appear in many applications.
Let $J$ be a Jacobian variety with toric reduction
over a local field $K$.
Let $J \to E$ be an optimal quotient defined over $K$, where
$E$ is an elliptic curve.
We give examples in which the functorially induced map $\Phi_J
\to \Phi_E$
on component groups of the Néron models is not surjective.
This answers a question of Ribet and Takahashi.
We also give various criteria under which $\Phi_J \to \Phi_E$
is surjective, and discuss
when these criteria hold for the Jacobians of modular curves.
We formulate and prove a ``winding number'' index
theorem for certain ``Toeplitz'' operators in the same spirit
as Gohberg-Krein, Lesch and others. The ``number'' is replaced
by a self-adjoint operator in a subalgebra $Z\subseteq Z(A)$
of a unital $C^*$-algebra, $A$. We assume a faithful $Z$-valued
trace $\tau$ on $A$ left invariant under an action $\alpha:{\mathbf
R}\to Aut(A)$ leaving $Z$ pointwise fixed.If $\delta$ is the
infinitesimal generator of $\alpha$ and $u$ is invertible in
$\operatorname{dom}(\delta)$ then the
``winding operator'' of $u$ is $\frac{1}{2\pi i}\tau(\delta(u)u^{-1})\in
Z_{sa}.$ By a careful choice of representations we extend $(A,Z,\tau,\alpha)$
to a von Neumann setting
$(\mathfrak{A},\mathfrak{Z},\bar\tau,\bar\alpha)$ where $\mathfrak{A}=A^{\prime\prime}$
and $\mathfrak{Z}=Z^{\prime\prime}.$
Then $A\subset\mathfrak{A}\subset \mathfrak{A}\rtimes{\bf R}$, the von
Neumann crossed product, and there is a faithful, dual $\mathfrak{Z}$-trace
on $\mathfrak{A}\rtimes{\bf R}$. If $P$ is the projection in $\mathfrak{A}\rtimes{\bf
R}$
corresponding to the non-negative spectrum of the generator of
$\mathbf R$ inside $\mathfrak{A}\rtimes{\mathbf R}$ and
$\tilde\pi:A\to\mathfrak{A}\rtimes{\mathbf R}$
is the embedding then we define for $u\in A^{-1}$, $T_u=P\tilde\pi(u)
P$
and show it is Fredholm in an appropriate sense and the $\mathfrak{Z}$-valued
index of $T_u$ is the negative of the winding operator.
In outline the proof follows the proof of the scalar case done
previously by the authors. The main difficulty is making sense
of the constructions with the scalars replaced by $\mathfrak{Z}$ in
the von Neumann setting. The construction of the dual $\mathfrak{Z}$-trace
on $\mathfrak{A}\rtimes{\mathbf R}$ required the nontrivial development
of a $\mathfrak{Z}$-Hilbert Algebra theory. We show that certain of
these Fredholm operators fiber as a ``section'' of Fredholm operators
with scalar-valued index and the centre-valued index fibers as
a section of the scalar-valued indices.
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.
The initial value problem for a semi-linear fractional heat equation
is investigated. In the focusing case, global well-posedness
and exponential decay are obtained. In the focusing sign, global
and non global existence of solutions are discussed via the potential
well method.
For a lattice $L$ of $\mathbb{RR}^n$, a sphere $S(c,r)$ of center $c$
and radius $r$
is called empty if for any $v\in L$ we have $\Vert v -
c\Vert \geq r$.
Then the set $S(c,r)\cap L$ is the vertex set of a {\em Delaunay
polytope}
$P=\operatorname{conv}(S(c,r)\cap L)$.
A Delaunay polytope is called {\em perfect} if any affine transformation
$\phi$ such that $\phi(P)$ is a Delaunay polytope is necessarily
an isometry
of the space composed with an homothety.
Perfect Delaunay polytopes are remarkable structure that exist
only
if $n=1$ or $n\geq 6$ and they have shown up recently in covering
maxima studies.
Here we give a general algorithm for their enumeration that relies
on
the Erdahl cone.
We apply this algorithm in dimension $7$ which allow us to find
that there are only two perfect Delaunay polytopes: $3_{21}$
which
is a Delaunay polytope in the root lattice $\mathsf{E}_7$ and
the
Erdahl Rybnikov polytope.
We then use this classification in order to get the list of all
types
Delaunay simplices in dimension $7$ and found $11$ types.
This article provides an account of the functorial correspondence
between irreducible singular $G$-monopoles on $S^1\times \Sigma$
and $\vec{t}$-stable meromorphic pairs on $\Sigma$.
A theorem of B. Charbonneau and J. Hurtubise
is thus generalized here from unitary to arbitrary
compact, connected gauge groups. The required distinctions and
similarities for unitary versus arbitrary gauge are clearly outlined
and many parallels are drawn for easy transition. Once the correspondence
theorem is complete, the spectral decomposition is addressed.
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.
We develop a derivative version of the relative trace formula
on $\operatorname{PGL}(2)$ studied in our previous work,
and derive an asymptotic formula of an average of central values
(derivatives)
of automorphic $L$-functions for Hilbert cusp forms.
As an application, we prove the existence of Hilbert cusp forms
with non-vanishing central values (derivatives)
such that the absolute degrees of their Hecke fields are arbitrarily
large.
In this paper, we introduce the anisotropic
Sobolev capacity with fractional order and develop some basic
properties for this new object. Applications to the theory of
anisotropic fractional Sobolev spaces are provided. In particular,
we give geometric characterizations for a nonnegative Radon
measure $\mu$ that naturally induces an embedding of the anisotropic
fractional Sobolev class $\dot{\Lambda}_{\alpha,K}^{1,1}$ into
the $\mu$-based-Lebesgue-space $L^{n/\beta}_\mu$ with $0\lt \beta\le
n$. Also, we investigate the anisotropic fractional $\alpha$-perimeter.
Such a geometric quantity can be used to approximate the anisotropic
Sobolev capacity with fractional order. Estimation on the constant
in the related Minkowski inequality, which is asymptotically
optimal as $\alpha\rightarrow 0^+$, will be provided.
In this work type II Hermite-Padé approximants for a vector
of Cauchy transforms of smooth Jacobi-type densities are considered.
It is assumed that densities are supported on mutually disjoint
intervals (an Angelesco system with complex weights). The formulae
of strong asymptotics are derived for any ray sequence of multi-indices.
We study the Chern-Ricci flow, an evolution equation of Hermitian
metrics, on a family of Oeljeklaus-Toma (OT-) manifolds which
are non-Kähler compact complex manifolds with negative Kodaira
dimension. We prove that, after an initial conformal change,
the flow converges, in the
Gromov-Hausdorff sense, to a torus with a flat Riemannian metric
determined by the OT-manifolds themselves.
We establish an infinitesimal version of the
Jacquet-Rallis trace formula for unitary groups.
Our formula is obtained by integrating a
truncated kernel à la Arthur.
It has a geometric side which is a
sum of distributions $J_{\mathfrak{o}}$ indexed by classes of
elements
of the Lie algebra of $U(n+1)$ stable by $U(n)$-conjugation
as well as the "spectral side"
consisting of the Fourier transforms
of the aforementioned distributions.
We prove that the distributions $J_{\mathfrak{o}}$
are invariant and depend only on the choice of
the Haar measure on $U(n)(\mathbb{A})$.
For regular semi-simple classes $\mathfrak{o}$, $J_{\mathfrak{o}}$
is
a relative orbital integral of Jacquet-Rallis.
For classes $\mathfrak{o}$ called relatively regular semi-simple,
we express $J_{\mathfrak{o}}$
in terms of relative orbital integrals regularised by means of
zêta functions.