-
Skein modules and character varieties of Seifert manifolds
Authors:
Renaud Detcherry,
Efstratia Kalfagianni,
Adam S. Sikora
Abstract:
We show that the Kauffman bracket skein module of a closed Seifert fibered 3-manifold $M$ is finitely generated over $\mathbb Z[A^{\pm 1}]$ if and only if $M$ is irreducible and non-Haken.
We analyze in detail the character varieties $X(M)$ of such manifolds and show that under mild conditions they are reduced. We compute the Kauffman bracket skein modules for these $3$-manifolds (over…
▽ More
We show that the Kauffman bracket skein module of a closed Seifert fibered 3-manifold $M$ is finitely generated over $\mathbb Z[A^{\pm 1}]$ if and only if $M$ is irreducible and non-Haken.
We analyze in detail the character varieties $X(M)$ of such manifolds and show that under mild conditions they are reduced. We compute the Kauffman bracket skein modules for these $3$-manifolds (over $\mathbb Q(A)$) and show that their dimensions coincide with $|X(M)|.$
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Regularity and Separation for $p$-Laplace operators
Authors:
Daniel Hauer,
Adam Sikora
Abstract:
We analyze $p$-Laplace operators with degenerate elliptic coefficients. This investigation includes Grušin type $p$-Laplace operators. We describe a \emph{separation phenomenon} in elliptic and parabolic $p$-Laplace type equations, which provides an illuminating illustration of simple jump discontinuities of the corresponding weak solutions. Interestingly validity of an isoperimetric inequality fo…
▽ More
We analyze $p$-Laplace operators with degenerate elliptic coefficients. This investigation includes Grušin type $p$-Laplace operators. We describe a \emph{separation phenomenon} in elliptic and parabolic $p$-Laplace type equations, which provides an illuminating illustration of simple jump discontinuities of the corresponding weak solutions. Interestingly validity of an isoperimetric inequality for considered setting does not imply continuity of elliptic equations. On the other hand, we are able to establish global $L^1$-$L^\infty$-regularization and decay estimates of every mild solution of the parabolic Grušin type $p$-Laplace equation.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Kauffman bracket skein modules of small 3-manifolds
Authors:
Renaud Detcherry,
Efstratia Kalfagianni,
Adam S. Sikora
Abstract:
The proof of Witten's finiteness conjecture established that the Kauffman bracket skein modules of closed $3$-manifolds are finitely generated over $\mathbb Q(A)$. In this paper, we develop a novel method for computing these skein modules.
We show that if the skein module $S(M,\mathbb Q[A^{\pm 1}])$ of $M$ is tame (e.g. finitely generated over $\mathbb Q[A^{\pm 1}]$), and the…
▽ More
The proof of Witten's finiteness conjecture established that the Kauffman bracket skein modules of closed $3$-manifolds are finitely generated over $\mathbb Q(A)$. In this paper, we develop a novel method for computing these skein modules.
We show that if the skein module $S(M,\mathbb Q[A^{\pm 1}])$ of $M$ is tame (e.g. finitely generated over $\mathbb Q[A^{\pm 1}]$), and the $SL(2,\mathbb
C)$-character variety is reduced, then the dimension $\dim_{\mathbb Q(A)}\, S(M, \mathbb Q(A))$ is the number of closed points in this character variety. This, in particular, verifies a conjecture of Gunningham, Jordan, and Safronov, that relates the dimension $\dim_{\mathbb Q(A)}\, S(M, \mathbb Q(A))$ to the Abouzaid-Manolescu $SL(2,\mathbb C)$-Floer theoretic invariants, for large families of 3-manifolds.
We also prove a criterion for reduceness of character varieties of closed $3$-manifolds and use it to compute the skein modules of Dehn fillings of $(2,2n+1)$-torus knots and of the figure-eight knot. The later family gives the first instance of computations of skein modules for closed hyperbolic 3-manifolds.
We also prove that the skein modules of rational homology spheres have dimension at least $1$ over $\mathbb Q(A)$.
△ Less
Submitted 8 November, 2023; v1 submitted 25 May, 2023;
originally announced May 2023.
-
Vertical Maximal Functions on Manifolds with Ends
Authors:
Himani Sharma,
Adam Sikora
Abstract:
We consider the setting of manifolds with ends which are obtained by compact perturbation (gluing) of ends of the form $\mathbb{R}^{n_i}\times \mathcal{M}_i$. We investigate family of vertical resolvent $\{\sqrt{t}\nabla(1+tΔ)^{-m}\}_{t>0}$ where $m\geq1$. We show that the family is uniformly continuous on all $L^p$ for $1\le p \le \min_{i}n_i$. Interestingly this is a closed-end condition in the…
▽ More
We consider the setting of manifolds with ends which are obtained by compact perturbation (gluing) of ends of the form $\mathbb{R}^{n_i}\times \mathcal{M}_i$. We investigate family of vertical resolvent $\{\sqrt{t}\nabla(1+tΔ)^{-m}\}_{t>0}$ where $m\geq1$. We show that the family is uniformly continuous on all $L^p$ for $1\le p \le \min_{i}n_i$. Interestingly this is a closed-end condition in the considered setting. We prove that the corresponding Maximal function is bounded in the same range except that it is only weak-type $(1,1)$ for $p=1$. The Fefferman-Stein vector-valued maximal function is again of weak-type $(1,1)$ but bounded if and only if $1<p<\min_{i}n_i$, and not at $p=\min_{i}n_i$.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Hardy spaces meet harmonic weights revisited
Authors:
Marcin Preisner,
Adam Sikora
Abstract:
We investigate Hardy spaces $H^1_L(X)$ corresponding to self-adjoint operators $L$. Our main aim is to obtain a description of $H^1_L(X)$ in terms of atomic decompositions similar to such characterisation of the classical Hardy spaces $H^1(\mathbb{R}^d)$. Under suitable assumptions, such a description was obtained by Yan and the authors in [Trans. Amer. Math. Soc. 375 (2022), no. 9, 6417-6451], wh…
▽ More
We investigate Hardy spaces $H^1_L(X)$ corresponding to self-adjoint operators $L$. Our main aim is to obtain a description of $H^1_L(X)$ in terms of atomic decompositions similar to such characterisation of the classical Hardy spaces $H^1(\mathbb{R}^d)$. Under suitable assumptions, such a description was obtained by Yan and the authors in [Trans. Amer. Math. Soc. 375 (2022), no. 9, 6417-6451], where the atoms associated with an $L$-harmonic function are considered. Here we continue this study and modify the previous definition of atoms.
The modified approach allows us to investigate settings, when the generating operator is related to a system of linearly independent harmonic functions. In this context, the cancellation condition for atoms is adjusted to fit this system. In an explicit example, we consider a symmetric manifold with ends $\mathbb{R}^d \# \mathbb{R}^d$. For this manifold the space of bounded harmonic functions is two-dimensional. Any element from the Hardy space $H^1_L(X)$ has to be orthogonal to all of the harmonic functions in the system.
△ Less
Submitted 29 October, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Stated SL(n)-Skein Modules and Algebras
Authors:
Thang T. Q. Lê,
Adam S. Sikora
Abstract:
We develop a theory of stated SL(n)-skein modules, $S_n(M,N),$ of 3-manifolds $M$ marked with intervals $N$ in their boundaries. They consist of linear combinations of $n$-webs with ends in $N$, considered up to skein relations inspired by the relations of the Reshetikhin-Turaev theory.
We prove that cutting $M$ along a disk resulting in a $3$-manifold $M'$ yields a homomorphism…
▽ More
We develop a theory of stated SL(n)-skein modules, $S_n(M,N),$ of 3-manifolds $M$ marked with intervals $N$ in their boundaries. They consist of linear combinations of $n$-webs with ends in $N$, considered up to skein relations inspired by the relations of the Reshetikhin-Turaev theory.
We prove that cutting $M$ along a disk resulting in a $3$-manifold $M'$ yields a homomorphism $S_n(M)\to S_n(M')$. That result allows to analyze the skein modules of $3$-manifolds through the skein modules of their pieces.
The theory of stated skein modules is particularly rich for thickened surfaces $M=Σ\times (-1,1),$ in whose case, $S_n(M)$ is an algebra, denoted by $S_n(Σ).$ We prove that the skein algebra of the ideal bigon is $O_q(SL(n))$ and that it provides simple geometric interpretations of the product, coproduct, counit, the antipode, and the cobraided structure on $O_q(SL(n)).$
Additionally, we show that a splitting of a thickened bigon near a marking defines a $O_q(SL(n))$-comodule structure on $S_n(M),$ or dually, an $U_q(sl_n)$-module structure. Furthermore, we show that the skein algebra of surfaces $Σ_1, Σ_2$ glued along two sides of a triangle is isomorphic with the braided tensor product $S_n(Σ_1)\underline{\otimes} S_n(Σ_2)$ of Majid. These results allow for a geometric interpretation of further concepts in the theory of quantum groups, for example, of the braided products and of Majid's transmutation operation.
We prove that the factorization homology of surfaces with coefficients in $Rep\, U_q(sl_n)$ is equivalent to the category of left modules over $S_n(Σ)$. We also discuss the relation with the quantum moduli spaces of Alekseev-Schomerus.
Finally, we show that for surfaces $Σ$ with boundary, $S_n(Σ)$ is a free module with a basis induced from the Kashiwara-Lusztig canonical bases.
△ Less
Submitted 8 June, 2024; v1 submitted 31 December, 2021;
originally announced January 2022.
-
Vertical and horizontal Square Functions on a Class of Non-Doubling Manifolds
Authors:
Julian Bailey,
Adam Sikora
Abstract:
We consider a class of non-doubling manifolds $\mathcal{M}$ that are the connected sum of a finite number of $N$-dimensional manifolds of the form $\mathbb{R}^{n_{i}} \times \mathcal{M}_{i}$. Following on from the work of Hassell and the second author \cite{hs2019}, a particular decomposition of the resolvent operators $(Δ+ k^{2})^{-M}$, for $M \in \mathbb{N}^{*}$, will be used to demonstrate that…
▽ More
We consider a class of non-doubling manifolds $\mathcal{M}$ that are the connected sum of a finite number of $N$-dimensional manifolds of the form $\mathbb{R}^{n_{i}} \times \mathcal{M}_{i}$. Following on from the work of Hassell and the second author \cite{hs2019}, a particular decomposition of the resolvent operators $(Δ+ k^{2})^{-M}$, for $M \in \mathbb{N}^{*}$, will be used to demonstrate that the vertical square function operator $$ Sf(x) := \left( \int^{\infty}_{0} \left|t \nabla (I + t^{2}
Δ)^{-M}f(x)\right|{2} \frac{dt}{t}\right)^{\frac{1}{2}} $$ is bounded on $L^{p}(\mathcal{M})$ for $1 < p < n_{min} = \min_{i} n_{i}$ and weak-type $(1,1)$. In addition, it will be proved that the reverse inequality $\left\Vert f \right\Vert_{p} \lesssim \left\Vert S f\right\Vert_{p}$ holds for $p \in (n_{min}',n_{min})$ and that $S$ is unbounded for $p \geq n_{min}$ provided $2 M < n_{min}$.
Similarly, for $M > 1$, this method of proof will also be used to ascertain that the horizontal square function operator $$ sf(x) := \left(\int^{\infty}_{0} \left|t^{2}Δ(I + t^{2}
Δ)^{-M}f(x)\right|^{2} \, \frac{dt}{t}\right)^{\frac{1}{2}} $$ is bounded on $L^{p}(\mathcal{M})$ for all $1 < p < \infty$ and weak-type $(1,1)$. Hence, for $p \geq n_{min}$, the vertical and horizontal square function operators are not equivalent and their corresponding Hardy spaces $H^p$ do not coincide.
△ Less
Submitted 6 March, 2021;
originally announced March 2021.
-
Adequate links in thickened surfaces and the generalized Tait conjectures
Authors:
Hans U. Boden,
Homayun Karimi,
Adam S. Sikora
Abstract:
In this paper, we apply Kauffman bracket skein algebras to develop a theory of skein adequate links in thickened surfaces. We show that any alternating link diagram on a surface is skein adequate. We apply our theory to establish the first and second Tait conjectures for adequate links in thickened surfaces. Our notion of skein adequacy is broader and more powerful than the corresponding notions o…
▽ More
In this paper, we apply Kauffman bracket skein algebras to develop a theory of skein adequate links in thickened surfaces. We show that any alternating link diagram on a surface is skein adequate. We apply our theory to establish the first and second Tait conjectures for adequate links in thickened surfaces. Our notion of skein adequacy is broader and more powerful than the corresponding notions of adequacy previously considered for link diagrams in surfaces.
For a link diagram $D$ on a surface $Σ$ of minimal genus $g(Σ)$, we show that $${\rm span}([D]_Σ) \leq 4c(D) + 4 |D|-4g(Σ),$$ where $[D]_Σ$ is its skein bracket, $|D|$ is the number of connected components of $D$, and $c(D)$ is the number of crossings. This extends a classical result of Kauffman, Murasugi, and Thistlethwaite. We further show that the above inequality is an equality if and only if $D$ is weakly alternating. This is a generalization of a well-known result for classical links due to Thistlethwaite. Thus the skein bracket detects the crossing number for weakly alternating links. As an application, we show that the crossing number is additive under connected sum for adequate links in thickened surfaces.
△ Less
Submitted 12 January, 2022; v1 submitted 22 August, 2020;
originally announced August 2020.
-
Tangle Equations, the Jones conjecture, slopes of surfaces in tangle complements, and q-deformed rationals
Authors:
Adam S. Sikora
Abstract:
We study systems of $2$-tangle equations which play an important role in the analysis of enzyme actions on DNA strands.
We show that every system of framed tangle equations has at most one framed rational solution. Furthermore, we show that the Jones Unknot conjecture implies that if a system of tangle equations has a rational solution then that solution is unique among all $2$-tangles. This res…
▽ More
We study systems of $2$-tangle equations which play an important role in the analysis of enzyme actions on DNA strands.
We show that every system of framed tangle equations has at most one framed rational solution. Furthermore, we show that the Jones Unknot conjecture implies that if a system of tangle equations has a rational solution then that solution is unique among all $2$-tangles. This result potentially opens a door to a purely topological disproof of the Jones Unknot conjecture.
We introduce the notion of the Kauffman bracket ratio $\{T\}_q\in \mathbb Q(q)$ of any $2$-tangle $T$ and we conjecture that for $q=1$ it is the slope of meridionally incompressible surfaces in $D^3-T$. We prove that conjecture for algebraic $T$. We also prove that for rational $T$, the brackets $\{T\}_q$ coincide with the $q$-rationals of Morier-Genoud-Ovsienko.
Additionally, we relate systems of tangle equations to the Cosmetic Surgery Conjecture and the Nugatory Crossing Conjecture.
△ Less
Submitted 4 August, 2023; v1 submitted 17 May, 2020;
originally announced May 2020.
-
Verification Of The Jones Unknot Conjecture Up To 24 Crossings
Authors:
Robert E. Tuzun,
Adam S. Sikora
Abstract:
Extending upon our previous work, we verify the Jones Unknot Conjecture for all knots up to $24$ crossings. We describe the method of our approach and analyze the growth of the computational complexity of its different components.
Extending upon our previous work, we verify the Jones Unknot Conjecture for all knots up to $24$ crossings. We describe the method of our approach and analyze the growth of the computational complexity of its different components.
△ Less
Submitted 23 March, 2021; v1 submitted 14 March, 2020;
originally announced March 2020.
-
SU(3)-skein algebras and webs on surfaces
Authors:
Charles Frohman,
Adam S. Sikora
Abstract:
The $SU_3$-skein algebra of a surface $F$ is spanned by isotopy classes of certain framed graphs in $F\times I$ called $3$-webs subject to the skein relations encapsulating relations between $U_q(sl(3))$-representations. These skein algebras are quantizations of the $SL(3)$-character varieties of surfaces. It is expected that their theory parallels that of the Kauffman bracket skein algebras. We m…
▽ More
The $SU_3$-skein algebra of a surface $F$ is spanned by isotopy classes of certain framed graphs in $F\times I$ called $3$-webs subject to the skein relations encapsulating relations between $U_q(sl(3))$-representations. These skein algebras are quantizations of the $SL(3)$-character varieties of surfaces. It is expected that their theory parallels that of the Kauffman bracket skein algebras. We make the first step towards develo** that theory by proving that the reduced $SU_3$-skein algebra of any surface of finite type is finitely generated.
We achieve that result by develo** a theory of canonical forms of webs in surfaces. Specifically, we show that for any ideal triangulation of $F$ every reduced $3$-web can be uniquely decomposed into unions of pyramid formations of hexagons and disjoint arcs in the faces of the triangulation with possible additional "crossbars" connecting their edges along the ideal triangulation. We show that such canonical position is unique up to "crossbar moves". That leads us to an associated system of coordinates for webs in triangulated surfaces (counting intersections of the web with the edges of the triangulation and their rotation numbers inside of the faces of the triangulation) which determine a reduced web uniquely.
Finally, we relate our skein algebras to $\cal A$-varieties of Fock-Goncharov and to $\text{Loc}_{SL(3)}$-varieties of Goncharov-Shen. We believe that our coordinate system for webs is a manifestation of a (quantum) mirror symmetry conjectured by Goncharov-Shen.
△ Less
Submitted 19 April, 2021; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Riesz transforms on a class of non-doubling manifolds II
Authors:
Andrew Hassell,
Daniel Nix,
Adam Sikora
Abstract:
We consider a class of manifolds $\mathcal{M}$ obtained by taking the connected sum of a finite number of $N$-dimensional Riemannian manifolds of the form $(\mathbb{R}^{n_i}, δ) \times (\mathcal{M}_i, g)$, where $\mathcal{M}_i$ is a compact manifold, with the product metric. The case of greatest interest is when the Euclidean dimensions $n_i$ are not all equal. This means that the ends have differ…
▽ More
We consider a class of manifolds $\mathcal{M}$ obtained by taking the connected sum of a finite number of $N$-dimensional Riemannian manifolds of the form $(\mathbb{R}^{n_i}, δ) \times (\mathcal{M}_i, g)$, where $\mathcal{M}_i$ is a compact manifold, with the product metric. The case of greatest interest is when the Euclidean dimensions $n_i$ are not all equal. This means that the ends have different `asymptotic dimension', and implies that the Riemannian manifold $\mathcal{M}$ is not a doubling space.
In the first paper in this series, by the first and third authors, we considered the case where each $n_i$ is least $3$. In the present paper, we assume that one of the $n_i$ is equal to $2$, which is a special and particularly interesting case. Our approach is to construct the low energy resolvent and determine the asymptotics of the resolvent kernel as the energy tends to zero. We show that the resolvent kernel $(Δ+ k^2)^{-1}$ on $\mathcal{M}$ has an expansion in powers of $1/\log (1/k)$ as $k \to 0$, which is significantly different from the case where all $n_i$ are at least 3, in which case the expansion is in powers of $k$. We express the Riesz transform in terms of the resolvent to show that it is bounded on $L^p(\mathcal{M})$ for $1 < p \leq 2$, and unbounded for all $p > 2$.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
Hardy spaces meet harmonic weights
Authors:
Marcin Preisner,
Adam Sikora,
Lixin Yan
Abstract:
We investigate the Hardy space $H^1_L$ associated with a self-adjoint operator $L$ defined in a general setting in [S. Hofmann, et. al., Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates, Mem. Amer. Math. Soc. 214 (2011), no. 1007, vi+78.]. We assume that there exists an $L$-harmonic non-negative function $h$ such that the semigroup $\exp(-tL)$, aft…
▽ More
We investigate the Hardy space $H^1_L$ associated with a self-adjoint operator $L$ defined in a general setting in [S. Hofmann, et. al., Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates, Mem. Amer. Math. Soc. 214 (2011), no. 1007, vi+78.]. We assume that there exists an $L$-harmonic non-negative function $h$ such that the semigroup $\exp(-tL)$, after applying the Doob transform related to $h$, satisfies the upper and lower Gaussian estimates. Under this assumption we describe an illuminating characterisation of the Hardy space $H^1_L$ in terms of a simple atomic decomposition associated with the $L$-harmonic function $h$. Our approach also yields a natural characterisation of the $BMO$-type space corresponding to the operator $L$ and dual to $H^1_L$ in the same circumstances.
The applications include surprisingly wide range of operators, such as: Laplace operators with Dirichlet boundary conditions on some domains in $\mathbb{R}^d$, Schrödinger operators with certain potentials, and Bessel operators.
△ Less
Submitted 3 December, 2021; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Lie group approach to Grushin operators
Authors:
Jacek Dziubański,
Adam Sikora
Abstract:
We consider a finite system $\{X_1, X_2, \ldots, X_n\}$ of complete vector fields acting on smooth manifolds $M$ equipped with a smooth positive measure. We assume that the system satisfies Hörmander's condition and generates a finite dimensional Lie algebra of type (R). We investigate the sum of squares of the vector fields operator corresponding to this system which can be viewed as a generalisa…
▽ More
We consider a finite system $\{X_1, X_2, \ldots, X_n\}$ of complete vector fields acting on smooth manifolds $M$ equipped with a smooth positive measure. We assume that the system satisfies Hörmander's condition and generates a finite dimensional Lie algebra of type (R). We investigate the sum of squares of the vector fields operator corresponding to this system which can be viewed as a generalisation of the notion of Grushin operators. In this setting we prove the Poincaré inequality and Li-Yau estimates for the corresponding heat kernel as well as the doubling condition for the optimal control metrics defined by the system. We discuss a surprisingly broad class of examples of described setting.
△ Less
Submitted 5 June, 2019; v1 submitted 2 June, 2019;
originally announced June 2019.
-
Sharp spectral multipliers without semigroup framework and application to random walks
Authors:
Peng Chen,
El Maati Ouhabaz,
Adam Sikora,
Lixin Yan
Abstract:
In this paper we prove spectral multiplier theorems for abstract self-adjoint operators on spaces of homogeneous type. We have two main objectives. The first one is to work outside the semigroup context. In contrast to previous works on this subject, we do not make any assumption on the semigroup. The second objective is to consider polynomial off-diagonal decay instead of exponential one. Our app…
▽ More
In this paper we prove spectral multiplier theorems for abstract self-adjoint operators on spaces of homogeneous type. We have two main objectives. The first one is to work outside the semigroup context. In contrast to previous works on this subject, we do not make any assumption on the semigroup. The second objective is to consider polynomial off-diagonal decay instead of exponential one. Our approach and results lead to new applications to several operators such as differential operators, pseudo-differential operators as well as Markov chains.
In our general context we introduce a restriction type estimates à la Stein-Tomas. This allows us to obtain sharp spectral multiplier theorems and hence sharp Bochner-Riesz summability results. Finally, we consider the random walk on the integer lattice $\mathbf{Z}^n$ and prove sharp Bochner-Riesz summability results similar to those known for the standard Laplacian on $\mathbb{R}^n$.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Verification Of The Jones Unknot Conjecture Up To 23 Crossings
Authors:
Robert E. Tuzun,
Adam S. Sikora
Abstract:
The Jones unknot conjecture states that the Jones polynomial distinguishes the unknot from nontrivial knots. We prove it for knots up to 23 crossings.
The Jones unknot conjecture states that the Jones polynomial distinguishes the unknot from nontrivial knots. We prove it for knots up to 23 crossings.
△ Less
Submitted 6 September, 2018;
originally announced September 2018.
-
Riesz transforms on a class of non-doubling manifolds
Authors:
Andrew Hassell,
Adam Sikora
Abstract:
We consider a class of manifolds $\mathcal{M}$ obtained by taking the connected sum of a finite number of $N$-dimensional Riemannian manifolds of the form $(\mathbb{R}^{n_i}, δ) \times (\mathcal{M}_i, g)$, where $\mathcal{M}_i$ is a compact manifold, with the product metric. The case of greatest interest is when the Euclidean dimensions $n_i$ are not all equal. This means that the ends have differ…
▽ More
We consider a class of manifolds $\mathcal{M}$ obtained by taking the connected sum of a finite number of $N$-dimensional Riemannian manifolds of the form $(\mathbb{R}^{n_i}, δ) \times (\mathcal{M}_i, g)$, where $\mathcal{M}_i$ is a compact manifold, with the product metric. The case of greatest interest is when the Euclidean dimensions $n_i$ are not all equal. This means that the ends have different `asymptotic dimension', and implies that the Riemannian manifold $\mathcal{M}$ is not a doubling space. We completely describe the range of exponents $p$ for which the Riesz transform on $\mathcal{M}$ is a bounded operator on $L^p(\mathcal{M})$. Namely, under the assumption that each $n_i$ is at least $3$, we show that Riesz transform is of weak type $(1,1)$, is continuous on $L^p$ for all $p \in (1, \min_i n_i)$, and is unbounded on $L^p$ otherwise. This generalizes results of the first-named author with Carron and Coulhon devoted to the doubling case of the connected sum of several copies of Euclidean space $\mathbb{R}^{N}$, and of Carron concerning the Riesz transform on connected sums.
△ Less
Submitted 27 December, 2018; v1 submitted 30 April, 2018;
originally announced May 2018.
-
Bounds on the maximal Bochner-Riesz means for elliptic operators
Authors:
Peng Chen,
Sanghyuk Lee,
Adam Sikora,
Lixin Yan
Abstract:
We investigate $L^p$ boundedness of the maximal Bochner-Riesz means for self-adjoint operators of elliptic type. Assuming the finite speed of propagation for the associated wave operator, from the restriction type estimates we establish the sharp $L^p$ boundedness of the maximal Bochner-Riesz means for the elliptic operators. As applications, we obtain the sharp $L^p$ maximal bounds for the Schröd…
▽ More
We investigate $L^p$ boundedness of the maximal Bochner-Riesz means for self-adjoint operators of elliptic type. Assuming the finite speed of propagation for the associated wave operator, from the restriction type estimates we establish the sharp $L^p$ boundedness of the maximal Bochner-Riesz means for the elliptic operators. As applications, we obtain the sharp $L^p$ maximal bounds for the Schrödinger operators on asymptotically conic manifolds, the harmonic oscillator and its perturbations or elliptic operators on compact manifolds.
△ Less
Submitted 8 March, 2018;
originally announced March 2018.
-
Probabilistic approach to quantum separation effect for Feynman-Kac semigroup
Authors:
Adam Sikora,
Jacek Zienkiewicz
Abstract:
Quantum tunnelling phenomenon allows a particle in Schrödinger mechanics tunnels through a barrier that it classically could not overcome. Even the infinite potentials do not always form impenetrable barriers. We discuss an answer to the following question: What is a critical magnitude of potential, which creates impenetrable barrier and for which the corresponding Schrödinger evolution system sep…
▽ More
Quantum tunnelling phenomenon allows a particle in Schrödinger mechanics tunnels through a barrier that it classically could not overcome. Even the infinite potentials do not always form impenetrable barriers. We discuss an answer to the following question: What is a critical magnitude of potential, which creates impenetrable barrier and for which the corresponding Schrödinger evolution system separates? In addition we describe some quantitative estimates for the separating effect in terms of cut-off potentials.
△ Less
Submitted 23 March, 2020; v1 submitted 19 November, 2017;
originally announced November 2017.
-
Gradient estimates for heat kernels and harmonic functions
Authors:
Thierry Coulhon,
Ren** Jiang,
Pekka Koskela,
Adam Sikora
Abstract:
Let $(X,d,μ)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carré du champ". Assume that $(X,d,μ,\E)$ supports a scale-invariant $L^2$-Poincaré inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$:
(i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat se…
▽ More
Let $(X,d,μ)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carré du champ". Assume that $(X,d,μ,\E)$ supports a scale-invariant $L^2$-Poincaré inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$:
(i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup;
(ii) $(RH_p)$: $L^p$-reverse Hölder inequality for the gradients of harmonic functions;
(iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$);
(iv) $(GBE)$: a generalised Bakry-Émery condition.
We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, while for $p=\infty$, (i), (ii), (iv) are equivalent.
Moreover, some of these equivalences still hold under weaker conditions than the $L^2$-Poincaré inequality.
Our result gives a characterisation of Li-Yau's gradient estimate of heat kernels for $p=\infty$, while for $p\in (2,\infty)$ it is a substantial improvement as well as a generalisation of earlier results by Auscher-Coulhon-Duong-Hofmann [7] and Auscher-Coulhon [6]. Applications to isoperimetric inequalities and Sobolev inequalities are given. Our results apply to Riemannian and sub-Riemannian manifolds as well as to non-smooth spaces, and to degenerate elliptic/parabolic equations in these settings.
△ Less
Submitted 2 October, 2017; v1 submitted 6 March, 2017;
originally announced March 2017.
-
Spectral multipliers via resolvent type estimates on non-homogeneous metric measure spaces
Authors:
Peng Chen,
Adam Sikora,
Lixin Yan
Abstract:
We describe a simple but surprisingly effective technique of obtaining spectral multiplier results for abstract operators which satisfy the finite propagation speed property for the corresponding wave equation propagator. We show that, in this setting, spectral multipliers follow from resolvent type estimates. The most notable point of the paper is that our approach is very flexible and can be app…
▽ More
We describe a simple but surprisingly effective technique of obtaining spectral multiplier results for abstract operators which satisfy the finite propagation speed property for the corresponding wave equation propagator. We show that, in this setting, spectral multipliers follow from resolvent type estimates. The most notable point of the paper is that our approach is very flexible and can be applied even if the corresponding ambient space does not satisfy the doubling condition or if the semigroup generated by an operator is not uniformly bounded. As a corollary we obtain the $L^p$ spectrum independence for several second order differential operators and recover some known results. Our examples include the Laplace-Belltrami operator on manifolds with ends and Schrödinger operators with strongly subcritical potentials.
△ Less
Submitted 7 September, 2016;
originally announced September 2016.
-
Verification Of The Jones Unknot Conjecture Up To 22 Crossings
Authors:
Robert E. Tuzun,
Adam S. Sikora
Abstract:
We proved by computer enumeration that the Jones polynomial distinguishes the unknot for knots up to 22 crossings. Following an approach of Yamada, we generated knot diagrams by inserting algebraic tangles into Conway polyhedra, computed their Jones polynomials by a divide-and-conquer method, and tested those with trivial Jones polynomials for unknottedness with the computer program SnapPy. We emp…
▽ More
We proved by computer enumeration that the Jones polynomial distinguishes the unknot for knots up to 22 crossings. Following an approach of Yamada, we generated knot diagrams by inserting algebraic tangles into Conway polyhedra, computed their Jones polynomials by a divide-and-conquer method, and tested those with trivial Jones polynomials for unknottedness with the computer program SnapPy. We employed numerous novel strategies for reducing the computation time per knot diagram and the number of knot diagrams to be considered. That made computations up to 21 crossings possible on a single processor desktop computer. We explain these strategies in this paper. We also provide total numbers of algebraic tangles up to 18 crossings and of Conway polyhedra up to 22 vertices. We encountered new unknot diagrams with no crossing-reducing pass moves in our search. We report one such diagram in this paper.
△ Less
Submitted 4 April, 2020; v1 submitted 21 June, 2016;
originally announced June 2016.
-
Gaussian heat kernel estimates: from functions to forms
Authors:
Thierry Coulhon,
Baptiste Devyver,
Adam Sikora
Abstract:
On a complete non-compact Riemannian manifold satisfying the volume doubling property, we give conditions on the negative part of the Ricci curvature that ensure that, unless there are harmonic one-forms, the Gaussian heat kernel upper estimate on functions transfers to one-forms. These conditions do no entail any constraint on the size of the Ricci curvature, only on its decay at infinity.
On a complete non-compact Riemannian manifold satisfying the volume doubling property, we give conditions on the negative part of the Ricci curvature that ensure that, unless there are harmonic one-forms, the Gaussian heat kernel upper estimate on functions transfers to one-forms. These conditions do no entail any constraint on the size of the Ricci curvature, only on its decay at infinity.
△ Less
Submitted 8 June, 2016;
originally announced June 2016.
-
Varieties of Characters
Authors:
Sean Lawton,
Adam S. Sikora
Abstract:
Let G be a connected reductive affine algebraic group. In this short note we define the "variety of G-characters" of a finitely generated group F and show that the quotient of the G-character variety of F by the action of the trace preserving outer automorphisms of G normalizes the variety of G-characters when F is a free group, free abelian group, or a surface group.
Let G be a connected reductive affine algebraic group. In this short note we define the "variety of G-characters" of a finitely generated group F and show that the quotient of the G-character variety of F by the action of the trace preserving outer automorphisms of G normalizes the variety of G-characters when F is a free group, free abelian group, or a surface group.
△ Less
Submitted 16 July, 2019; v1 submitted 7 April, 2016;
originally announced April 2016.
-
Skein algebras of surfaces
Authors:
Jozef H. Przytycki,
Adam S. Sikora
Abstract:
We show that the Kauffman bracket skein algebra of any oriented surface F (possibly with marked points in its boundary) has no zero divisors and that its center is generated by knots parallel to the unmarked components of the boundary of F. Furthermore, we show that skein algebras are Noetherian and Ore. Our proofs rely on certain filtrations of skein algebras induced by pants decompositions of su…
▽ More
We show that the Kauffman bracket skein algebra of any oriented surface F (possibly with marked points in its boundary) has no zero divisors and that its center is generated by knots parallel to the unmarked components of the boundary of F. Furthermore, we show that skein algebras are Noetherian and Ore. Our proofs rely on certain filtrations of skein algebras induced by pants decompositions of surfaces. We prove some basic algebraic properties of the associated graded algebras along the way.
△ Less
Submitted 5 June, 2017; v1 submitted 24 February, 2016;
originally announced February 2016.
-
Spectral multipliers, Bochner-Riesz means and uniform Sobolev inequalities for elliptic operators
Authors:
Adam Sikora,
Lixin Yan,
Xiaohua Yao
Abstract:
This paper comprises two parts. In the first, we study $L^p$ to $L^q$ bounds for spectral multipliers and Bochner-Riesz means with negative index in the general setting of abstract self-adjoint operators. In the second we obtain the uniform Sobolev estimates for constant coefficients higher order elliptic operators $P(D)-z$ and all $z\in {\mathbb C}\backslash [0, \infty)$, which give an extension…
▽ More
This paper comprises two parts. In the first, we study $L^p$ to $L^q$ bounds for spectral multipliers and Bochner-Riesz means with negative index in the general setting of abstract self-adjoint operators. In the second we obtain the uniform Sobolev estimates for constant coefficients higher order elliptic operators $P(D)-z$ and all $z\in {\mathbb C}\backslash [0, \infty)$, which give an extension of the second order results of Kenig-Ruiz-Sogge \cite{KRS}. Next we use perturbation techniques to prove the uniform Sobolev estimates for Schrödinger operators $P(D)+V$ with small integrable potentials $V$. Finally we deduce spectral multiplier estimates for all these operators, including sharp Bochner-Riesz summability results.
△ Less
Submitted 16 June, 2015;
originally announced June 2015.
-
SO(2n,C)-character varieties are not varieties of characters
Authors:
Adam S. Sikora
Abstract:
We prove that the coordinate rings of SO(2n,C)-character varieties are not generated by trace functions nor generalized trace functions for $n\geq 2$ and all groups Gamma of corank $\geq 2.$ Furthermore, we give examples of non-conjugate completely reducible representations undistinguishable by generalized trace functions. Hence, SO(2n,C)-character varieties are not varieties of characters. Howeve…
▽ More
We prove that the coordinate rings of SO(2n,C)-character varieties are not generated by trace functions nor generalized trace functions for $n\geq 2$ and all groups Gamma of corank $\geq 2.$ Furthermore, we give examples of non-conjugate completely reducible representations undistinguishable by generalized trace functions. Hence, SO(2n,C)-character varieties are not varieties of characters. However, we also prove that any generic SO(2n,C)-representation of a free group can be distinguished from all non-equivalent representations by trace functions and by a single generalized trace function.
△ Less
Submitted 26 May, 2015; v1 submitted 28 March, 2015;
originally announced March 2015.
-
Spectral multipliers for the Kohn Laplacian on forms on the sphere in $\mathbb{C}^n$
Authors:
Valentina Casarino,
Michael G. Cowling,
Alessio Martini,
Adam Sikora
Abstract:
The unit sphere $\mathbb{S}$ in $\mathbb{C}^n$ is equipped with the tangential Cauchy-Riemann complex and the associated Laplacian $\Box_b$. We prove a Hörmander spectral multiplier theorem for $\Box_b$ with critical index $n-1/2$, that is, half the topological dimension of $\mathbb{S}$. Our proof is mainly based on representation theory and on a detailed analysis of the spaces of differential for…
▽ More
The unit sphere $\mathbb{S}$ in $\mathbb{C}^n$ is equipped with the tangential Cauchy-Riemann complex and the associated Laplacian $\Box_b$. We prove a Hörmander spectral multiplier theorem for $\Box_b$ with critical index $n-1/2$, that is, half the topological dimension of $\mathbb{S}$. Our proof is mainly based on representation theory and on a detailed analysis of the spaces of differential forms on $\mathbb{S}$.
△ Less
Submitted 19 March, 2015; v1 submitted 10 January, 2015;
originally announced January 2015.
-
Bochner-Riesz profile of anharmonic oscillator ${\mathcal L}=-\frac{d^2}{dx^2}+|x|$
Authors:
Peng Chen,
Waldemar Hebisch,
Adam Sikora
Abstract:
We investigate spectral multipliers, Bochner-Riesz means and convergence of eigenfunction expansion corresponding to the Schrödinger operator with anharmonic potential ${\mathcal L}=-\frac{d^2}{dx^2}+|x|$. We show that the Bochner-Riesz profile of the operator ${\mathcal L}$ completely coincides with such profile of the harmonic oscillator ${\mathcal H}=-\frac{d^2}{dx^2}+x^2$.
It is especially s…
▽ More
We investigate spectral multipliers, Bochner-Riesz means and convergence of eigenfunction expansion corresponding to the Schrödinger operator with anharmonic potential ${\mathcal L}=-\frac{d^2}{dx^2}+|x|$. We show that the Bochner-Riesz profile of the operator ${\mathcal L}$ completely coincides with such profile of the harmonic oscillator ${\mathcal H}=-\frac{d^2}{dx^2}+x^2$.
It is especially surprising because the Bochner-Riesz profile for the one-dimensional standard Laplace operator is known to be essentially different and the case of operators ${\mathcal H}$ and ${\mathcal L}$ resembles more the profile of multidimensional Laplace operators. Another surprising element of the main obtained result is the fact that the proof is not based on restriction type estimates and instead entirely new perspective have to be developed to obtain the critical exponent for Bochner-Riesz means convergence.
△ Less
Submitted 6 August, 2014;
originally announced August 2014.
-
Grušin operators, Riesz transforms and nilpotent Lie groups
Authors:
Derek W Robinson,
Adam Sikora
Abstract:
We establish that the Riesz transforms of all orders corresponding to the Grušin operator $H_N=-\nabla_{x}^2-|x|^{2N}\,\nabla_{y}^2$, and the first-order operators $(\nabla_{x},x^ν\,\nabla_{y})$ where $x\in \Ri^n$, $y\in\Ri^m$, $N\in\Ni_+$, and $ν\in\{1,\ldots,n\}^N$, are bounded on $L_p(\Ri^{n+m})$ for all $p\in\langle1,\infty\rangle$ and are also weak-type $(1,1)$. Moreover, the transforms of or…
▽ More
We establish that the Riesz transforms of all orders corresponding to the Grušin operator $H_N=-\nabla_{x}^2-|x|^{2N}\,\nabla_{y}^2$, and the first-order operators $(\nabla_{x},x^ν\,\nabla_{y})$ where $x\in \Ri^n$, $y\in\Ri^m$, $N\in\Ni_+$, and $ν\in\{1,\ldots,n\}^N$, are bounded on $L_p(\Ri^{n+m})$ for all $p\in\langle1,\infty\rangle$ and are also weak-type $(1,1)$. Moreover, the transforms of order less than or equal to $N+1$ corresponding to $H_N$ and the operators $(\nabla_{x}, |x|^N\nabla_{y})$ are bounded on $L_p(\Ri^{n+m})$ for all $p\in\langle1,\infty\rangle$. But all transforms of order $N+2$ are bounded if and only if $p\in\langle1,n\rangle$. The proofs are based on the observation that the $(\nabla_{x},x^ν\,\nabla_{y})$ generate a finite-dimensional nilpotent Lie algebra, the corresponding connected, simply connected, nilpotent Lie group is isometrically represented on the spaces $L_p(\Ri^{n+m})$ and $H_N$ is the corresponding sublaplacian
△ Less
Submitted 17 February, 2014;
originally announced February 2014.
-
A new approach to pointwise heat kernel upper bounds on doubling metric measure spaces
Authors:
Salahaddine Boutayeb,
Thierry Coulhon,
Adam Sikora
Abstract:
On doubling metric measure spaces endowed with a strongly local regular Dirichlet form, we show some characterisations of pointwise upper bounds of the heat kernel in terms of global scale-invariant inequalities that correspond respectively to the Nash inequality and to a Gagliardo-Nirenberg type inequality when the volume growth is polynomial. This yields a new proof and a generalisation of the w…
▽ More
On doubling metric measure spaces endowed with a strongly local regular Dirichlet form, we show some characterisations of pointwise upper bounds of the heat kernel in terms of global scale-invariant inequalities that correspond respectively to the Nash inequality and to a Gagliardo-Nirenberg type inequality when the volume growth is polynomial. This yields a new proof and a generalisation of the well-known equivalence between classical heat kernel upper bounds and relative Faber-Krahn inequalities or localized Sobolev or Nash inequalities. We are able to treat more general pointwise estimates, where the heat kernel rate of decay is not necessarily governed by the volume growth. A crucial role is played by the finite propagation speed property for the associated wave equation, and our main result holds for an abstract semigroup of operators satisfying the Davies-Gaffney estimates.
△ Less
Submitted 14 November, 2013; v1 submitted 2 November, 2013;
originally announced November 2013.
-
Analysis of degenerate elliptic operators of Grušin type
Authors:
Derek W. Robinson,
Adam Sikora
Abstract:
We analyze degenerate, second-order, elliptic operators $H$ in divergence form on $L_2(\Ri^{n}\times\Ri^{m})$. We assume the coefficients are real symmetric and $a_1H_δ\geq H\geq a_2H_δ$ for some $a_1,a_2>0$ where \[ H_δ=-{\nabla}_{x_1}\cdot(c_{δ_1, δ'_1}(x_1)\,\nabla_{x_1})-c_{δ_2, δ'_2}(x_1)\,\nabla_{x_2}^2 \;. \] Here $x_1\in\Ri^n$, $x_2\in\Ri^m$ and $c_{δ_i, δ'_i}$ are positive measurable func…
▽ More
We analyze degenerate, second-order, elliptic operators $H$ in divergence form on $L_2(\Ri^{n}\times\Ri^{m})$. We assume the coefficients are real symmetric and $a_1H_δ\geq H\geq a_2H_δ$ for some $a_1,a_2>0$ where \[ H_δ=-{\nabla}_{x_1}\cdot(c_{δ_1, δ'_1}(x_1)\,\nabla_{x_1})-c_{δ_2, δ'_2}(x_1)\,\nabla_{x_2}^2 \;. \] Here $x_1\in\Ri^n$, $x_2\in\Ri^m$ and $c_{δ_i, δ'_i}$ are positive measurable functions such that $c_{δ_i, δ'_i}(x)$ behaves like $|x|^{δ_i}$ as $x\to0$ and $|x|^{δ_i'}$ as $x\to\infty$ with $δ_1,δ_1'\in[0,1\rangle$ and $δ_2,δ_2'\geq0$.
Our principal results state that the submarkovian semigroup $S_t=e^{-tH}$ is conservative and its kernel $K_t$ satisfies bounds \[ 0\leq K_t(x\,;y)\leq a\,(|B(x\,;t^{1/2})|\,|B(y\,;t^{1/2})|)^{-1/2} \] where $|B(x\,;r)|$ denotes the volume of the ball $B(x\,;r)$ centred at $x$ with radius $r$ measured with respect to the Riemannian distance associated with $H$. The proofs depend on detailed subelliptic estimations on $H$, a precise characterization of the Riemannian distance and the corresponding volumes and wave equation techniques which exploit the finite speed of propagation.
We discuss further implications of these bounds and give explicit examples that show the kernel is not necessarily strictly positive, nor continuous.
△ Less
Submitted 30 May, 2013;
originally announced May 2013.
-
The limitations of the Poincar{é} inequality
Authors:
Derek W. Robinson,
Adam Sikora
Abstract:
We examine the validity of the Poincaré inequality for degenerate, second-order, elliptic operators $H$ in divergence form on $L_2(\Ri^{n}\times\Ri^{m})$. We assume the coefficients are real symmetric and $a_1H_δ\geq H\geq a_2H_δ$ for some $a_1,a_2>0$ where $H_δ$ is a generalized Grušin operator, \[ H_δ=-\nabla_{x_1}\,|x_1|^{(2δ_1,2δ_1')}\,\nabla_{x_1}-|x_1|^{(2δ_2,2δ_2')}\,\nabla_{x_2}^2 \;. \] H…
▽ More
We examine the validity of the Poincaré inequality for degenerate, second-order, elliptic operators $H$ in divergence form on $L_2(\Ri^{n}\times\Ri^{m})$. We assume the coefficients are real symmetric and $a_1H_δ\geq H\geq a_2H_δ$ for some $a_1,a_2>0$ where $H_δ$ is a generalized Grušin operator, \[ H_δ=-\nabla_{x_1}\,|x_1|^{(2δ_1,2δ_1')}\,\nabla_{x_1}-|x_1|^{(2δ_2,2δ_2')}\,\nabla_{x_2}^2 \;. \] Here $x_1\in\Ri^n$, $x_2\in\Ri^m$, $δ_1,δ_1'\in[0,1\rangle$,
$δ_2,δ_2'\geq0$ and $|x_1|^{(2δ,2δ')}=|x_1|^{2δ}$ if $|x_1|\leq 1$ and $|x_1|^{(2δ,2δ')}=|x_1|^{2δ'}$ if $|x_1|\geq 1$.
\smallskip
We prove that the Poincaré inequality, formulated in terms of the Riemannian geometry corresponding to $H$, is valid if $n\geq 2$, or if $n=1$ and $δ_1\veeδ_1'\in[0,1/2\rangle$ but it fails if $n=1$ and $δ_1\veeδ_1'\in[1/2,1\rangle$. The failure is caused by the leading term. If $δ_1\in[1/2, 1\rangle$ it is an effect of the local degeneracy $|x_1|^{2δ_1}$ but if $δ_1\in[0, 1/2\rangle$ and $δ_1'\in [1/2,1\rangle$ it is an effect of the growth at infinity of $|x_1|^{2δ_1'}$.
If $n=1$ and $δ_1\in[1/2, 1\rangle$ then the semigroup $S$ generated by the Friedrichs' extension of $H$ is not ergodic. The subspaces $x_1\geq 0$ and $x_1\leq 0$ are $S$-invariant and the Poincaré inequality is valid on each of these subspaces. If, however, $n=1$, $δ_1\in[0, 1/2\rangle$ and $δ_1'\in [1/2,1\rangle$ then the semigroup $S$ is ergodic but the Poincaré inequality is only valid locally.
\smallskip
Finally we discuss the implication of these results for the kernel of the semigroup $S$.
△ Less
Submitted 30 May, 2013;
originally announced May 2013.
-
G-Character varieties for G=SO(n,C) and other not simply connected groups
Authors:
Adam S. Sikora
Abstract:
We describe the relation between G-character varieties, $X_G(Γ)$, and $G/H$-character varieties, where $H$ is a finite, central subgroup of $G.$ In particular, we find finite generating sets of coordinate rings $C[X_{G/H}(Γ)]$ for classical groups $G$ and $H$ as above. Using this approach we find an explicit description of $C[X_{SO(4,C)}(F_2)]$ for the free group on two generators, $F_2.$
In the…
▽ More
We describe the relation between G-character varieties, $X_G(Γ)$, and $G/H$-character varieties, where $H$ is a finite, central subgroup of $G.$ In particular, we find finite generating sets of coordinate rings $C[X_{G/H}(Γ)]$ for classical groups $G$ and $H$ as above. Using this approach we find an explicit description of $C[X_{SO(4,C)}(F_2)]$ for the free group on two generators, $F_2.$
In the second part of the paper, we prove several properties of SO(2n,C)-character varieties. This is a particularly interesting class of character varieties because unlike for all other classical groups G, the coordinate rings $C[X_{G}(Γ)]$ are generally not generated by trace functions $τ_γ$, for $γ\in Γ$, for G=SO(2n,C). In fact, we prove that the coordinate ring $C[X_{SO(2n,C)}(Γ)]$ is not even generated by "generalized trace functions," $τ_{γ,V},$ for all $γ\in Γ$ and all representations $V$ of $SO(2n,C)$ for $n=2$ and groups $Γ$ of corank $\geq 2$.
△ Less
Submitted 31 March, 2015; v1 submitted 28 March, 2013;
originally announced March 2013.
-
Boundedness of maximal functions on non-doubling manifolds with ends
Authors:
Xuan Thinh Duong,
Ji Li,
Adam Sikora
Abstract:
Let $M$ be a manifold with ends constructed in \cite{GS} and $Δ$ be the Laplace-Beltrami operator on $M$. In this note, we show the weak type $(1,1)$ and $L^p$ boundedness of the Hardy-Littlewood maximal function and of the maximal function associated with the heat semigroup $\M_Δf(x)=\sup_{t> 0} |\exp (-tΔ)f(x)| $ on $L^p(M)$ for $1 < p \le \infty$. The significance of these results comes from th…
▽ More
Let $M$ be a manifold with ends constructed in \cite{GS} and $Δ$ be the Laplace-Beltrami operator on $M$. In this note, we show the weak type $(1,1)$ and $L^p$ boundedness of the Hardy-Littlewood maximal function and of the maximal function associated with the heat semigroup $\M_Δf(x)=\sup_{t> 0} |\exp (-tΔ)f(x)| $ on $L^p(M)$ for $1 < p \le \infty$. The significance of these results comes from the fact that $M$ does not satisfies the doubling condition.
△ Less
Submitted 1 February, 2013;
originally announced February 2013.
-
Sharp spectral multipliers for operators satisfying generalized Gaussian estimates
Authors:
Adam Sikora,
Lixin Yan,
Xiaohua Yao
Abstract:
Let $L$ be a non-negative self adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type. Assume that $L$ generates a holomorphic semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ satisfy generalized $m$-th order Gaussian estimates. In this article, we study singular and dyadically supported spectral multipliers for abstract self-adjoint operators. We show that in this setting sharp…
▽ More
Let $L$ be a non-negative self adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type. Assume that $L$ generates a holomorphic semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ satisfy generalized $m$-th order Gaussian estimates. In this article, we study singular and dyadically supported spectral multipliers for abstract self-adjoint operators. We show that in this setting sharp spectral multiplier results follow from Plancherel or Stein-Tomas type estimates. These results are applicable to spectral multipliers for large classes of operators including $m$-th order elliptic differential operators with constant coefficients, biharmonic operators with rough potentials and Laplace type operators acting on fractals.
△ Less
Submitted 6 November, 2012;
originally announced November 2012.
-
Sharp spectral multipliers for a new class of Grushin type operators
Authors:
Peng Chen,
Adam Sikora
Abstract:
We describe weighted Plancherel estimates and sharp Hebisch-Müller-Stein type spectral multiplier result for a new class of Grushin type operators. We also discuss the optimal exponent for Bochner-Riesz summability in this setting.
We describe weighted Plancherel estimates and sharp Hebisch-Müller-Stein type spectral multiplier result for a new class of Grushin type operators. We also discuss the optimal exponent for Bochner-Riesz summability in this setting.
△ Less
Submitted 1 October, 2012;
originally announced October 2012.
-
Character Varieties of Abelian Groups
Authors:
Adam S. Sikora
Abstract:
We prove that for every reductive group G with a maximal torus T and the Weyl group W there is a natural normalization map chi from T^N/W to an irreducible component of the G-character variety of Z^N. We prove that chi is an isomorphism for all classical groups.
Additionally, we prove that even though there are no irreducible representations in the above mentioned irreducible component of the ch…
▽ More
We prove that for every reductive group G with a maximal torus T and the Weyl group W there is a natural normalization map chi from T^N/W to an irreducible component of the G-character variety of Z^N. We prove that chi is an isomorphism for all classical groups.
Additionally, we prove that even though there are no irreducible representations in the above mentioned irreducible component of the character variety for non-abelian G, the tangent spaces to it coincide with H^1(Z^N, Ad rho). Consequently, this irreducible component has the "Goldman" symplectic form for N=2, for which the combinatorial formulas for Goldman bracket hold.
△ Less
Submitted 28 October, 2013; v1 submitted 22 July, 2012;
originally announced July 2012.
-
Weighted Plancherel estimates and sharp spectral multipliers for the Grushin operators
Authors:
Alessio Martini,
Adam Sikora
Abstract:
We study the Grushin operators acting on $\R^{d_1}_{x'}\times \R^{d_2}_{x"}$ and defined by the formula \[ L=-\sum_{\jone=1}^{d_1}\partial_{x'_\jone}^2 - (\sum_{\jone=1}^{d_1}|x'_\jone|^2) \sum_{\jtwo=1}^{d_2}\partial_{x"_\jtwo}^2. \] We obtain weighted Plancherel estimates for the considered operators. As a consequence we prove $L^p$ spectral multiplier results and Bochner-Riesz summability for t…
▽ More
We study the Grushin operators acting on $\R^{d_1}_{x'}\times \R^{d_2}_{x"}$ and defined by the formula \[ L=-\sum_{\jone=1}^{d_1}\partial_{x'_\jone}^2 - (\sum_{\jone=1}^{d_1}|x'_\jone|^2) \sum_{\jtwo=1}^{d_2}\partial_{x"_\jtwo}^2. \] We obtain weighted Plancherel estimates for the considered operators. As a consequence we prove $L^p$ spectral multiplier results and Bochner-Riesz summability for the Grushin operators. These multiplier results are sharp if $d_1 \ge d_2$. We discuss also an interesting phenomenon for weighted Plancherel estimates for $d_1 <d_2$. The described spectral multiplier theorem is the analogue of the result for the sublaplacian on the Heisenberg group obtained by D. Müller and E.M. Stein and by W. Hebisch.
△ Less
Submitted 5 April, 2012;
originally announced April 2012.
-
Restriction estimates, sharp spectral multipliers and endpoint estimates for Bochner-Riesz means
Authors:
Peng Chen,
El Maati Ouhabaz,
Adam Sikora,
Lixin Yan
Abstract:
We consider abstract non-negative self-adjoint operators on $L^2(X)$ which satisfy the finite speed propagation property for the corresponding wave equation. For such operators we introduce a restriction type condition which in the case of the standard Laplace operator is equivalent to $(p,2)$ restriction estimate of Stein and Tomas. Next we show that in the considered abstract setting our restric…
▽ More
We consider abstract non-negative self-adjoint operators on $L^2(X)$ which satisfy the finite speed propagation property for the corresponding wave equation. For such operators we introduce a restriction type condition which in the case of the standard Laplace operator is equivalent to $(p,2)$ restriction estimate of Stein and Tomas. Next we show that in the considered abstract setting our restriction type condition implies sharp spectral multipliers and endpoint estimates for the Bochner-Riesz summability. We also observe that this restriction estimate holds for operators satisfying dispersive or Strichartz estimates. We obtain new spectral multiplier results for several second order differential operators and recover some known results. Our examples include Schrödinger operators with inverse square potentials on $\RR^n$, the harmonic oscillator, elliptic operators on compact manifolds and Schrödinger operators on asymptotically conic manifolds.
△ Less
Submitted 17 February, 2012;
originally announced February 2012.
-
Generating sets for coordinate rings of character varieties
Authors:
Adam S. Sikora
Abstract:
We find finite, reasonably small, generator sets of the coordinate rings of G-character varieties of finitely generated groups for all classical groups G. This result together with the method of Grobner basis gives an algorithm for describing character varieties by explicit polynomial equations.
Additionally, we describe finite sets of generators of the fields of rational functions on G-characte…
▽ More
We find finite, reasonably small, generator sets of the coordinate rings of G-character varieties of finitely generated groups for all classical groups G. This result together with the method of Grobner basis gives an algorithm for describing character varieties by explicit polynomial equations.
Additionally, we describe finite sets of generators of the fields of rational functions on G-character varieties for all exceptional algebraic groups G.
△ Less
Submitted 4 April, 2013; v1 submitted 23 June, 2011;
originally announced June 2011.
-
Distributive Products and Their Homology
Authors:
Jozef H. Przytycki,
Adam S. Sikora
Abstract:
We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology.
We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology.
△ Less
Submitted 15 October, 2012; v1 submitted 18 May, 2011;
originally announced May 2011.
-
Restriction and spectral multiplier theorems on asymptotically conic manifolds
Authors:
Colin Guillarmou,
Andrew Hassell,
Adam Sikora
Abstract:
The classical Stein-Tomas restriction theorem is equivalent to the statement that the spectral measure $dE(λ)$ of the square root of the Laplacian on $\RR^n$ is bounded from $L^p(\RR^n)$ to $L^{p'}(\RR^n)$ for $1 \leq p \leq 2(n+1)/(n+3)$, where $p'$ is the conjugate exponent to $p$, with operator norm scaling as $λ^{n(1/p - 1/p') - 1}$. We prove a geometric generalization in which the Laplacian o…
▽ More
The classical Stein-Tomas restriction theorem is equivalent to the statement that the spectral measure $dE(λ)$ of the square root of the Laplacian on $\RR^n$ is bounded from $L^p(\RR^n)$ to $L^{p'}(\RR^n)$ for $1 \leq p \leq 2(n+1)/(n+3)$, where $p'$ is the conjugate exponent to $p$, with operator norm scaling as $λ^{n(1/p - 1/p') - 1}$. We prove a geometric generalization in which the Laplacian on $\RR^n$ is replaced by the Laplacian, plus suitable potential, on a nontrap** asymptotically conic manifold, which is the first time such a result has been proven in the variable coefficient setting. It is closely related to, but stronger than, Sogge's discrete $L^2$ restriction theorem, which is an $O(λ^{n(1/p - 1/p') - 1})$ estimate on the $L^p \to L^{p'}$ operator norm of the spectral projection for a spectral window of fixed length. From this, we deduce spectral multiplier estimates for these operators, including Bochner-Riesz summability results, which are sharp for $p$ in the range above.
△ Less
Submitted 30 April, 2012; v1 submitted 16 December, 2010;
originally announced December 2010.
-
$L_1$-uniqueness of degenerate elliptic operators
Authors:
Derek W. Robinson,
Adam Sikora
Abstract:
Let $Ω$ be an open subset of $\Ri^d$ with $0\in Ω$.
Further let $H_Ω=-\sum^d_{i,j=1}\partial_i\,c_{ij}\,\partial_j$ be a second-order partial differential operator with domain $C_c^\infty(Ω)$ where the coefficients $c_{ij}\in W^{1,\infty}_{\rm loc}(\barΩ)$ are real, $c_{ij}=c_{ji}$ and the coefficient matrix $C=(c_{ij})$ satisfies bounds $0<C(x)\leq c(|x|) I$ for all $x\in Ω$. If \[ \int^\infty_…
▽ More
Let $Ω$ be an open subset of $\Ri^d$ with $0\in Ω$.
Further let $H_Ω=-\sum^d_{i,j=1}\partial_i\,c_{ij}\,\partial_j$ be a second-order partial differential operator with domain $C_c^\infty(Ω)$ where the coefficients $c_{ij}\in W^{1,\infty}_{\rm loc}(\barΩ)$ are real, $c_{ij}=c_{ji}$ and the coefficient matrix $C=(c_{ij})$ satisfies bounds $0<C(x)\leq c(|x|) I$ for all $x\in Ω$. If \[ \int^\infty_0ds\,s^{d/2}\,e^{-λ\,μ(s)^2}<\infty \] for some $λ>0$ where $μ(s)=\int^s_0dt\,c(t)^{-1/2}$ then we establish that $H_Ω$ is $L_1$-unique, i.e.\ it has a unique $L_1$-extension which generates a continuous semigroup, if and only if it is Markov unique, i.e.\ it has a unique $L_2$-extension which generates a submarkovian semigroup. Moreover these uniqueness conditions are equivalent with the capacity of the boundary of $Ω$, measured with respect to $H_Ω$, being zero. We also demonstrate that the capacity depends on two gross features, the Hausdorff dimension of subsets $A$ of the boundary the set and the order of degeneracy of $H_Ω$ at $A$.
△ Less
Submitted 26 September, 2010;
originally announced September 2010.
-
Resolvent at low energy III: the spectral measure
Authors:
Colin Guillarmou,
Andrew Hassell,
Adam Sikora
Abstract:
Let $M^\circ$ be a complete noncompact manifold and $g$ an asymptotically conic Riemaniann metric on $M^\circ$, in the sense that $M^\circ$ compactifies to a manifold with boundary $M$ in such a way that $g$ becomes a scattering metric on $M$. Let $Δ$ be the positive Laplacian associated to $g$, and $P = Δ+ V$, where $V$ is a potential function obeying certain conditions. We analyze the asymptotic…
▽ More
Let $M^\circ$ be a complete noncompact manifold and $g$ an asymptotically conic Riemaniann metric on $M^\circ$, in the sense that $M^\circ$ compactifies to a manifold with boundary $M$ in such a way that $g$ becomes a scattering metric on $M$. Let $Δ$ be the positive Laplacian associated to $g$, and $P = Δ+ V$, where $V$ is a potential function obeying certain conditions. We analyze the asymptotics of the spectral measure $dE(λ) = (λ/πi) \big(R(λ+i0) - R(λ- i0) \big)$ of $P_+^{1/2}$, where $R(λ) = (P - λ^2)^{-1}$, as $λ\to 0$, in a manner similar to that done previously by the second author and Vasy, and by the first two authors. The main result is that the spectral measure has a simple, `conormal-Legendrian' singularity structure on a space which is obtained from $M^2 \times [0, λ_0)$ by blowing up a certain number of boundary faces. We use this to deduce results about the asymptotics of the wave solution operators $\cos(t \sqrt{P_+})$ and $\sin(t \sqrt{P_+})/\sqrt{P_+}$, and the Schrödinger propagator $e^{itP}$, as $t \to \infty$. In particular, we prove the analogue of Price's law for odd-dimensional asymptotically conic manifolds.
This result on the spectral measure has been used in a follow-up work by the authors (arXiv:1012.3780) to prove sharp restriction and spectral multiplier theorems on asymptotically conic manifolds.
△ Less
Submitted 30 April, 2012; v1 submitted 15 September, 2010;
originally announced September 2010.
-
Weighted norm inequalities, Gaussian bounds and sharp spectral multipliers
Authors:
Xuan Thinh Duong,
Adam Sikora,
Lixin Yan
Abstract:
Let $L$ be a non-negative self adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type. Assume that $L$ generates a holomorphic semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ have Gaussian upper bounds but possess no regularity in variables $x$ and $y$. In this article, we study weighted $L^p$-norm inequalities for spectral multipliers of $L$. We show sharp weighted Hörmander-ty…
▽ More
Let $L$ be a non-negative self adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type. Assume that $L$ generates a holomorphic semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ have Gaussian upper bounds but possess no regularity in variables $x$ and $y$. In this article, we study weighted $L^p$-norm inequalities for spectral multipliers of $L$. We show sharp weighted Hörmander-type spectral multiplier theorems follow from Gaussian heat kernel bounds and appropriate $L^2$ estimates of the kernels of the spectral multipliers. These results are applicable to spectral multipliers for large classes of operators including Laplace operators acting on Lie groups of polynomial growth or irregular non-doubling domains of Euclidean spaces, elliptic operators on compact manifolds and Schrödinger operators with non-negative potentials on complete Riemannian manifolds.
△ Less
Submitted 14 October, 2010; v1 submitted 9 March, 2010;
originally announced March 2010.
-
Markov uniqueness of degenerate elliptic operators
Authors:
Derek W. Robinson,
Adam Sikora
Abstract:
Let $Ω$ be an open subset of $\Ri^d$ and $H_Ω=-\sum^d_{i,j=1}\partial_i c_{ij} \partial_j$ a second-order partial differential operator on $L_2(Ω)$ with domain $C_c^\infty(Ω)$ where the coefficients $c_{ij}\in W^{1,\infty}(Ω)$ are real symmetric and $C=(c_{ij})$ is a strictly positive-definite matrix over $Ω$.
In particular, $H_Ω$ is locally strongly elliptic.
We analyze the submarkovian ext…
▽ More
Let $Ω$ be an open subset of $\Ri^d$ and $H_Ω=-\sum^d_{i,j=1}\partial_i c_{ij} \partial_j$ a second-order partial differential operator on $L_2(Ω)$ with domain $C_c^\infty(Ω)$ where the coefficients $c_{ij}\in W^{1,\infty}(Ω)$ are real symmetric and $C=(c_{ij})$ is a strictly positive-definite matrix over $Ω$.
In particular, $H_Ω$ is locally strongly elliptic.
We analyze the submarkovian extensions of $H_Ω$, i.e. the self-adjoint extensions which generate submarkovian semigroups. Our main result establishes that $H_Ω$ is Markov unique, i.e. it has a unique submarkovian extension, if and only if $\capp_Ω(\partialΩ)=0$ where $\capp_Ω(\partialΩ)$ is the capacity of the boundary of $Ω$ measured with respect to $H_Ω$. The second main result establishes that Markov uniqueness of $H_Ω$ is equivalent to the semigroup generated by the Friedrichs extension of $H_Ω$ being conservative.
△ Less
Submitted 22 December, 2009;
originally announced December 2009.
-
Riesz meets Sobolev
Authors:
Thierry Coulhon,
Adam Sikora
Abstract:
We show that the $L^p$ boundedness, $p>2$, of the Riesz transform on a complete non-compact Riemannian manifold with upper and lower Gaussian heat kernel estimates is equivalent to a certain form of Sobolev inequality. We also characterize in such terms the heat kernel gradient upper estimate on manifolds with polynomial growth.
We show that the $L^p$ boundedness, $p>2$, of the Riesz transform on a complete non-compact Riemannian manifold with upper and lower Gaussian heat kernel estimates is equivalent to a certain form of Sobolev inequality. We also characterize in such terms the heat kernel gradient upper estimate on manifolds with polynomial growth.
△ Less
Submitted 12 November, 2009;
originally announced November 2009.
-
Degenerate elliptic operators in one dimension
Authors:
Derek W. Robinson,
Adam Sikora
Abstract:
Let $H$ be the symmetric second-order differential operator on $L_2(\Ri)$ with domain $C_c^\infty(\Ri)$ and action $H\varphi=-(c \varphi')'$ where $ c\in W^{1,2}_{\rm loc}(\Ri)$ is a real function which is strictly positive on $\Ri\backslash\{0\}$ but with $c(0)=0$. We give a complete characterization of the self-adjoint extensions and the submarkovian extensions of $H$. In particular if…
▽ More
Let $H$ be the symmetric second-order differential operator on $L_2(\Ri)$ with domain $C_c^\infty(\Ri)$ and action $H\varphi=-(c \varphi')'$ where $ c\in W^{1,2}_{\rm loc}(\Ri)$ is a real function which is strictly positive on $\Ri\backslash\{0\}$ but with $c(0)=0$. We give a complete characterization of the self-adjoint extensions and the submarkovian extensions of $H$. In particular if $ν=ν_+\veeν_-$ where $ν_\pm(x)=\pm\int^{\pm 1}_{\pm x} c^{-1}$ then $H$ has a unique self-adjoint extension if and only if $ν\not\in L_2(0,1)$ and a unique submarkovian extension if and only if $ν\not\in L_\infty(0,1)$. In both cases the corresponding semigroup leaves $L_2(0,\infty)$ and $L_2(-\infty,0)$ invariant.
In addition we prove that for a general non-negative $ c\in W^{1,\infty}_{\rm loc}(\Ri)$ the corresponding operator $H$ has a unique submarkovian extension.
△ Less
Submitted 3 September, 2009;
originally announced September 2009.
-
Flows and invariance for elliptic operators
Authors:
A. F. M. ter Elst,
Derek W. Robinson,
Adam Sikora
Abstract:
Let $S$ be the submarkovian semigroup on $L_2({\bf R}^d)$ generated by a self-adjoint, second-order, divergence-form, elliptic operator $H$ with $W^{1,\infty}$ coefficients $c_{kl}$. Further let $Ω$ be an open subset of ${\bf R}^d$. Under mild conditions we prove that $S$ leaves $L_2(Ω)$ invariant if, and only if, it is invariant under the flows generated by the vector fields…
▽ More
Let $S$ be the submarkovian semigroup on $L_2({\bf R}^d)$ generated by a self-adjoint, second-order, divergence-form, elliptic operator $H$ with $W^{1,\infty}$ coefficients $c_{kl}$. Further let $Ω$ be an open subset of ${\bf R}^d$. Under mild conditions we prove that $S$ leaves $L_2(Ω)$ invariant if, and only if, it is invariant under the flows generated by the vector fields $\sum_{l=1}^d c_{kl} \partial_l$ for all $k$.
△ Less
Submitted 31 March, 2009;
originally announced March 2009.