Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 14L ( Algebraic groups {For linear algebraic groups, see 20Gxx; for Lie algebras, see 17B45} )

  Expand all        Collapse all Results 1 - 25 of 26

1. CJM Online first

Elduque, Alberto
Order $3$ elements in $G_2$ and idempotents in symmetric composition algebras
Order three elements in the exceptional groups of type $G_2$ are classified up to conjugation over arbitrary fields. Their centralizers are computed, and the associated classification of idempotents in symmetric composition algebras is obtained. Idempotents have played a key role in the study and classification of these algebras. Over an algebraically closed field, there are two conjugacy classes of order three elements in $G_2$ in characteristic not $3$ and four of them in characteristic $3$. The centralizers in characteristic $3$ fail to be smooth for one of these classes.

Keywords:symmetric composition algebra, Okubo algebra, automorphism group, centralizer, idempotent
Categories:17A75, 14L15, 17B25, 20G15

2. CJM 2016 (vol 68 pp. 541)

Garcia-Armas, Mario
Strongly Incompressible Curves
Let $G$ be a finite group. A faithful $G$-variety $X$ is called strongly incompressible if every dominant $G$-equivariant rational map of $X$ onto another faithful $G$-variety $Y$ is birational. We settle the problem of existence of strongly incompressible $G$-curves for any finite group $G$ and any base field $k$ of characteristic zero.

Keywords:algebraic curves, group actions, Galois cohomology
Categories:14L30, 14E07, 14H37

3. CJM 2015 (vol 68 pp. 334)

Demchenko, Oleg; Gurevich, Alexander
Kernels in the Category of Formal Group Laws
Fontaine described the category of formal groups over the ring of Witt vectors over a finite field of characteristic $p$ with the aid of triples consisting of the module of logarithms, the Dieudonné module and the morphism from the former to the latter. We propose an explicit construction for the kernels in this category in term of Fontaine's triples. The construction is applied to the formal norm homomorphism in the case of an unramified extension of $\mathbb{Q}_p$ and of a totally ramified extension of degree less or equal than $p$. A similar consideration applied to a global extension allows us to establish the existence of a strict isomorphism between the formal norm torus and a formal group law coming from $L$-series.

Keywords:formal groups, $p$-divisible groups, Dieudonne modules, norm tori

4. CJM 2014 (vol 67 pp. 848)

Köck, Bernhard; Tait, Joseph
Faithfulness of Actions on Riemann-Roch Spaces
Given a faithful action of a finite group $G$ on an algebraic curve~$X$ of genus $g_X\geq 2$, we give explicit criteria for the induced action of~$G$ on the Riemann-Roch space~$H^0(X,\mathcal{O}_X(D))$ to be faithful, where $D$ is a $G$-invariant divisor on $X$ of degree at least~$2g_X-2$. This leads to a concise answer to the question when the action of~$G$ on the space~$H^0(X, \Omega_X^{\otimes m})$ of global holomorphic polydifferentials of order $m$ is faithful. If $X$ is hyperelliptic, we furthermore provide an explicit basis of~$H^0(X, \Omega_X^{\otimes m})$. Finally, we give applications in deformation theory and in coding theory and we discuss the analogous problem for the action of~$G$ on the first homology $H_1(X, \mathbb{Z}/m\mathbb{Z})$ if $X$ is a Riemann surface.

Keywords:faithful action, Riemann-Roch space, polydifferential, hyperelliptic curve, equivariant deformation theory, Goppa code, homology
Categories:14H30, 30F30, 14L30, 14D15, 11R32

5. CJM 2012 (vol 66 pp. 3)

Abdesselam, Abdelmalek; Chipalkatti, Jaydeep
On Hilbert Covariants
Let $F$ denote a binary form of order $d$ over the complex numbers. If $r$ is a divisor of $d$, then the Hilbert covariant $\mathcal{H}_{r,d}(F)$ vanishes exactly when $F$ is the perfect power of an order $r$ form. In geometric terms, the coefficients of $\mathcal{H}$ give defining equations for the image variety $X$ of an embedding $\mathbf{P}^r \hookrightarrow \mathbf{P}^d$. In this paper we describe a new construction of the Hilbert covariant; and simultaneously situate it into a wider class of covariants called the Göttingen covariants, all of which vanish on $X$. We prove that the ideal generated by the coefficients of $\mathcal{H}$ defines $X$ as a scheme. Finally, we exhibit a generalisation of the Göttingen covariants to $n$-ary forms using the classical Clebsch transfer principle.

Keywords:binary forms, covariants, $SL_2$-representations
Categories:14L30, 13A50

6. CJM 2012 (vol 64 pp. 1222)

Bobiński, Grzegorz
Normality of Maximal Orbit Closures for Euclidean Quivers
Let $\Delta$ be an Euclidean quiver. We prove that the closures of the maximal orbits in the varieties of representations of $\Delta$ are normal and Cohen--Macaulay (even complete intersections). Moreover, we give a generalization of this result for the tame concealed-canonical algebras.

Keywords:normal variety, complete intersection, Euclidean quiver, concealed-canonical algebra
Categories:16G20, 14L30

7. CJM 2011 (vol 64 pp. 805)

Chapon, François; Defosseux, Manon
Quantum Random Walks and Minors of Hermitian Brownian Motion
Considering quantum random walks, we construct discrete-time approximations of the eigenvalues processes of minors of Hermitian Brownian motion. It has been recently proved by Adler, Nordenstam, and van Moerbeke that the process of eigenvalues of two consecutive minors of a Hermitian Brownian motion is a Markov process; whereas, if one considers more than two consecutive minors, the Markov property fails. We show that there are analog results in the noncommutative counterpart and establish the Markov property of eigenvalues of some particular submatrices of Hermitian Brownian motion.

Keywords:quantum random walk, quantum Markov chain, generalized casimir operators, Hermitian Brownian motion, diffusions, random matrices, minor process
Categories:46L53, 60B20, 14L24

8. CJM 2011 (vol 64 pp. 409)

Rainer, Armin
Lifting Quasianalytic Mappings over Invariants
Let $\rho \colon G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $\sigma_1,\dots,\sigma_n$ be a system of generators of the algebra of invariant polynomials $\mathbb C[V]^G$. We study the problem of lifting mappings $f\colon \mathbb R^q \supseteq U \to \sigma(V) \subseteq \mathbb C^n$ over the mapping of invariants $\sigma=(\sigma_1,\dots,\sigma_n) \colon V \to \sigma(V)$. Note that $\sigma(V)$ can be identified with the categorical quotient $V /\!\!/ G$ and its points correspond bijectively to the closed orbits in $V$. We prove that if $f$ belongs to a quasianalytic subclass $\mathcal C \subseteq C^\infty$ satisfying some mild closedness properties that guarantee resolution of singularities in $\mathcal C$, e.g., the real analytic class, then $f$ admits a lift of the same class $\mathcal C$ after desingularization by local blow-ups and local power substitutions. As a consequence we show that $f$ itself allows for a lift that belongs to $\operatorname{SBV}_{\operatorname{loc}}$, i.e., special functions of bounded variation. If $\rho$ is a real representation of a compact Lie group, we obtain stronger versions.

Keywords:lifting over invariants, reductive group representation, quasianalytic mappings, desingularization, bounded variation
Categories:14L24, 14L30, 20G20, 22E45

9. CJM 2011 (vol 63 pp. 1058)

Easton, Robert W.
$S_3$-covers of Schemes
We analyze flat $S_3$-covers of schemes, attempting to create structures parallel to those found in the abelian and triple cover theories. We use an initial local analysis as a guide in finding a global description.

Keywords:nonabelian groups, permutation group, group covers, schemes

10. CJM 2011 (vol 63 pp. 878)

Howard, Benjamin; Manon, Christopher; Millson, John
The Toric Geometry of Triangulated Polygons in Euclidean Spac
Speyer and Sturmfels associated Gröbner toric degenerations $\mathrm{Gr}_2(\mathbb{C}^n)^{\mathcal{T}}$ of $\mathrm{Gr}_2(\mathbb{C}^n)$ with each trivalent tree $\mathcal{T}$ having $n$ leaves. These degenerations induce toric degenerations $M_{\mathbf{r}}^{\mathcal{T}}$ of $M_{\mathbf{r}}$, the space of $n$ ordered, weighted (by $\mathbf{r}$) points on the projective line. Our goal in this paper is to give a geometric (Euclidean polygon) description of the toric fibers and describe the action of the compact part of the torus as "bendings of polygons". We prove the conjecture of Foth and Hu that the toric fibers are homeomorphic to the spaces defined by Kamiyama and Yoshida.

Categories:14L24, 53D20

11. CJM 2009 (vol 62 pp. 473)

Yun, Zhiwei
Goresky—MacPherson Calculus for the Affine Flag Varieties
We use the fixed point arrangement technique developed by Goresky and MacPherson to calculate the part of the equivariant cohomology of the affine flag variety $\mathcal{F}\ell_G$ generated by degree 2. We use this result to show that the vertices of the moment map image of $\mathcal{F}\ell_G$ lie on a paraboloid.

Categories:14L30, 55N91

12. CJM 2009 (vol 62 pp. 262)

Goresky, Mark; MacPherson, Robert
On the Spectrum of the Equivariant Cohomology Ring
If an algebraic torus $T$ acts on a complex projective algebraic variety $X$, then the affine scheme $\operatorname{Spec} H^*_T(X;\mathbb C)$ associated with the equivariant cohomology is often an arrangement of linear subspaces of the vector space $H_2^T(X;\mathbb C).$ In many situations the ordinary cohomology ring of $X$ can be described in terms of this arrangement.

Categories:14L30, 54H15

13. CJM 2009 (vol 61 pp. 1407)

Will, Pierre
Traces, Cross-Ratios and 2-Generator Subgroups of $\SU(2,1)$
In this work, we investigate how to decompose a pair $(A,B)$ of loxodromic isometries of the complex hyperbolic plane $\mathbf H^{2}_{\mathbb C}$ under the form $A=I_1I_2$ and $B=I_3I_2$, where the $I_k$'s are involutions. The main result is a decomposability criterion, which is expressed in terms of traces of elements of the group $\langle A,B\rangle$.

Categories:14L24, 22E40, 32M15, 51M10

14. CJM 2009 (vol 61 pp. 351)

Graham, William; Hunziker, Markus
Multiplication of Polynomials on Hermitian Symmetric spaces and Littlewood--Richardson Coefficients
Let $K$ be a complex reductive algebraic group and $V$ a representation of $K$. Let $S$ denote the ring of polynomials on $V$. Assume that the action of $K$ on $S$ is multiplicity-free. If $\lambda$ denotes the isomorphism class of an irreducible representation of $K$, let $\rho_\lambda\from K \rightarrow GL(V_{\lambda})$ denote the corresponding irreducible representation and $S_\lambda$ the $\lambda$-isotypic component of $S$. Write $S_\lambda \cdot S_\mu$ for the subspace of $S$ spanned by products of $S_\lambda$ and $S_\mu$. If $V_\nu$ occurs as an irreducible constituent of $V_\lambda\otimes V_\mu$, is it true that $S_\nu\subseteq S_\lambda\cdot S_\mu$? In this paper, the authors investigate this question for representations arising in the context of Hermitian symmetric pairs. It is shown that the answer is yes in some cases and, using an earlier result of Ruitenburg, that in the remaining classical cases, the answer is yes provided that a conjecture of Stanley on the multiplication of Jack polynomials is true. It is also shown how the conjecture connects multiplication in the ring $S$ to the usual Littlewood--Richardson rule.

Keywords:Hermitian symmetric spaces, multiplicity free actions, Littlewood--Richardson coefficients, Jack polynomials
Categories:14L30, 22E46

15. CJM 2008 (vol 60 pp. 556)

Draisma, Jan; Kemper, Gregor; Wehlau, David
Polarization of Separating Invariants
We prove a characteristic free version of Weyl's theorem on polarization. Our result is an exact analogue of Weyl's theorem, the difference being that our statement is about separating invariants rather than generating invariants. For the special case of finite group actions we introduce the concept of \emph{cheap polarization}, and show that it is enough to take cheap polarizations of invariants of just one copy of a representation to obtain separating vector invariants for any number of copies. This leads to upper bounds on the number and degrees of separating vector invariants of finite groups.

Keywords:Jan Draisma, Gregor Kemper, David Wehlau
Categories:13A50, 14L24

16. CJM 2008 (vol 60 pp. 109)

Gurjar, R. V.; Masuda, K.; Miyanishi, M.; Russell, P.
Affine Lines on Affine Surfaces and the Makar--Limanov Invariant
A smooth affine surface $X$ defined over the complex field $\C$ is an $\ML_0$ surface if the Makar--Limanov invariant $\ML(X)$ is trivial. In this paper we study the topology and geometry of $\ML_0$ surfaces. Of particular interest is the question: Is every curve $C$ in $X$ which is isomorphic to the affine line a fiber component of an $\A^1$-fibration on $X$? We shall show that the answer is affirmative if the Picard number $\rho(X)=0$, but negative in case $\rho(X) \ge 1$. We shall also study the ascent and descent of the $\ML_0$ property under proper maps.

Categories:14R20, 14L30

17. CJM 2006 (vol 58 pp. 1000)

Dhillon, Ajneet
On the Cohomology of Moduli of Vector Bundles and the Tamagawa Number of $\operatorname{SL}_n$
We compute some Hodge and Betti numbers of the moduli space of stable rank $r$, degree $d$ vector bundles on a smooth projective curve. We do not assume $r$ and $d$ are coprime. In the process we equip the cohomology of an arbitrary algebraic stack with a functorial mixed Hodge structure. This Hodge structure is computed in the case of the moduli stack of rank $r$, degree $d$ vector bundles on a curve. Our methods also yield a formula for the Poincar\'e polynomial of the moduli stack that is valid over any ground field. In the last section we use the previous sections to give a proof that the Tamagawa number of $\sln$ is one.

Categories:14H, 14L

18. CJM 2006 (vol 58 pp. 93)

Gordon, Julia
Motivic Haar Measure on Reductive Groups
We define a motivic analogue of the Haar measure for groups of the form $G(k\llp t\rrp)$, where~$k$ is an algebraically closed field of characteristic zero, and $G$ is a reductive algebraic group defined over $k$. A classical Haar measure on such groups does not exist since they are not locally compact. We use the theory of motivic integration introduced by M.~Kontsevich to define an additive function on a certain natural Boolean algebra of subsets of $G(k\llp t\rrp)$. This function takes values in the so-called dimensional completion of the Grothendieck ring of the category of varieties over the base field. It is invariant under translations by all elements of $G(k\llp t\rrp)$, and therefore we call it a motivic analogue of Haar measure. We give an explicit construction of the motivic Haar measure, and then prove that the result is independent of all the choices that are made in the process.

Keywords:motivic integration, reductive group
Categories:14A15, 14L15

19. CJM 2003 (vol 55 pp. 693)

Borne, Niels
Une formule de Riemann-Roch équivariante pour les courbes
Soit $G$ un groupe fini agissant sur une courbe alg\'ebrique projective et lisse $X$ sur un corps alg\'ebriquement clos $k$. Dans cet article, on donne une formule de Riemann-Roch pour la caract\'eristique d'Euler \'equivariante d'un $G$-faisceau inversible $\mathcal{L}$, \`a valeurs dans l'anneau $R_k (G)$ des caract\`eres du groupe $G$. La formule donn\'ee a un bon comportement fonctoriel en ce sens qu'elle rel\`eve la formule classique le long du morphisme $\dim \colon R_k (G) \to \mathbb{Z}$, et est valable m\^eme pour une action sauvage. En guise d'application, on montre comment calculer explicitement le caract\`ere de l'espace des sections globales d'une large classe de $G$-faisceaux inversibles, en s'attardant sur le cas particulier d\'elicat du faisceau des diff\'erentielles sur la courbe.

Keywords:group actions on varieties or schemes,, Riemann-Roch theorems
Categories:14L30, 14C40

20. CJM 2002 (vol 54 pp. 554)

Hausen, Jürgen
Equivariant Embeddings into Smooth Toric Varieties
We characterize embeddability of algebraic varieties into smooth toric varieties and prevarieties. Our embedding results hold also in an equivariant context and thus generalize a well-known embedding theorem of Sumihiro on quasiprojective $G$-varieties. The main idea is to reduce the embedding problem to the affine case. This is done by constructing equivariant affine conoids, a tool which extends the concept of an equivariant affine cone over a projective $G$-variety to a more general framework.

Categories:14E25, 14C20, 14L30, 14M25

21. CJM 2002 (vol 54 pp. 595)

Nahlus, Nazih
Lie Algebras of Pro-Affine Algebraic Groups
We extend the basic theory of Lie algebras of affine algebraic groups to the case of pro-affine algebraic groups over an algebraically closed field $K$ of characteristic 0. However, some modifications are needed in some extensions. So we introduce the pro-discrete topology on the Lie algebra $\mathcal{L}(G)$ of the pro-affine algebraic group $G$ over $K$, which is discrete in the finite-dimensional case and linearly compact in general. As an example, if $L$ is any sub Lie algebra of $\mathcal{L}(G)$, we show that the closure of $[L,L]$ in $\mathcal{L}(G)$ is algebraic in $\mathcal{L}(G)$. We also discuss the Hopf algebra of representative functions $H(L)$ of a residually finite dimensional Lie algebra $L$. As an example, we show that if $L$ is a sub Lie algebra of $\mathcal{L}(G)$ and $G$ is connected, then the canonical Hopf algebra morphism from $K[G]$ into $H(L)$ is injective if and only if $L$ is algebraically dense in $\mathcal{L}(G)$.

Categories:14L, 16W, 17B45

22. CJM 2000 (vol 52 pp. 1018)

Reichstein, Zinovy; Youssin, Boris
Essential Dimensions of Algebraic Groups and a Resolution Theorem for $G$-Varieties
Let $G$ be an algebraic group and let $X$ be a generically free $G$-variety. We show that $X$ can be transformed, by a sequence of blowups with smooth $G$-equivariant centers, into a $G$-variety $X'$ with the following property the stabilizer of every point of $X'$ is isomorphic to a semidirect product $U \sdp A$ of a unipotent group $U$ and a diagonalizable group $A$. As an application of this result, we prove new lower bounds on essential dimensions of some algebraic groups. We also show that certain polynomials in one variable cannot be simplified by a Tschirnhaus transformation.

Categories:14L30, 14E15, 14E05, 12E05, 20G10

23. CJM 1999 (vol 51 pp. 771)

Flicker, Yuval Z.
Stable Bi-Period Summation Formula and Transfer Factors
This paper starts by introducing a bi-periodic summation formula for automorphic forms on a group $G(E)$, with periods by a subgroup $G(F)$, where $E/F$ is a quadratic extension of number fields. The split case, where $E = F \oplus F$, is that of the standard trace formula. Then it introduces a notion of stable bi-conjugacy, and stabilizes the geometric side of the bi-period summation formula. Thus weighted sums in the stable bi-conjugacy class are expressed in terms of stable bi-orbital integrals. These stable integrals are on the same endoscopic groups $H$ which occur in the case of standard conjugacy. The spectral side of the bi-period summation formula involves periods, namely integrals over the group of $F$-adele points of $G$, of cusp forms on the group of $E$-adele points on the group $G$. Our stabilization suggests that such cusp forms---with non vanishing periods---and the resulting bi-period distributions associated to ``periodic'' automorphic forms, are related to analogous bi-period distributions associated to ``periodic'' automorphic forms on the endoscopic symmetric spaces $H(E)/H(F)$. This offers a sharpening of the theory of liftings, where periods play a key role. The stabilization depends on the ``fundamental lemma'', which conjectures that the unit elements of the Hecke algebras on $G$ and $H$ have matching orbital integrals. Even in stating this conjecture, one needs to introduce a ``transfer factor''. A generalization of the standard transfer factor to the bi-periodic case is introduced. The generalization depends on a new definition of the factors even in the standard case. Finally, the fundamental lemma is verified for $\SL(2)$.

Categories:11F72, 11F70, 14G27, 14L35

24. CJM 1999 (vol 51 pp. 616)

Panyushev, Dmitri I.
Parabolic Subgroups with Abelian Unipotent Radical as a Testing Site for Invariant Theory
Let $L$ be a simple algebraic group and $P$ a parabolic subgroup with Abelian unipotent radical $P^u$. Many familiar varieties (determinantal varieties, their symmetric and skew-symmetric analogues) arise as closures of $P$-orbits in $P^u$. We give a unified invariant-theoretic treatment of various properties of these orbit closures. We also describe the closures of the conormal bundles of these orbits as the irreducible components of some commuting variety and show that the polynomial algebra $k[P^u]$ is a free module over the algebra of covariants.

Categories:14L30, 13A50

25. CJM 1998 (vol 50 pp. 929)

Broer, Abraham
Decomposition varieties in semisimple Lie algebras
The notion of decompositon class in a semisimple Lie algebra is a common generalization of nilpotent orbits and the set of regular semisimple elements. We prove that the closure of a decomposition class has many properties in common with nilpotent varieties, \eg, its normalization has rational singularities. The famous Grothendieck simultaneous resolution is related to the decomposition class of regular semisimple elements. We study the properties of the analogous commutative diagrams associated to an arbitrary decomposition class.

Categories:14L30, 14M17, 15A30, 17B45
   1 2    

© Canadian Mathematical Society, 2017 :