English
Related papers

Related papers: Notes on $n$-Transformations by Theories ($n\in {\…

200 papers

We prove that coherent configurations can be represented as modules over Frobenius structures in the category of real nonnegative matrices. We generalize the notion of admissible morphism from association schemes to coherent configurations.…

Combinatorics · Mathematics 2025-07-30 Gejza Jenča , Anna Jenčová , Dominik Lachman

We give a mathematical interpretation of the dualities between type $A$ Argyres-Douglas theories recently obtained by Beem, Martone, Sacchi, Singh and Stedman, building on work of Xie. Using the fact that, via the wild nonabelian Hodge…

Mathematical Physics · Physics 2026-03-19 Jean Douçot

We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…

Logic · Mathematics 2016-12-20 Dmytro Taranovsky

C denotes either the conformal group in 3+1 dimensions, or in one chiral dimension. Let U be a unitary, strongly continuous representation of C satisfying the spectrum condition and inducing, by its adjoint action, automorphisms of a…

Mathematical Physics · Physics 2011-08-17 Soeren Koester

In these notes, we survey the homology of the loop group Omega(K) of a compact group K, also known as the affine Grassmannian of a complex loop group. Using the Bott picture of H_*(Omega(K)), the homology algebra or Pontryagin ring, we…

Representation Theory · Mathematics 2007-05-28 Peter Magyar

We show in this work that homology in degree d of a congruence group, in a very general framework, defines a weakly polynomial functor of degree at most 2d and we describe this functor modulo polynomial functors of smaller degree. Our main…

K-Theory and Homology · Mathematics 2017-12-12 Aurélien Djament

$O(N)$ invariants are the observables of real tensor models. We use regular colored graphs to represent these invariants, the valence of the vertices of the graphs relates to the tensor rank. We enumerate $O(N)$ invariants as $d$-regular…

Mathematical Physics · Physics 2022-11-15 Remi C. Avohou , Joseph Ben Geloun , Nicolas Dub

A question of Jack Morava is answered by generalising the notion of Moore paths to that of Moore hyperrectangles, so obtaining a strict cubical omega-category. This also has the structure of connections in the sense of Brown and Higgins,…

Category Theory · Mathematics 2009-09-21 Ronald Brown

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a…

Algebraic Topology · Mathematics 2020-12-09 Joana Cirici , Daniela Egas Santander , Muriel Livernet , Sarah Whitehouse

We describe a category of undirected graphs which comes equipped with a faithful functor into the category of (colored) modular operads. The associated singular functor from modular operads to presheaves is fully faithful, and its essential…

Category Theory · Mathematics 2020-07-03 Philip Hackney , Marcy Robertson , Donald Yau

We provide a characterization of homogeneous spaces under a reductive group scheme such that the geometric stabilizers are maximal tori. The quasi-split case over a semilocal base is of special interest and permits to answer a question…

Algebraic Geometry · Mathematics 2025-02-04 Philippe Gille , Ting-Yu Lee

We define a naturality construction for the operations of weak omega-categories, as a meta-operation in a dependent type theory. Our construction has a geometrical motivation as a local tensor product with a directed interval, and behaves…

Category Theory · Mathematics 2025-05-15 Thibaut Benjamin , Ioannis Markakis , Wilfred Offord , Chiara Sarti , Jamie Vicary

For a finite group scheme G over an algebraically closed field k of characteristic p>0 we study G-modules M, which are defined in terms of properties of their pull-backs along p-points of G. We show that the corresponding subcategories…

Representation Theory · Mathematics 2011-10-13 Rolf Farnsteiner

We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad…

q-alg · Mathematics 2008-02-03 John C. Baez , James Dolan

We show that recently proposed linear sigma models with torsion can be obtained from unconventional branches of conventional gauge theories. This observation puts models with log interactions on firm footing. If non-anomalous multiplets are…

High Energy Physics - Theory · Physics 2015-06-05 Callum Quigley , Savdeep Sethi , Mark Stern

We completely characterize the weak differentiability (or, in other words Gateaux differentiability) of the norm in the spaces of bounded multilinear maps. Also, we obtain a multilinear generalization of the well-known Bhatia-\v{S}emrl…

Functional Analysis · Mathematics 2023-05-31 Saikat Roy

We consider Tonelli Lagrangians on a graph, define weak KAM solutions, which happen to be the fixed points of the Lax-Oleinik semi-group, and identify their uniqueness set as the Aubry set, giving a representation formula. Our main result…

Analysis of PDEs · Mathematics 2017-04-28 Renato Iturriaga , Hector Sanchez Morgado

The application of the Legendre transformation to a hyperregular Lagrangian system results in a Hamiltonian vector field generated by a Hamiltonian defined on the phase space of the mechanical system. The Legendre transformation in its…

Mathematical Physics · Physics 2007-05-23 Wlodzimierz M. Tulczyjew , Pawel Urbanski

One-dimensional quantum mechanical models obeying Smilga's weak supersymmetry are described in the matrix form. They are related to the parasupersymmetric and higher-order derivative deformations of the standard supersymmetric models…

High Energy Physics - Theory · Physics 2024-08-06 Vyacheslav P. Spiridonov

We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on parametrized saturation categories, i.e. categories whose…

Logic in Computer Science · Computer Science 2015-09-29 Tomasz Brengos , Marino Miculan , Marco Peressotti