Search results for "Mathematics::Category Theory"

showing 10 items of 180 documents

Extension theory and the calculus of butterflies

2016

Abstract This paper provides a unified treatment of two distinct viewpoints concerning the classification of group extensions: the first uses weak monoidal functors, the second classifies extensions by means of suitable H 2 -actions. We develop our theory formally, by making explicit a connection between (non-abelian) G-torsors and fibrations. Then we apply our general framework to the classification of extensions in a semi-abelian context, by means of butterflies [1] between internal crossed modules. As a main result, we get an internal version of Dedecker's theorem on the classification of extensions of a group by a crossed module. In the semi-abelian context, Bourn's intrinsic Schreier–M…

TorsorCrossed moduleContext (language use)01 natural sciencesCohomologyCohomology; Extension; Fibrations; Obstruction theory; Schreier-mac lane theorem; TorsorsExtensionMathematics::Category Theory0103 physical sciences0101 mathematicsConnection (algebraic framework)MathematicsAlgebra and Number TheoryFunctorGroup (mathematics)010102 general mathematicsTorsorsExtension (predicate logic)Obstruction theorySchreier-mac lane theoremCohomologyFibrationsAlgebraSettore MAT/02 - AlgebraSchreier–Mac Lane theoremSettore MAT/03 - Geometria010307 mathematical physicsObstruction theory
researchProduct

"Table 12" of "Search for heavy resonances decaying to a photon and a hadronically decaying $Z/W/H$ boson in $pp$ collisions at $\sqrt{s}=13$ $\mathr…

2018

Distribution of the reconstructed J+gamma invariant mass in W+gamma search ELSE category.

X --> W gammaMathematics::Category TheoryAstrophysics::High Energy Astrophysical PhenomenaEvents per bin13000 GeV
researchProduct

"Table 10" of "Search for heavy resonances decaying to a photon and a hadronically decaying $Z/W/H$ boson in $pp$ collisions at $\sqrt{s}=13$ $\mathr…

2018

Distribution of the reconstructed J+gamma invariant mass in W+gamma search D2 category.

X --> W gammaMathematics::Category TheoryAstrophysics::High Energy Astrophysical PhenomenaEvents per bin13000 GeV
researchProduct

"Table 11" of "Search for heavy resonances decaying to a photon and a hadronically decaying $Z/W/H$ boson in $pp$ collisions at $\sqrt{s}=13$ $\mathr…

2018

Distribution of the reconstructed J+gamma invariant mass in W+gamma search VMASS category.

X --> W gammaMathematics::Category TheoryAstrophysics::High Energy Astrophysical PhenomenaEvents per bin13000 GeV
researchProduct

The dual and the double of a Hopf algebroid are Hopf algebroids

2017

Let $H$ be a $\times$-bialgebra in the sense of Takeuchi. We show that if $H$ is $\times$-Hopf, and if $H$ fulfills the finiteness condition necessary to define its skew dual $H^\vee$, then the coopposite of the latter is $\times$-Hopf as well. If in addition the coopposite $\times$-bialgebra of $H$ is $\times$-Hopf, then the coopposite of the Drinfeld double of $H$ is $\times$-Hopf, as is the Drinfeld double itself, under an additional finiteness condition.

[ MATH ] Mathematics [math]Pure mathematicsGeneral Computer ScienceDuality (optimization)01 natural sciencesTheoretical Computer ScienceMathematics::Category TheoryMathematics::Quantum AlgebraMathematics - Quantum Algebra0103 physical sciencesFOS: Mathematics[MATH.MATH-RA] Mathematics [math]/Rings and Algebras [math.RA]Quantum Algebra (math.QA)[ MATH.MATH-CT ] Mathematics [math]/Category Theory [math.CT]0101 mathematics[MATH]Mathematics [math]Hopf algebroid[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]Mathematics[MATH.MATH-QA] Mathematics [math]/Quantum Algebra [math.QA]Algebra and Number TheoryMSC: 16T99 18D10[ MATH.MATH-QA ] Mathematics [math]/Quantum Algebra [math.QA]010308 nuclear & particles physicsbialgebroid[MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA]010102 general mathematicsMathematics::Rings and AlgebrasSkewMathematics - Rings and Algebras[MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT][ MATH.MATH-RA ] Mathematics [math]/Rings and Algebras [math.RA]Dual (category theory)Rings and Algebras (math.RA)Theory of computation[MATH.MATH-QA]Mathematics [math]/Quantum Algebra [math.QA]duality
researchProduct

Categorical action of the extended braid group of affine type $A$

2017

Using a quiver algebra of a cyclic quiver, we construct a faithful categorical action of the extended braid group of affine type A on its bounded homotopy category of finitely generated projective modules. The algebra is trigraded and we identify the trigraded dimensions of the space of morphisms of this category with intersection numbers coming from the topological origin of the group.

[ MATH ] Mathematics [math]Pure mathematicsGeneral MathematicsCategorificationBraid groupGeometric intersection01 natural sciencesMathematics - Geometric TopologyMorphismMathematics::Category TheoryQuiverMathematics - Quantum Algebra0103 physical sciencesFOS: MathematicsQuantum Algebra (math.QA)Representation Theory (math.RT)0101 mathematics[MATH]Mathematics [math]MathematicsHomotopy categoryGroup (mathematics)Applied Mathematics010102 general mathematicsQuiverBraid groupsGeometric Topology (math.GT)16. Peace & justiceCategorificationCategorical actionBounded functionMSC: 20F36 18E30 57M99 13D99010307 mathematical physicsAffine transformationMathematics - Representation Theory
researchProduct

Hom-Lie quadratic and Pinczon Algebras

2017

ABSTRACTPresenting the structure equation of a hom-Lie algebra 𝔤, as the vanishing of the self commutator of a coderivation of some associative comultiplication, we define up to homotopy hom-Lie algebras, which yields the general hom-Lie algebra cohomology with value in a module. If the hom-Lie algebra is quadratic, using the Pinczon bracket on skew symmetric multilinear forms on 𝔤, we express this theory in the space of forms. If the hom-Lie algebra is symmetric, it is possible to associate to each module a quadratic hom-Lie algebra and describe the cohomology with value in the module.

[ MATH ] Mathematics [math]Universal enveloping algebra01 natural sciencesCohomologyFiltered algebraQuadratic algebraMathematics::Category Theory0103 physical sciences[MATH]Mathematics [math]0101 mathematicsMSC: 17A45 17B56 17D99 55N20ComputingMilieux_MISCELLANEOUSMathematicsSymmetric algebraAlgebra and Number TheoryQuadratic algebrasMathematics::Rings and Algebras010102 general mathematicsUp to homotopy algebras16. Peace & justiceLie conformal algebraHom-Lie algebrasAlgebraDivision algebraAlgebra representationPhysics::Accelerator PhysicsCellular algebra010307 mathematical physics
researchProduct

A simple algorithm for finding short sigma-definite representatives

2010

We describe a new algorithm which for each braid returns a quasi-geodesic sigma-definite word representative, defined as a braid word in which the generator sigma_i with maximal index i appears either only positively or only negatively.

[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR]Braid groupbraid monoids20F3620M0506F05Group Theory (math.GR)02 engineering and technology01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]Mathematics::Group TheoryMathematics::Category TheoryMathematics::Quantum AlgebraFOS: MathematicsBraidBraid group0101 mathematicsSIMPLE algorithmMathematicsDiscrete mathematicsGenerator (computer programming)algorithmAlgebra and Number Theory010102 general mathematicsSigmaComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)021001 nanoscience & nanotechnologyMathematics::Geometric Topologybraid orderingIndex (publishing)0210 nano-technologyMathematics - Group TheoryWord (computer architecture)Journal of Algebra
researchProduct

Birman's conjecture for singular braids on closed surfaces

2003

Let M be a closed oriented surface of genus g≥1, let Bn(M) be the braid group of M on n strings, and let SBn(M) be the corresponding singular braid monoid. Our purpose in this paper is to prove that the desingularization map η : SBn(M)→ℤ[Bn(M)], introduced in the definition of the Vassiliev invariants (for braids on surfaces), is injective.

[ MATH.MATH-GT ] Mathematics [math]/Geometric Topology [math.GT]MonoidPure mathematics[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR]Braid group20F36Group Theory (math.GR)01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]Mathematics - Geometric TopologyMathematics::Group Theory[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT]Mathematics::Category TheoryMathematics::Quantum AlgebraGenus (mathematics)0103 physical sciencesFOS: MathematicsBraid0101 mathematicsMathematics[MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT][MATH.MATH-GR] Mathematics [math]/Group Theory [math.GR]Algebra and Number TheoryConjecture010102 general mathematicsGeometric Topology (math.GT)20F36;57M27Braid theorySurface (topology)Mathematics::Geometric TopologyInjective function57M27010307 mathematical physicsMathematics - Group Theory
researchProduct

Stable motivic homotopy theory at infinity

2021

In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport-Zink; similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the stable motivic homotopy type at infinity of an algebraic variety recovers the singular complex at in…

[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG][MATH.MATH-AT] Mathematics [math]/Algebraic Topology [math.AT]Mathematics::Algebraic TopologyMathematics - Algebraic GeometryMathematics::Algebraic GeometryMathematics::K-Theory and Homology[MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT]Mathematics::Category TheoryFOS: MathematicsAlgebraic Topology (math.AT)[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]Mathematics - Algebraic TopologyPrimary: 14F42 19E15 55P42 Secondary: 14F45 55P57Algebraic Geometry (math.AG)
researchProduct