Related papers: On admissible rank one local systems

We prove that any geometrically irreducible $\overline{\mathbb{Q}}_p$-local system on a smooth algebraic variety over a $p$-adic field $K$ becomes de Rham after a twist by a character of the Galois group of $K$. In particular, for any…

We classify the topological terms (in a sense to be made precise) that may appear in a non-linear sigma model based on maps from an arbitrary worldvolume manifold to a homogeneous space $G/H$ (where $G$ is an arbitrary Lie group and $H…

In this paper we study admissible polynomials. We establish an estimate for the number of admissible polynomials of degree $n$ with coeffients $a_i$ satisfying $0\leq a_i\leq H$ for a fixed $H$, for $i=0,1,2, \ldots, n-1$. In particular,…

We prove that the deRham cohomology classes of Lee forms of locally conformally symplectic structures taming the complex structure of a compact complex surface $S$ with first Betti number equal to $1$ is either a non-empty open subset of…

Let $\mathrm{R}$ be a real closed field and $\mathrm{C}$ the algebraic closure of $\mathrm{R}$. We give an algorithm for computing a semi-algebraic basis for the first homology group, $\mathrm{H}_1(S,\mathbb{F})$, with coefficients in a…

The absolute sets of local systems on a smooth complex algebraic variety are the subject of a conjecture of N. Budur and B. Wang based on an analogy with special subvarieties of Shimura varieties. An absolute set should be the…

Let $C^{pr}_m$ be the upper semilattice of degrees of computable sets with respect to primitive recursive $m$-reducibility. We prove that the first-order theory of $C^{pr}_m$ is hereditarily undecidable.

We study three different topologies on the moduli space $\mathscr{H}^{\rm loc}_m$ of equivariant isometry classes of $m$-dimensional locally homogeneous Riemannian spaces. As an application, we provide the first examples of locally…

We determine fundamental systems of invariants for complex solvable rigid Lie algebras having nonsplit nilradicals of characteristic sequence $(3,1,..,1)$, these algebras being the natural followers of solvable algebras having Heisenberg…

Over a field of characteristic p > 2, the first cohomology of the special linear Lie superalgebra sl(2,1) with coefficients in all \c{hi}-reduced Kac modules and simple modules is determined by use of the weight space decompositions of…

We give a general lower bound on the rank of matrices of the form $\rho(h) - I$ with $\rho : G \rightarrow GL({\mathbb F}^n)$ an irreducible representation of a finite group $G$. The main tool in the proof is a (strengthening) of a…

Let $(R, {\frak m})$ be a local ring, $I$ a proper ideal of $R$ and $M$ a finitely generated $R$-module of dimension $d$. We discuss the local homology modules of $H^d_I(M)$. When $M$ is Cohen-Macaulay, it is proved that $H^d_{{\frak…

We extend the notion of absolute subsets of Betti moduli spaces of smooth algebraic varieties to the case of normal varieties. As a consequence we prove that twisted cohomology jump loci in rank one over a normal variety are a finite union…

The groups of units $U^i_L$ of a local field $L$ play an important role in algebraic number theory, especially in class field theoretic topics. Therefore, it is interesting to study these groups from a cohomological point of view. In this…

Let $p\geq 5$ be a prime number, $G$ a split connected reductive group defined over a $p$-adic field, and $I_1$ a choice of pro-$p$-Iwahori subgroup. Let $C$ be an algebraically closed field of characteristic $p$ and $\mathcal{H}$ the…

Uniqueness of normal forms ($UN^=$) is an important property of term rewrite systems. $UN^=$ is decidable for ground (i.e., variable-free) systems and undecidable in general. Recently it was shown to be decidable for linear, shallow…

Let Delta_{n-1} denote the (n-1)-dimensional simplex. Let Y be a random k-dimensional subcomplex of Delta_{n-1} obtained by starting with the full (k-1)-dimensional skeleton of Delta_{n-1} and then adding each k-simplex independently with…

We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the…

A shelf is a set with a binary operation~$\op$ satisfying $a \op (b \op c) = (a \op b) \op (a \op c)$. Racks are shelves with invertible translations $b \mapsto a \op b$; many of their aspects, including cohomological, are better understood…

Let A be an integer (d x n) matrix, and assume that the convex hull conv(A) of its columns is a simplex of dimension d-1. Write \NA for the semigroup generated by the columns of A. It was proved by M. Saito [math.AG/0012257] that the…