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

29
votes
1answer
589 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.
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 ...
15
votes
0answers
284 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 ...
13
votes
6answers
765 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: ...
13
votes
2answers
1k views

Realizing groups as automorphism groups of graphs.

Frucht showed that every finite group is the automorphism group of a finite graph. The paper is here. The argument basically is that a group is the automorphism group of its (colored) Cayley graph ...
13
votes
1answer
431 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 ...
12
votes
1answer
712 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 ...
11
votes
2answers
1k views

Example of a Group which has $\text{SL}_{n}(\mathbb{Z})$ as the automorphism group

For the past one week, I have been trying to learn more about Automorphism groups of different groups. Very recently one of my friend asked this question to me: What is the Autmorphism group of ...
11
votes
1answer
421 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$ ...
9
votes
2answers
477 views

Outer automorphisms of free groups into bigger free groups

This may be very either very simple or very unknown, but here goes: Let $F_n$ be the free group on $n$ generators and $Out(F_n)$ its outer automorphism group. Can embeddings $Out(F_n) ...
9
votes
1answer
302 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 ...
8
votes
2answers
484 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 ...
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; ...
8
votes
1answer
324 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 ...
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 ...
7
votes
1answer
346 views

Maximal subgroups of a certain finite 2-group

The following came up in a problem on reconstruction of digraphs. I determined enough about the answer to satisfy the application completely, but still I am curious to know what the complete solution ...
7
votes
1answer
2k views

Sylow subgroups invariant under an automorphism

Let $G$ be a finite group and $\sigma$ an automorphism of $G$. Suppose $p$ is a prime and $\sigma$ has prime order $q \neq p$. It's easy to see that $\sigma$ fixes a Sylow $p$-subgroup of $G$ if ...
7
votes
2answers
531 views

Automorphisms of subgroup of hamming cube under distance constraint

Let $S$ be a subset of $\{0,1\}^n$ such that any two elements of $S$ are at least (Hamming) distance 5 apart. I'm looking for an upper bound on the size of the automorphism group of $S$. There's a ...
6
votes
4answers
343 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 ...
6
votes
1answer
506 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 = ...
6
votes
1answer
337 views

Automorphism groups of virtually cyclic groups

Let $V$ be a virtually cyclic group. Then is $Aut(V)$ also a virtually cyclic group? This is true when $V$ is a finite group (zero-ended) and when $V = C_\infty, D_\infty$ (both two-ended).
6
votes
1answer
238 views

A restatement, in terms of the semi-group product of the left-invariant completion of a Polish group, of http://mathoverflow.net/questions/71389

This is a re-statement, of sorts, of Is there a relational countable ultra-homogeneous structure whose countable substructures do not have the amalgamation property?, so far unanswered. Let $G$ be a ...
6
votes
1answer
640 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 ...
6
votes
2answers
378 views

How big $|Aut(M)|$ can be, given $|\partial Aut(M)|$?

My apologies: There were a couple of typos in the original question. Hope I got them all. Let $\kappa$ be an uncountable cardinal of cofinality $\omega$ and $M$ a model of size $\kappa$. We equip ...
5
votes
3answers
1k views

The automorphism group of a hyperelliptic curve

Let $C$ be the projective smooth genus 2 curve defined by $y^2=x^5-x$ over $\mathbb F_5.$ What is the order of its automorphism group (automorphisms over $\mathbb F_5$)? I have seen different ...
5
votes
1answer
193 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 ...
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 ...
5
votes
0answers
154 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$ ...
4
votes
5answers
836 views

Is every distance-regular graph vertex-transitive?

Is every distance-regular graph vertex-transitive?
4
votes
2answers
668 views

Automorphism Group of some Classical groups

Hi All, I would like to know the Automorphism group of some simple classical groups, such as PSL(n,q) or some PSU or PSp groups. Could you please give me some recommended books or papers then? I ...
4
votes
2answers
477 views

Groups as automorphism groups of small graphs and the number of rigid graphs of a given size

In a recent question of mine I asked whether every infinite group is (isomorphic to) the automorphism group of a graph. The finite case was done by Frucht in 1939. The first answer to this ...
4
votes
1answer
151 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
184 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
1answer
229 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$ ...
4
votes
3answers
271 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 ...
4
votes
2answers
186 views

Examples of surface automorphisms with no periodic points

Consider a smooth projective complex surface $S$ with an automorphism $g:S\to S$. A point $p$ is periodic if it has finite orbit under iterates of $g$. What are some examples of surface ...
4
votes
1answer
1k views

Non-trivial consequences of Baer's theorem and Lucchini's theorem in subnormality theory

There are a couple of beautiful results in finite group theory that look trivial, at least on a first glance, but require non-trivial facts to prove. I am basically interested in whether these results ...
4
votes
1answer
163 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 ...
4
votes
0answers
265 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.) ...
3
votes
2answers
428 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 ...
3
votes
2answers
453 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 ...
3
votes
2answers
286 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 ...
3
votes
2answers
448 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? ...
3
votes
1answer
561 views

Automorphisms of an infinite direct product of abelian groups

Let $G = \prod_p \mathbb{Z}/p\mathbb{Z}$, where $p$ ranges over all primes, considered as an abelian group. What does $\text{Aut}(G)$ (or even $\text{End}(G)$) look like? I know that that if we take ...
3
votes
1answer
327 views

Automorphism group of factor groups

Let $G$ be a group and let $H$ be a factor group of $G$. Is there any result that relates $\operatorname{Aut}(G)$ (the automorphism group of $G$) and $\operatorname{Aut}(H)$? As a very special case ...
3
votes
1answer
147 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 ...
3
votes
1answer
261 views

Eigenvectors of asymmetric graphs

Let $G$ be an asymmetric connected graph. Then is it always the case that at least one of the eigenvectors of its adjacency matrix $A$ consists entirely of distinct entries? Thanks!
3
votes
1answer
158 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 ...
3
votes
2answers
268 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 ...
3
votes
1answer
154 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 ...