Related papers: Shape index, Brouwer degree and Poincar\'e-Hopf th…
The Poincare-Hopf theorem tells us that given a smooth, structurally stable vector field on a surface of genus g, the number of saddles is 2-2g less than the number of sinks and sources. We generalize this result by introducing a more…
Electromagnetic multipoles can be continuously mapped to tangent vectors on the momentum sphere, the topology of which guarantees the existence of isolated singularities. For pure (real or imaginary) vectors, those singularities correspond…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
We study the dynamics of surface homeomorphisms around isolated fixed points whose Poincar\'{e}-Lefschetz index is not equal to 1. We construct a new conjugacy invariant, which is a cyclic word on the alphabet $\{\ua, \ra, \da, \la\}$. This…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
We describe some families of differentiable vector fields with the Hopf bifurcation at infinity, without assuming the continuous differentiability. These vector fields have isolated singular points on the plane, and the initial families are…
We extend to the infinite dimensional context the link between two completely different topics recently highlighted by the authors: the classical eigenvalue problem for real square matrices and the Brouwer degree for maps between oriented…
We introduce a new topology, weaker than the gap topology, on the space of selfadjoint operators affiliated to a semifinite von Neumann algebra. We define the real-valued spectral flow for a continuous path of selfadjoint Breuer-Fredholm…
We study a partial differential relation that arises in the context of the Born-Infeld equations (an extension of the Maxwell's equations) by using Gromov's method of convex integration in the setting of divergence free fields.
A double-layer integral equation for the surface tractions on a body moving in a viscous fluid is derived which allows for the incorporation of a background flow and/or the presence of a plane wall. The Lorentz reciprocal theorem is used to…
In the steady Couette flow of a granular gas the sign of the heat flux gradient is governed by the competition between viscous heating and inelastic cooling. We show from the Boltzmann equation for inelastic Maxwell particles that a special…
Let $H$ be a Hopf algebra over a field $k$, and $A$ an $H$-comodule algebra. The categories of comodules and relative Hopf modules are then Grothendieck categories with enough injectives. We study the derived functors of the associated Hom…
Homotopy Brouwer theory is a tool to study the dynamics of surface homeomorphisms. We introduce and illustrate the main objects of homotopy Brouwer theory, and provide a proof of Handel's fixed point theorem. These are the notes of a…
These notes hopefully provide an aid to the comprehension of the Connes-Moscovici and Connes-Kreimer works, by isolating common mathematical features of the Connes-Moscovici, rooted trees, and Feynman-graph Hopf algebras (as a new special…
The purpose of this paper is to analyze the degree index and clustering index in random graphs. The degree index in our setup is a certain measure of degree irregularity whose basic properties are well studied in the literature, and the…
The goal of this paper is the exact computation of the degrees $\text{deg}(f^n)$ of the iterates of birational maps $f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N$. In the preceding companion paper, a new method has been proposed based on…
We classify combinatorial Dyson-Schwinger equations giving a Hopf subalgebra of the Hopf algebra of Feynman graphs of the considered Quantum Field Theory. We first treat single equations with an arbitrary number (eventually infinite) of…
Over all graphs (or unicyclic graphs) of a given order, we characterise those graphs that minimise or maximise the number of connected induced subgraphs. For each of these classes, we find that the graphs that minimise the number of…
We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…
We develop versions of the Poincar\'e-Birkhoff-Witt and Cartier-Milnor-Moore theorems in the setting of braided Hopf algebras. To do so, we introduce new analogues of a Lie algebra in the setting of a braided monoidal category, using the…