arXiv subjects
Publications and source records attributed to Thomas Unger.
We establish a trace formula for signatures of hermitian forms over Azumaya algebras with involution, extending Knebusch's work on symmetric bilinear forms over finite \'etale extensions of commutative base rings. As an application when the base ring is semilocal, we obtain an exact sequence for total signatures, related to Pfister's local-global principle and the notion of stability index.
In this paper we continue our investigation of signatures of hermitian forms over Azumaya algebras with involution over commutative rings. We show that the approach used in an earlier paper for central simple algebras can be extended to Azumaya algebras and leads to a natural way of choosing the signature of a hermitian form at a given ordering, producing total signatures of hermitian forms that are continuous functions on the real spectrum of the base ring.
We introduced positive cones in an earlier paper as a notion of ordering on central simple algebras with involution that corresponds to signatures of hermitian forms. In the current paper we describe signatures of hermitian forms directly out of positive cones, and also use this approach to rectify a problem that affected some results in the previously mentioned paper.
This paper presents Unikernel Linux (UKL), a path toward integrating unikernel optimization techniques in Linux, a general purpose operating system. UKL adds a configuration option to Linux allowing for a single, optimized process to link with the kernel directly, and run at supervisor privilege. This UKL process does not require application source code modification, only a re-link with our, slightly modified, Linux kernel and glibc. Unmodified applications show modest performance gains out of the box, and developers can further optimize applications for more significant gains (e.g. 26% throughput improvement for Redis). UKL retains support for co-running multiple user level processes capable of communicating with the UKL process using standard IPC. UKL preserves Linux's battle-tested codebase, community, and ecosystem of tools, applications, and hardware support. UKL runs both on bare-metal and virtual servers and supports multi-core execution. The changes to the Linux kernel are modest (1250 LOC).
We prove Pfister's local-global principle for hermitian forms over Azumaya algebras with involution over semilocal rings, and show in particular that the Witt group of nonsingular hermitian forms is $2$-primary torsion. Our proof relies on a hermitian version of Sylvester's law of inertia, which is obtained from an investigation of the connections between a pairing of hermitian forms extensively studied by Garrel, signatures of hermitian forms, and positive semidefinite quadratic forms.
In [4] we developed the theory of positive cones on finite-dimensional simple algebras with involution, inspired by the classical Artin-Schreier theory of orderings on fields, and based on the notion of signatures of hermitian forms [1]. In a subsequent paper [3], we developed the associated "valuation theory", based on Tignol-Wadsworth gauges [7, 8, 9]. In this short note, we present the following two additional results: (1) Whereas positive cones on fields correspond to total order relations, positive cones on algebras with involution only give rise to partial order relations. We show that the order relation defined by a positive cone is as close to total as possible, cf. Theorem 2.5. (2) Positive cones are maximal prepositive cones, which begs the question if there are prepositive cones that are not maximal. We answer this question in the affirmative in Section 3, using techniques that illustrate the interplay between positive cones and gauges.
We extend the classical links between valuations and orderings on fields to Tignol-Wadsworth gauges and positive cones on finite-dimensional simple algebras with involution. We also study the compatibility of gauges and positive cones, and prove lifting results in the style of the Baer-Krull theorem for fields.
We introduce positive cones on algebras with involution. These allow us to prove analogues of Artin's solution to Hilbert's 17th problem, the Artin-Schreier theorem characterizing formally real fields, and to define signatures with respect to positive cones. We consider the space of positive cones of an algebra with involution and investigate its topological properties, showing in particular that it is a spectral space. As an application we solve the problem of the existence of positive involutions.
Modern FaaS systems perform well in the case of repeat executions when function working sets stay small. However, these platforms are less effective when applied to more complex, large-scale and dynamic workloads. In this paper, we introduce SEUSS (serverless execution via unikernel snapshot stacks), a new system-level approach for rapidly deploying serverless functions. Through our approach, we demonstrate orders of magnitude improvements in function start times and cacheability, which improves common re-execution paths while also unlocking previously-unsupported large-scale bursty workloads.
We show that under certain conditions every maximal symmetric subfield of a central division algebra with positive unitary involution $(B,τ)$ will be a Galois extension of the fixed field of $τ$ and will "real split" $(B,τ)$. As an application we show that a sufficient condition for the existence of positive involutions on certain crossed product division algebras, considered by Berhuy in the context of unitary space-time coding, is also necessary, proving that Berhuy's construction is optimal.
This bundle contains the paper "Hermitian Morita Theory: a Matrix Approach", published in Irish Math. Soc. Bulletin 62 (2008), pp. 37-41 (reproduced with permission of the Irish Mathematical Society), and with abstract "In this note an explicit matrix description of hermitian Morita theory is presented." and a short erratum.
Pfister's Local-Global Principle states that a quadratic form over a (formally) real field is weakly hyperbolic (i.e. represents a torsion element in the Witt ring) if and only if its total signature is zero. This result extends naturally to the setting of central simple algebras with involution. The present article provides a new proof of this result and extends it to the case of signatures at preorderings. Furthermore the quantitative relation between nilpotence and torsion is explored for quadratic forms as well as for central simple algebras with involution.
We provide a coherent picture of our efforts thus far in extending real algebra and its links to the theory of quadratic forms over ordered fields in the noncommutative direction, using hermitian forms and "ordered" algebras with involution.
Signatures of quadratic forms have been generalized to hermitian forms over algebras with involution. In the literature this is done via Morita theory, which causes sign ambiguities in certain cases. In this paper, a hermitian version of the Knebusch Trace Formula is established and used as a main tool to resolve these ambiguities. The last page is an erratum for the published version. We inadvertently (I) gave an incorrect definition of adjoint involutions; (II) omitted dealing with the case $(H\times H, \widehat{\phantom{m}}\,)$. As $W(H\times H, \widehat{\phantom{m}}\,)= W(R\times R, \widehat{\phantom{m}}\,)=0$, the omission does not affect our reasoning or our results. For the sake of completeness we point out where some small changes should be made in the published version.
Using the theory of signatures of hermitian forms over algebras with involution, developed by us in earlier work, we introduce a notion of positivity for symmetric elements and prove a noncommutative analogue of Artin's solution to Hilbert's 17th problem, characterizing totally positive elements in terms of weighted sums of hermitian squares. As a consequence we obtain an earlier result of Procesi and Schacher and give a complete answer to their question about representation of elements as sums of hermitian squares.
In earlier work we developed the theory of signatures of hermitian forms over algebras with involution with respect to orderings on the base field of the algebra and obtained in particular that the total signature of a hermitian form is a continuous function from the space of orderings of that field to $\mathbb{Z}$. In this note we give another presentation of signatures and also introduce and study the stability index of algebras with involution.
In this paper a further study is made of $H$-signatures of hermitian forms, introduced previously by the authors. It is shown that a tuple of reference forms $H$ may be replaced by a single form and that the $H$-signature is invariant under Morita equivalence of algebras with involution. The "prime ideals" of the Witt group are studied, obtaining results that are analogues of the classification of prime ideals of the Witt ring by Harrison and Lorenz-Leicht. It follows that $H$-signatures canonically correspond to morphisms into the integers.
In 1976 Procesi and Schacher developed an Artin-Schreier type theory for central simple algebras with involution and conjectured that in such an algebra a totally positive element is always a sum of hermitian squares. In this paper elementary counterexamples to this conjecture are constructed and cases are studied where the conjecture does hold. Also, a Positivstellensatz is established for noncommutative polynomials, positive semidefinite on all tuples of matrices of a fixed size.