English
Related papers

Related papers: Discrete differential geometry in homotopy type th…

200 papers

In [31,32,33] the Gauss-Bonnet formulas for coherent tangent bundles over compact oriented surfaces (without boundary) were proved. We establish the Gauss-Bonnet theorem for coherent tangent bundles over compact oriented surfaces with…

Differential Geometry · Mathematics 2020-05-12 Wojciech Domitrz , Michał Zwierzyński

We compute the Euler characteristics of tautological vector bundles and their exterior powers over the Quot schemes of curves. We give closed-form expressions over punctual Quot schemes in all genera. For higher rank quotients of a trivial…

Algebraic Geometry · Mathematics 2022-07-06 Dragos Oprea , Shubham Sinha

Discrete homotopy theory or A-homotopy theory is a combinatorial homotopy theory defined on graphs, simplicial complexes, and metric spaces, reflecting information about their connectivity. The present paper aims to further understand the…

Combinatorics · Mathematics 2025-03-19 So Yamagata

For two complex vector bundles admitting a homomorphism with isolated singularities between them, we establish a Poincar\'e-Hopf type formula for the difference of the Chern character numbers of these two vector bundles. As a consequence,…

Geometric Topology · Mathematics 2010-06-14 Huitao Feng , Weiping Li , Weiping Zhang

We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same…

Algebraic Topology · Mathematics 2020-03-09 Syunji Moriya

The curvature tensor of a symplectic connection, as well as its covariant derivatives, satisfy certain identities that hold on any manifold of dimension less than or equal to a fixed n. In this paper, we prove certain results regarding…

Differential Geometry · Mathematics 2024-02-06 Adrián Gordillo-Merino , Raúl Martínez-Bohórquez , José Navarro-Garmendia

We introduce a category of noncommutative bundles. To establish geometry in this category we construct suitable noncommutative differential calculi on these bundles and study their basic properties. Furthermore we define the notion of a…

q-alg · Mathematics 2008-02-03 Markus J. Pflaum , Peter Schauenburg

We define singular points of the first kind and singular points of the second kind as singular points of mappings between surfaces. Typical examples of these singular points are fold singular points and cusp singular points, respectively.…

Differential Geometry · Mathematics 2023-05-12 Kyoya Hashibori

Several important cases of vector bundles with extra structure (such as Higgs bundles and triples) may be regarded as examples of twisted representations of a finite quiver in the category of sheaves of modules on a variety/manifold/ringed…

Algebraic Geometry · Mathematics 2007-05-23 Peter B. Gothen , Alastair D. King

We construct Euler and Stiefel-Whitney classes of vector bundles with quadratic form by analyzing the intersection theory of the associated quadric bundles. We also compute the Chow rings of quadric and isotropic flag bundles. Along the…

alg-geom · Mathematics 2008-02-03 D. Edidin , W. Graham

The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector…

Algebraic Geometry · Mathematics 2022-07-01 Ajneet Dhillon , Pál Zsámboki

In this paper we develop homology and cohomology theories which play the same role for real projective varieties that Lawson homology and morphic cohomology play for projective varieties respectively. They have nice properties such as the…

Algebraic Geometry · Mathematics 2007-07-19 Jyh-Haur Teh

This note provides an affirmative answer to a question of Viterbo concerning the existence of nondiffeomorphic contact forms that share the same Reeb vector field. Starting from an observation by Croke-Kleiner and Abbondandolo that such…

Symplectic Geometry · Mathematics 2024-01-17 Hansjörg Geiges

Computing homology and cohomology is at the heart of many recent works and a key issue for topological data analysis. Among homological objects, homology generators are useful to locate or understand holes (especially for geometric…

Algebraic Topology · Mathematics 2025-12-22 Yann-Situ Gazull , Aldo Gonzalez-Lorenzo , Alexandra Bac

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse…

Geometric Topology · Mathematics 2023-08-14 Paul D. Mitchener , Behnam Norouzizadeh , Thomas Schick

We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of…

Algebraic Topology · Mathematics 2020-09-07 Dimitri Ara

Quantum homogeneous vector bundles are introduced by a direct description of their sections in the context of Woronowicz type compact quantum groups. The bundles carry natural topologies inherited from the quantum groups, and their sections…

q-alg · Mathematics 2008-02-03 A. R. Gover , R. B. Zhang

Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…

Logic · Mathematics 2013-08-06 The Univalent Foundations Program

We propose a generalisation of the notion of associated bundles to a principal bundle constructed via group action cocycles rather than via mere representations of the structure group. We devise a notion of connection generalising Ehresmann…

Mathematical Physics · Physics 2022-09-20 Jordan François

A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian…

Algebraic Topology · Mathematics 2008-10-29 James Simons , Dennis Sullivan