Searcharxiv⌕ Search

arXiv subjects

Joanna Kania-Bartoszynska

Publications and source records attributed to Joanna Kania-Bartoszynska.

17 recordsLinked to original sources
arXiv2024

The Kauffman Bracket Skein Module at an irreducible representation

In this paper, we study the Kauffman bracket skein module of closed oriented three-manifolds at a non-multiple-of-four roots of unity. Our main result establishes that the localization of this module at a maximal ideal, which corresponds to an irreducible representation of the fundamental group of the manifold, forms a one-dimensional free module over the localized unreduced coordinate ring of the character variety. We apply this by proving that the dimension of the skein module of a homology sphere with finite character variety, when the order of the root of unity is not divisible by $4$, is greater than or equal to the dimension of the unreduced coordinate ring of the character variety. This leads to a computation of the dimension of the skein module with coefficients in rational functions for homology spheres with tame universal skein module.

math.GT↗
arXiv2024

Sliced skein algebras and geometric Kauffman bracket

The sliced skein algebra of a closed surface of genus $g$ with $m$ punctures, $\mathfrak{S}=Σ_{g,m}$, is the quotient of the Kauffman bracket skein algebra $\mathcal{S}_ξ(\mathfrak{S})$ corresponding to fixing the scalar values of its peripheral curves. We show that the sliced skein algebra of a finite type surface is a domain if the ground ring is a domain. When the quantum parameter $ξ$ is a root of unity we calculate the center of the sliced skein algebra and its PI-degree. Among applications we show that any smooth point of a sliced character variety is a fully Azumaya point of the skein algebra $\mathcal{S}_ξ(\mathfrak{S})$. For any $SL_2(\mathbb{C})$--representation $ρ$ of the fundamental group of an oriented connected 3-manifold $M$ and a root of unity $ξ$ with odd $ord(ξ^2)$, we introduce the $ρ$-reduced skein module $\mathcal{S}_{ξ,ρ}(M)$. We show that $\mathcal{S}_{ξ,ρ}(M)$ has dimension 1 when $M$ is closed and $ρ$ is irreducible. We also show that if $ρ$ is irreducible the $ρ$-reduced skein module of a handlebody, as a module over the skein algebra of its boundary, is simple and has the dimension equal to the PI-degree of the skein algebra of its boundary.

math.GT↗
arXiv2023

Skein Algebras of Three-Manifolds at 4th Roots of Unity

This paper introduces an algebra structure on the part of the skein module of an arbitrary $3$-manifold $M$ spanned by links that represent $0$ in $H_1(M;\mathbb{Z}_2)$ when the value of the parameter used in the Kauffman bracket skein relation is equal to $\pm {\bf i}$. It is proved that if $M$ has no $2$-torsion in $H_1(M;\mathbb{Z})$ then those algebras, $K_{\pm {\bf i}}^0(M)$, are naturally isomorphic to the corresponding algebras when the value of the parameter is $\pm 1$. This implies that the algebra $K_{\pm{\bf i}}^0(M)$ is the unreduced coordinate ring of the variety of $PSL_2(\mathbb{C})$-characters of $π_1(M)$ that lift to $SL_2(\mathbb{C})$-representations.

math.GT↗
arXiv2019

Unicity for Representations of the Kauffman bracket Skein Algebra

This paper resolves the unicity conjecture of Bonahon and Wong for the Kauffman bracket skein algebras of all oriented finite type surfaces at all roots of unity. The proof is a consequence of a general unicity theorem that says that the irreducible representations of a prime affine $k$-algebra over an algebraically closed field $k$, that is finitely generated as a module over its center, are generically classified by their central characters. The center of the Kauffman bracket skein algebra of any orientable surface at any root of unity is characterized, and it is proved that the skein algebra is finitely generated as a module over its center. It is shown that for any orientable surface the center of the skein algebra at any root of unity is the coordinate ring of an affine algebraic variety.

math.GT↗
arXiv2019

Dimension and Trace of the Kauffman Bracket Skein Algebra

Let $F$ be a finite type surface and $ζ$ a complex root of unity. The Kauffman bracket skein algebra $K_ζ(F)$ is an important object in both classical and quantum topology as it has relations to the character variety, the Teichmüller space, the Jones polynomial, and the Witten-Reshetikhin-Turaev Topological Quantum Field Theories. We compute the rank and trace of $K_ζ(F)$ over its center, and we extend a theorem of Frohman and Kania-Bartoszynska which says the skein algebra has a splitting coming from two pants decompositions of $F$.

math.GT↗
arXiv2016

The Structure of the Kauffman Bracket Skein Algebra at Roots of Unity

This paper is focused on the structure of the Kauffman bracket skein algebra of a punctured surface at roots of unity. A criterion that determines when a collection of skeins forms a basis of the skein algebra as an extension over the $SL(2,{\mathbb C})$ characters of the fundamental group of the surface, with appropriate localization is given. This is used to prove that when the algebra is localized so that every nonzero element of the center has a multiplicative inverse, that it is a division algebra. Finally, it is proved that the localized skein algebra can be split over its center as a tensor product of two commutative subalgebras.

math.GT↗
arXiv2011

Dubois' Torsion, A-polynomial and Quantum Invariants

It is shown that for knots with a sufficiently regular character variety the Dubois' torsion detects the A-polynomial of the knot. A global formula for the integral of the Dubois torsion is given. The formula looks like the heat kernel regularization of the formula for the Witten-Reshetikhin-Turaev invariant of the double of the knot complement. The Dubois' torsion is recognized as the pushforward of a measure on the character variety of the double of the knot complement coming from the square root of Reidemeister torsion. This is used to motivate a conjecture about quantum invariants detecting the A-polynomial.

math.GT↗
arXiv2004

Shadow world evaluation of the Yang-Mills measure

A new state-sum formula for the evaluation of the Yang-Mills measure in the Kauffman bracket skein algebra of a closed surface is derived. The formula extends the Kauffman bracket to diagrams that lie in surfaces other than the plane. It also extends Turaev's shadow world invariant of links in a circle bundle over a surface away from roots of unity. The limiting behavior of the Yang-Mills measure when the complex parameter approaches -1 is studied. The formula is applied to compute integrals of simple closed curves over the character variety of the surface against Goldman's symplectic measure.

math.GT↗
arXiv2003

The Quantum Content of the Normal Surfaces in a Three-Manifold

The formula for the Turaev-Viro invariant of a 3-manifold depends on a complex parameter t. When t is not a root of unity, the formula becomes an infinite sum. This paper analyzes convergence of this sum when t does not lie on the unit circle, in the presence of an efficient triangulation of the three-manifold. The terms of the sum can be indexed by surfaces lying in the three-manifold. The contribution of a surface is largest when the surface is normal and when its genus is the lowest.

math.GT↗
arXiv2000

The Yang-Mills Measure in the Kauffman Bracket Skein Module

For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character variety of the fundamental group of F.

math.GT↗
arXiv1999

Quantum Obstruction Theory

We use topological quantum field theory to derive an invariant of a three-manifold with boundary. We then show how to use this invariant as an obstruction to embedding one three-manifold in another.

math.GT↗
arXiv1997

Skein Homology

For each skein module we describe a homology theory which, for any three manifold recovers the skein module at its zero level. The theory measures skein-like relations among skein relations, mimicking Hilbert's theory of syzygies. We work explicit examples for the homology groups corresponding to the Kauffman bracket. It is shown, in particular, that for every manifold most of the groups are non-trivial.

q-alg↗
arXiv1996

Skein Quantization and Lattice Gauge Field Theory

This is a survey article describing the various ways in which the Kauffman bracket skein module is a quantization of surface group characters. These include a purely heuristic sense of deformation of a presentation, a Poisson quantization, and a lattice gauge field theory quantization.

q-alg↗
arXiv1996

Understanding the Kauffman bracket skein module

The Kauffman bracket skein module $K(M)$ of a 3-manifold $M$ is defined over formal power series in the variable $h$ by letting $A=e^{h/4}$. For a compact oriented surface $F$, it is shown that $K(F \times I)$ is a quantization of the $\g$-characters of the fundamental group of $F$, corresponding to a geometrically defined Poisson bracket. Finite type invariants for unoriented knots and links are defined. Topologically free Kauffman bracket modules are shown to generate finite type invariants. It is shown for compact $M$ that $K(M)$ can be generated as a module by cables on a finite set of knots. Moreover, if $M$ contains no incompressible surfaces, the module is finitely generated.

q-alg↗