Related papers: $L'$-localization in an $\infty$-topos
The profiles of local density of states (LDOS) around different vortex configurations in mesoscopic superconductors are studied taking account of the interference of quasiparticle waves experiencing Andreev reflection within the vortex…
We study several sufficient conditions for the molecularity/local-connectedness of geometric morphisms. In particuar, we show that if $\mathcal{S}$ is a Boolean topos then, for every hyperconnected essential geometric morphism ${p :…
We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…
Let f : (M,p)\to (M',p') be a formal biholomorphic mapping between two germs of real analytic hypersurfaces in \C^n, p'=f(p). Assuming the source manifold to be minimal at p, we prove the convergence of the so-called reflection function…
We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally…
In this article we study fine regularity properties for mappings of finite distortion. Our main theorems yield strongly localized regularity results in the borderline case in the class of maps of exponentially integrable distortion.…
We consider immersions admitting uniform representations as an L-Lipschitz graph. In codimension 1, we show compactness for such immersions for arbitrary fixed finite L and uniformly bounded volume. The same result is shown in arbitrary…
For any affine semigroup $S$ the set $S\cup\{\infty\}$ has a natural structure of semigroup, additionally if $S$ is endowed with the discrete topology, the semigroup $S\cup\{\infty\}$ can be studied as the one-point compactification of $S$.…
Quantum dynamics of the electron wave function on one-dimensional lattice is considered. The lattice consists of $N$ equal sites and one impurity site. The impurity site differs from other sites by the on-site electron energy $E$ and the…
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…
We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an application we give a new construction of the functor that assigns…
We investigate nicely embedded H--holomorphic maps into stable Hamiltonian three--manifolds. In particular we prove that such maps locally foliate and satisfy a no--first--intersection property. Using the compactness results of…
We prove fibration theorems \`a la Milnor for differentiable real maps with non isolated critical values. We study the situation for maps with linear discriminant, and prove that the concept of d-regularity is the key point for the…
We prove a generalisation of Rudin's theorem on proper holomorphic maps from the unit ball to the case of proper holomorphic maps from pseudoellipsoids.
We characterize (in almost all cases) the holomorphic self-maps of the unit disk that intertwine two given linear fractional self-maps of the disk. The proofs are based on iteration and a careful analysis of the Denjoy-Wolff points. In…
We show that in a locally finite topos, every object has an essential extension that is injective, and that this extension is unique up to isomorphism. The construction was motivated by work on Bewl, a software project for doing…
Let E be a locally solid vector lattice. In this paper, we consider two particular vector subspaces of the space of all order bounded operators on E. With the aid of two appropriate topologies, we show that under some conditions, they…
Using representation theory techniques we prove that various spaces of derivations or one-sided multipliers over certain operator algebras are reflexive. A sample result: any bounded local derivation (local left multiplier) on an…
It is shown that every bi-Lipschitz bijection from $\mathbb{Z}$ to itself is at a bounded $L_{\infty}$ distance from either the identity or the reflection. We then comment on the group-theoretic properties of the action of bi-Lipschitz…
For a Latt\`es map $\phi:\mathbb P^1 \to \mathbb P^1$ defined over a number field $K$, we prove a conjecture on the integrality of points in the backward orbit of $P\in \mathbb P^1(\overline K)$ under $\phi$.