Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
184 views

Obstruction to finding a Whitney disk

Let $p,q\geq 3$ be integers. Let $M$ be a compact oriented smooth $(p+q)$-manifold and $P$ and $Q$ compact submanifolds of dimensions $p$ and $q$ intersecting transversely. Assume that $M,P$ and $Q$ ...
João Lobo Fernandes's user avatar
5 votes
0 answers
135 views

Geometric interpretation of pairing between bordism and cobordism

In page 448 of these notes, a pairing between bordism and cobordism $$\langle \ ,\ \rangle: U^m(X)\otimes U_n(X)\rightarrow \Omega^U_{n-m}$$ is defined as follows. Assume $x\in U^m$ is represented by $...
timaeus's user avatar
  • 171
2 votes
0 answers
172 views

Intersection theory on normal crossing algebraic surfaces

Let $X$ be an algebraic surface with normal crossing singularities. Suppose the singular locus of $X$ is a smooth curve. Let us denote it by $C$. Suppose $D$ is another smooth curve in $X$ which ...
S.D.'s user avatar
  • 494
1 vote
0 answers
254 views

A question on the Chow group on stacks

Let $X$ be a separated Deligne-Mumford stack finite type over the ground field. Then there is a Chow group $A_*(X)$ of $X$ which is well-behaved under flat pull-back, defined as follows. Let $\...
Kim's user avatar
  • 565
6 votes
1 answer
446 views

Computing Massey products via intersection theory

Let $K$ be an $n$-manifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$. The Massey product $\langle x,y,z \rangle$ is defined as the set of cohomology ...
Capotaino's user avatar
5 votes
0 answers
163 views

How to compute the class defined by intersection with a square?

$\DeclareMathOperator\Gr{Gr}$Let $\Gr(k,n+k)$ (of course, one can do also for $\Gr(k,\infty)$) be the complex Grassmannian of $k$-planes in $n+k$-dimensional linear space. It is well-known that ...
Cubic Bear's user avatar
0 votes
0 answers
181 views

Topological vs algebraic intersection forms

Let $X$ be a simply connected complex projective surface (hence a real $4$-manifold). Let $(H^2(X,\mathbb Z)/\mathrm{tors}, q_X)$, $(A^1(X)/\mathrm{tors},q_X')$ be the corresponding lattices in ...
Qfwfq's user avatar
  • 23.4k
2 votes
0 answers
334 views

Functoriality of Chern-Fulton's class

Let $X$ be a, possibly singular, algebraic variety embedded as a closed subvariety of a manifold $M$ with map $i : X \rightarrow M$, and $\pi : \tilde{M} \rightarrow M$ be a proper birational map with ...
Student85's user avatar
  • 151
2 votes
0 answers
186 views

Splittings in the difference bundle construction of Atiyah-Hirzebruch

I'm reading the construction of difference bundle(generalized) in the paper of Atiyah-Hirzebruch(Analytic cycles on complex manifolds) There is one thing I cannot understand. The followings are in ...
keaton's user avatar
  • 421
3 votes
1 answer
774 views

Homotopy of paths at the boundary

Denote by $\Gamma$ a hypersurface in $\mathbb{C}^2$, i.e. the zero locus of a polynomial of two complex variables. Denote by $X$ the complement of $\Gamma$ in $\mathbb{C}^2$. I am trying to define a ...
Curiosity's user avatar
  • 293
0 votes
0 answers
94 views

$ch(L f^*\epsilon)$

I know the famous principle (or theorem depending on how you define) of Chern classes for locally free sheaves and a morphism $f: X'\rightarrow X$, $ch(f^* \epsilon)=f^* ch(\epsilon)$. But if $f$ ...
Mohsen Karkheiran's user avatar
3 votes
0 answers
193 views

Is complex surface in CP(3) a two handlebody?

Consider a complex surface given by homogeneous equation in $\mathbb{C}P^3$. Without loss of generality, take \begin{equation} S = \{[x:y:z:w] \in \mathbb{C}P^3~ |~ x^d + y^d + z^d + w^d = 0\} \end{...
Kevin Ye's user avatar
  • 367
0 votes
0 answers
145 views

Zero Dimension Intersection

Let $M$ be smooth and purely $r$-dimensional, $E$ be a vector bundle of rank $r$ over $M$, $s$ be a regular section of $E$ and $Z$ the zero scheme of $s$. Then $[Z]$ is dual to the top Chern class $...
JYQ's user avatar
  • 105
8 votes
1 answer
2k views

What is the relation between Lefschetz fixed point theorem and Poincare-Hopf theorem on vector fields?

In Dubrovin/Fomenko/Novikov Modern geometry--Methods and applications, Part II, the (Poincare-)Hopf theorem is treated in section 15.2 (see theorem 15.2.7 on page 129), while the Lefschetz theorem on ...
Mikhail Katz's user avatar
  • 16.6k
7 votes
2 answers
219 views

Action of an isomorphism in cohomology as the intersection with the class of the graph

Let $X$ and $Y$ be two complex manifolds of dimension 2 and let $\varphi:X\rightarrow Y$ be an isomorphism. I have read that the action of $\varphi^*:H^2(Y,\mathbb{Z})\rightarrow H^2(X,\mathbb{Z})$ ...
Jack Taylor's user avatar
4 votes
1 answer
4k views

euler class of the normal bundle and self intersection number [duplicate]

Let $S$ be a compact submanifold of $X$ smooth manifold. I know that $T_X|_S=T_S\oplus N_{S/X}$ where $N_{S/X}$ is the normal bundle. I have read that the euler class $e(N_{S/X})$ corresponds (via ...
Konrad's user avatar
  • 83
3 votes
1 answer
378 views

Intersection form on quotient manifold

Let $E_{1},E_{2}$ be elliptic curves over $\mathbb{C}$. We denote by $\iota_{i}$ the translation by a 2-torsion point on $E_{i}$. Then $G=\mathbb{Z}/2\mathbb{Z}$ acts freely on the the product $E_{1}\...
Michel's user avatar
  • 65
3 votes
2 answers
798 views

Non-vanishing of cup product in cohomology

Let $X$ be a smooth projective variety over $\mathbb{C}$, and let $\alpha \in H^{2k}(X)$ be an algebraic cohomology class. Let us fix an $l$ such that $H^l(X) \neq 0$ and $H^{l+2k}(X) \neq 0$. The ...
calc's user avatar
  • 283
6 votes
2 answers
595 views

Graphs of maps between manifolds as cycles and intersection theory

I'm guessing that the answer to this question is well-known, but I'm struggling to find anything to help me. Let $X,Y$ be compact manifolds of dimension $n,m$ respectively. Let $f:X \to Y$ be a ...
Daniel Loughran's user avatar