391 research outputs found
Tensor products and regularity properties of Cuntz semigroups
The Cuntz semigroup of a C*-algebra is an important invariant in the
structure and classification theory of C*-algebras. It captures more
information than K-theory but is often more delicate to handle. We
systematically study the lattice and category theoretic aspects of Cuntz
semigroups.
Given a C*-algebra , its (concrete) Cuntz semigroup is an object
in the category of (abstract) Cuntz semigroups, as introduced by Coward,
Elliott and Ivanescu. To clarify the distinction between concrete and abstract
Cuntz semigroups, we will call the latter -semigroups.
We establish the existence of tensor products in the category and study
the basic properties of this construction. We show that is a symmetric,
monoidal category and relate with for
certain classes of C*-algebras.
As a main tool for our approach we introduce the category of
pre-completed Cuntz semigroups. We show that is a full, reflective
subcategory of . One can then easily deduce properties of from
respective properties of , e.g. the existence of tensor products and
inductive limits. The advantage is that constructions in are much easier
since the objects are purely algebraic.
We also develop a theory of -semirings and their semimodules. The Cuntz
semigroup of a strongly self-absorbing C*-algebra has a natural product giving
it the structure of a -semiring. We give explicit characterizations of
-semimodules over such -semirings. For instance, we show that a
-semigroup tensorially absorbs the -semiring of the Jiang-Su
algebra if and only if is almost unperforated and almost divisible, thus
establishing a semigroup version of the Toms-Winter conjecture.Comment: 195 pages; revised version; several proofs streamlined; some results
corrected, in particular added 5.2.3-5.2.
Scheme theoretic tropicalization
In this paper, we introduce ordered blueprints and ordered blue schemes,
which serve as a common language for the different approaches to
tropicalizations and which enhances tropical varieties with a schematic
structure. As an abstract concept, we consider a tropicalization as a moduli
problem about extensions of a given valuation between ordered
blueprints and . If is idempotent, then we show that a
generalization of the Giansiracusa bend relation leads to a representing object
for the tropicalization, and that it has yet another interpretation in terms of
a base change along . We call such a representing object a scheme theoretic
tropicalization.
This theory recovers and improves other approaches to tropicalizations as we
explain with care in the second part of this text.
The Berkovich analytification and the Kajiwara-Payne tropicalization appear
as rational point sets of a scheme theoretic tropicalization. The same holds
true for its generalization by Foster and Ranganathan to higher rank
valuations.
The scheme theoretic Giansiracusa tropicalization can be recovered from the
scheme theoretic tropicalizations in our sense. We obtain an improvement due to
the resulting blueprint structure, which is sufficient to remember the
Maclagan-Rinc\'on weights.
The Macpherson analytification has an interpretation in terms of a scheme
theoretic tropicalization, and we give an alternative approach to Macpherson's
construction of tropicalizations.
The Thuillier analytification and the Ulirsch tropicalization are rational
point sets of a scheme theoretic tropicalization. Our approach yields a
generalization to any, possibly nontrivial, valuation with
idempotent and enhances the tropicalization with a schematic structure.Comment: 66 pages; for information about the changes in this version of the
paper, please cf. the paragraph "Differences to previous versions" in the
introductio
The geometry of blueprints. Part I: Algebraic background and scheme theory
In this paper, we introduce the category of blueprints, which is a category
of algebraic objects that include both commutative (semi)rings and commutative
monoids. This generalization allows a simultaneous treatment of ideals resp.\
congruences for rings and monoids and leads to a common scheme theory. In
particular, it bridges the gap between usual schemes and -schemes
(after Kato, Deitmar and Connes-Consani). Beside this unification, the category
of blueprints contains new interesting objects as "improved" cyclotomic field
extensions of and "archimedean valuation
rings". It also yields a notion of semiring schemes.
This first paper lays the foundation for subsequent projects, which are
devoted to the following problems: Tits' idea of Chevalley groups over
, congruence schemes, sheaf cohomology, -theory and a unified
view on analytic geometry over , adic spaces (after Huber),
analytic spaces (after Berkovich) and tropical geometry.Comment: Slightly revised and extended version as in print. 51 page
Algebraic structures of tropical mathematics
Tropical mathematics often is defined over an ordered cancellative monoid
\tM, usually taken to be (\RR, +) or (\QQ, +). Although a rich theory has
arisen from this viewpoint, cf. [L1], idempotent semirings possess a restricted
algebraic structure theory, and also do not reflect certain valuation-theoretic
properties, thereby forcing researchers to rely often on combinatoric
techniques.
In this paper we describe an alternative structure, more compatible with
valuation theory, studied by the authors over the past few years, that permits
fuller use of algebraic theory especially in understanding the underlying
tropical geometry. The idempotent max-plus algebra of an ordered monoid
\tM is replaced by R: = L\times \tM, where is a given indexing semiring
(not necessarily with 0). In this case we say layered by . When is
trivial, i.e, , is the usual bipotent max-plus algebra. When
we recover the "standard" supertropical structure with its
"ghost" layer. When L = \NN we can describe multiple roots of polynomials
via a "layering function" . Likewise, one can define the layering
componentwise; vectors are called
tropically dependent if each component of some nontrivial linear combination
\sum \a_i v_i is a ghost, for "tangible" \a_i \in R. Then an
matrix has tropically dependent rows iff its permanent is a ghost.
We explain how supertropical algebras, and more generally layered algebras,
provide a robust algebraic foundation for tropical linear algebra, in which
many classical tools are available. In the process, we provide some new results
concerning the rank of d-independent sets (such as the fact that they are
semi-additive),put them in the context of supertropical bilinear forms, and lay
the matrix theory in the framework of identities of semirings.Comment: 19 page
Provenance for Aggregate Queries
We study in this paper provenance information for queries with aggregation.
Provenance information was studied in the context of various query languages
that do not allow for aggregation, and recent work has suggested to capture
provenance by annotating the different database tuples with elements of a
commutative semiring and propagating the annotations through query evaluation.
We show that aggregate queries pose novel challenges rendering this approach
inapplicable. Consequently, we propose a new approach, where we annotate with
provenance information not just tuples but also the individual values within
tuples, using provenance to describe the values computation. We realize this
approach in a concrete construction, first for "simple" queries where the
aggregation operator is the last one applied, and then for arbitrary (positive)
relational algebra queries with aggregation; the latter queries are shown to be
more challenging in this context. Finally, we use aggregation to encode queries
with difference, and study the semantics obtained for such queries on
provenance annotated databases
- β¦