Showing 1–38 of 38 results for author: Gilmer, P

On the skein module of the product of a surface and a circle

Authors: Patrick M. Gilmer, Gregor Masbaum

Abstract: Let Sigma be a closed oriented surface of genus g. We show that the Kauffman bracket skein module of Sigma x S^1 over the field of rational functions in A has dimension at least 2^{2g+1}+2g-1. Let Sigma be a closed oriented surface of genus g. We show that the Kauffman bracket skein module of Sigma x S^1 over the field of rational functions in A has dimension at least 2^{2g+1}+2g-1. △ Less

Submitted 15 April, 2019; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: 15 pages, 1 figure, to appear in Proc. A.M.S

MSC Class: 57N10; 57M99; 57R56

An application of TQFT to modular representation theory

Authors: Patrick M. Gilmer, Gregor Masbaum

Abstract: For p>3 a prime, and g>2 an integer, we use Topological Quantum Field Theory (TQFT) to study a family of p-1 highest weight modules L_p(lambda) for the symplectic group Sp(2g,K) where K is an algebraically closed field of characteristic p. This permits explicit formulae for the dimension and the formal character of L_p(lambda) for these highest weights. For p>3 a prime, and g>2 an integer, we use Topological Quantum Field Theory (TQFT) to study a family of p-1 highest weight modules L_p(lambda) for the symplectic group Sp(2g,K) where K is an algebraically closed field of characteristic p. This permits explicit formulae for the dimension and the formal character of L_p(lambda) for these highest weights. △ Less

Submitted 4 May, 2017; v1 submitted 30 June, 2016; originally announced June 2016.

Comments: 24 pages, 3 figures. v2: Lemma 3.1 and Appendix A added

Journal ref: Invent. math. (2017) 210:501--530

On the Kauffman bracket skein module of the 3-torus

Authors: Patrick M. Gilmer

Abstract: Carrega has shown that the Kauffman bracket skein module of the 3-torus over the field of rational functions in the variable A can be generated by 9 skein elements. We show this set of generators is linearly independent. Carrega has shown that the Kauffman bracket skein module of the 3-torus over the field of rational functions in the variable A can be generated by 9 skein elements. We show this set of generators is linearly independent. △ Less

Submitted 11 July, 2016; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 5 pages

Signatures of real algebraic curves via plumbing diagrams

Authors: Patrick M. Gilmer, Stepan Yu. Orevkov

Abstract: We define and calculate signature and nullity invariants for complex schemes for curves in the real projective plane. We use an analog of the Murasugi-Tristram inequality to prohibit certain schemes from being realized by real algebraic curves. We give new formulas for Casson-Gordon invariants of graph manifolds, and signatures of graph links. We define and calculate signature and nullity invariants for complex schemes for curves in the real projective plane. We use an analog of the Murasugi-Tristram inequality to prohibit certain schemes from being realized by real algebraic curves. We give new formulas for Casson-Gordon invariants of graph manifolds, and signatures of graph links. △ Less

Submitted 26 November, 2017; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: 28 pages

Journal ref: J. Knot Theory Ramifications 27, 1840003 (2018) [33 pages]

Signature Jumps and Alexander Polynomials for Links

Authors: Patrick M. Gilmer, Charles Livingston

Abstract: We relate the jumps of the signature function of a link to the roots of its first nonzero higher Alexander polynomial. We relate the jumps of the signature function of a link to the roots of its first nonzero higher Alexander polynomial. △ Less

Submitted 29 January, 2016; v1 submitted 18 August, 2015; originally announced August 2015.

Comments: 9 pages, 1 figure

MSC Class: 57M25

Journal ref: Proc. AMS 144 (2016) 5407-5417

Even and odd Kauffman bracket ideals for genus-1 tangles

Authors: Susan M. Abernathy, Patrick M. Gilmer

Abstract: This paper refines previous work by the first author. We study the question of which links in the 3-sphere can be obtained as closures of a given 1-manifold in an unknotted solid torus in the 3-sphere (or genus-1 tangle) by adjoining another 1-manifold in the complementary solid torus. We distinguish between even and odd closures, and define even and odd versions of the Kauffman bracket ideal. The… ▽ More This paper refines previous work by the first author. We study the question of which links in the 3-sphere can be obtained as closures of a given 1-manifold in an unknotted solid torus in the 3-sphere (or genus-1 tangle) by adjoining another 1-manifold in the complementary solid torus. We distinguish between even and odd closures, and define even and odd versions of the Kauffman bracket ideal. These even and odd Kauffman bracket ideals are used to obstruct even and odd tangle closures. Using a basis of Habiro's for the even Kauffman bracket skein module of the solid torus, we define bases for the even and odd skein module of the solid torus relative to two points. These even and odd bases allow us to compute a finite list of generators for the even and odd Kauffman bracket ideals of a genus-1 tangle. We do this explicitly for three examples. Furthermore, we use the even and odd Kauffman bracket ideals to conclude in some cases that the determinants of all even/odd closures of a genus-1 tangle possess a certain divisibility. △ Less

Submitted 23 August, 2016; v1 submitted 29 July, 2014; originally announced July 2014.

Comments: 13 pages

MSC Class: 57M25

Journal ref: New York J. Math. 22 (2016) 1039-1053

Two functions on Sp(g,R)

Authors: Patrick M. Gilmer

Abstract: We consider two functions on Sp(g,R) with values in the cyclic group of order four {1,-1,i,-i}. One was defined by Lion and Vergne. The other is -i raised to the power given by an integer valued function defined by Masbaum and the author (initially on the mapping class group of a surface). We identify these functions when restricted to Sp(g,Z). We conjecture the identity of these functions on Sp(g… ▽ More We consider two functions on Sp(g,R) with values in the cyclic group of order four {1,-1,i,-i}. One was defined by Lion and Vergne. The other is -i raised to the power given by an integer valued function defined by Masbaum and the author (initially on the mapping class group of a surface). We identify these functions when restricted to Sp(g,Z). We conjecture the identity of these functions on Sp(g,R). △ Less

Submitted 20 February, 2015; v1 submitted 5 August, 2013; originally announced August 2013.

Comments: 8 pages

MSC Class: 53D12; 19C09; 57M99; 11E39

Journal ref: Comptes Rendus - Mathematique, 353, Issue 6, (2015), 477-481

On the Turaev-Viro endomorphism, and the colored Jones polynomial

Authors: Xuanting Cai, Patrick M. Gilmer

Abstract: By applying a variant of the TQFT constructed by Blanchet, Habegger, Masbaum, and Vogel, and using a construction of Ohtsuki, we define a module endomorphism for each knot K by using a tangle obtained from a surgery presentation of K. We show that it is strong shift equivalent to the Turaev-Viro endomorphism associated to K. Following Viro, we consider the endomorphisms that one obtains after colo… ▽ More By applying a variant of the TQFT constructed by Blanchet, Habegger, Masbaum, and Vogel, and using a construction of Ohtsuki, we define a module endomorphism for each knot K by using a tangle obtained from a surgery presentation of K. We show that it is strong shift equivalent to the Turaev-Viro endomorphism associated to K. Following Viro, we consider the endomorphisms that one obtains after coloring the meridian and longitude of the knot. We show that the traces of these endomorphisms encode the same information as the colored Jones polynomials of K at a root of unity. Most of the discussion is carried out in the more general setting of infinite cyclic covers of 3-manifolds. △ Less

Submitted 9 September, 2012; v1 submitted 8 February, 2012; originally announced February 2012.

Comments: 27 pages, 18 figures, typos corrected, expositional changes

MSC Class: 57M25; 57R56

Journal ref: Algebr. Geom. Topol. 13 (2013) 375-408

Extra structure and the universal construction for the Witten-Reshetikhin-Turaev TQFT

Authors: Patrick M. Gilmer, Xuanye Wang

Abstract: A TQFT is a functor from a cobordism category to the category of vector spaces, satisfying certain properties. An important property is that the vector spaces should be finite dimensional. For the WRT TQFT, the relevant 2+1-cobordism category is built from manifolds which are equipped with an extra structure such as a p_1-structure, or an extended manifold structure. We perform the universal const… ▽ More A TQFT is a functor from a cobordism category to the category of vector spaces, satisfying certain properties. An important property is that the vector spaces should be finite dimensional. For the WRT TQFT, the relevant 2+1-cobordism category is built from manifolds which are equipped with an extra structure such as a p_1-structure, or an extended manifold structure. We perform the universal construction of Blanchet, Habegger, Masbaum and Vogel on a cobordism category without this extra structure and show that the resulting quantization functor assigns an infinite dimensional vector space to the torus. △ Less

Submitted 27 August, 2012; v1 submitted 9 January, 2012; originally announced January 2012.

Comments: 5 pages, 1 figure; typos corrected; other minor changes

MSC Class: 57R56; 57M99

Journal ref: Proc. Amer. Math. Soc. 142 (2014), 2915-2920

Dimension formulas for some modular representations of the symplectic group in the natural characteristic

Authors: Patrick M. Gilmer, Gregor Masbaum

Abstract: We compare the dimensions of the irreducible Sp(2g,K)-modules over a field K of characteristic p constructed by Gow with the dimensions of the irreducible Sp(2g,F_p)-modules that appear in the first approximation to representations of mapping class groups of surfaces in Integral Topological Quantum Field Theory. For this purpose, we derive a trigonometric formula for the dimensions of Gow's repres… ▽ More We compare the dimensions of the irreducible Sp(2g,K)-modules over a field K of characteristic p constructed by Gow with the dimensions of the irreducible Sp(2g,F_p)-modules that appear in the first approximation to representations of mapping class groups of surfaces in Integral Topological Quantum Field Theory. For this purpose, we derive a trigonometric formula for the dimensions of Gow's representations. This formula is equivalent to a special case of a formula contained in unpublished work of Foulle. Our direct proof is simpler than the proof of Foulle's more general result, and is modeled on the proof of the Verlinde formula in TQFT. △ Less

Submitted 12 November, 2011; v1 submitted 1 November, 2011; originally announced November 2011.

Comments: 7 pages; Added references to work of Foulle

MSC Class: 20G05 (Primary) 57R36 (Secondary)

Journal ref: J. Pure Appl. Algebra 217 (2013), no. 1, 82--86

Irreducible factors of modular representations of mapping class groups arising in Integral TQFT

Authors: Patrick M. Gilmer, Gregor Masbaum

Abstract: We find decomposition series of length at most two for modular representations in positive characteristic of mapping class groups of surfaces induced by an integral version of the Witten-Reshetikhin-Turaev SO(3)-TQFT at the p-th root of unity, where p is an odd prime. The dimensions of the irreducible factors are given by Verlinde-type formulas. We find decomposition series of length at most two for modular representations in positive characteristic of mapping class groups of surfaces induced by an integral version of the Witten-Reshetikhin-Turaev SO(3)-TQFT at the p-th root of unity, where p is an odd prime. The dimensions of the irreducible factors are given by Verlinde-type formulas. △ Less

Submitted 3 November, 2012; v1 submitted 25 October, 2011; originally announced October 2011.

Comments: 29 pages, two conjectures made in Remark 7.3 of version 1 are now proved in the added subsection 7.5; simplified equation (5); added Remark 7.5; rewrote parts of section 4 to make paper more self-contained

MSC Class: 57R56; 57M99

Journal ref: Quantum Topology, 5, Issue 2, 2014, pp. 225-258

On surgery curves for genus one slice knots

Authors: Patrick M. Gilmer, Charles Livingston

Abstract: If a knot K bounds a genus one Seifert surface F in the 3-sphere and F contains an essential simple closed curve alpha that has induced framing 0 and is smoothly slice, then K is smoothly slice. Conjecturally, the converse holds. It is known that if K is slice, then there are strong constraints on the algebraic concordance class of such alpha, and it was thought that these constraints might imply… ▽ More If a knot K bounds a genus one Seifert surface F in the 3-sphere and F contains an essential simple closed curve alpha that has induced framing 0 and is smoothly slice, then K is smoothly slice. Conjecturally, the converse holds. It is known that if K is slice, then there are strong constraints on the algebraic concordance class of such alpha, and it was thought that these constraints might imply that alpha is at least algebraically slice. We present a counterexample; in the process we answer negatively a question of Cooper and relate the result to a problem of Kauffman. Results of this paper depend on the interplay between the Casson-Gordon invariants of K and algebraic invariants of alpha. △ Less

Submitted 26 December, 2012; v1 submitted 7 September, 2011; originally announced September 2011.

Comments: 17 pages, 1 figure. Typographical corrections

MSC Class: 57M25

Journal ref: Pac. J. Math. 265 (2013), 405-425

The nonorientable four-genus of knots

Authors: Patrick M. Gilmer, Charles Livingston

Abstract: We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger obstructions are based on the Ozsvath-Szabo correction term in Heegaard-Floer homology, along with the G-signature theorem and the Guillou-Marin generalization of Rokhlin… ▽ More We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger obstructions are based on the Ozsvath-Szabo correction term in Heegaard-Floer homology, along with the G-signature theorem and the Guillou-Marin generalization of Rokhlin's theorem. We also apply Casson-Gordon theory to show that for every n greater than one there exists a knot that does not bound a topologically embedded nonorientable ribbon surface F in the 4-ball with first Betti number less than n. △ Less

Submitted 6 February, 2011; v1 submitted 29 May, 2010; originally announced May 2010.

Comments: 20 pages; expository changes

MSC Class: 57M25

Journal ref: J. Lond. Math. Soc. (2) 84 (2011), no. 3, 559-577

Maslov index, Lagrangians, Mapping Class Groups and TQFT

Authors: Patrick M. Gilmer, Gregor Masbaum

Abstract: Given a mapping class f of an oriented surface Sigma and a lagrangian lambda in the first homology of Sigma, we define an integer n_{lambda}(f). We use n_{lambda}(f) (mod 4) to describe a universal central extension of the mapping class group of Sigma as an index-four subgroup of the extension constructed from the Maslov index of triples of lagrangian subspaces in the homology of the surface. We g… ▽ More Given a mapping class f of an oriented surface Sigma and a lagrangian lambda in the first homology of Sigma, we define an integer n_{lambda}(f). We use n_{lambda}(f) (mod 4) to describe a universal central extension of the mapping class group of Sigma as an index-four subgroup of the extension constructed from the Maslov index of triples of lagrangian subspaces in the homology of the surface. We give two descriptions of this subgroup. One is topological using surgery, the other is homological and builds on work of Turaev and work of Walker. Some applications to TQFT are discussed. They are based on the fact that our construction allows one to precisely describe how the phase factors that arise in the skein theory approach to TQFT-representations of the mapping class group depend on the choice of a lagrangian on the surface. △ Less

Submitted 6 July, 2011; v1 submitted 23 December, 2009; originally announced December 2009.

Comments: 31 pages, 11 Figures. to appear in Forum Mathematicum

Journal ref: Forum Math. 25 (2013), no. 5, 1067-1106

Integral TQFT for a one-holed torus

Authors: Patrick M. Gilmer, Gregor Masbaum

Abstract: We give new explicit formulas for the representations of the mapping class group of a genus one surface with one boundary component which arise from Integral TQFT. Our formulas allow one to compute the h-adic expansion of the TQFT-matrix associated to a mapping class in a straightforward way. Truncating the h-adic expansion gives an approximation of the representation by representations into finit… ▽ More We give new explicit formulas for the representations of the mapping class group of a genus one surface with one boundary component which arise from Integral TQFT. Our formulas allow one to compute the h-adic expansion of the TQFT-matrix associated to a mapping class in a straightforward way. Truncating the h-adic expansion gives an approximation of the representation by representations into finite groups. As a special case, we study the induced representations over finite fields and identify them up to isomorphism. The key technical ingredient of the paper are new bases of the Integral TQFT modules which are orthogonal with respect to the Hopf pairing. We construct these orthogonal bases in arbitrary genus, and briefly describe some other applications of them. △ Less

Submitted 28 February, 2011; v1 submitted 19 August, 2009; originally announced August 2009.

Comments: 18 pages, 8 figures. version 3: Minor expository changes. Bibliography updated

MSC Class: 57R56

Journal ref: Pacific Journal of Mathematics, vol 252 No 1 (2011), 93--112

Heegaard genus, cut number, weak p-congruence, and quantum invariants

Authors: Patrick M. Gilmer

Abstract: We use quantum invariants to define a 3-manifold invariant j_p which lies in the non-negative integers. We relate j_p to the Heegard genus, and the cut number. We show that j_$ is an invariant of weak p-congruence. We use quantum invariants to define a 3-manifold invariant j_p which lies in the non-negative integers. We relate j_p to the Heegard genus, and the cut number. We show that j_$ is an invariant of weak p-congruence. △ Less

Submitted 21 September, 2009; v1 submitted 23 October, 2008; originally announced October 2008.

Comments: to appear in JKTR. 8pages 1 figure

MSC Class: 57m25

Journal ref: J. Knot Theory and its Ramif., vol 18, No.10 (2009) 1359-1368

Remarks on Congruence of 3-manifolds

Authors: Patrick M. Gilmer

Abstract: We give two proofs that the 3-torus is not weakly d-congruent to the connected sum of three S^1xS^2's, if d>2. We study how cohomology ring structure relates to weak congruence. We give an example of three 3--manifolds which are weakly 5-congruent but are not 5-congruent. We give two proofs that the 3-torus is not weakly d-congruent to the connected sum of three S^1xS^2's, if d>2. We study how cohomology ring structure relates to weak congruence. We give an example of three 3--manifolds which are weakly 5-congruent but are not 5-congruent. △ Less

Submitted 16 November, 2007; originally announced November 2007.

Comments: 4 pages, to appear in JKTR

MSC Class: 57M27

Journal ref: J. Knot Theory and its Ramif. 16, (2007), 1357 -- 1360

Quantum invariants and free Z_{p^2} -actions on 3-manifolds

Authors: Patrick M. Gilmer, Khaled Qazaqzeh

Abstract: We give a congruence for the quantum invariant of a Z_p-quotient of a 3$-manifold with a Z_{p^2} action. We show the congruence does not hold for quotients of 3--manifolds with a Z_{5}xZ_{5} action. We give a congruence for the quantum invariant of a Z_p-quotient of a 3$-manifold with a Z_{p^2} action. We show the congruence does not hold for quotients of 3--manifolds with a Z_{5}xZ_{5} action. △ Less

Submitted 16 June, 2008; v1 submitted 8 October, 2007; originally announced October 2007.

Comments: 11 pages, typos corrected, further explanations given

Journal ref: Acta Mathematica Vietnamica 33, No 3, (2008), 279--290

Congruence and similarity of 3-manifolds

Authors: Patrick M. Gilmer

Abstract: Let f be an integer greater than one. We study three progressively finer equivalence relations on closed 3-manifolds generated by Dehn surgery with denominator f: weak f-congruence, f-congruence, and strong f-congruence. If f is odd, weak f-congruence preserves the ring structure on cohomology with Z_f-coefficients. We show that strong f-congruence coincides with a relation previously studied by… ▽ More Let f be an integer greater than one. We study three progressively finer equivalence relations on closed 3-manifolds generated by Dehn surgery with denominator f: weak f-congruence, f-congruence, and strong f-congruence. If f is odd, weak f-congruence preserves the ring structure on cohomology with Z_f-coefficients. We show that strong f-congruence coincides with a relation previously studied by Lackenby. Lackenby showed that the quantum SU(2) invariants are well-behaved under this congruence. We strengthen this result and extend it to the SO(3) quantum invariants. We also obtain some corresponding results for the coarser equivalence relations, and for quantum invariants associated to more general modular categories. We compare S^3, the Poincare homology sphere, the Brieskorn homology sphere Sigma(2,3,7) and their mirror images up to strong f-congruence. We distinguish the weak f-congruence classes of some manifolds with the same Z_f-cohomology ring structure. △ Less

Submitted 21 December, 2007; v1 submitted 11 December, 2006; originally announced December 2006.

Comments: 24 pages,5 figures

MSC Class: 57M99; 57R56

Journal ref: Algebr. Geom. Topol. 7 (2007) 1767-1790

Arf invariants of real algebraic curves

Authors: Patrick M. Gilmer

Abstract: We give some new congruences for singular real algebraic curves which generalize Fiedler's congruence for nonsingular curves. We give some new congruences for singular real algebraic curves which generalize Fiedler's congruence for nonsingular curves. △ Less

Submitted 8 November, 2005; v1 submitted 6 October, 2005; originally announced October 2005.

Comments: 14 pages

Journal ref: Pacific J Math., 230, (2007), 297--313

On the Frohman Kania-Bartoszynska ideal

Authors: Patrick M. Gilmer

Abstract: The Frohman Kania-Bartoszynska ideal is an invariant associated to a 3-manifold with boundary and a prime p >3. We give some estimates of this ideal. We also calculate this invariant for some 3-manifolds constructed by doing surgery on a knot in the complement of another knot. The Frohman Kania-Bartoszynska ideal is an invariant associated to a 3-manifold with boundary and a prime p >3. We give some estimates of this ideal. We also calculate this invariant for some 3-manifolds constructed by doing surgery on a knot in the complement of another knot. △ Less

Submitted 26 August, 2005; v1 submitted 18 November, 2004; originally announced November 2004.

Comments: 7pages, 1 figure

MSC Class: 57M99

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society / Volume 141 / Issue 02 / September 2006, pp 265-271

Integral Lattices in TQFT

Authors: Patrick M. Gilmer, Gregor Masbaum

Abstract: We find explicit bases for naturally defined lattices over a ring of algebraic integers in the SO(3) TQFT-modules of surfaces at roots of unity of odd prime order. Some applications relating quantum invariants to classical 3-manifold topology are given. We find explicit bases for naturally defined lattices over a ring of algebraic integers in the SO(3) TQFT-modules of surfaces at roots of unity of odd prime order. Some applications relating quantum invariants to classical 3-manifold topology are given. △ Less

Submitted 23 July, 2007; v1 submitted 1 November, 2004; originally announced November 2004.

Comments: 31 pages, v2: minor modifications. To appear in Ann. Sci. Ecole Norm. Sup

MSC Class: 57R56

Journal ref: Annales Scientifiques de l'Ecole Normale Superieure, 40, (2007), 815--844

On the Kauffman bracket skein module of the quaternionic manifold

Authors: Patrick M. Gilmer, John M. Harris

Abstract: We use recoupling theory to study the Kauffman bracket skein module of the quaternionic manifold over Z[A,A^{-1}] localized by inverting all the cyclotomic polynomials. We prove that the skein module is spanned by five elements. Using the quantum invariants of these skein elements and the Z_2 homology of the manifold, we determine that they are linearly independent. We use recoupling theory to study the Kauffman bracket skein module of the quaternionic manifold over Z[A,A^{-1}] localized by inverting all the cyclotomic polynomials. We prove that the skein module is spanned by five elements. Using the quantum invariants of these skein elements and the Z_2 homology of the manifold, we determine that they are linearly independent. △ Less

Submitted 14 December, 2004; v1 submitted 8 June, 2004; originally announced June 2004.

Comments: corrected summation signs in figures 14, 15, 17. Other minor changes

MSC Class: 59M99

Journal ref: J. Knot Theory Ramifications 16, 103 (2007)

The parity of the Maslov index and the even cobordism category

Authors: Patrick M. Gilmer, Khaled Qazaqzeh

Abstract: We give a formula for the parity of the Maslov index of a triple of Lagrangian subspaces of a skew symmetric bilinear form over the real numbers. We define an index two subcategory (the even subcategory) of a 3-dimensional cobordism category. The objects of the category are surfaces are equipped with Lagrangian subspaces of their real first homology. This generalizes a result of the first author… ▽ More We give a formula for the parity of the Maslov index of a triple of Lagrangian subspaces of a skew symmetric bilinear form over the real numbers. We define an index two subcategory (the even subcategory) of a 3-dimensional cobordism category. The objects of the category are surfaces are equipped with Lagrangian subspaces of their real first homology. This generalizes a result of the first author where surfaces are equipped with Lagrangian subspaces of their rational first homology. △ Less

Submitted 18 May, 2005; v1 submitted 14 January, 2004; originally announced January 2004.

Comments: 7 pages, minor changes

MSC Class: 57M99

Journal ref: Fundamenta Mathematicae 188(2005), 95-102

On the slice genus of links

Authors: Vincent Florens, Patrick M. Gilmer

Abstract: We define Casson-Gordon sigma-invariants for links and give a lower bound of the slice genus of a link in terms of these invariants. We study as an example a family of two component links of genus h and show that their slice genus is h, whereas the Murasugi-Tristram inequality does not obstruct this link from bounding an annulus in the 4-ball. We define Casson-Gordon sigma-invariants for links and give a lower bound of the slice genus of a link in terms of these invariants. We study as an example a family of two component links of genus h and show that their slice genus is h, whereas the Murasugi-Tristram inequality does not obstruct this link from bounding an annulus in the 4-ball. △ Less

Submitted 9 November, 2003; originally announced November 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-30.abs.html

MSC Class: 57M25; 57M27

Journal ref: Algebr. Geom. Topol. 3 (2003) 905-920

Integral bases for TQFT modules and unimodular representations of mapping class groups

Authors: Patrick M. Gilmer, Gregor Masbaum, Paul van Wamelen

Abstract: We construct integral bases for the SO(3)-TQFT-modules of surfaces in genus one and two at roots of unity of prime order and show that the corresponding mapping class group representations preserve a unimodular Hermitian form over a ring of algebraic integers. For higher genus surfaces the Hermitian form sometimes must be non-unimodular. In one such case, genus 3 and p=5, we still give an explic… ▽ More We construct integral bases for the SO(3)-TQFT-modules of surfaces in genus one and two at roots of unity of prime order and show that the corresponding mapping class group representations preserve a unimodular Hermitian form over a ring of algebraic integers. For higher genus surfaces the Hermitian form sometimes must be non-unimodular. In one such case, genus 3 and p=5, we still give an explicit basis. △ Less

Submitted 11 July, 2002; originally announced July 2002.

MSC Class: 21 pages

Journal ref: Comment. Math. Helv. 79 (2004), no. 2, 260--284

Integrality for TQFTs

Authors: Patrick M. Gilmer

Abstract: We discuss ways that the ring of coefficients for a TQFT can be reduced if one restricts somewhat the allowed cobordisms. When we apply these methods to a TQFT associated to SO(3) at an odd prime p, we obtain a functor from a somewhat restricted cobordism category to the category of free finitely generated modules over a ring of cyclotomic integers :Z [zeta_{2p}], if p \equiv -1 mod{4}, and Z [z… ▽ More We discuss ways that the ring of coefficients for a TQFT can be reduced if one restricts somewhat the allowed cobordisms. When we apply these methods to a TQFT associated to SO(3) at an odd prime p, we obtain a functor from a somewhat restricted cobordism category to the category of free finitely generated modules over a ring of cyclotomic integers :Z [zeta_{2p}], if p \equiv -1 mod{4}, and Z [zeta_{4p}], if p \equiv 1 \pmod{4}, where zeta_k is a primitive kth root of unity. We study the quantum invariants of prime power order simple cyclic covers of 3-manifolds. We define new invariants arising from strong shift equivalence and integrality. Similar results are obtained for some other TQFTs but the modules are only guaranteed to be projective. △ Less

Submitted 14 January, 2004; v1 submitted 8 May, 2001; originally announced May 2001.

Comments: 18 pages, a more explicit definition of even morphism is given. the paper has been rearranged and partially rewritten

MSC Class: 57M

Journal ref: Duke Math J, 125 (2004), no. 2, 389--413

The Homflypt skein module of a connected sum of 3-manifolds

Authors: Patrick M. Gilmer, Jianyuan K. Zhong

Abstract: If M is an oriented 3-manifold, let S(M) denote the Homflypt skein module of M. We show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensor S(M_2) modulo torsion. In fact, we show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensot S(M_2) if we are working over a certain localized ring. We show the similar result holds for relative skein modules. If M contains a separating 2-sphere… ▽ More If M is an oriented 3-manifold, let S(M) denote the Homflypt skein module of M. We show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensor S(M_2) modulo torsion. In fact, we show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensot S(M_2) if we are working over a certain localized ring. We show the similar result holds for relative skein modules. If M contains a separating 2-sphere, we give conditions under which certain relative skein modules of M vanish over specified localized rings. △ Less

Submitted 6 November, 2001; v1 submitted 8 December, 2000; originally announced December 2000.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-31.abs.html

MSC Class: 57M25

Journal ref: Algebr. Geom. Topol. 1 (2001) 605-625

On The Homflypt Skein Module of S^1 x S^2

Authors: Patrick M. Gilmer, Jianyuan Zhong

Abstract: Let $k$ be a subring of the field of rational functions in $x, v, s$ which contains $x^{\pm 1}, v^{\pm 1}, s^{\pm 1}$. If $M$ is an oriented 3-manifold, let $S(M)$ denote the Homflypt skein module of $M$ over $k$. This is the free $k$-module generated by isotopy classes of framed oriented links in $M$ quotiented by the Homflypt skein relations: (1) $x^{-1}L_{+}-xL_{-}=(s-s^{-1})L_{0}$; (2) $L$ w… ▽ More Let $k$ be a subring of the field of rational functions in $x, v, s$ which contains $x^{\pm 1}, v^{\pm 1}, s^{\pm 1}$. If $M$ is an oriented 3-manifold, let $S(M)$ denote the Homflypt skein module of $M$ over $k$. This is the free $k$-module generated by isotopy classes of framed oriented links in $M$ quotiented by the Homflypt skein relations: (1) $x^{-1}L_{+}-xL_{-}=(s-s^{-1})L_{0}$; (2) $L$ with a positive twist $=(xv^{-1})L$; (3) $L\sqcup O=(\frac{v-v^{-1}}{s-s^{-1}})L$ where $O$ is the unknot. We give two bases for the relative Homflypt skein module of the solid torus with 2 points in the boundary. The first basis is related to the basis of $S(S^1\times D^2)$ given by V. Turaev and also J. Hoste and M. Kidwell; the second basis is related to a Young idempotent basis for $S(S^1\times D^2)$ based on the work of A. Aiston, H. Morton and C. Blanchet. We prove that if the elements $s^{2n}-1$, for $n$ a nonzero integer, and the elements $s^{2m}-v^{2}$, for any integer $m$, are invertible in $k$, then $S(S^{1} \times S^2)=k$-torsion module $\oplus k$. Here the free part is generated by the empty link $φ$. In addition, if the elements $s^{2m}-v^{4}$, for $m$ an integer, are invertible in $k$, then $S(S^{1} \times S^2)$ has no torsion. We also obtain some results for more general $k$. △ Less

Submitted 20 July, 2000; originally announced July 2000.

Comments: 36 pages, many figures, amslatex

MSC Class: 57M99

Journal ref: Math. Zeit., 237 (2001), 769-814

Quantum invariants of periodic three-manifolds

Authors: Patrick M. Gilmer

Abstract: Let p be an odd prime and r be relatively prime to p. Let G be a finite p-group. Suppose an oriented 3-manifold M-tilde has a free G-action with orbit space M. We consider certain Witten-Reshetikhin-Turaev SU(2) invariants w_r(M). We will give a fomula for w_r(M) in terms of the defect of M-tilde --> M and the number of elements in G. We also give a version of this result if M and M-tilde contai… ▽ More Let p be an odd prime and r be relatively prime to p. Let G be a finite p-group. Suppose an oriented 3-manifold M-tilde has a free G-action with orbit space M. We consider certain Witten-Reshetikhin-Turaev SU(2) invariants w_r(M). We will give a fomula for w_r(M) in terms of the defect of M-tilde --> M and the number of elements in G. We also give a version of this result if M and M-tilde contain framed links or colored fat graphs. We give similar formulas for non-free actions which hold for a specified finite set of values for r. △ Less

Submitted 17 November, 1999; v1 submitted 21 February, 1999; originally announced February 1999.

Comments: 19 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTMon2/paper9.abs.html

MSC Class: 57M10; 57M12

Journal ref: Geom. Topol. Monogr. 2 (1999), 157-175

3-manifold invariants and periodicity of homology spheres

Authors: Patrick M. Gilmer, Joanna Kania-Bartoszynska, Jozef H. Przytycki

Abstract: We show how the periodicity of a homology sphere is reflected in the Reshetikhin-Turaev-Witten invariants of the manifold. These yield a criterion for the periodicity of a homology sphere. We show how the periodicity of a homology sphere is reflected in the Reshetikhin-Turaev-Witten invariants of the manifold. These yield a criterion for the periodicity of a homology sphere. △ Less

Submitted 13 October, 2002; v1 submitted 2 July, 1998; originally announced July 1998.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-34.abs.html

MSC Class: 57M60; 57M27; 57M25; 57R56; 17B37

Journal ref: Algebr. Geom. Topol. 2 (2002) 825-842

Skein theory and Witten-Reshetikhin-Turaev Invariants of links in lens spaces

Authors: Patrick M. Gilmer

Abstract: We study the behavior of the Witten-Reshetikhin-Turaev SU(2) invariants of links in L(p,q) as a function of the level r-2. They are given by 1 over the square root of r times one of p Laurent polynomials evaluated at e to the 2 pi i divided by 4pr. The congruence class of r modulo p determines which polynomial is applicable. If p is zero modulo four, the meridian of L(p,q) is non-trivial in the… ▽ More We study the behavior of the Witten-Reshetikhin-Turaev SU(2) invariants of links in L(p,q) as a function of the level r-2. They are given by 1 over the square root of r times one of p Laurent polynomials evaluated at e to the 2 pi i divided by 4pr. The congruence class of r modulo p determines which polynomial is applicable. If p is zero modulo four, the meridian of L(p,q) is non-trivial in the skein module but has trivial Witten-Reshetikhin-Turaev SU(2) invariants. On the other hand, we show that one may recover the element in the Kauffman bracket skein module of L(p,q) represented by a link from the collection of the WRT invariants at all levels if p is a prime or twice an odd prime. By a more delicate argument, this is also shown to be true for p=9. △ Less

Submitted 6 July, 1998; v1 submitted 28 January, 1998; originally announced January 1998.

Comments: Much of the paper has been rewritten and simplified. The only if part of theorem 2 is new. AMS-TeX, 10 pages

MSC Class: 57R99; 57M99

Journal ref: Commun. Math. Phys., 202 (1999), 411-419

Topological Quantum Field Theory And Strong Shift Equivalence

Authors: Patrick M. Gilmer

Abstract: Given a TQFT in dimension d+1, and an infinite cyclic covering of a closed (d+1)-dimensional manifold M, we define an invariant taking values in a strong shift equivalence class of matrices. The notion of strong shift equivalence originated in R. Williams' work in symbolic dynamics. The Turaev-Viro module associated to a TQFT and an infinite cyclic covering is then given by the Jordan form of th… ▽ More Given a TQFT in dimension d+1, and an infinite cyclic covering of a closed (d+1)-dimensional manifold M, we define an invariant taking values in a strong shift equivalence class of matrices. The notion of strong shift equivalence originated in R. Williams' work in symbolic dynamics. The Turaev-Viro module associated to a TQFT and an infinite cyclic covering is then given by the Jordan form of this matrix away from zero. This invariant is also defined if the boundary of M has a circle factor and the infinite cyclic cover of the boundary is standard. We define a variant of a TQFT associated to a finite group G which has been studied by Quinn. In this way, we recover a link invariant due to D. Silver and S. Williams. We also obtain a variation on the Silver-Williams invariant, by using the TQFT associated to G in its unmodified form. △ Less

Submitted 12 January, 1998; v1 submitted 2 December, 1997; originally announced December 1997.

Comments: AMS-TeX, 8 pages, a few small changes changes

MSC Class: 57R99; 57M99; 54H20

Journal ref: Canad. Math. Bull. 42(1999), 190-197

On the Witten-Reshetikhin-Turaev representations of mapping class groups

Authors: Patrick M. Gilmer

Abstract: We consider a central extension of the mapping class group of a surface with a collection of framed colored points. The Witten-Reshetikhin-Turaev TQFTs associated to SU(2) and SO(3) induce linear representations of this group. We show that the denominators of matrices which describe these representation over a cyclotomic field can be restricted in many cases. In this way, we give a proof of the… ▽ More We consider a central extension of the mapping class group of a surface with a collection of framed colored points. The Witten-Reshetikhin-Turaev TQFTs associated to SU(2) and SO(3) induce linear representations of this group. We show that the denominators of matrices which describe these representation over a cyclotomic field can be restricted in many cases. In this way, we give a proof of the known result that if the surface is a torus and there are no colored points, the representations have finite image. △ Less

Submitted 13 November, 1997; v1 submitted 30 January, 1997; originally announced January 1997.

Comments: AMS-TeX, 7 pages. Notational changes and typos corrected. To appear in Proc. A.M.S

MSC Class: 57M99

Journal ref: Proc. Amer. Math. Soc. 127 (1999), 2483-2488

Turaev-Viro Modules of Satellite knots

Authors: Patrick M. Gilmer

Abstract: Given an oriented knot K in S^3 and a TQFT, Turaev and Viro defined modules somewhat analogous to the Alexander module. We work with the (V_p,Z_p) theories of Blanchet, Habegger, Masbaum and Vogel {BHMV} for p \ge 3, and consider the associated modules. In {G}, we defined modules which also depend on the extra data of a color c which is assigned to a meridian of the knot in the construction of t… ▽ More Given an oriented knot K in S^3 and a TQFT, Turaev and Viro defined modules somewhat analogous to the Alexander module. We work with the (V_p,Z_p) theories of Blanchet, Habegger, Masbaum and Vogel {BHMV} for p \ge 3, and consider the associated modules. In {G}, we defined modules which also depend on the extra data of a color c which is assigned to a meridian of the knot in the construction of the module. These modules can be used to calculate the quantum invariants of cyclic branched covers of knots and have other uses. Suppose now that S is a satellite knot with companion C, and pattern P. We give formulas for the Turaev-Viro modules for S in terms of the Turaev-Viro modules of C and similar data coming from the pattern P. We compute these invariants explicitly in several examples. △ Less

Submitted 11 October, 1996; originally announced October 1996.

Comments: AMSTeX, 25 pages with 18 figures, uses epsf.tex

MSC Class: 57M99

Journal ref: Knots 96, ed S. Suzuki, World Scientific 1997, 337-363

Floppy Curves with Applications to Real Algebraic Curves

Authors: Patrick M. Gilmer

Abstract: We show how one may sometimes perform singular ambient surgery on the complex locus of a real algebraic curve and obtain what we call a floppy curve. A floppy curve is a certain kind of singular surface in CP(2), more general than the complex locus of a real nodal curve. We derive analogs for floppy curves of known restrictions on real nodal curves. In particular we derive analogs of Fielder's c… ▽ More We show how one may sometimes perform singular ambient surgery on the complex locus of a real algebraic curve and obtain what we call a floppy curve. A floppy curve is a certain kind of singular surface in CP(2), more general than the complex locus of a real nodal curve. We derive analogs for floppy curves of known restrictions on real nodal curves. In particular we derive analogs of Fielder's congruence for certain nonsingular curves and Viro's inequalities for nodal curves which generalize those of Arnold and Petrovskii for nonsingular curves. We also obtain a determinant condition for certain curves which are extremal with respect to some of these equalities. One may prohibit certain schemes for real algebraic curves by prohibiting the floppy curves which result from singular ambient surgery. In this way, we give a new proof of Shustin's prohibition of the scheme $1<2\coprod 1<18>>$ for a real algebraic curve of degree eight. △ Less

Submitted 16 July, 1997; v1 submitted 24 April, 1996; originally announced April 1996.

Comments: AmS-TeX- Version 2.1, 38 pages with 16 figures,needs epsf.tex The estimate 9.6 has been improved with corresponding changes in 4.1. The exposition in the proof of 3.4 has been improved. Other minor changes

MSC Class: 14P25 (Primary); 57M99 (Secondary)

Journal ref: Real Algebraic Geometry and Ordered Systems, ed. C. Delzell, J. Madden, Cont. Math. 253, American Math Society (2000) 39-76

A TQFT for Wormhole cobordisms over the field of rational functions

Authors: Patrick Gilmer

Abstract: We consider a cobordism category whose morphisms are punctured connect sums of $S^1 \times S^2$'s (wormhole spaces) with embedded admissibly colored banded trivalent graphs. We define a TQFT on this cobordism category over the field of rational functions in an indeterminant $A.$ For $r$ large, we recover, by specializing $A$ to a primitive 4rth root of unity, the Witten-Reshetikhin-Turaev TQFT r… ▽ More We consider a cobordism category whose morphisms are punctured connect sums of $S^1 \times S^2$'s (wormhole spaces) with embedded admissibly colored banded trivalent graphs. We define a TQFT on this cobordism category over the field of rational functions in an indeterminant $A.$ For $r$ large, we recover, by specializing $A$ to a primitive 4rth root of unity, the Witten-Reshetikhin-Turaev TQFT restricted to links in wormhole spaces. Thus, for $r$ large, the $r$th Witten-Reshetikhin-Turaev invariant of a link in some wormhole space, properly normalized, is the value of a certain rational function at $e^{\frac{πi}{2r}}.$ We relate our work to Hoste and Przytycki's calculation of the Kauffman bracket skein module of $S^1 \times S^2.$ △ Less

Submitted 19 July, 1995; originally announced July 1995.

Comments: 7 pages, in amstex, uses epsf.tex for figures

Journal ref: Knot Theory, Warsaw 1995 ,ed V.F.R.Jones , J.Kania-Bartoszynska , J.H.Przytycki , P.Traczyk ,V.Turaev, Banach Center Publications 42,1998, 119-127

Invariants for 1-dimensional cohomology classes arising from TQFT

Authors: Patrick Gilmer

Abstract: Let $(V,Z)$ be a Topological Quantum Field Theory over a field $f$ defined on a cobordism category whose morphisms are oriented $n+1$-manifolds perhaps with extra structure. Let $(M,χ)$ be a closed oriented $n+1$-manifold $M$ with this extra structure together with $χ\in H^1(M).$ Let $M_{\infty}$ denote the infinite cyclic cover of $M$ given by $χ.$ Consider a fundamental domain $E$ for the acti… ▽ More Let $(V,Z)$ be a Topological Quantum Field Theory over a field $f$ defined on a cobordism category whose morphisms are oriented $n+1$-manifolds perhaps with extra structure. Let $(M,χ)$ be a closed oriented $n+1$-manifold $M$ with this extra structure together with $χ\in H^1(M).$ Let $M_{\infty}$ denote the infinite cyclic cover of $M$ given by $χ.$ Consider a fundamental domain $E$ for the action of the integers on $M_{\infty}$ bounded by lifts of a surface $Σ$ dual to $χ,$ and in general position. $E$ can be viewed as a cobordism from $Σ$ to itself. We give Turaev and Viro's proof of their theorem that the similarity class of the non-nilpotent part of $Z(E)$ is an invariant. We give a method to calculate this invariant for the $(V_p,Z_p)$ theories of Blanchet,Habegger, Masbaum and Vogel when $M$ is zero framed surgery to $S^3$ along a knot K. We give a formula for this invariant when $K$ is a twisted double of another knot. We obtain formulas for the quantum invariants of branched covers of knots, and unbranched covers of 0-surgery to $S^3$ along knots. △ Less

Submitted 8 November, 1995; v1 submitted 4 January, 1995; originally announced January 1995.

Comments: 38 pages, in AmS-TeX- Version 2.1 , needs epsf.tex, decode figures.uu file to get fig1.eps through fig10.eps. This version corrects and improves the discussion of when p is ordinary with respect to n (on page 15), updates references, and includes other minor changes

Journal ref: Topology and its Applications ,75 (1997) 217-259