Questions tagged [vector-bundles]

A continuously varying family of vector spaces of the same dimension over a topological space. If the vector spaces are one-dimensional, the term line bundle is used and has the associated tag line-bundles.

443 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
24 votes
0 answers
780 views

Vector bundle $L$ admits connection if and only if degree of every direct summand of $L$ divisible by $\text{char}\,k$, intuition

Consider the following theorem of Atiyah. Let $X$ be a connected smooth projective curve over an algebraically closed field $k$. Then a vector bundle $L$ on $X$ admits a connection if and only if the ...
user avatar
23 votes
0 answers
781 views

Characteristic classes for $E_8$ bundles

$\DeclareMathOperator\B{B}\DeclareMathOperator\SU{SU}$Given a principal $E_8$ bundle $P\rightarrow X$ one can take the adjoint representation $\rho :E_8\rightarrow \SU(\mathbb C^{248})$ and form the ...
charris's user avatar
  • 694
21 votes
0 answers
563 views

Is there a useful theory of D-modules on smooth (non-analytic) manifolds?

D-modules are related to flat connections on vector bundles, end hence local systems. The theory of D-modules (and related notions such as crystals etc.) seems to be very popular in complex analytic ...
ಠ_ಠ's user avatar
  • 5,933
18 votes
0 answers
327 views

"High-concept" explanation for proof of a theorem of Ochanine?

See Akhil Mathew's notes on Ochanine's theorem for elliptic genera here and here. Let $\phi: \Omega_{SO} \to \Lambda$ be a genus. We might ask when $\phi$ satisfies the following multiplicative ...
user avatar
17 votes
0 answers
596 views

Trying to reconcile two facts about the Appell-Lerch sum learned from Polishchuk and Zwegers

One of the key characters in the thesis of Zwegers is the modular correction $\tilde\mu(u,v;\tau)=\mu(u,v;\tau)+\frac i2R(u-v;\tau)$ of the Lerch sum $\mu(u,v;\tau)=\frac{e^{\pi i u}}{\vartheta(v;\tau)...
მამუკა ჯიბლაძე's user avatar
16 votes
0 answers
218 views

Reference request: Milnor rank of spheres

Milnor defines the rank of a smooth manifold $M$ as the maximum cardinality of a linearly independent set of vector fields on $M$ whose elements are pair wise commuting. In other words, the rank of $M$...
Douglas Finamore's user avatar
16 votes
0 answers
732 views

What would be the simplest analog of Langlands in algebraic topology?

It is oversimplified, I know, but just as a superficial analogy, one may think of the fact that abelianization of the fundamental group is the first homology group, as some remote relative of class ...
მამუკა ჯიბლაძე's user avatar
14 votes
0 answers
2k views

conformal blocks for beginners

I have given now a couple of talks that involve conformal blocks bundles on the moduli stack $\overline{\mathcal{M}}_{g,n}$, in front of a public of algebraic geometers but not specialists of the ...
IMeasy's user avatar
  • 3,717
12 votes
0 answers
705 views

Any progress on Strominger-Yau and Zaslow conjecture?

In 2002 Hausel - Thaddeus interpreted SYZ conjecture in the context of Hitchin system and Langlands duality. Let briefly explain it Let $\pi : E \to Σ$ a complex vector bundle of rank $r$ and ...
user avatar
12 votes
0 answers
479 views

Exotic smoothness and Parallelizability

Regarding the parallelizability of the Milnor's seven dimensional exotic spheres: Parallelizability of the Milnor's exotic spheres in dimension 7 The following question naturally arises: Suppose ...
Hamed's user avatar
  • 1,226
11 votes
0 answers
1k views

Total spaces of tangent/cotangent bundles in a course where all varieties are quasi-projective

$\def\PP{\mathbb{P}}$In a course where all varieties are quasi-projective (as in Shafarevich Volume I), I am trying to figure out whether I can justify talking about the total spaces of the tangent ...
David E Speyer's user avatar
11 votes
0 answers
666 views

Big tangent bundle

Let $X$ be a nonsingular complex algebraic variety whose tangent bundle is $T_X$. I use Lazarsfeld's book for the definition of a big vector bundle. A line bundle $L$ is big if it has Itaka dimension ...
jhsiao's user avatar
  • 121
11 votes
0 answers
504 views

Atiyah-Bott from Beauville-Laszlo

This is a question about the cohomology groups of the stack of vector bundles (with fixed discrete invariants) on an algebraic curve. Explicit formulas for these cohomology groups are known, and they ...
Oren Ben-Bassat's user avatar
10 votes
0 answers
333 views

Which differential forms commute with the curvature form?

Consider a vector bundle, $E \to M$, with connection, $\nabla$, and curvature $2$-form, $F$ on $M$. For $E$-valued differential forms on $M$, $\Omega(M, E)$, we have an exterior covariant derivative, ...
cheyne's user avatar
  • 1,396
10 votes
0 answers
597 views

Uniqueness of singular Hermitian-Einstein metric along Yau-Donaldson flow?

The following question is related to Singular Yang-Mills theory The Hermitian metric $H$ along the fibers of the holomorphic vector bundle $E$ over a K\"ahler manifold $(M,\omega)$ is Hermitian-...
user avatar
10 votes
0 answers
520 views

Deformations of some simple quotient stacks.

I am interested in stacks of vector bundles on varieties and how deformations of the variety (including non-commutative ones) reflect themselves in deformations of the stack of vector bundles. I will ...
Oren Ben-Bassat's user avatar
9 votes
0 answers
1k views

Ample vector bundles, $H^1=0$ and global generation in characteristic $p$

This is a follow up from Ample vector bundles on curves question, in characteristic $p>0$. First, some background. It is known that in characteristic $0$, a vector bundle $E$ on say a projective ...
Frank's user avatar
  • 2,946
8 votes
0 answers
296 views

Flat Maurer-Cartan connection iff flat Berry connection

I am studying two connections on induced representation spaces $\text{Ind}_{H}^{G} \Gamma$, where $H \subseteq G$ are groups, and $\Gamma$ is an irrep of $H$. The first is the canonical or $H$-...
Victor V Albert's user avatar
8 votes
0 answers
212 views

Elementary proof of an inequality for the Radon-Hurwitz numbers

Edit: In all likelihood, the original question does not have a positive answer (see comment by abx). Modified question: Let $\rho_H(n)$ be the maximal dimension of a space of symmetric real matrices ...
Erik D's user avatar
  • 338
8 votes
0 answers
240 views

Lifting $\mathbb C^*$ actions to holomorphic bundles

Let $X$ be a smooth complex projective variety and $V$ be a holomorphic bundle on $X$. Suppose we have an algebraic $\mathbb C^*$-action on $X$. Is it true that the bundle $V$ can always be deformed ...
aglearner's user avatar
  • 14k
8 votes
0 answers
566 views

Can we use sheaf cohomology to say anything interesting for vector bundles with non-flat connections?

Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative: $$0 \to \mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \...
ಠ_ಠ's user avatar
  • 5,933
8 votes
0 answers
273 views

Which map realizes the isomorphism $KO_n(X)\otimes \mathbb{Q}\to \bigoplus_{i\in\mathbb{Z}}H_{n-4i}(X;\mathbb{Q})$?

The description of the real $KO$-homology groups $KO_n(X)$ can be given abstractly as maps to the real K-theory spectrum $KO$ smash $X$, or via triples $(M,x,\phi)$ where $M$ is a closed manifold, $\...
EdoardoFossati's user avatar
8 votes
1 answer
1k views

semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity. For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in $\...
Mohammad Farajzadeh-Tehrani's user avatar
7 votes
0 answers
267 views

Triviality of holomorphic vector bundles over $\mathbb{C}$

Let $E\longrightarrow\mathbb{C}$ be a holomorphic vector bundle. I found two proofs that $E$ is trivial: one follows from Oka-Grauer principle (Theorem 5.3.1 in F. Forstneric, Stein Manifolds and ...
Alessio Di Prisa's user avatar
7 votes
0 answers
407 views

A question about pullbacks of $C^\infty_M$-modules

First, let me state a definition: Let $M$ be a smooth manifold and suppose $\mathcal{E}$ is a sheaf of $C^\infty_M$-modules. Given a point $x \in M$ let $I_x$ denote the vanishing ideal at $x$. We ...
Joel Villatoro's user avatar
7 votes
0 answers
241 views

Can every functor $F: \bf{Vect} \to \bf{Top}$ be lifted to a functor $\tilde F: \bf{VectBun} \to \bf{Bun}$? And if $F: \bf{Vect} \to \bf{Man}$?

My question is: if I have a functor from the category of vector spaces Vect to the category of topological spaces Top (or differentiable manifolds Man) can I lift it to a functor from the category of ...
CNS709's user avatar
  • 1,263
7 votes
0 answers
312 views

Different definitions of Stiefel-Whitney classes

It is quite easy to show that different definitions of the Stiefel-Whitney classes agree by showing that they satisfy the well-known axioms. Nevertheless I have been asking myself wether one can prove ...
ThorbenK's user avatar
  • 1,175
7 votes
0 answers
118 views

The automorphism group of the fibered cylinder

My collegue (Oleg Gutik) is interested in finding a proper reference to a description of the group $G$ of homeomorphisms $h:\mathbb T\times\mathbb R\to\mathbb T\times\mathbb R$ of the cylinder that ...
Taras Banakh's user avatar
  • 40.8k
7 votes
0 answers
359 views

Obstructions for existence of a fiber wise covering space structure( A bundle of covering spaces)

Let $S^n \times \mathbb{T}^n$ be the trivial Torus bundle over $S^n$. Assume that we have a continuous fiber preserving map $\phi :TS^n \to S^n \times \mathbb{T}^n$ which restriction to each fiber ...
Ali Taghavi's user avatar
7 votes
0 answers
790 views

Affine covering whose intersections are distinguished affine open

Let $X$ be a quasi-compact scheme. Say that $X$ has property $\mathbf{P}_{n}$ if $X$ admits an open cover $X = \bigcup_{i=1}^{n} U_{i}$ such that each $U_{i}$ is affine and each pairwise intersection $...
Minseon Shin's user avatar
  • 1,987
7 votes
0 answers
527 views

Why study Bogomolov's T-Stability

Bogomolov introduced the notion of $T$-stability. I know that such stability does not sit in the category of canonical metrics on vector bundles. We know that if a vector bundle admits a Hermitian-...
user avatar
7 votes
0 answers
983 views

Hartshorne conjecture on vector bundles on projective spaces

A conjecture of Hartshorne states that any vector bundle of a small rank on a projective space of large dimension is split (i.e. isomorphic to a direct sum of line bundles). I would like to know the ...
Daniel Loughran's user avatar
7 votes
0 answers
201 views

Bundles over Grassmanian with given top Chern class

So, I have been working on Chern classes for my master thesis and apparently (My proofs could be wrong and a few things are still vague) I was able to give a construction method and exhibit, via ...
Temitope.A's user avatar
7 votes
0 answers
116 views

Bundles over Function Spaces

Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable Hilbert-...
elena's user avatar
  • 71
7 votes
0 answers
350 views

Does the suspension isomorphism $K_1(A) \to K_0(SA)$ descend from a more refined invariant?

If $A$ is a C*-algebra, denote its minimal unitization by $\tilde A$ and its suspension by $SA$, thought of as all continuous $a:[0,1] \to A$ with $a(0)=a(1)=0$. The unitized suspension $\widetilde{SA}...
Michael's user avatar
  • 672
7 votes
0 answers
539 views

Topological obstructions to extending algebraic vector bundles

Ariyan and Kevin Lin have asked about the problem of extending vector bundles defined on an open subvariety across the rest of the variety. There can be subtle commutative algebra obstructions, as in ...
David Treumann's user avatar
6 votes
0 answers
142 views

Extending topological vector bundles and obstruction theory

This is a question that has appeared in various forms on MathOverflow, see here and here, for example. But as opposed to these more algebraic questions, I am interested in the purely topological ...
Paul Cusson's user avatar
  • 1,735
6 votes
0 answers
178 views

Bundles equivariant with respect to a transitive Lie algebra action

Suppose an algebraic group $G$ transitively acts on a variety $X$. Then it is well known that $G$-equivariant vector bundles on $X$ are in correspondence with representations of the stabilizer of a ...
Ilya Dumanski's user avatar
6 votes
0 answers
195 views

The Todd class and Weyl's character formula

Let $\mathfrak{g}$ be a finite-dimensional complex semi-simple Lie algebra. Fix a Cartan sub algebra $\mathfrak{h} \subset \mathfrak{g}$ and let $R \subset \mathfrak{h}^{\ast}$ denote the root system. ...
AmorFati's user avatar
  • 1,349
6 votes
0 answers
145 views

Sections of the sum of two copies of the tangent bundle of the $2$-sphere

If $T$ is the tangent bundle of $S^2$, then $T\oplus T$ is trivial of rank $4$. Indeed, $T\oplus\mathbb R=\mathbb R^3$, so $T\oplus T\oplus\mathbb R^2=\mathbb R^6$ and $T\oplus T$ is stably trivial: ...
Mariano Suárez-Álvarez's user avatar
6 votes
0 answers
149 views

Is the space of analytic sections of a vector bundle a Fréchet space?

Let $\pi : E \to M$ a smooth vector bundle of finite rank, where both $E$ and $M$ are finite dimensional smooth manifolds, and $M$ is compact. I already know that the space $\Gamma^\infty(M,E)$ of ...
Eduardo Longa's user avatar
6 votes
0 answers
293 views

Surfaces of general type with globally generated cotangent bundle

There is a lot of work about compact complex surfaces of general type $X$ having ample cotangent bundle $\Omega_X$: for instance, one can read the recent works of Damian Brotbeck and collaborators in ...
Francesco Polizzi's user avatar
6 votes
0 answers
100 views

$K_0$ of configuration of hyperplanes

Let $\ell_n$ where $n\geq 3$ be the configuration of $n$ lines in a plane, such that $n-1$ of them pass through a single point and the last one does not and it intersects rest of the $n-1$ lines. I'm ...
user127776's user avatar
  • 5,831
6 votes
0 answers
373 views

What’s the limit of a vector bundle?

In geometric measure theory, there’s an answer to the question “what’s the limit of a family of submanifolds”, namely there’s some kind of object called an integral current. In the geometric ...
Vivek Shende's user avatar
  • 8,663
6 votes
0 answers
194 views

Regarding a proof in the surgery theorem by Gromov and Lawson

I have a question regarding a proof in the article The classification of simply connected manifolds of positive scalar curvature written by Gromov and Lawson. The precise reference is: Gromov, ...
user12390's user avatar
  • 376
6 votes
0 answers
291 views

Can we "Curve" a manifold, as much as possible?

Assume that $M$ is a $k$ dimensional manifold which is embedded in $\mathbb{R}^n$. We define the map $\phi_{M,n}: M \to G(k,n)$ with $\phi_{M,n} (x)= T_x M$, the tangent space to $M$ at point $x\in M$....
Ali Taghavi's user avatar
6 votes
0 answers
480 views

Nowhere vanishing section of vector bundles over varieties as connectivity of morphism of stacks

The following is, amongst others, a Hartshorne exercise: Let $V$ be a $k$-variety of dimension $n$ and $\mathcal{E}$ a vector bundle of rank greater than $n$, then, generically, a generating section ...
Elden Elmanto's user avatar
6 votes
0 answers
483 views

Global sections for a locally free sheaf over curves

Let $B$ be a complete algbraic curve of genus $g$, and $\mathcal{E}$ be a semi-stable locally free sheaf of rank $r$ over $B$. Assume that the slope of $\mathcal{E}$ is $\mu(\mathcal E):=\frac{\deg \...
Pyramid's user avatar
  • 288
5 votes
0 answers
118 views

How to see $\delta_2(\hat{\chi}(V))=\chi(V)$ in differential cohomology?

I'm reading the paper "Differential Characters and Geometric Invariants" by Cheeger and Simons. In Page 62 the authors defined the differential Euler character $\hat{\chi}(V)\in \hat{H}^{2n-...
Zhaoting Wei's user avatar
  • 8,657
5 votes
0 answers
254 views

Line bundle whose pushforward is a complex of vector bundles

If $E\to X$ is a holomorphic vector bundle, it is well known that the tautological line bundle $\mathcal{O}_E(1)$ over the projectivization $\pi:\mathbb{P}(E^*)\to X$ satisfies $$\pi_*\mathcal{O}_E(1)=...
BinAcker's user avatar
  • 767

1
2 3 4 5
9