Related papers: A class of counter-examples to the hypersection pr…
Suppose $G$ is a connected complex Lie group and $H$ is a closed complex subgroup. Then there exists a closed complex subgroup $J$ of $G$ containing $H$ such that the fibration $\pi:G/H \to G/J$ is the holomorphic reduction of $G/H$, i.e.,…
In the first part of this paper, we discuss the classical W-algebra $\mathcal{W}(\mathfrak{g}, F)$ associated with a Lie superalgebra $\mathfrak{g}$ and the nilpotent element $F$ in an $\mathfrak{sl}_2$-triple. We find a generating set of…
We study the intersection of tropical psi-classes on tropical heavy/light Hassett spaces, generalising a result of Kerber--Markwig for tropical moduli spaces of rational stable curves with distinct marked points. Our computation reveals…
We study divergence and thickness for general Coxeter groups $W$. We first characterise linear divergence, and show that if $W$ has superlinear divergence then its divergence is at least quadratic. We then formulate a computable…
The purpose of this paper is to develop a theory of $(\infty, 1)$-stacks, in the sense of Hirschowitz-Simpson's `Descent Pour Les n-Champs', using the language of quasi-category theory and the author's local Joyal model structure. The main…
We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…
We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…
We give new characterisations of sets of positive reach and show that a closed hypersurface has positive reach if and only if it is of class $C^{1,1}$. These results are then used to prove new alternating Steiner formul{\ae} for…
The equation determining whether a projective structure admits a connection in its given projective class that has skew-symmetric Ricci tensor is an overdetermined system of semi-linear partial differential equations which we call the…
Several variants of the Constraint Satisfaction Problem have been proposed and investigated in the literature for modelling those scenarios where solutions are associated with some given costs. Within these frameworks computing an optimal…
We provide new conditions under which the alternating projection sequence converges in norm for the convex feasibility problem where a linear subspace with finite codimension $N\geq 2$ and a lattice cone in a Hilbert space are considered.…
In this paper we describe all rotation $H$-hypersurfaces in $H^n \times R$ and use them as barriers to prove existence and characterization of certain vertical $H$-graphs and to give symmetry and uniqueness results for compact…
Third order equations, which describe spherical surfaces (ss) or pseudospherical surfaces (pss), of the form \[ \nu\,z_{t}-\lambda\,z_{xxt}=A(z,z_{x},z_{xx})\,z_{xxx}+B(z,z_{x},z_{xx}) \] with $\nu$, $\lambda$ $\in$ $\mathbb{R}$,…
We show that if $M$ is an Einstein hypersurface in an irreducible Riemannian symmetric space $\overline{M}$ of rank greater than $1$ (the classification in the rank-one case was previously known), then either $\overline{M}$ is of noncompact…
Classical $W$-algebras in higher dimensions are constructed. This is achieved by generalizing the classical Gel'fand-Dickey brackets to the commutative limit of the ring of classical pseudodifferential operators in arbitrary dimension.…
We explore the connection between super $\mathcal{W}$-algebras ($\mathcal{SW}$-algebras) and $\mathrm{G}$-structures with torsion. The former are realised as symmetry algebras of strings with $\mathcal{N}=(1,0)$ supersymmetry on the…
We study to what extent Wilson lines in heterotic Calabi-Yau compactifications lead to non-trivial H-flux via Chern-Simons terms. Wilson lines are basic ingredients for Standard Model constructions but their induced H-flux may affect the…
The adjoint representations of the Lie algebras of the classical groups SU(n), SO(n), and Sp(n) are, respectively, tensor, antisymmetric, and symmetric products of two vector spaces, and hence are matrix representations. We consider the…
Farkas and Ortega found counterexamples to Mercat's conjecture by restricting to a hyperplane section $C$ some suitable rank-two vector bundles on a $K3$ surface whose Picard group is generated by $C$ and another very ample divisor. We…
In this paper, we highlight some open problems stated by Xu and Zhao. In particular, we focus on strong $d$-spaces and answer two open problems concerning strong $d$-spaces. One is about the product space of an arbitrary family of strong…