Related papers: Files for Gabriel-Zisman localization
This article provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed by W.Schmid in [Sch]. A corresponding problem in the compact group setting was solved by…
This paper at first concerns some criteria on Artinianness and vanishing of formal local cohomology modules. Then we consider the cosupport and the set of coassociated primes of these modules more precisely.
Via a covariance representation based on characteristic functions, a known elementary proof of the Gaussian concentration inequality is presented. A few other applications are briefly mentioned.
Motivated by the desire to understand the geometry of the basic loci in the reduction of Shimura varieties, we study their "group-theoretic models" -- generalized affine Deligne-Lusztig varieties -- in cases where they have a particularly…
We prove the Breuil-Mezard conjecture for split non-scalar residual representations of Gal(Qp/Qp) by local methods. Combined with the cases previously proved in [18] and [24], this completes the proof of the conjecture (when p>3). As a…
We prove a new localization theorem for stable model categories if the localizing subcategory is generated by a precovering class in the model category. We use this to show how one may explicitly realize certain Bousfield localization…
Grassmannian local hidden variables are shown to generate all possible quantum correlations in a bipartite quantum system. Grassmann representation of fermions, common in field theory, opens a related perspective. Although Grassmann hidden…
This paper is intended to survey the basics of localization and anti-localization cardinals on the reals, and its interplay with notions and cardinal characteristics related to measure and category.
Following the work of Beilinson-Bernstein and Kashiwara-Rouquier, we give a geometric interpretation of certain categories of modules over the finite W-algebra. As an application we reprove the Skryabin equivalence.
We represent in this preprint the exact estimate for covariation berween two random variables (r.v.), which are measurable relative the corresponding sigma-algebras through anyhow mixing coefficients. We associate a solution of this problem…
Termination is an important property of programs; notably required for programs formulated in proof assistants. It is a very active subject of research in the Turing-complete formalism of term rewriting systems, where many methods and tools…
For an $S^{1}$-manifold with boundary, we prove a localization formula applying to any equivariant cohomology theory satisfying a certain algebraic condition. We show how the localization result of Kalkman and a case of the quantization…
In the preprint we present an outline of the one dimensional version of topological Galois theory. The theory studies topological obstruction to solvability of equations "in finite terms" (i.e. to their solvabilty by radicals, by elementary…
This manuscripts contains the proofs for "A Primal-Dual Message-Passing Algorithm for Approximated Large Scale Structured Prediction".
The purpose of this survey is to describe how locally compact groups can be studied as geometric objects. We will emphasize the main ideas and skip or just sketch most proofs, often referring the reader to our much more detailed book…
Grabmayer and Fokkink recently presented a finite and complete axiomatization for 1-free process terms over the binary Kleene star under bismilarity equivalence (proceedings of LICS 2020, preprint available). A different and considerably…
We study surjectivity of a localization map in Galois cohomology.
The paper has three main applications. The first one is this Hilbert-Grunwald statement. If $f:X\rightarrow \Pp^1$ is a degree $n$ $\Qq$-cover with monodromy group $S_n$ over $\bar\Qq$, and finitely many suitably big primes $p$ are given…
This notes explains how standard algorithms that construct sorting networks have been formalised and proved correct in the Coq proof assistant using the SSReflect extension.
The goal of this note is to provide a very short proof of Harer-Zagier formula for the number of ways of obtaining a genus g Riemann surface by identifying in pairs the sides of a (2d)-gon, using semi-infinite wedge formalism operators.