Related papers: Classifying spaces and the Lascar group

We prove a homotopy invariance result for the first cohomology group of the special unitary group $\mathrm{SU}_3(F[t])$ with coefficients in irreducible representations of $\mathrm{PGL}_2(F)$. The main theorem establishes that this…

Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $\pi$ acts $2$-transitively on the points of $\pi$, then $\pi$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to…

Suppose $\alpha$ is a nonzero cardinal number, $\mathcal I$ is an ideal on arc connected topological space $X$, and ${\mathfrak P}_{\mathcal I}^\alpha(X)$ is the subgroup of $\pi_1(X)$ (the first fundamental group of $X$) generated by…

Let $\mathcal C$ be a smooth irreducible projective curve over the complex numbers and let $G$ be a simple simply-connected complex algebraic group. Let $\mathfrak M=\mathfrak M(G,\mathcal C)$ be the moduli space of semistable principal…

Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model. This automorphism group…

We prove that the moduli stack of index-one covers of semi-log-canonical surfaces of general type is isomorphic to the KSBA moduli stack of stable general type surfaces. Using the index-one covering Deligne-Mumford stack of a…

Let C be a smooth projective curve over an algebraically closed field of arbitrary characteristic. Let M_{r,L}^{ss} denote the projective coarse moduli scheme of semistable rank r vector bundles over C with fixed determinant L. We prove…

We show that Zilber's conjecture that complex exponentiation is isomorphic to his pseudo-exponentiation follows from the a priori simpler conjecture that they are elementarily equivalent. An analysis of the first-order types in…

We show that isomorphism classes $[\mathcal{A}]$ of flat $q\times q$ matrix bundles $\mathcal{A}$ (or projectively flat rank-$q$ complex vector bundles $\mathcal{E}$) on a pro-torus $\mathbb{T}$ are in bijective correspondence with the…

Let $(\Omega, \leq)$ be a totally ordered set. We prove that if $\Aut(\Omega,\leq)$ is transitive and satisfies the same first-order sentences as $\Aut(\RR,\leq)$ (in the language of lattice-ordered groups) then $\Omega$ and $\RR$ are…

We incorporate nonlinear covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. This L-group is an extension of the absolute Galois group of a local or global field $F$ by a complex…

Let $X$ be a topological space. We denote by $\pi_0(X)$ the set of connected components of $X$ and by $\Pi_1(U)$ the fundamental groupoid. In this paper we prove that for good topological spaces the assignments $U\mapsto\pi_0(U)$ and…

We first determine the automorphism group of the twisted Heisenberg-Virasoro vertex operator algebra $V_{\mathcal{L}}(\ell_{123},0)$.Then, for any integer $t>1$, we introduce a new Lie algebra $\mathcal{L}_{t}$, and show that…

The class $\mathfrak C $ relative to countably compact topological spaces and the class $\mathfrak P$ relative to pseudocompact spaces introduced by Z. Frol\'ik are naturally generalized relative to every topological property. We provide a…

In this expository paper we provide a geometric proof of the local Langlands Correspondence for the groups $\operatorname{GL}_{1}$ defined over $p$-adic fields $K$. We do this by redeveloping the theory of proalgebraic groups and use this…

In this paper we prove that for any connected reductive algebraic group G and a large enough prime $l$, there are continuous homomorphisms $$\mathrm{Gal}(\bar\mathbb Q/\mathbb Q) \to G(\bar\mathbb Q_l)$$ with Zariski-dense image, in…

It is well-known that the basic modal logic of all topological spaces is $S4$. However, the structure of basic modal and hybrid logics of classes of spaces satisfying various separation axioms was until present unclear. We prove that modal…

Let S be a compact, connected, orientable surface of positive genus. Let HT(S) be the Hatcher-Thurston complex of S. We prove that Aut(HT(S)) is isomorphic to the extended mapping class group of S modulo its center.

A famous result due to Lov\'{a}sz states that two finite relational structures $M$ and $N$ are isomorphic if, and only if, for all finite relational structures $T$, the number of homomorphisms from $T$ to $M$ is equal to the number of…

This paper is devoted to the study of a natural group topology on the fundamental group which remembers local properties of spaces forgotten by covering space theory and weak homotopy type. It is known that viewing the fundamental group as…