Search results for "Mathematics::Algebraic Topology"

showing 10 items of 65 documents

The cartesian closed bicategory of generalised species of structures

2007

AbstractThe concept of generalised species of structures between small categories and, correspondingly, that of generalised analytic functor between presheaf categories are introduced. An operation of substitution for generalised species, which is the counterpart to the composition of generalised analytic functors, is also put forward. These definitions encompass most notions of combinatorial species considered in the literature — including of course Joyal's original notion — together with their associated substitution operation. Our first main result exhibits the substitution calculus of generalised species as arising from a Kleisli bicategory for a pseudo-comonad on profunctors. Our secon…

FunctorGeneral MathematicsSubstitution (logic)species of structures analytic functorPresheafComposition (combinatorics)BicategoryMathematics::Algebraic TopologyAlgebraCartesian closed categoryCombinatorial speciesMathematics::Category Theorybicategory cartesian closed categoriesMathematicsJournal of the London Mathematical Society
researchProduct

On operads, bimodules and analytic functors

2017

We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is cartesian closed. In order to obtain this result, we extend the theory of distributors and the formal theory of monads.

General Mathematics0102 computer and information sciences01 natural sciencesMathematics::Algebraic TopologyQuantitative Biology::Cell BehaviorMathematics::K-Theory and HomologyMathematics::Quantum AlgebraMathematics::Category Theory18D50 55P48 18D05 18C15FOS: MathematicsAlgebraic Topology (math.AT)Category Theory (math.CT)Mathematics - Algebraic Topology0101 mathematicsMathematicsFunctorOperad bimodule analytic functor bicategoryTheoryMathematics::Operator AlgebrasApplied Mathematics010102 general mathematicsOrder (ring theory)Mathematics - Category Theory16. Peace & justiceBicategoryAlgebraCartesian closed category010201 computation theory & mathematicsBimodule
researchProduct

Schubert calculus and singularity theory

2010

Abstract Schubert calculus has been in the intersection of several fast developing areas of mathematics for a long time. Originally invented as the description of the cohomology of homogeneous spaces, it has to be redesigned when applied to other generalized cohomology theories such as the equivariant, the quantum cohomology, K -theory, and cobordism. All this cohomology theories are different deformations of the ordinary cohomology. In this note, we show that there is, in some sense, the universal deformation of Schubert calculus which produces the above mentioned by specialization of the appropriate parameters. We build on the work of Lerche Vafa and Warner. The main conjecture these auth…

High Energy Physics - TheoryGroup cohomologySchubert calculusGeneral Physics and AstronomyFOS: Physical sciencesMathematics::Algebraic TopologyCohomologyMotivic cohomologyAlgebraMathematics - Algebraic GeometryHigh Energy Physics - Theory (hep-th)Cup productMathematics::K-Theory and HomologyDe Rham cohomologyFOS: MathematicsEquivariant cohomologyGeometry and TopologyAlgebraic Geometry (math.AG)Mathematical PhysicsQuantum cohomologyMathematics
researchProduct

Cohomology of Filippov algebras and an analogue of Whitehead's lemma

2009

We show that two cohomological properties of semisimple Lie algebras also hold for Filippov (n-Lie) algebras, namely, that semisimple n-Lie algebras do not admit non-trivial central extensions and that they are rigid i.e., cannot be deformed in Gerstenhaber sense. This result is the analogue of Whitehead's Lemma for Filippov algebras. A few comments about the n-Leibniz algebras case are made at the end.

High Energy Physics - TheoryHistoryLemma (mathematics)Pure mathematicsMathematics::Dynamical SystemsMathematics::Rings and AlgebrasFOS: Physical sciencesMathematical Physics (math-ph)Mathematics - Rings and AlgebrasMathematics::Algebraic TopologyCohomologyComputer Science ApplicationsEducationHigh Energy Physics - Theory (hep-th)Rings and Algebras (math.RA)Mathematics::K-Theory and HomologyWhitehead's lemmaMathematics::Quantum AlgebraLie algebraFOS: MathematicsMathematical PhysicsMathematicsJournal of Physics: Conference Series
researchProduct

Algebraic de Rham Cohomology

2017

Let k be a field of characteristic zero. We are going to define relative algebraic de Rham cohomology for general varieties over k, not necessarily smooth.

Hodge conjecturePure mathematicsChern–Weil homomorphismMathematics::K-Theory and HomologyGroup cohomologyCyclic homologyDe Rham cohomologyEquivariant cohomologyMathematics::Algebraic TopologyCohomologyMathematicsMotivic cohomology
researchProduct

On the Construction of Lusternik-Schnirelmann Critical Values with Application to Bifurcation Problems

1987

An iterative method to construct Lusternik-Schnirelmann critical values is presented. Examples of its use to obtain numerical solutions to nonlinear eigenvalue problems and their bifurcation branches are given. peerReviewed

Lusternik-Schnirelmann critical valuesMathematics::General Topologynonlinear eigenvalue problemsMathematics::Algebraic Topology
researchProduct

Milnor-Witt Motives

2020

We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our cycles come equipped with quadratic forms. This yields a weaker notion of transfers and a derived category of motives that is closer to the stable homotopy theory of schemes. We prove a cancellation theorem when tensoring with the Tate object, we compare the diagonal part of our Milnor-Witt motivic cohomology to Minor-Witt K-theory and we provide spectra representing various versions of motivic cohomology in the $\mathbb{A}^1$-derived category or the stable ho…

Mathematics - Algebraic GeometryMathematics::K-Theory and HomologyMathematics::Category Theory11E70 13D15 14F42 19E15 19G38 (Primary) 11E81 14A99 14C35 19D45 (Secondary)FOS: Mathematics[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG][MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]Algebraic Geometry (math.AG)Mathematics::Algebraic Topology
researchProduct

Orientation theory in arithmetic geometry

2016

This work is devoted to study orientation theory in arithmetic geometric within the motivic homotopy theory of Morel and Voevodsky. The main tool is a formulation of the absolute purity property for an \emph{arithmetic cohomology theory}, either represented by a cartesian section of the stable homotopy category or satisfying suitable axioms. We give many examples, formulate conjectures and prove a useful property of analytical invariance. Within this axiomatic, we thoroughly develop the theory of characteristic and fundamental classes, Gysin and residue morphisms. This is used to prove Riemann-Roch formulas, in Grothendieck style for arbitrary natural transformations of cohomologies, and a …

Mathematics - Algebraic Geometryresiduescobordism14C40 14F42 14F20 19E20 19D45 19E15Mathematics::K-Theory and HomologyMathematics::Category Theory[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG][MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]Orientation theorymotivic homotopyMathematics::Algebraic TopologyRiemann-Roch formulas
researchProduct

Quillen superconnections and connections on supermanifolds

2013

Given a supervector bundle $E = E_0\oplus E_1 \to M$, we exhibit a parametrization of Quillen superconnections on $E$ by graded connections on the Cartan-Koszul supermanifold $(M;\Omega (M))$. The relation between the curvatures of both kind of connections, and their associated Chern classes, is discussed in detail. In particular, we find that Chern classes for graded vector bundles on split supermanifolds can be computed through the associated Quillen superconnections.

Mathematics - Differential GeometryHigh Energy Physics - TheoryChern classGeneral Physics and AstronomyVector bundleFOS: Physical sciences53C07 58C50 81T13Mathematical Physics (math-ph)Mathematics::Algebraic TopologyAlgebraHigh Energy Physics::TheoryDifferential Geometry (math.DG)High Energy Physics - Theory (hep-th)Mathematics::K-Theory and HomologyBundleSupermanifoldFOS: MathematicsGeometry and TopologyMathematics::Differential GeometryParametrizationMathematics::Symplectic GeometryMathematical PhysicsMathematics
researchProduct

Wolfe's theorem for weakly differentiable cochains

2014

Abstract A fundamental theorem of Wolfe isometrically identifies the space of flat differential forms of dimension m in R n with the space of flat m -cochains, that is, the dual space of flat chains of dimension m in R n . The main purpose of the present paper is to generalize Wolfe's theorem to the setting of Sobolev differential forms and Sobolev cochains in R n . A suitable theory of Sobolev cochains has recently been initiated by the second and third author. It is based on the concept of upper norm and upper gradient of a cochain, introduced in analogy with Heinonen–Koskela's concept of upper gradient of a function.

Mathematics - Differential GeometryPure mathematicsDifferential form49Q15 46E35 53C65 49J52Mathematics::Algebraic Topology01 natural sciencesMathematics - Analysis of PDEs0103 physical sciencesFOS: MathematicsDifferentiable function0101 mathematicsflat cochainMathematicsFundamental theoremDual spaceta111polyhedral chain010102 general mathematicsCohomologySobolev spaceDifferential Geometry (math.DG)Norm (mathematics)010307 mathematical physicsgeometric integration theoryweakly differentiable cochainAnalysisAnalysis of PDEs (math.AP)
researchProduct