Related papers: On invariants for omega_1-separable groups
The invariant Hilbert schemes considered in \cite{BC1} were proved to be affine spaces. The proof relied on the classification of strict wonderful varieties. We obtain in the present article a classification-free proof of the affinity of…
Ehrenfeucht-Fra\"iss\'e games provide a fundamental method for proving elementary equivalence (and equivalence up to a certain quantifier rank) of relational structures. We investigate the soundness and completeness of this method in the…
A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various…
Let $f:X\to X $ be a dominant self-morphism of an algebraic variety over an algebraically closed field of characteristic zero. We consider the set $\Sigma_{f^{\infty}}$ of $f$-periodic (irreducible closed) subvarieties of small dynamical…
We establish the existence of many holomorphic Hecke eigenforms $f$ of large weight $k$ for the full modular group, for which the least positive integer $n_f$ such that $\lambda_f(n_f)<0$ satisfies $n_f \ge (\log k)^{1-o(1)}.$ This is…
We give an elementary proof of the first fundamental theorem of the invariant theory for the orthosymplectic supergroup by generalising the method of Atiyah, Bott and Patodi to the supergroup context. We use methods from super-algebraic…
We construct a 2-category version of tom Dieck's equivariant fundamental groupoid for representable orbifolds and show that the discrete fundamental groupoid is Morita invariant; hence an orbifold invariant for representable orbifolds.
We reformulate the Omega-deformation of four-dimensional gauge theory in a way that is valid away from fixed points of the associated group action. We use this reformulation together with the theory of coisotropic A-branes to explain recent…
Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Sch\"onheim conjectured that if $\{H_i\alpha_i\}_{i=1}^{i=s}$, $\alpha_i\in G$, is a coset partition of $G$, then…
We investigate which invariants of groups are powerful in distinguishing non-isomorphic p-groups. We introduce the notations of siblings and twins for p-groups that are difficult to distinguish and we describe the siblings and twins among…
Let $G$ be a permutation group on $n<\infty$ objects. Let $f(g)$ be the number of fixed points of $g\in G$, and let $\{f(g):1\ne g\in G\}=\{f_1,\ldots,f_r\}$. In this expository note we give a character-free proof of a theorem of Blichfeldt…
Nonunique factorization in cancellative commutative semigroups is often studied using combinatorial factorization invariants, which assign to each semigroup element a quantity determined by the factorization structure. For numerical…
In \cite{armstrong}, M. Armstrong proved a beautiful result describing fundamental groups of quotient spaces. In this paper we prove an analogue of Armstrong's theorem in the setting of $F$-divided \cite{dS07} and essentially finite…
The concept of a $1$-rotational factorization of a complete graph under a finite group $G$ was studied in detail by Buratti and Rinaldi. They found that if $G$ admits a $1$-rotational $2$-factorization, then the involutions of $G$ are…
We classify affine varieties with an action of a connected, reductive algebraic group such that the group is isomorphic to an open orbit in the variety. This is accomplished by associating a set of one-parameter subgroups of the group to…
We study numerical invariants of 2-blocks with minimal nonabelian defect groups. These groups were classified by R\'edei. If the defect group is also metacyclic, then the block invariants are known. In the remaining cases there are only two…
The goal of invariant theory is to find all the generators for the algebra of representations of a group that leave the group invariant. Such generators will be called \emph{basic invariants}. In particular, we set out to find the set of…
The main result of this article is an application of the theory of invariant convex cones of Lie algebras to the study of unitary representations of Lie supergroups. It also includes an exposition of recent results of the second author on…
In the case of finite groups, a separating algebra is a subalgebra of the ring of invariants which separates the orbits. Although separating algebras are often better behaved than the ring of invariants, we show that many of the criteria…
Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…