BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Patrick M. Gilmer

Patrick M. Gilmer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTmath.QAmath.AGq-algalg-geommath.DSmath.GRmath.RT

Trust snapshot

Quick read

Trust 21 - Emerging
32works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

32 published item(s)

preprint2016arXiv

Even and odd Kauffman bracket ideals for genus-1 tangles

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On surgery curves for genus one slice knots

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Integral TQFT for a one-holed torus

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Maslov index, Lagrangians, Mapping Class Groups and TQFT

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The nonorientable four-genus of knots

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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Congruence and similarity of 3-manifolds

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.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

The parity of the Maslov index and the even cobordism category

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.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Integrality for TQFTs

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.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2000arXiv

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

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$.

0 citations0 reviewsNo code linkedOpen access
preprint1999arXiv

Quantum invariants of periodic three-manifolds

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.

0 citations0 reviewsNo code linkedOpen access
preprint1998arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint1998arXiv

Topological Quantum Field Theory And Strong Shift Equivalence

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.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

Floppy Curves with Applications to Real Algebraic Curves

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&#39;s congruence for certain nonsingular curves and Viro&#39;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&#39;s prohibition of the scheme $1<2\coprod 1<18>>$ for a real algebraic curve of degree eight.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

Turaev-Viro Modules of Satellite knots

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.

0 citations0 reviewsNo code linkedOpen access