The Complexity of 2-Fold Branched Coverings of a 3-Sphere

Complexity is a function which maps a set of 3-manifolds to a set of nonnegative integers. This function has some natural properties (finiteness, additivity, etc.) and it shows, in some sense how complex the manifold is. This function seems important for the classification of 3-manifolds. We evaluate of the complexity of 2-fold branched coverings of a 3-sphere. We present a theoretical estimate and compare it with experimental data.     

Algebraic Operations and Generic Effects

Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an Ob C-indexed family of operations of the form _x :(Tx) ^v (Tx) ^w provides semantics for algebraic operations on the computational -calculus. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of other possible natural definitions of algebraic operation. In particular, we define the notion of generic effect and show that to give a generic effect is equivalent to giving an algebraic operation. We further show how the usual monadic semantics of the computational -calculus extends uniformly to incorporate generic effects. We outline examples and non-examples and we show that our definition also enriches one for call-by-name languages with effects.     

Multiperiodic multifractal martingale measures

A nonnegative 1-periodic multifractal measure on is obtained as infinite random product of harmonics of a 1-periodic function W(t). Such infinite products are statistically self-affine and generalize certain Riesz products with random phases. They are martingale structures, therefore converge. The criterion on W for nondegeneracy is provided. It differs completely from those for other known random measures constructed as martingale limits of multiplicative processes. In particular, it is very sensitive to small changes in W(t). When these infinite products are interpreted in the framework of thermodynamic formalism for random transformations, logW is a potential function when W>0. For regular enough potentials, in case of degeneracy, the natural normalization makes the sequence of measures converge. Moreover, this normalization is neutral for nondegenerate martingales. The multifractal analysis of the limit martingale measure is performed for a class of potential functions having a dense countable set of jump points.     

Lp (?m × ?n) boundedness for the Marcinkiewicz integral on product spaces

L^p(R^m × Rⁿ) boundedness is considered for the multiple Marcinkiewicz integral. Some size conditions implying the L^p(R^m × Rⁿ) boundedness of the multiple Marcinkiewicz integral for some fixed 1 > p > ∞ are obtained.     

On the Nonrepresentability of Functions of Several Variables by Quadratures

The paper completes the construction of a multidimensional topological version of differential Galois theory. We construct a rich class of germs of functions of several variables which is closed under superpositions and other natural operations. The main theorem describes the behavior of the monodromy groups of such germs under the natural operations. As a result, we obtain topological obstructions to the representability of functions by quadratures, which give the strongest known statements about unsolvability of equations in closed form.     

The Novikov Conjecture for Low Degree Cohomology Classes

We outline a twisted analogue of the Mishchenko–Kasparov approach to prove the Novikov conjecture on the homotopy invariance of the higher signatures. Using our approach, we give a new and simple proof of the homotopy invariance of the higher signatures associated to all cohomology classes of the classifying space that belong to the subring of the cohomology ring of the classifying space that is generated by cohomology classes of degree less than or equal to 2, a result that was first established by Connes and Gromov and Moscovici using other methods. A key new ingredient is the construction of a tautological C* _r (, )-bundle and connection, which can be used to construct a C* _r (, )-index that lies in the Grothendieck group of C* _r (, ), where is a multiplier on the discrete group corresponding to a degree 2 cohomology class. We also utilise a main result of Hilsum and Skandalis to establish our theorem.     

On Quasiclassical Field Theories Invariant with Respect to a Lie Group

Mathematical Notes -     

A Triangle Inequality for Measurement

We introduce the triangle inequality for measurement. This is a property that when satisfied by a measurement enables one to construct a metric on the set of elements with measure zero that yields the relative Scott topology. The naturality of this construction permits a categorical solution to the model problem in domain theory for locally compact metric spaces. The first time such a solution has been achieved.     

Iwasawa μ-invariants of elliptic curves and their symmetric powers

In an earlier paper we considered the effects that finite submodules can have on μ-invariants of Selmer groups. In this paper we examine some of the consequences of that theory to elliptic curves and their symmetric powers. One main result is the construction of an isogeny class of elliptic curves, all of which have positive μ-invariants. A second result is a connection between the behaviors of μ-invariants associated with the symmetric powers of an elliptic curve over , and the behavior of the μ-invariant of that elliptic curve over different extensions of .     

The price of anarchy for non-atomic congestion games with symmetric cost maps and elastic demands

By showing that there is an upper bound for the price of anarchyρ(Γ) for a non-atomic congestion game Γ with only separable cost maps and fixed demands, Roughgarden and Tardos show that the cost of forgoing centralized control is mild. This letter shows that there is an upper bound for ρ(Γ) in Γ for fixed demands with symmetric cost maps. It also shows that there is a weaker bound for ρ(Γ) in Γ with elastic demands.