Related papers: GIT for $\hat U$-actions on algebraic $\mathbb C$-…

We prove a version of the Hilbert basis theorem in the setting of equivariant algebraic geometry: given a group G acting on a finite type morphism of schemes X -> S, if S is topologically G-noetherian, then so is X.

The Minimal Supersymmetric SO(10) GUT has developed into a fully realistic theory in which not only are the gauge couplings unified but the known fermion spectrum and mixing matrices could fit accurately using the latitude introduced by…

We extend recent existence and uniqueness results for maximal solutions of SPDEs through an improved blow-up criterion. Whilst the maximal time of existence is typically characterised by blow-up in the energy norm of solutions, we show…

In this sequel of arXiv:1211.5294 and arXiv:1211.5948, we develop an adic formalism for \'etale cohomology of Artin stacks and prove several desired properties including the base change theorem. In addition, we define perverse t-structures…

Throughout this paper we study the existence of irreducible curves C on smooth projective surfaces S with singular points of prescribed topological types S_1,...,S_r. There are necessary conditions for the existence of the type \sum_{i=1}^r…

Let $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p$, with Frobenius kernel $G_{(1)}$. It is known that when $p\ge 2h-2$, where $h$ is the Coxeter number of $G$, the projective…

We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective…

In this paper we search for conditions on a countably compact (pseudo-compact) topological semigroup under which: (i) each maximal subgroup $H(e)$ in $S$ is a (closed) topological subgroup in $S$; (ii) the Clifford part $H(S)$(i.e. the…

Reachability logic has been applied to $\mathbb{K}$ rewrite-rule-based language definitions as a language-generic logic of programs. To be able to verify not just code but also distributed system designs, a new rewrite-theory-generic…

In this paper we construct $G$-Hilbert schemes for finite group schemes $G$. We find a construction of $G$-Hilbert schemes as relative $G$-Hilbert schemes over the quotient that does not need the Hilbert scheme of $n$ points, works under…

It is known that a finite group G can only act freely on affine n-space if K has positive characteristic p and G is a p-group. In that case the group action is "non-linear" and the ring of regular functions must be a trace-surjective…

A certain "condition (S)" on reductive algebraic groups was introduced in [GT2], in which a slightly stronger condition (S+) was shown to have very strong consequences. We show that a wide class of Kloosterman and hypergeometric sheaves…

The Gelfand - Na\u{i}mark theorem supplies the one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological…

In recent years, a large class of nuclear $C^\ast$-algebras have been classified, modulo an assumption on the Universal Coefficient Theorem (UCT). We think this assumption is redundant and propose a strategy for proving it. Indeed,…

Let $\mathrm G$ be an isotrivial reductive group over a scheme $S$. We construct a smooth projective $S$-scheme containing $\mathrm G$ as a fiberwise-dense open subscheme equipped with left and right actions of $\mathrm G$ which extend the…

By an additive structure on a hypersurface S in projective space we mean an effective action of commutative unipotent group on projective space which leaves S invariant and acts on S with an open orbit. It is known that these structures…

The local trajectories method establishes invertibility in algebras $\mathcal{B}= \alg(\mathcal{A}, U_G)$, for a unital $C^*$-algebra $\mathcal{A}$ with a non-trivial center, and a unitary group $U_g$, $g\in G$, with $G$ a discrete group,…

We generalize the classical semi-continuity theorem for GIT (semi)stable loci under variations of linearizations to a relative situation of an equivariant projective morphism from X to an affine base S. As an application to moduli problems,…

Given an action of an affine algebraic group with only trivial characters on a factorial variety, we ask for categorical quotients. We characterize existence in the category of algebraic varieties. Moreover, allowing constructible sets as…

We consider solutions $u$ to the 3d nonlinear Schr\"odinger equation $i\partial_t u + \Delta u + |u|^2u=0$. In particular, we are interested in finding criteria on the initial data $u_0$ that predict the asymptotic behavior of $u(t)$, e.g.,…