Related papers: Zircons and smooth Bruhat intervals in symmetric g…

In this short note, we prove that there is a well behaved notion of normal hull for smooth algebraic group schemes over a field and that the commutator group $(G,H)$ is well defined for $H\subset G$ smooth, even when both of them are not…

We formulate a very general conjecture relating the analytical invariants of a normal surface singularity to the Seiberg-Witten invariants of its link provided that the link is a rational homology sphere. As supporting evidence, we…

We describe an algorithm which pattern embeds, in the sense of Woo-Yong, any Bruhat interval of a symmetric group into an interval whose extremes lie in the same right Kazhdan-Lusztig cell. This apparently harmless fact has applications in…

Introduced by Kodama and Williams, Bruhat interval polytopes are generalized permutohedra closely connected to the study of torus orbit closures and total positivity in Schubert varieties. We show that the 1-skeleton posets of these…

A zircon is a poset in which every principal order ideal is finite and equipped with a so-called special matching. We prove that the subposet induced by the fixed points of any automorphism of a zircon is itself a zircon. This provides a…

We study substructures of the Weyl group of conformal transformations of the metric of (pseudo)Riemannian manifolds. These substructures are identified by differential constraints on the conformal factors of the transformations which are…

We prove that cyclic subgroup separability is preserved under exponential completion for groups that belong to a class that includes all coherent RAAGs and toral relatively hyperbolic groups; we do so by exploiting the structure of these…

For all $n \geq 1$, there is a notion of $n$-smooth group scheme over any $\mathbb{F}_p$-algebra $R$, which may be thought of as a ``Frobenius analogue" of $n$-truncated Barsotti-Tate groups over $R$. We show that the category of $n$-smooth…

Let X be a smooth or proper variety defined over a finite field. The geometric etale fundamental group of X is a normal subgroup of the Weil group, so conjugation gives it a Weil action. We consider the pro-Q_l-algebraic completion of the…

Using both an effective three-band model and {\it ab initio} calculations, we have investigated various topological features in the cubic ferromagnetic $5d^{1,2}$ systems showing large spin-orbit coupling (SOC): Ba$_2$NaOsO$_6$,…

Let $k$ be a perfect field. Assume that the characteristic of $k$ satisfies certain tameness assumptions \eqref{tameness}. Let $\mathcal O_{_n} := k\llbracket z_{_1}, \ldots, z_{_n}\rrbracket$ and set $K_{_n} := \text{Fract}~\cO_{_n}$. Let…

It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show…

In this paper we show that Weyl-invariant commutator blueprints of type $(4, 4, 4)$ are faithful. As a consequence we answer a question of Tits from the late $1980$s about twin buildings. Moreover, we obtain the first example of a…

We show that a surface group of high genus contained in a classical simple Lie group can be deformed to become Zariski dense, unless the Lie group is $SU(p,q)$ (resp. $SO^* (2n)$, $n$ odd) and the surface group is maximal in some…

Given a Coxeter group $W$ with Coxeter system $(W,S)$, where $S$ is finite. We provide a complete characterization of Boolean intervals in the weak order of $W$ uniformly for all Coxeter groups in terms of independent sets of the Coxeter…

Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$…

For any $n$-dimensional compact spin Riemannian manifold $M$ with a given spin structure and a spinor bundle $\Sigma M$, and any compact Riemannian manifold $N$, we show an $\epsilon$-regularity theorem for weakly Dirac-harmonic maps . As a…

We study orbits of semigroups of $\text{SL}(2,\mathbb{Z})$, and demonstrate reciprocity obstructions: we show that certain such orbits avoid squares, but not as a consequence of obstructions inherited from an algebraic set, and not as a…

A smooth cuboid can be identified with a $3\times 3$ matrix of linear forms, with coefficients in a field $K$, whose determinant describes a smooth cubic in the projective plane. To each such matrix one can associate a group scheme over…

The generic Hecke algebra for the hyperoctahedral group, i.e. the Weyl group of type B, contains the generic Hecke algebra for the symmetric group, i.e. the Weyl group of type A, as a subalgebra. Inducing the index representation of the…