Related papers: Alternate proofs for the $n$-dimensional resolutio…
We prove a result of cohomology and base change for families of coherent systems over a curve. We use that in order to prove the existence of (non-split, non-degenerate) universal families of extensions for families of coherent systems (in…
While Q-balls have been investigated intensively for many years, another type of nontopological solutions, Q-tubes, have not been understood very well. In this paper we make a comparative study of Q-balls and Q-tubes. First, we investigate…
We provide an axiomatic framework for the study of smooth extensions of generalized cohomology theories. Our main results are about the uniqeness of smooth extensions, and the identification of the flat theory with the R/Z-theory. In…
In this paper, we consider a p-Laplacian equation in {R}^{N}with sign-changing potential and subcritical p-superlinear nonlinearity. By using the cohomological linking method for cones developed by Degiovanni and Lancelotti in 2007, an…
We prove a new kind of stabilisation result, "secondary homological stability", for the homology of mapping class groups of orientable surfaces with one boundary component. These results are obtained by constructing CW approximations to the…
We introduce two-sorted theories in the style of [CN10] for the complexity classes \oplusL and DET, whose complete problems include determinants over Z2 and Z, respectively. We then describe interpretations of Soltys' linear algebra theory…
For a class of quasilinear elliptic equations involving the p-Laplace operator, we develop an abstract critical point theory in the presence of sub-supersolutions. Our approach is based upon the proof of the invariance under the gradient…
Geometry of buildings is used to prove some homological properties of the category of smooth representations of a reductive p-adic group (Kazhdan's "pairing conjecture", Bernstein's description of homological duality in terms of…
This paper presents an alternative approach to simplify the proofs of some important results related to polynomial mappings in Computational Algebraic Geometry such as Polynomial Implicitization, Image Closure and some properties of the…
We show that the group cohomology of torsion-free virtually polycyclic groups and the continuous cohomology of simply connected solvable Lie groups can be computed by the rational cohomology of algebraic groups. Our results are…
We prove a companion forms theorem for mod l Hilbert modular forms. This work generalises results of Gross and Coleman--Voloch for modular forms over Q, and gives a new proof of their results in many cases. The methods used are completely…
We consider sequences of absolute and relative homology and cohomology groups that arise naturally for a filtered cell complex. We establish algebraic relationships between their persistence modules, and show that they contain equivalent…
This text collects useful results concerning the quasi-Hopf algebra $\D $. We give a review of issues related to its use in conformal theories and physical mathematics. Existence of such algebras based on 3-cocycles with values in $ {R} /…
If $G$ has $4$-periodic cohomology, then D2 complexes over $G$ are determined up to polarised homotopy by their Euler characteristic if and only if $G$ has at most two one-dimensional quaternionic representations. We use this to solve…
We prove new modularity lifting theorems for p-adic Galois representations in situations where the methods of Wiles and Taylor--Wiles do not apply. Previous generalizations of these methods have been restricted to situations where the…
The question whether non-isomorphic finite $p$-groups can have isomorphic modular group algebras was recently answered in the negative by Garc\'ia-Lucas, Margolis and del R\'io [J. Reine Angew. Math. 783 (2022), pp. 269-274]. We embed these…
We prove a general comparison result for homotopic finite $p$-energy $C^{1}$ $p$-harmonic maps $u,v:M\to N$ between Riemannian manifolds, assuming that $M$ is $p$-parabolic and $N$ is complete and non-positively curved. In particular, we…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
A theory of matchings for finite subsets of an abelian group, introduced in connection with a conjecture of Wakeford on canonical forms for homogeneous polynomials, has since been extended to the setting of field extensions and to that of…
We prove a complexity dichotomy theorem for Holant Problems on 3-regular graphs with an arbitrary complex-valued edge function. Three new techniques are introduced: (1) higher dimensional iterations in interpolation; (2) Eigenvalue Shifted…