-
Assume-guarantee contract algebras are bounded Sugihara monoids
Authors:
Jose Luis Castiglioni,
Rodolfo Ertola-Biraben
Abstract:
In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relies heavily on a construction involving Boolean algebras. However, the structures thus proposed lack a clearly prescribed set of basic operations, necessary if we want to see them as a class of algebras (in the sense of Un…
▽ More
In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relies heavily on a construction involving Boolean algebras. However, the structures thus proposed lack a clearly prescribed set of basic operations, necessary if we want to see them as a class of algebras (in the sense of Universal Algebra). In this article, by prescribing a suitable set of basic operations on contracts, we manage to describe these algebras as (a generating set of members of) well-known varieties.
△ Less
Submitted 16 April, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Interpolating Bremsstrahlung function in ABJM
Authors:
Luigi Castiglioni,
Silvia Penati,
Marcia Tenser,
Diego Trancanelli
Abstract:
In ABJM theory, enriched RG flows between circular 1/6 BPS bosonic and 1/2 BPS fermionic Wilson loops have been introduced in arXiv:2211.16501. These flows are triggered by deformations corresponding to parametric 1/6 BPS fermionic loops. In this paper we revisit the study of these operators, but instead of circular contours we consider an interpolating cusped line and a latitude and study their R…
▽ More
In ABJM theory, enriched RG flows between circular 1/6 BPS bosonic and 1/2 BPS fermionic Wilson loops have been introduced in arXiv:2211.16501. These flows are triggered by deformations corresponding to parametric 1/6 BPS fermionic loops. In this paper we revisit the study of these operators, but instead of circular contours we consider an interpolating cusped line and a latitude and study their RG flow in perturbation theory. This allows for the definition of a Bremsstrahlung function away from fixed points. We generalize to this case the known cusp/latitude correspondence that relates the Bremsstrahlung function to a latitude Wilson loop. We find that away from the conformal fixed points the ordinary identity is broken by the conformal anomaly in a controlled way. From a defect perspective, the breaking of the correspondence can be traced back to the appearance of an anomalous dimension for fermionic operators localized on the defect. As a by-product, we provide a brand new result for the two-loop cusp anomalous dimension of the 1/6 BPS fermionic and the 1/6 BPS bosonic Wilson lines.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Wilson loops and defect RG flows in ABJM
Authors:
Luigi Castiglioni,
Silvia Penati,
Marcia Tenser,
Diego Trancanelli
Abstract:
We continue our study of renormalization group (RG) flows on Wilson loop defects in ABJM theory, which we have initiated in arXiv:2211.16501. We generalize that analysis by including non-supersymmetric fixed points and RG trajectories. To this end, we first determine the ``ordinary", non-supersymmetric Wilson loops, which turn out to be two and to include an R-symmetry preserving coupling to the s…
▽ More
We continue our study of renormalization group (RG) flows on Wilson loop defects in ABJM theory, which we have initiated in arXiv:2211.16501. We generalize that analysis by including non-supersymmetric fixed points and RG trajectories. To this end, we first determine the ``ordinary", non-supersymmetric Wilson loops, which turn out to be two and to include an R-symmetry preserving coupling to the scalar fields of the theory, contrary to their four-dimensional counterpart defined solely in terms of the gauge field holonomy. We then deform these operators by turning on bosonic and/or fermionic couplings, which trigger an elaborate, multi-dimensional network of possible RG trajectories connecting a large spectrum of fixed points classified in terms of the amount (possibly zero) of supersymmetry and R-symmetry preserved. The $β$-functions are computed to leading order in the ABJM coupling but exactly in the deformation parameters, using an auxiliary one-dimensional theory on the defect and a dimensional regularization scheme. A striking result is the different behavior of the two ordinary Wilson loops, of which one turns out to be a UV unstable point while the other is IR stable. The same is true for the two 1/2 BPS Wilson loops. We interpret our results from a defect CFT (dCFT) point of view, computing the anomalous dimensions of the operators associated to the deformations and establishing appropriate g-theorems. In particular, the fermionic unstable fixed point is associated to a dCFT which is not reflection positive.
△ Less
Submitted 5 May, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Interpolating Wilson loops and enriched RG flows
Authors:
Luigi Castiglioni,
Silvia Penati,
Marcia Tenser,
Diego Trancanelli
Abstract:
We study new $1/24$ BPS circular Wilson loops in ABJ(M) theory, which are defined in terms of several parameters that continuously interpolate between previously known $1/6$ BPS loops (both bosonic and fermionic) and $1/2$ BPS fermionic loops. We compute the expectation value of these operators up to second order in perturbation theory using a one-dimensional effective field theory approach. Withi…
▽ More
We study new $1/24$ BPS circular Wilson loops in ABJ(M) theory, which are defined in terms of several parameters that continuously interpolate between previously known $1/6$ BPS loops (both bosonic and fermionic) and $1/2$ BPS fermionic loops. We compute the expectation value of these operators up to second order in perturbation theory using a one-dimensional effective field theory approach. Within dimensional regularization, we find non-trivial $β$-functions for the parameters, which are marginally relevant deformations triggering RG flows from a UV fixed point represented by the $1/6$ BPS bosonic loop to an IR fixed point represented by a $1/2$ BPS fermionic loop. Generically, along all flows at least one supercharge of the theory is preserved, so that we refer to them as enriched RG flows. In particular, fixed points are connected through $1/6$ BPS fermionic operators. This holds at framing zero, which is a consequence of the regularization scheme employed. We also establish a g-theorem, relating the expectation values of the Wilson loops corresponding to the UV and IR fixed points of the flow, and discuss the one-dimensional defect SCFT living on the Wilson loop contour.
△ Less
Submitted 2 February, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
On subreducts of subresiduated lattices and logic
Authors:
J. L. Castiglioni,
V. Fernández,
H. F. Mallea,
H. J. San Martín
Abstract:
Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of subuintuitionistic logics, i.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is de…
▽ More
Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of subuintuitionistic logics, i.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is defined, but without requiring of the models some of the properties required in the intuitionistic case. Also in relation with the study of subintuitionistic logics, Celani and Jansana get these algebras as the elements of a subvariety of that of weak Heyting algebras.
Here, we study both the implicative and the implicative-infimum subreducts of subresiduated lattices. Besides, we propose a calculus whose algebraic semantics is given by these classes of algebras. Several expansions of this calculi are also studied together to some interesting properties of them.
△ Less
Submitted 5 November, 2022;
originally announced November 2022.
-
Generalized Chain Products of MTL-chains
Authors:
Jose L Castiglioni,
William J. Zuluaga Botero
Abstract:
In this paper we present a different approach to ordinal sums of MTL-chains, as extensions of finite chains in the category of semihoops. In addition, we prove in a very simple way that every finite locally unital MTL-chain can be decomposed as an ordinal sum of archimedean MTL-chains. Furthermore, we introduce Generalized Chain Products of MTL-chains and we show that ordinal sums of locally unita…
▽ More
In this paper we present a different approach to ordinal sums of MTL-chains, as extensions of finite chains in the category of semihoops. In addition, we prove in a very simple way that every finite locally unital MTL-chain can be decomposed as an ordinal sum of archimedean MTL-chains. Furthermore, we introduce Generalized Chain Products of MTL-chains and we show that ordinal sums of locally unital MTL-chains are particular cases of those.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
Prelinear Hilbert algebras
Authors:
Jose Luis Castiglioni,
Sergio A. Celani,
Hernan J. San Martin
Abstract:
In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the algebraic category of prelinear Hilbert algebras.
In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the algebraic category of prelinear Hilbert algebras.
△ Less
Submitted 6 September, 2018;
originally announced September 2018.
-
Algorithms and image formation in orbital tomography
Authors:
Pavel Kliuiev,
Tatiana Latychevskaia,
Giovanni Zamborlini,
Matteo Jugovac,
Christian Metzger,
Manuel Grimm,
Achim Schöll,
Jürg Osterwalder,
Matthias Hengsberger,
Luca Castiglioni
Abstract:
Orbital tomography has recently been established as a technique to reconstruct molecular orbitals directly from photoemission data using iterative phase retrieval algorithms. In this work, we present a detailed description of steps for processing of the photoemission data followed by an improved iterative phase retrieval procedure and the interpretation of reconstructed two-dimensional orbital dis…
▽ More
Orbital tomography has recently been established as a technique to reconstruct molecular orbitals directly from photoemission data using iterative phase retrieval algorithms. In this work, we present a detailed description of steps for processing of the photoemission data followed by an improved iterative phase retrieval procedure and the interpretation of reconstructed two-dimensional orbital distributions. We address the issue of background subtraction by suggesting a signal restoration routine based on the maximization of mutual information algorithm and solve the problem of finding the geometrical center in the reconstruction by using a tight-centered object support in a two-step phase retrieval procedure. The proposed image processing and improved phase retrieval procedures are used to reconstruct the highest occupied molecular orbital of pentacene on Ag(110), using photoemission data only. The results of the reconstruction agree well with the density functional theory simulation, modified to comply with the experimental conditions. By comparison with photoelectron holography, we show that the reconstructed two-dimensional orbital distribution can be interpreted as a superposition of the in-focus orbital distribution evaluated at the z = 0 plane and out-of-focus distributions evaluated at other z = const planes. Three-dimensional molecular orbital distributions could thus be reconstructed directly from two-dimensional photoemission data, provided the axial resolution of the imaging system is high enough.
△ Less
Submitted 15 August, 2018; v1 submitted 14 August, 2018;
originally announced August 2018.
-
Variations of the free implicative semilattice extension of a Hilbert algebra
Authors:
José L. Castiglioni,
Hernán J. San Martín
Abstract:
In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtain…
▽ More
In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtained between the algebraic categories of Hilbert algebras with supremum and that of generalized Heyting algebras. Finally, in last section we describe a functor from the algebraic category of Hilbert algebras to that of generalized Heyting algebras, of possible independent interest.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
Robustness of the charge-ordered phases in IrTe$_2$ against photoexcitation
Authors:
C. Monney,
A. Schuler,
T. Jaouen,
M. -L. Mottas,
Th. Wolf,
M. Merz,
M. Muntwiler,
L. Castiglioni,
P. Aebi,
F. Weber,
M. Hengsberger
Abstract:
We present a time-resolved angle-resolved photoelectron spectroscopy study of IrTe$_2$, which undergoes two first-order structural and charge-ordered phase transitions on cooling below 270 K and below 180 K. The possibility of inducing a phase transition by photoexcitation with near-infrared femtosecond pulses is investigated in the charge-ordered phases. We observe changes of the spectral functio…
▽ More
We present a time-resolved angle-resolved photoelectron spectroscopy study of IrTe$_2$, which undergoes two first-order structural and charge-ordered phase transitions on cooling below 270 K and below 180 K. The possibility of inducing a phase transition by photoexcitation with near-infrared femtosecond pulses is investigated in the charge-ordered phases. We observe changes of the spectral function occuring within a few hundreds of femtoseconds and persisting up to several picoseconds, which we interpret as a partial photoinduced phase transition (PIPT). The necessary time for photoinducing these spectral changes increases with increasing photoexcitation density and reaches timescales longer than the rise time of the transient electronic temperature. We conclude that the PIPT is driven by a transient increase of the lattice temperature following the energy transfer from the electrons. However, the photoinduced changes of the spectral function are small, which indicates that the low temperature phase is particularly robust against photoexcitation. We suggest that the system might be trapped in an out-of-equilibrium state, for which only a partial structural transition is achieved.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
On finite MTL-algebras that are representable as poset products of archimedean chains
Authors:
J. L. Castiglioni,
W. J. Zuluaga Botero
Abstract:
We obtain a duality between certain category of finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are essentialy sheaves of MTL-chains over Alexandrov spaces. Finally we give a concrete description for the studied poset products in terms of direct products and ordinal sums of finite MTL-algebras.
We obtain a duality between certain category of finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are essentialy sheaves of MTL-chains over Alexandrov spaces. Finally we give a concrete description for the studied poset products in terms of direct products and ordinal sums of finite MTL-algebras.
△ Less
Submitted 10 August, 2017;
originally announced August 2017.
-
On the free Heyting algebra extension of a Hilbert algebra
Authors:
J. L. Castiglioni,
H. J. San Martín
Abstract:
In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor factorizes through the free implicative semilattice extension of a Hilbert algebra of Celani and Jansana [On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--…
▽ More
In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor factorizes through the free implicative semilattice extension of a Hilbert algebra of Celani and Jansana [On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207].
△ Less
Submitted 29 November, 2017; v1 submitted 10 May, 2017;
originally announced May 2017.
-
On a symmetrization of hemiimplicative semilattices
Authors:
José Luis Castiglioni,
Hernán Javier San Martín
Abstract:
A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation $a \to a = 1$. The class of hemiimplicative semilattices form a variety. These structures provide a g…
▽ More
A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation $a \to a = 1$. The class of hemiimplicative semilattices form a variety. These structures provide a general framework for the study of different structures of interest in algebraic logic. In any hemiimplicative semilattice it is possible to define a derived operation by $a \sim b := (a \to b) \wedge (b \to a)$. Endowing $(A, \wedge, 1)$ with the binary operation $\sim$ results again a hemiimplicative semilattice, which also satisfies the identity $a \sim b = b \sim a$. We call the elements of the subvariety of hemiimplicative semilattices satisfying $a \to b = b \to a$, a symmetric hemiimplicative semilattice. In this article, we study the correspondence assigning the symmetric hemiimplicative semilattice $(A, \wedge, \sim , 1)$ to the hemiimplicative semilattice $(A, \wedge, \to, 1)$. In particular, we characterize the image of this correspondence. We also provide many new examples of hemiimplicative semilattice structures on any bounded semillatice (possibly with bottom). Finally, we characterize congruences on the clases of hemiimplicative semilattices introduced as examples and we describe the principal congruences of hemiimplicative semilattices.
△ Less
Submitted 29 November, 2016;
originally announced November 2016.
-
Application of iterative phase-retrieval algorithms to ARPES orbital tomography
Authors:
Pavel Kliuiev,
Tatiana Latychevskaia,
Juerg Osterwalder,
Matthias Hengsberger,
Luca Castiglioni
Abstract:
Electronic wave functions of planar molecules can be reconstructed via inverse Fourier transform of angle-resolved photoelectron spectroscopy (ARPES) data, provided the phase of the electron wave in the detector plane is known. Since the recorded intensity is proportional to the absolute square of the Fourier transform of the initial state wave function, information about the phase distribution is…
▽ More
Electronic wave functions of planar molecules can be reconstructed via inverse Fourier transform of angle-resolved photoelectron spectroscopy (ARPES) data, provided the phase of the electron wave in the detector plane is known. Since the recorded intensity is proportional to the absolute square of the Fourier transform of the initial state wave function, information about the phase distribution is lost in the measurement. It was shown that the phase can be retrieved in some cases by iterative algorithms using a priori information about the object such as its size and symmetry. We suggest a more generalized and robust approach for the reconstruction of molecular orbitals based on state-of-the-art phase-retrieval algorithms currently used in coherent diffraction imaging. We draw an analogy between the phase problem in molecular orbital imaging by ARPES and of that in optical coherent diffraction imaging by performing an optical analogue experiment on micrometer-sized structures. We successfully reconstruct amplitude and phase of both the micrometer-sized objects and a molecular orbital from the optical and photoelectron far-field intensity distributions, respectively, without any prior information about the shape of the objects.
△ Less
Submitted 6 September, 2016;
originally announced September 2016.
-
Modal operators for meet-complemented lattices
Authors:
José Luis Castiglioni,
Rodolfo C. Ertola-Biraben
Abstract:
We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.
We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.
△ Less
Submitted 8 March, 2016;
originally announced March 2016.
-
A representation theorem for integral rigs and its applications to residuated lattices
Authors:
J. L. Castiglioni,
M. Menni,
W. J. Zuluaga Botero
Abstract:
We prove that every integral rig in Sets is (functorially) the rig of global sections of a sheaf of really local integral rigs. We also show that this representation result may be lifted to residuated integral rigs and then restricted to varieties of these. In particular, as a corollary, we obtain a representation theorem for pre-linear residuated join-semilattices in terms of totally ordered fibe…
▽ More
We prove that every integral rig in Sets is (functorially) the rig of global sections of a sheaf of really local integral rigs. We also show that this representation result may be lifted to residuated integral rigs and then restricted to varieties of these. In particular, as a corollary, we obtain a representation theorem for pre-linear residuated join-semilattices in terms of totally ordered fibers. The restriction of this result to the level of MV-algebras coincides with the Dubuc-Poveda representation theorem.
△ Less
Submitted 20 October, 2015;
originally announced October 2015.
-
Universal central extensions of Lie-Rinehart algebras
Authors:
José Luis Castiglioni,
Xabier García-Martínez,
Manuel Ladra
Abstract:
In this paper we study the universal central extension of a Lie--Rinehart algebra and we give a description of it. Then we study the lifting of automorphisms and derivations to central extensions. We also give a definition of a non-abelian tensor product in Lie--Rinehart algebras based on the construction of Ellis of non-abelian tensor product of Lie algebras. We relate this non-abelian tensor pro…
▽ More
In this paper we study the universal central extension of a Lie--Rinehart algebra and we give a description of it. Then we study the lifting of automorphisms and derivations to central extensions. We also give a definition of a non-abelian tensor product in Lie--Rinehart algebras based on the construction of Ellis of non-abelian tensor product of Lie algebras. We relate this non-abelian tensor product to the universal central extension.
△ Less
Submitted 27 March, 2014;
originally announced March 2014.
-
Energy-dependent photoemission delays from noble metal surfaces by attosecond interferometry
Authors:
R. Locher,
L. Castiglioni,
M. Lucchini,
M. Greif,
L. Gallmann,
J. Osterwalder,
M. Hengsberger,
U. Keller
Abstract:
How quanta of energy and charge are transported on both atomic spatial and ultrafast time scales is at the heart of modern technology. Recent progress in ultrafast spectroscopy has allowed us to directly study the dynamical response of an electronic system to interaction with an electromagnetic field. Here, we present energy-dependent photoemission delays from the noble metal surfaces Ag(111) and…
▽ More
How quanta of energy and charge are transported on both atomic spatial and ultrafast time scales is at the heart of modern technology. Recent progress in ultrafast spectroscopy has allowed us to directly study the dynamical response of an electronic system to interaction with an electromagnetic field. Here, we present energy-dependent photoemission delays from the noble metal surfaces Ag(111) and Au(111). An interferometric technique based on attosecond pulse trains is applied simultaneously in a gas phase and a solid state target to derive surface-specific photoemission delays. Experimental delays on the order of 100 as are in the same time range as those obtained from simulations. The strong variation of measured delays with excitation energy in Ag(111), which cannot be consistently explained invoking solely electron transport or initial state localization as supposed in previous work, indicates that final state effects play a key role in photoemission from solids.
△ Less
Submitted 25 March, 2015; v1 submitted 21 March, 2014;
originally announced March 2014.
-
Peiffer Elements in Simplicial Groups and Algebras
Authors:
J. L. Castiglioni,
M. Ladra
Abstract:
The main objectives of this paper are to give general proofs of the following two facts:
A. For an operad $\oo$ in $\ab$, let $A$ be a simplicial $\oo$-algebra such that $A_m$ is the $\oo$-subalgebra generated by $(\sum_{i = 0}^{m} s_i(A_{m-1}))$, for every $n$, and let $\N A$ be the Moore complex of $A$. Then \[ d (\N_m A) = \sum_{I} γ(\oo_{p} \otimes \bigcap_{i \in I_1}\ker d_i \otimes ... \…
▽ More
The main objectives of this paper are to give general proofs of the following two facts:
A. For an operad $\oo$ in $\ab$, let $A$ be a simplicial $\oo$-algebra such that $A_m$ is the $\oo$-subalgebra generated by $(\sum_{i = 0}^{m} s_i(A_{m-1}))$, for every $n$, and let $\N A$ be the Moore complex of $A$. Then \[ d (\N_m A) = \sum_{I} γ(\oo_{p} \otimes \bigcap_{i \in I_1}\ker d_i \otimes ... \otimes \bigcap_{i \in I_{p}}\ker d_i) \] where the sum runs over those partitions of $[m-1]$, $I = (I_1,...,I_p)$, $p \geq 1$, and $γ$ is the action of $\oo$ on $A$.
B. Let $G$ be a simplicial group with Moore complex $\N G$ in which the normal subgroup of $G_n$ generated by the degenerate elements in dimension $n$ is the proper $G_n$. Then $d(\N_nG) = \prod_{I,J}[\bigcap_{i \in I}\ker d_i, \bigcap_{j \in J}\ker d_j]$, for $I,J \subseteq [n-1]$ with $I \cup J = [n-1]$.
In both cases, $d_i$ is the $i-th$ face of the corresponding simplicial object.
The former result completes and generalizes results from Akça and Arvasi, and Arvasi and Porter; the latter, results from Mutlu and Porter. Our approach to the problem is different from that of the cited works. We have first succeeded with a proof for the case of algebras over an operad by introducing a different description of the adjoint inverse of the normalization functor $\N: \sab \to \ch$. For the case of simplicial groups, we have then adapted the construction for the adjoint inverse used for algebras to get a simplicial group $G \boxtimes \lb$ from the Moore complex of a simplicial group $G$. This construction could be of interest in itself.
△ Less
Submitted 17 January, 2005;
originally announced January 2005.
-
Cosimplicial versus DG-rings: a version of the Dold-Kan correspondence
Authors:
J. L. Castiglioni,
G. Cortiñas
Abstract:
The (dual) Dold-Kan correspondence says that there is an equivalence of categories $K:\cha\to \Ab^Δ$ between nonnegatively graded cochain complexes and cosimplicial abelian groups, which is inverse to the normalization functor. We show that the restriction of $K$ to $DG$-rings can be equipped with an associative product and that the resulting functor $DGR^*\to\ass^Δ$, although not itself an equi…
▽ More
The (dual) Dold-Kan correspondence says that there is an equivalence of categories $K:\cha\to \Ab^Δ$ between nonnegatively graded cochain complexes and cosimplicial abelian groups, which is inverse to the normalization functor. We show that the restriction of $K$ to $DG$-rings can be equipped with an associative product and that the resulting functor $DGR^*\to\ass^Δ$, although not itself an equivalence, does induce one at the level of homotopy categories. The dual of this result for chain $DG$ and simplicial rings was obtained independently by S. Schwede and B. Shipley through different methods ({\it Equivalences of monoidal model categories}. Algebraic and Geometric Topology 3 (2003), 287-334). Our proof is based on a functor $Q:DGR^*\to \ass^Δ$, naturally homotopy equivalent to $K$, which preserves the closed model structure. It also has other interesting applications. For example, we use $Q$ to prove a noncommutative version of the Hochschild-Konstant-Rosenberg and Loday-Quillen theorems. Our version applies to the cyclic module that arises from a homomorphism $R\to S$ of not necessarily commutative rings when the coproduct $\coprod_R$ of associative $R$-algebras is substituted for $\otimes_R$. As another application of the properties of $Q$, we obtain a simple, braid-free description of a product on the tensor power $S^{\otimes_R^n}$ originally defined by P. Nuss using braids ({\it Noncommutative descent and nonabelian cohomology,} K-theory {\bf 12} (1997) 23-74.).
△ Less
Submitted 21 November, 2003; v1 submitted 19 June, 2003;
originally announced June 2003.