A vanishing theorem for twisted Alexander polynomials with applications to symplectic 4-manifolds (Q388761): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
If \(X\) is a finite \(CW\) complex, \(\varphi\in H^1(X,\mathbb{Z})=\text{Hom}(\pi_1(X),\mathbb{Z})\), and \(\alpha:\pi_1(X)\to \text{GL}(n,R)\) \((R=\mathbb{Z}\;\text{or}\;\mathbb{Q})\) is a representation over a Noetherian unique factorization domain \(R\), then a left \(\mathbb{Z}[\pi_1(X)]\)-module structure on \(R^n\otimes_{\mathbb{Z}}\mathbb{Z}[t^{\pm1}]=R^n[t^{\pm1}]\) is defined as: \(g\cdot(v\otimes p)=(\alpha(g)\cdot v)\otimes(t^{\varphi(g)}p)\), where \(g\in\pi_1(X)\) and \(v\otimes p\in R^n\otimes_{\mathbb{Z}}\mathbb{Z}[t^{\pm1}]=R^n[t^{\pm1}]\). Since \(X\) is compact and since \(R[t^{\pm1}]\) is Noetherian these modules are finitely presented over \(R[t^{\pm1}]\). The order \(\Delta^\alpha_{X,\varphi}\in R[t^{\pm1}]\) of \(H_1(X;R[t^{\pm1}])\) is called the twisted Alexander polynomial of \((X,\varphi,\alpha)\). A \(3\)-manifold pair is a pair \((N,\varphi)\), where \(N\) is a compact, orientable, connected \(3\)-manifold with toroidal or empty boundary, and \(\varphi\in H^1(X,\mathbb{Z})\) is a non-trivial class. \((N,\varphi)\) is said to fiber over \(S^1\) if there exists a fibration \(p:N\to S^1\) such that the induced map \(p_*:\pi_1(N)\to\pi_1(S^1)=\mathbb{Z}\) coincides with \(\varphi\). Then \(\varphi\) is called a fibered class. In this paper, the authors prove that for a \(3\)-manifold pair \((N,\varphi)\) if \(\varphi\in H^1(N)\) is non-fibered, then there exists an epimorphism \(\alpha:\pi_1(N)\to G\) onto a finite group G such that its twisted Alexander polynomial \(\Delta^\alpha_{X,\varphi}\) is zero. This result allows to completely classify symplectic \(4\)-manifolds with a free circle action, and to determine their symplectic cones. | |||
Property / review text: If \(X\) is a finite \(CW\) complex, \(\varphi\in H^1(X,\mathbb{Z})=\text{Hom}(\pi_1(X),\mathbb{Z})\), and \(\alpha:\pi_1(X)\to \text{GL}(n,R)\) \((R=\mathbb{Z}\;\text{or}\;\mathbb{Q})\) is a representation over a Noetherian unique factorization domain \(R\), then a left \(\mathbb{Z}[\pi_1(X)]\)-module structure on \(R^n\otimes_{\mathbb{Z}}\mathbb{Z}[t^{\pm1}]=R^n[t^{\pm1}]\) is defined as: \(g\cdot(v\otimes p)=(\alpha(g)\cdot v)\otimes(t^{\varphi(g)}p)\), where \(g\in\pi_1(X)\) and \(v\otimes p\in R^n\otimes_{\mathbb{Z}}\mathbb{Z}[t^{\pm1}]=R^n[t^{\pm1}]\). Since \(X\) is compact and since \(R[t^{\pm1}]\) is Noetherian these modules are finitely presented over \(R[t^{\pm1}]\). The order \(\Delta^\alpha_{X,\varphi}\in R[t^{\pm1}]\) of \(H_1(X;R[t^{\pm1}])\) is called the twisted Alexander polynomial of \((X,\varphi,\alpha)\). A \(3\)-manifold pair is a pair \((N,\varphi)\), where \(N\) is a compact, orientable, connected \(3\)-manifold with toroidal or empty boundary, and \(\varphi\in H^1(X,\mathbb{Z})\) is a non-trivial class. \((N,\varphi)\) is said to fiber over \(S^1\) if there exists a fibration \(p:N\to S^1\) such that the induced map \(p_*:\pi_1(N)\to\pi_1(S^1)=\mathbb{Z}\) coincides with \(\varphi\). Then \(\varphi\) is called a fibered class. In this paper, the authors prove that for a \(3\)-manifold pair \((N,\varphi)\) if \(\varphi\in H^1(N)\) is non-fibered, then there exists an epimorphism \(\alpha:\pi_1(N)\to G\) onto a finite group G such that its twisted Alexander polynomial \(\Delta^\alpha_{X,\varphi}\) is zero. This result allows to completely classify symplectic \(4\)-manifolds with a free circle action, and to determine their symplectic cones. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrew Bucki / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M27 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57N10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R17 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6243064 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
twisted Alexander polynomials | |||
Property / zbMATH Keywords: twisted Alexander polynomials / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fibered 3-manifolds | |||
Property / zbMATH Keywords: fibered 3-manifolds / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symplectic 4-manifolds | |||
Property / zbMATH Keywords: symplectic 4-manifolds / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1205.2434 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Criteria for virtual fibering / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The virtual Haken conjecture (with an appendix by Ian Agol, Daniel Groves and Jason Manning). / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SEIBERG–WITTEN INVARIANTS OF 4-MANIFOLDS WITH FREE CIRCLE ACTIONS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Seiberg-Witten invariants, orbifolds, and circle actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bouts des variétés hyperboliques de dimension 3. (Ends of hyperbolic 3-dimensional manifolds) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3774474 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The topology of symplectic circle bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic 4-manifolds with fixed point free circle actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fibred knots and twisted Alexander invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Three-Dimensional Link Theory and Invariants of Plane Curve Singularities. (AM-110) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact symplectic manifolds with free circle actions, and Massey products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Thurston norm, fibered manifolds and twisted Alexander polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Twisted Alexander polynomials and symplectic structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic $\mathbf{S}^{1} \times N^3$, subgroup separability, and vanishing Thurston norm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Construction of symplectic structures on 4-manifolds with a free circle action / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Survey of Twisted Alexander Polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Twisted Alexander polynomials detect fibered 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Twisted Alexander polynomials and fibered 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic \(4\)-manifolds with \(K = 0\) and the Lubotzky alternative / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reidemeister torsion, twisted Alexander polynomial and fibered knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Twisted Novikov homology and circle-valued Morse theory for knots and links / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abelian Subgroup Separability of Haken 3-Manifolds and Closed Hyperbolic <i>n</i> -Orbifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Seifert fibered spaces in 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy equivalences of 3-manifolds with boundaries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Twisted Alexander invariants, Reidemeister torsion, and Casson-Gordon invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5489526 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normalization of twisted Alexander invariants / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:22, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A vanishing theorem for twisted Alexander polynomials with applications to symplectic 4-manifolds |
scientific article |
Statements
A vanishing theorem for twisted Alexander polynomials with applications to symplectic 4-manifolds (English)
0 references
7 January 2014
0 references
If \(X\) is a finite \(CW\) complex, \(\varphi\in H^1(X,\mathbb{Z})=\text{Hom}(\pi_1(X),\mathbb{Z})\), and \(\alpha:\pi_1(X)\to \text{GL}(n,R)\) \((R=\mathbb{Z}\;\text{or}\;\mathbb{Q})\) is a representation over a Noetherian unique factorization domain \(R\), then a left \(\mathbb{Z}[\pi_1(X)]\)-module structure on \(R^n\otimes_{\mathbb{Z}}\mathbb{Z}[t^{\pm1}]=R^n[t^{\pm1}]\) is defined as: \(g\cdot(v\otimes p)=(\alpha(g)\cdot v)\otimes(t^{\varphi(g)}p)\), where \(g\in\pi_1(X)\) and \(v\otimes p\in R^n\otimes_{\mathbb{Z}}\mathbb{Z}[t^{\pm1}]=R^n[t^{\pm1}]\). Since \(X\) is compact and since \(R[t^{\pm1}]\) is Noetherian these modules are finitely presented over \(R[t^{\pm1}]\). The order \(\Delta^\alpha_{X,\varphi}\in R[t^{\pm1}]\) of \(H_1(X;R[t^{\pm1}])\) is called the twisted Alexander polynomial of \((X,\varphi,\alpha)\). A \(3\)-manifold pair is a pair \((N,\varphi)\), where \(N\) is a compact, orientable, connected \(3\)-manifold with toroidal or empty boundary, and \(\varphi\in H^1(X,\mathbb{Z})\) is a non-trivial class. \((N,\varphi)\) is said to fiber over \(S^1\) if there exists a fibration \(p:N\to S^1\) such that the induced map \(p_*:\pi_1(N)\to\pi_1(S^1)=\mathbb{Z}\) coincides with \(\varphi\). Then \(\varphi\) is called a fibered class. In this paper, the authors prove that for a \(3\)-manifold pair \((N,\varphi)\) if \(\varphi\in H^1(N)\) is non-fibered, then there exists an epimorphism \(\alpha:\pi_1(N)\to G\) onto a finite group G such that its twisted Alexander polynomial \(\Delta^\alpha_{X,\varphi}\) is zero. This result allows to completely classify symplectic \(4\)-manifolds with a free circle action, and to determine their symplectic cones.
0 references
twisted Alexander polynomials
0 references
fibered 3-manifolds
0 references
symplectic 4-manifolds
0 references
0 references
0 references
0 references
0 references