Complete intersection singularities of splice type as universal abelian covers

It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "splice type singularities", which generalize Brieskorn complete intersections. Second, these arise as universal abelian covers of a class of normal surface singularities with Q-homology sphere links, called "splice-quotient singularities". According to the Main Theorem, splice-quotients realize a large portion of the possible topologies of singularities with Q-homology sphere links. As quotients of complete intersections, they are necessarily Q-Gorenstein, and many Q-Gorenstein singularities with Q-homology sphere links are of this type. We conjecture that rational singularities and minimally elliptic singularities with Q-homology sphere links are splice-quotients. A recent preprint of T Okuma presents confirmation of this conjecture.Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper17.abs.htm

On the intersection of free subgroups in free products of groups

Let (G_i | i in I) be a family of groups, let F be a free group, and let G = F *(*I G_i), the free product of F and all the G_i. Let FF denote the set of all finitely generated subgroups H of G which have the property that, for each g in G and each i in I, H \cap G_i^{g} = {1}. By the Kurosh Subgroup Theorem, every element of FF is a free group. For each free group H, the reduced rank of H is defined as r(H) = max{rank(H) -1, 0} in \naturals \cup {\infty} \subseteq [0,\infty]. To avoid the vacuous case, we make the additional assumption that FF contains a non-cyclic group, and we define sigma := sup{r(H\cap K)/(r(H)r(K)) : H, K in FF and r(H)r(K) \ne 0}, sigma in [1,\infty]. We are interested in precise bounds for sigma. In the special case where I is empty, Hanna Neumann proved that sigma in [1,2], and conjectured that sigma = 1; almost fifty years later, this interval has not been reduced. With the understanding that \infty/(\infty -2) = 1, we define theta := max{|L|/(|L|-2) : L is a subgroup of G and |L| > 2}, theta in [1,3]. Generalizing Hanna Neumann's theorem, we prove that sigma in [theta, 2 theta], and, moreover, sigma = 2 theta if G has 2-torsion. Since sigma is finite, FF is closed under finite intersections. Generalizing Hanna Neumann's conjecture, we conjecture that sigma = theta whenever G does not have 2-torsion.Comment: 28 pages, no figure

AB effect and Aharonov-Susskind charge non-superselection

We consider a particle in a coherent superposition of states with different electric charge moving in the vicinity of a magnetic flux. Formally, it should acquire a (gauge-dependent) AB relative phase between the charge states, even for an incomplete loop. If measureable, such a geometric, rather than topological, AB-phase would seem to break gauge invariance. Wick, Wightman and Wigner argued that since (global) charge-dependent phase transformations are physically unobservable, charge state superpositions are unphysical (`charge superselection rule'). This would resolve the apparent paradox in a trivial way. However, Aharonov and Susskind disputed this superselection rule: they distinguished between such global charge-dependent transformations, and transformations of the relative inter-charge phases of two particles, and showed that the latter \emph{could} in principle be observable! Finally, the paradox again disappears once we considers the `calibration' of the phase measured by the Aharonov-Susskind phase detectors, as well as the phase of the particle at its initial point. It turns out that such a detector can only distinguish between the relative phases of two paths if their (oriented) difference forms a loop around the flux

An Outline of a Neural Architecture for Unified Visual Contrast and Brightness Perception

In this contribution a neural architecture is proposed that serves as a framework for further empirical as well as modeling investigations into a unified theory for contrast, contour and lnightncss perception. The computational mechanisms utilize a center-surround antagonism based on shunting interactions which allow to multiples contrast. as well as luminance data. As a key new feature, this data is demultiplexed at a later stage into segrcgated processing streams that signal both local contrast information of each polarity, and a scaled, low-pass filted and compressed version of the luminance information respectively. In correspondence with recent findings about the major processing channels in the primary visual system, the ON and OFF contrast channels feed into a subsystem for contrast processing, perceptual organization, and grouping (boundary contour system, BCS). The activity in the Segregated luminance path, however, is hypothesized to he contrast enhanced via shunting interaction, utilized hy the coc~xisLing contrast. channels. Following Grossbergs FACADE architecture, it is suggested that activity generated in the BCS acts as a modulation mechanism that controls the local diffusion coefficients for lateral activity spreading within the segregated brightness&darkness (B&D) channel. A three stage process is suggested for brightness reconstruction and filling-in. Based on the segregation of ON and OFF contrast information and basic neural principles such as divergence, convergence, and pooling, the nrodel accounts for the linear response properties of odd and even symetric simple and complex cells in VI. Theoretical analysis of the network's function at various stages of processing, provides a framework for quantitative studies referring to available data on visual perception.German Ministry of Research and Technology (413-5839-01 1N 101 C/1

Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees

We study the computational difficulty of the problem of finding fixed points of nonexpansive mappings in uniformly convex Banach spaces. We show that the fixed point sets of computable nonexpansive self-maps of a nonempty, computably weakly closed, convex and bounded subset of a computable real Hilbert space are precisely the nonempty, co-r.e. weakly closed, convex subsets of the domain. A uniform version of this result allows us to determine the Weihrauch degree of the Browder-Goehde-Kirk theorem in computable real Hilbert space: it is equivalent to a closed choice principle, which receives as input a closed, convex and bounded set via negative information in the weak topology and outputs a point in the set, represented in the strong topology. While in finite dimensional uniformly convex Banach spaces, computable nonexpansive mappings always have computable fixed points, on the unit ball in infinite-dimensional separable Hilbert space the Browder-Goehde-Kirk theorem becomes Weihrauch-equivalent to the limit operator, and on the Hilbert cube it is equivalent to Weak Koenig's Lemma. In particular, computable nonexpansive mappings may not have any computable fixed points in infinite dimension. We also study the computational difficulty of the problem of finding rates of convergence for a large class of fixed point iterations, which generalise both Halpern- and Mann-iterations, and prove that the problem of finding rates of convergence already on the unit interval is equivalent to the limit operator.Comment: 44 page