Questions about the group of automorphisms of any mathematical object $X$ endowed with a given structure, i.e the group of all bijective maps from $X$ to itself preserving this structure, and hence helping study it further and understand it better.

learn more… | top users | synonyms

5
votes
1answer
167 views

Representability of morphism of stacks

A morphism of Artin stacks $f:X\to Y$ over $\mathbb Q$ is representable by algebraic spaces if and only if its geometric fibres are algebraic spaces. I would like to know if one can use this to prove ...
4
votes
1answer
157 views

Twists of projective automorphisms

Let $X$ be a projective variety over a perfect field $k$. Recall that a twist of $X$ is a variety $Y$ over $k$ such that $$X_{\bar k} \cong Y_{\bar k}.$$ The twists of $X$ are classified by the Galois ...
5
votes
0answers
149 views

Automorphisms of a quotient variety

Let $X$ be a variety, and $G\subset Aut(X)$ a subgroup of the automorphism group of $X$. Assume that the quotient $Y = X/G$ is a variety. Does there exist some simple relation between $Aut(X)$, $G$ ...
8
votes
1answer
321 views

Automorphisms of generic complete intersections

This question concerns a seemingly folk lore result, which states that automorphism groups of generic complete intersections are trivial, under certain assumptions. To state the question, let $r \geq ...
8
votes
1answer
137 views

Is the center of the automorphism group of a von Neumann algebra M trivial whenever M is a factor?

Question: Is the center of the automorphism group of a von Neumann algebra $\mathscr{M}$ trivial (=$\{\mathrm{id}\}$) whenever $\mathscr{M}$ is a factor (=$\mathscr{M}$ has center $\{\lambda I; ...
3
votes
1answer
141 views

Condition(s) for the full autormophism group $\operatorname{Aut}(C(G, S))$ of the Cayley graph of $G$ to be isomorphic to $G$

If $\Gamma = C(G, S)$ is the (undirected) Cayley graph of a finite group $G$ with generating set $S$, then $G \le \operatorname{Aut}(\Gamma)$, the "full" automorphism group of $\Gamma$. When is ...
2
votes
1answer
242 views

Automorphisms of ideals of $\mathbb{C}[t]$

Let $f(t)\in\mathbb{C}[t]$, and let $I_f$ be the ideal in $\mathbb{C}[t]$ generated by $f(t)$. The ideal $I_f$ has a natural $\mathbb{C}$-algebra structure. My question is the following: For ...
4
votes
0answers
261 views

Very frustrated reading a proof of the faithfulness of Artin's representation of braid groups

I am reading BRAID GROUPS, FREE GROUPS, AND THE LOOP SPACE OF THE 2-SPHERE by F.R. Cohen and J. Wu and here is an extract of the paper: (The proof is not finished yet but I am very confused by now.) ...
2
votes
2answers
92 views

Automorphism group of directed complete graph

Given a directed complete graph on $n$ vertices, is there an efficient algorithm for computing its automorphism group? Is there a nontrivial upper bound on the order of its automorphism group? How ...
29
votes
1answer
586 views

Two groups that are the automorphism groups of each other

Let $H,K$ be two non-isomorphic groups such that $H\cong Aut(K)$ and $K\cong Aut(H)$. Is there any example of such groups ? Note: I had asked the question there.
5
votes
1answer
285 views

automorphisms of local rings vs local change of coordinates

Let $R$ be a local (commutative, associative) ring over a field of zero characteristic. (My typical examples are $k[[x_1,..,x_p]]/I$, $k\{x_1,.,x_p\}/I$, $C^\infty(\Bbb{R}^p,0)$. If it helps one can ...
1
vote
1answer
179 views

automorphism group of a given period

Maxim Kontsevich and Don Zagier defined the algebra of periods and conjectured that one can pass from a representation of a given period to another one using only three rules. Assuming this ...
2
votes
1answer
143 views

Graph automorphism that swaps two pairs of nodes

Suppose we have two automorphisms on a graph $G$ such that each one swaps a separate pairs of vertices. Is it possible to construct (or prove the existence of) a third automorphism that swaps both ...
13
votes
6answers
754 views

Does the linear automorphism group determine the vector space?

I was recently thinking about what it means to put structure on a set. It seems to me that, in my area (representation theory), the two main ways of imposing structure on a set $X$ are: ...
2
votes
1answer
156 views

When is Aut(G) the symmetric group of an Aut(G)-invariant generating set?

Let $G$ be a group, $X$ a generating set of $G$. Suppose $X$ is $\operatorname{Aut}(G)$-invariant, i.e. $\sigma(X)\subseteq X$ for all $\sigma \in \operatorname{Aut}(G)$. When is the restriction ...
0
votes
1answer
56 views

edge transitivity and edge deletion

Let G be a graph which has the following properties: 1) For every $e_1,e_2 \notin E(G)$, $G \cup e_1 \cong G \cup e_2$ 2) For every $e_1,e_2 \in E(G)$, $G\setminus e_1 \cong G\setminus e_2$ i.e. ...
3
votes
1answer
154 views

Automorphism group of a smooth quadric $Q\subset\mathbb{P}^4$

Let $Q$ be the smooth quadric threefold in $\mathbb{P}^4_{\mathbb{C}}$ defined by the equation $x_0x_4+x_1x_3+x_2^2=0$. Is it true that the automorphism group of $Q$ is $SO(Q;\mathbb{C})$ which is ...
4
votes
1answer
150 views

Examples of hyperelliptic curves with hyperelliptic quotients that have more automorphisms

Does there exist a hyperelliptic curve $X$ of genus $g\geq 2$ over the complex numbers such that $X$ has a hyperelliptic quotient $X\to Y$ (in the sense that $Y$ is hyperelliptic and the morphism ...
4
votes
1answer
183 views

Automorphisms of SO_n(k,f)

Let $k$ be a field, $n\in\mathbb{N}$ and $f:k^n\times k^n\to k$ a non-degenerate symmetric bilinear form. Let $$O_n(k,f):=\{ g\in GL_n(k) \mid \forall x,y\in k^n : f(x,y)=f(g.x,g.y) \}$$ and ...
4
votes
3answers
268 views

Is the group of isometries of a homogeneous Riemannian manifold maximal?

I have a homogeneous Riemannian manifold X with isometry group Iso. Is Iso a maximal group? By maximal group, I mean that there does not exist another group G such that: Iso is a proper subgroup of ...
0
votes
1answer
134 views

Automorphism group of an affine curve

Let $q$ be a power of an odd prime. Consider the affine curve $\mathcal C$ defined over $\mathbb F_q$ by $y^2=\prod_{\xi\in\mathbb F_q}(x-\xi)$. I try to determinate the $\mathbb F_q$-automorphism ...
2
votes
2answers
142 views

$PSL_2(\mathbb{Z}/p^n)$ isomorphic to automorphism group of depth-$n$, $(p+1)$-regular tree?

A comment on another question (linked below) states "The group $PSL_2((\mathbb{Z}/p^n))$ is the automorphisms group of the $(p+1)$ regular tree of depth $n$, where at level $m$ of the tree you have ...
3
votes
2answers
280 views

The group of diffeomorphisms with compact support

Let $M$ be a topological/differentiable manifold. Is there any topology on the group of homeomorphisms/diffeomorphisms with compact support, turning it into a (locally-)compact topological group? (My ...
0
votes
2answers
57 views

Lie Automorphisms and Isotopy

Let $X$ be a Lie group, $Aut(X)$ be the Lie automorphism group of $X$ (group automorphisms which are also diffeomorphisms), and $Homeo(X)$ be the homeomorphism group of the underlying manifold. For ...
12
votes
1answer
703 views

Find finite groups $G\cong Aut(G)$

I become interested in this problem because $G\cong Aut(G)$ suggests a special symmetry in $G$ (This kind of group describes its own symmetry). From $G/Z(G)\cong Inn(G)$ we know complete group is the ...
3
votes
2answers
418 views

A structure of the group of automorphisms of an infinite binary tree

My friend asked me to ask his question here. Where he can find (a paper or a book) containing a complete description (with the proof) of a structure of the group of automorphisms of an infinite binary ...
1
vote
2answers
248 views

Elementary group theory question

Is the following statement true in general? If $G$ is any group and $K(G)=\{x \in G ; \alpha(x)=x , \forall \alpha \in Aut_c(G)\}$ when $Aut_c(G)$ is the subgroup of all central automorphisms. Then ...
1
vote
0answers
116 views

Automorphism on F_2[[X,S]]

Let us define the automorphism $\sigma$ on ${\Bbb F}_2[[X,S]]$ such that $\sigma \colon S \mapsto S + S^2 + S^3$ $\sigma \colon X \mapsto X + S$. It is easy to see that the ideal $(S)$ is stable ...
9
votes
1answer
298 views

Do varieties with ample canonical bundle have finite automorphism group in small characteristic?

Suppose $X$ is a smooth projective variety over a field $k$, with ample canonical bundle. If $\operatorname{char}(k)=0$ or $\operatorname{char}(k)>\dim(X)$ and $X$ lifts to $W_2(k)$ (thanks ...
7
votes
4answers
373 views

On the fixed point of automorphism of F_3[[T]]

Consider the automorphism $\sigma$ on ${\Bbb F}_3[[T]]$ such that $T \mapsto c_1T + f(T)$ with $c_1 = 1$ or $-1$, and $f(T) \not=0$ and the non-zero leading term $c_mT^m$ of $f(T)$ satisfies $m \geq ...
3
votes
0answers
98 views

Certain subgroup of automorphism groups of binary codes

Suppose that $C$ is an binary linear code of length $n$ and dimension $k$ (i.e. it's a $k$-dimensional linear subspace of $\mathbb{F}_2^n$). As usual, the automorphism group of $C$ is the subgroup of ...
11
votes
1answer
416 views

Iterated Automorphism Groups

Notation: For each group $G$ define: $Aut^{(0)}(G):=G$ $Aut^{(1)}(G):=Aut(G)$ $\forall n\geq 1~~~Aut^{(n+1)}(G):=Aut(Aut^{(n)}(G))$ Question: Consider $I\subseteq \omega$. Is there a group $G$ ...
6
votes
4answers
337 views

Is the conjugacy problem solvable in $Out(F_n)$?

There is a paper of Martin Lustig on his webpage giving a positive answer to the conjugacy problem for the outer automorphism group of the free group $F_n$. On the other hand, there seems not to be a ...
3
votes
0answers
269 views

Automorphisms of the L-function associated to an elliptic $\mathbb{Q}$-curve

Edited after Noam Elkies' comment: From what I understand (very few actually), there exist elliptic curves defined over some number fields $\mathbb{K}$ Galois over $\mathbb{Q}$ which are isogenous to ...
3
votes
1answer
153 views

What are the endomorphisms of the group of affine transformations of a field?

Let $k$ be a field (I am mostly concerned with $k=\mathbb{Q}$) and let $A$ denote the group of affine transformations of $k$. In other words $A$ is (isomorphic to) the group ...
4
votes
2answers
267 views

Root system automorphisms as inner automorphisms of extended Chevalley group

For each automorphism $\sigma$ of a root system $\Phi$ there is a unique automorphism of the Chevalley group $G(\Phi,R)$ such that $\sigma(x_\alpha(t))=x_{\sigma\alpha}(t')$. While conjugating by ...
2
votes
1answer
145 views

$Aut(\mathbb{Z}G)=?$ for $G=\mathbb{Z}^2\rtimes_n\mathbb{Z}$

I am interested in the automorphism group of the group ring $\mathbb{Z}G$ for some noncommutative group $G$ of the form $\mathbb{Z}^2\rtimes_n\mathbb{Z}$, say ...
13
votes
1answer
424 views

Automorphisms of $P(\Bbb N)$

I believe I've proved that the power semigroup of non-negative integers with addition has a trivial automorphism group. The proof is a bit long, completely elementary and rather unremarkable (as the ...
6
votes
1answer
502 views

Automorphism group of a finite group

I would like to ask if there exists an explicit description of $\mathrm{Aut}(G)$, the group of automorphisms of a finite group $G$, in particular, when $G$ is abelian. E.g., if $G = ...
2
votes
1answer
178 views

Fixed points of IA automorphisms

Let $F_n$ denote the free group on $n$ generators $x_1,\ldots , x_n$. Recall that an element $\varphi\in\mathrm{Aut}(F_n)$ is an IA automorphism if it induces the identity on the abelianization ...
15
votes
0answers
282 views

Maximum automorphism group for a 3-connected cubic graph

The following arose as a side issue in a project on graph reconstruction. Problem: Let $a(n)$ be the greatest order of the automorphism group of a 3-connected cubic graph with $n$ vertices. Find a ...
8
votes
2answers
480 views

Proving that a generic variety with ample canonical bundle has no automorphisms

Let $X$ be a smooth projective connected variety over the complex numbers with ample canonical bundle. If $X$ is generic and $\dim X \leq1$, the automorphism group of $X$ is trivial, see for instance ...
6
votes
1answer
629 views

Automorphisms of Generic Abelian Varieties

Automorphism groups of elliptic curves are very well understood. Of course, every elliptic curve has the automorphism $[-1]$ of order $2$. If we are over a (algebraically closed) field, this is the ...
4
votes
1answer
228 views

Automorphism classes of the free group

As is well known, the conjugacy classes of the free group $F_2$ are parametrised by cyclically reduced words, up to cyclic permutation. In particular, it's easy to tell whether two elements of $F_2$ ...
3
votes
2answers
435 views

Automorphism group of a compact Kahler manifold

Good evening, I would like to ask the following questions. Let $X$ be a compact Kahler manifold. Denote by Aut(X) the group of all the biholomorphisms of $X.$ 1) What can we say about this group? ...
0
votes
1answer
160 views

Affine automorphisms of algebraic function field towers

Are there any well-known towers of function fields over finite fields whose automorphism groups contain a transitive subgroup consisting solely of affine maps? For a (non)example of what I'm looking ...
0
votes
1answer
222 views

When is a cyclic cover hyperelliptic?

Let us work over the complex numbers for simplicity. Consider a curve $C$ presented as a cyclic cover of some lower genus curve $C'$. When $C'$ has genus $0$, we can write $C$ as the normalization of ...
3
votes
2answers
448 views

Monotonic bijections of rational numbers

How can one characterize monotonic bijections from $\mathbb{Q}$ to $\mathbb{Q}$? It is easy to see that piecewise linear functions which are strictly monotonic and surjective will do the trick, but ...
22
votes
2answers
1k views

Does this poset have a unique minimal element?

Recently I have been thinking about the following poset: the underlying set is $\mathcal{AFT}$ consisting of all (finite) automorphism-free undirected trees (with at least one edge to exclude the ...
0
votes
2answers
338 views

Confused about orbits

I am trying to apply the main theorem of this paper to a certain kind of graph and keep getting confused. The theorem uses $rank(Aut\Gamma)$ which is defined as "the number of $Aut \Gamma$ orbits on ...