Related papers: An elementary proof of the local Kronecker-Weber t…

We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function.…

Consider a local chain Differential Graded algebra, such as the singular chain complex of a pathwise connected topological group. In two previous papers, a number of homological results were proved for such an algebra: An Amplitude…

We prove a local limit theorem for nearest neighbours random walks in stationary random environment of conductances on Z without using any of both classic assumptions of uniform ellipticity and independence on the conductances. Besides the…

An algorithmic proof of General Neron Desingularization is given here for one dimensional local rings and it is implemented in Singular. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional local…

A version of Auslander theorem is proven for the following classes of noncommutative algebras: (a) noetherian PI local (or connected graded) algebras of finite injective dimension, (b) universal enveloping algebras of finite dimensional Lie…

We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that…

Let L be a Schroedinger operator with potential W in L^{(n+1)/2}. We prove that there is no embedded eigenvalue. The main tool is an Lp Carleman type estimate, which builds on delicate dispersive estimates established in a previous paper.…

We give a refinement of the local class field theory of Serre and Hazewinkel. This refinement allows the theory to treat extensions that are not necessarily totally ramified. Such a refinement was obtained and used in the authors' paper on…

Kronecker's 1856 paper contains a solvability theorem that is useful to construct unsolvable algebraic equations. We show how Kronecker's solvability theorem can be derived naturally via a polynomial complete decomposition method. This…

We study equivariant Gromov-Witten invariants and quantum cohomology in GKM theory. Building on the localization formula, we prove that the resulting expression is independent of the choice of compatible connection, and provide an…

We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a…

We generalise Coleman's construction of Hecke operators to define an action of GL_2(Q_l) on the space of finite slope overconvergent p-adic modular forms (l not equal p). In this way we associate to any C_p-valued point on the tame level N…

This is a note on my mini-course in the International Workshop on Real and Complex Singularities held at ICMC-USP (Sao Carlos, Brazil) in July 2012. Here we introduce a new branch of the Thom polynomial theory for singularities of…

We prove a number of results on the \'etale cohomology of rigid analytic varieties over $p$-adic non-archimedean local fields. Among other things, we establish bounds for Frobenius eigenvalues, show a strong version of Grothendieck's local…

In the setting of spaces of homogeneous type, we give a direct proof of the local Tb theorem for singular integral operators. Motivated by questions of S. Hofmann, we extend it to the case when the integrability conditions are lower than 2,…

For the principal eigenvalue of discrete weighted $p$-Laplacian on the set of nonnegative integers, the convergence of an approximation procedure and the inverse iteration is proved. Meanwhile, in the proof of the convergence, the…

A canonical formalism of the rank-three tensor model with the notion of local time is proposed. The consistency of the local time evolution is guaranteed by imposing that local Hamiltonians and the so(N) kinematical symmetry of the tensor…

We study K_2 of one-dimensional local domains over a field of characteristic 0, introduce a conjecture, and show that this conjecture implies Geller's conjecture. We also show that Berger's conjecture implies Geller's conjecture, and hence…

At each prime $p$ and height $n+1 \ge 2$, we prove that the telescopic and chromatic localizations of spectra differ. Specifically, for $\mathbb{Z}$ acting by Adams operations on $\mathrm{BP}\langle n \rangle$, we prove that the…

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…