Related papers: Boardman's whole-plane obstruction group for Carta…

Let $M$ be a compact complex manifold, and $D\, \subset\, M$ a reduced normal crossing divisor on it, such that the logarithmic tangent bundle $TM(-\log D)$ is holomorphically trivial. Let ${\mathbb A}$ denote the maximal connected subgroup…

We construct explicit Eichler-Shimura morphisms for families of overconvergent Siegel modular forms of genus two. These can be viewed as $p$-adic interpolations of the Eichler-Shimura decomposition of Faltings-Chai for classical Siegel…

We give a canonical partition of shifted intersecting set systems, from which one can obtain unified and elementary proofs of the Erd\H{o}s-Ko-Rado and Hilton-Milner Theorem, as well as a characterization of maximal shifted $k$-uniform…

We study some complete orthonormal systems on the real-line. These systems are determined by Bargmann-type transforms, which are Fourier integral operators with complex-valued quadratic phase functions. Each system consists of…

Huybrechts and Thomas recently constructed relative obstruction theory of objects of the derived category of coherent sheaves over smooth projective family. In this paper, we use this construction to obtain the absolute…

We give new tools for homotopy Brouwer theory. In particular, we describe a canonical reducing set (the set of "walls") which splits the plane into maximal translation areas and irreducible areas. We then focus on Brouwer mapping classes…

The paper considers existence results of solution for a linear coupled system of Boltzmann transport equations and related inverse problem. The system models the evolution of three species of particles, photons, electrons and positrons.…

Generalizing the canonical symplectization of contact manifolds, we construct an infinite dimensional non-linear Stiefel manifold of weighted embeddings into a contact manifold. This space carries a symplectic structure such that the…

We give a complete description of the potential failure of the surjectivity of the Thom morphism from complex cobordism to integral cohomology for compact Lie groups via a detailed study of the Atiyah-Hirzebruch spectral sequence and the…

A new coercivity estimate on the spectral gap of the linearized Boltzmann collision operator for multiple species is proved. The assumptions on the collision kernels include hard and Maxwellian potentials under Grad's angular cut-off…

An explicit gerbe-theoretic description of the super-$\sigma$-models of the Green-Schwarz type is proposed and its fundamental structural properties, such as equivariance with respect to distinguished isometries of the target supermanifold…

Extending our method for investigating Real cobordism (which was recently used by Hill, Hopkins and Ravenel in their solution of the Kervaire invariant 1 problem), we investigate the $RO(G)$-graded homotopy groups of a (non-complete)…

We demonstrate that the checkable/synthesisable split in bidirectional typechecking coincides with existing dualities in polarised System L, also known as polarised $\mu\tilde{\mu}$-calculus. Specifically, positive terms and negative…

We prove that every discrete faithful representation of the surfcae group into SL(2,C) is the monodromy of a holomorphic connection on the trivial rank-2 vector bundle over a Riemann surface. As an application, we answer the question posed…

Let $M$ be a compact hyperkahler manifold with maximal holonomy (IHS). The group $H^2(M, R)$ is equipped with a quadratic form of signature $(3, b_2-3)$, called Bogomolov-Beauville-Fujiki (BBF) form. This form restricted to the rational…

Answering a long standing question, we give an example of a Hilbert module and a nonzero bounded right linear map having a kernel with trivial orthogonal complement. In particular, this kernel is different from its own double orthogonal…

For locally compact groups G and H let A(G) denote the Fourier algebra of G and B(H) the Fourier-Stieltjes algebra of H. Any continuous piecewise affine map alpha:Y -> G (where Y is an element of the open coset ring of H) induces a…

Given a unimodular real spherical space $Z=G/H$ we construct for each boundary degeneration $Z_I=G/H_I$ of $Z$ a Bernstein morphism $B_I: L^2(Z_I)_{\rm disc }\to L^2(Z)$. We show that $B:=\bigoplus_I B_I$ provides an isospectral…

As the first main result of this article, we prove that if $e$ and $e'$ are idempotents of a commutative ring $A$, then there is a canonical isomorphism of $A$-modules: $$Ae\oplus Ae'\simeq Ae/Ae(1-e')\oplus Ae'/Ae'(1-e)\oplus…

We give an elementary proof of the Eilenberg-Mac Lane trace isomorphism between the third 2-abelian cohomology group and quadratic forms. Our approach yields explicit constructions and we characterize when quadratic forms can be expressed…