Related papers: Stone Duality for Relations
We extend to infinite graphs the matroidal characterization of finite graph duality, that two graphs are dual iff they have complementary spanning trees in some common edge set. The naive infinite analogue of this fails. The key in an…
String theories should reduce to ordinary four-dimensional field theories at low energies. Yet the formulation of the two are so different that such a connection, if it exists, is not immediately obvious. With the Schwinger proper-time…
Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over…
In this paper, we introduce an equivalence relation on the set of local moves and classify local moves, called the extended $ST$-moves, up to the equivalence. Moreover, by inducing a binary relation on the set of equivalence classes of…
One important class of tools in the study of the connections between algebraic and topological structures are the "Banach-Stone type theorems", which describe algebraic isomorphisms of algebras (or groups, lattices, etc.) of functions in…
This work deals with the notion of Newton complementary duality as raised originally in the work of the second author and B. Costa. A conceptual revision of the main steps of the notion is accomplished which then leads to a vast…
String theory requires two kinds of loop expansion: classical $(\alpha')$ worldsheet loops with expansion parameter $<T>$ where $T$ is a modulus field, and quantum $(\hbar)$ spacetime loops with expansion parameter $<S>$ where $S$ is the…
The chemical ordering transition in a binary alloy is examined using classical density functional theory for a binary mixture. The ordered lattice is assumed to be obtained from the disordered lattice by a volume change only, as in L1_2…
We present a contravariant reflection of the compact $T_1$-spaces with arrows given by closed continuous functions into the category of bounded distributive lattices with arrows given by closed subfit morphisms. This reflection extends both…
We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we…
Gelfand-Naimark-Stone duality provides an algebraic counterpart of compact Hausdorff spaces in the form of uniformly complete bounded archimedean $\ell$-algebras. In [4] we extended this duality to completely regular spaces. In this article…
A new global approach in the study of duality transformations is introduced. The geometrical structure of complex line bundles is generalized to higher order U(1) bundles which are classified by quantized charges and duality maps are…
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…
Level-rank duality relates the observables of two different Chern-Simons theories in which the roles of the Chern-Simons level and the rank of the gauge group are exchanged. In this note, we explore the consequences of this duality in the…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
We define a set of operations called crystal operations on matrices with entries either in {0,1} or in N. There are horizontal and vertical crystal operations, giving rise to two commuting structures of a crystal graph on these matrices.…
We derive a component-field expansion of the Green-Schwarz action for the type IIA string, in an arbitrary background of massless NS-NS and R-R bosonic fields, up to quadratic order in the fermionic coordinates \theta. Using this action, we…
We use correspondences to define a purely topological equivariant bivariant K-theory for spaces with a proper groupoid action. Our notion of correspondence differs slightly from that of Connes and Skandalis. We replace smooth K-oriented…
This paper generalizes the normally ordered tensor product from Tate vector spaces to Tate objects over arbitrary exact categories. We show how to lift bi-right exact monoidal structures, duality functors, and construct external Homs. We…
A mixed type dual to a nondifferentiable variational problem involving higher order derivative is formulated and duality results are proved under generalized invexity conditions. Special cases are generated from our results.