# Questions tagged [automorphisms]

An automorphism is an isomorphism from an object to itself, and which also preserves the objects structure .

59
questions

3
votes

0
answers

51
views

### Field automorphisms of projective spaces without the axiom of choice

Suppose P is a projective space over the field $k$. If P has finite dimension $n$, we can fix a base. Relative to this base, the full automorphism group of P can be described by the action on the ...

2
votes

1
answer

182
views

### $K3$ surfaces in $\mathbb P^1 \times \mathbb P^1 \times \mathbb P^1$

I am considering $K3$ surfaces in $\mathbb P^1 \times \mathbb P^1 \times \mathbb P^1$ with an automorphism that preserves an ample divisor class.
For an automorphism $\rho$ of a $K3$ surface, let ${\...

4
votes

0
answers

70
views

### Curves not invariant by non-trivial projective automorphisms

Let $g\ge 0$, $d\ge 1$ be integers. We consider the Moduli space $H_{g,d}$ parametrising smooth irreducible closed curves $C\subset \mathbb{P}^3$ of degree $d$ and genus $g$. Let us denote by $U_{g,d}$...

15
votes

2
answers

633
views

### Groups which maintain all their subgroups’ automorphisms as inner automorphisms

Are there any groups, finite or infinite, other than the first three symmetric groups which maintain all their subgroups’ automorphisms as inner automorphisms (every automorphism of every subgroup ...

1
vote

0
answers

79
views

### Are these maps, associated to finite simple graphs, interesting?

Given a finite simple graph on $n$ vertices, say $G = (V,\, E)$, where
$$ V = \{ v_1, \ldots , \, v_n \} $$
and
$$ E \subseteq \{ (v_a, \, v_b) \, | \, 1 \leq a < b \leq n \},$$
does there exist a ...

-2
votes

1
answer

126
views

### Are isomorphic quotients of abelian groups induced by automorphisms? [closed]

If I have an (abelian) group $G$ and an automorphism $\sigma: G \to G$ then for any subgroup $H$ of $G$ there is an induced isomorphism $G/H \cong G/\sigma(H)$ given by the map $gH \mapsto \sigma(g)\...

0
votes

1
answer

129
views

### Moving general fibers of a fibration

Let $X$ be an irreducible projective variety over $\mathbb{C}$ admitting a morphism $\pi:X\rightarrow \mathbb{P}^1$ with connected fibers. We may assume that the general fiber of $\pi$ is smooth.
My ...

1
vote

1
answer

134
views

### Would automorphisms cause nested subset-hood?

Working in $$\sf ZF + GC + j:V \xrightarrow {auto} V + \exists \alpha: V_{j(\alpha)} \subsetneq V_\alpha \land \alpha \text{ is limit }$$
Of course $j$ is external in the sense that it is not used in ...

1
vote

0
answers

61
views

### Is existence of external rank shifting automorphism proves moving of infinitely ranked stratified power stages of this theory?

In this posting, I've define stratified power sets $\mathcal P^\equiv$ operator.
Now we define $V^\equiv_\alpha$ as the iterative stratified power sets of $V_\omega$ as:
$$V^\equiv_0 = V_\omega \\ V^\...

1
vote

1
answer

135
views

### Do you know a finite unitary reversible ring that is not isomorphic to its opposite? And the minimal with that property?

Do you know a finite unitary reversible ring that is not isomorphic to its opposite? And the minimal with that property?
The examples of rings not isomorphic to their opposite that I know of are not ...

1
vote

1
answer

72
views

### When is a infinite transcendence-degree rigid fields fixed by a finite extension?

A field is rigid if it has no nontrivial automorphisms. Let $F$ be a rigid field which has infinite transcendence degree over $\mathbb{Q}$, and let $E$ be a finite extension of $F$. Then my question ...

5
votes

1
answer

234
views

### Isomorphisms of complete intersections

Let $X, Y\in \mathbb{P}^n$ be two singular Fano complete intersections of the same multidegree $(d_1,…,d_r)$.
If we assume there is an isomorphism $f\colon X\rightarrow Y$ are there any assumptions so ...

4
votes

1
answer

163
views

### Certain endomorphisms of $\mathbb{C}(x,y)$

Let $f: (x,y) \mapsto (p,q)$ be a $\mathbb{C}$-algebra endomorphism of $\mathbb{C}(x,y)$
satisfying the following two conditions:
(i) $\operatorname{Jac}(p,q):=p_xq_y-p_yq_x \in \mathbb{C}-\{0\}$.
(...

1
vote

0
answers

91
views

### Action on cohomology by automorphisms of ihs manifolds

For all known deformation types of irreducible holomorphic symplectic manifolds (which I call K3, K3$^n$, Kum$^n$, OG$^3$, OG$^5$, the exponent being half the complex dimension), it is known that the ...

3
votes

0
answers

116
views

### Isomorphisms of weighted complete intersections

Let $X\subset\mathbb{P}(a_0,\dots,a_n)$ and $Y\subset\mathbb{P}(b_0,\dots,b_n)$ be two weighted complete intersections with mild (say terminal) singularities.
Assume that there is an isomorphism $f:...

9
votes

1
answer

353
views

### Automorphisms and epimorphisms of finite groups

All groups in this question are finite, and epimorphism means surjective group homomorphism.
Suppose I have two epimorphisms $f,g\colon G\to H$. This implies that $\ker(f)$ and $\ker(g)$ have the ...

3
votes

1
answer

291
views

### Automorphisms of singular hypersurfaces

Let $X\subset\mathbb{P}^{n+1}$ be an irreducible and reduced hypersurface of degree $d$.
A theorem by Matsumura and Monski asserts that if $n\geq 2$, $d\geq 3$, $(n,d)\neq (2,4)$ and $X$ is smooth ...

2
votes

0
answers

102
views

### Are there half-transitive convex polytopes?

I only consider convex polytopes, i.e. convex hulls of finitely many points. The (edge-)graph of a polytope $P\subseteq\Bbb R^d$ is the graph consisting of the polytope's vertices, two are adjacent if ...

5
votes

0
answers

293
views

### Central extension of Tarski monsters

Suppose $G$ is a perfect group ($G=G'$) with the following properties. $G/Z(G)$ is a Tarski $p$-group or another simple finitely generated infinite group in which all proper subgroups are abelian, and ...

7
votes

1
answer

476
views

### Linear permutations commuting with $x\rightarrow x^{-1}$

Let $F = \operatorname{GF}(2^n)$ be a finite field. Define a permutation $\phi:F \rightarrow F$ by the formula
$$
\phi(x) = x^{-1}, \ x\neq 0; \ \phi(0) =0.
$$
We say that a permutations $\psi$ of $F$ ...

3
votes

1
answer

172
views

### Extension of isomorphism of fields

I know this is not a "research Mathematical question", but this is a question that I would ask to my Math colleagues, but no one could give me a readily "yes-no" answer. Unfortunately, this is not a ...

1
vote

0
answers

55
views

### Invertibility under base change for the Weyl algebra instead of for the polynomial algebra

From Lemma 1.1.8, we obtain the following:
Assume that $R \subseteq S$ are commutative rings
and
$u: R[x,y] \to R[x,y]$ is an $R$-algebra endomorphism
that has an invertible Jacobian, namely,
$Jac(u(x)...

3
votes

0
answers

124
views

### What is the name of this substructure/embedding?

I am interested in the following property, be it on an abstract or concrete category:
$A$ is a substructure of $B$ such that every automorphism of $A$ extends uniquely to an automorphism of $B$. Or ...

5
votes

1
answer

195
views

### Permutations of points in the projective plane

Let $p_1,...,p_7\in\mathbb{P}^{2}$ be seven general points in the projective plane $\mathbb{P}^{2}$ over the complex numbers.
Let $f$ be an automorphism of $\mathbb{P}^{2}$ inducing a permutation of $...

3
votes

1
answer

171
views

### Extending an automorphism to an inner one

Let $D$ be a division ring. I have in mind the following result.
Theorem. For every automorphism $f$ of $D$, there is a division ring $E$ extending $D$ such that $f$ extends to an inner automorphism ...

7
votes

3
answers

494
views

### growth of a free group automorphism is same for finite index subgroups?

Let $X=\{x_1,\dots,x_N\}$ and $F=F(X)$ be a free group generated by $X$. Let $\phi\colon F\to F$ be an automorphism of $F$. Define a growth function of $\phi$ as:
$$
\operatorname{gr}_{\phi,X}(n)=\...

2
votes

0
answers

168
views

### Constructible sets, I (Morphisms)

I have a number of questions on constructible sets. The first one is on morphisms: suppose $X$ and $Y$ are constructible sets, respectively in projective spaces $\mathbf{P}_1$ and $\mathbf{P}_2$ over ...

2
votes

2
answers

479
views

### Cross-ratio and projective transformations

Let $P=\{p_1,\ldots,p_6\}\subset\mathbb{P}^1$ be a set of six general points of the projective line. In particular there are no two different subsets $\{p_{i_1},\ldots,p_{i_4}\}$ and $\{p_{j_1},\ldots,...

4
votes

1
answer

339
views

### Extending an automorphism from a sub-algebra to the algebra

Let $A \subseteq B$ be two (associative with $1$) $k$-algebras, where $k$ is a field of characteristic zero, and let $f$ be a $k$-automorphism of $A$.
I am interested to know 'when' one can extend $f$...

1
vote

1
answer

190
views

### What happens when you internalize outer automorphisms?

Given a finitely presented group $G = (Gen|Rel)$, we have a set of inner automorphisms $\{ \phi_a(x) = axa^{-1} | a \in G\}$. Defining the set of outer automorphisms to be those automorphisms of $G$ ...

1
vote

0
answers

164
views

### automorphism group of tensor product of two graph

Is there any relation between the automorphism group of the tensor product of two graphs $G = G_1 \times G_2$ and the automorphism groups of $G_1$ and $G_2$?
I am aware of the nice results for the ...

7
votes

1
answer

330
views

### Conditions for a finite group to be isomorphic to its automorphism group

So in the interest of gaining a better understanding of a conjecture (due to Scott, 1960) on the automorphism series (first part of the automorphism tower, no direct limits) of a finite group that ...

0
votes

0
answers

117
views

### Simple automorphisms of finite relations

Finding automorphisms is a hard problem in general, but I am studying some simple subgroups of automorphisms, which are easy to find.
I have some r-ary relation R on a finite set U (if it was a ...

3
votes

0
answers

146
views

### Making extensions $L/K$ aware of the Galois group coming from $K/k$

Although inspired by my question on math.SE https://math.stackexchange.com/q/1902190/214353 this is not a crosspost. What happened is that after an answer and some comments I realized more clearly ...

1
vote

1
answer

388
views

### Automorphisms of rings fixing all prime ideals

Let $f,g:A \to B$ be two ring homomorphisms of noetherian rings satisfying that for any prime ideal $\mathfrak{q} \subset B$, $f^{-1}(\mathfrak{q})=g^{-1}(\mathfrak{q})=:\mathfrak{p}$ and the induced ...

0
votes

2
answers

282
views

### Curves in homogeneous varieties

Let $C$ be a curve in a projective homogeneous variety $X$.
Fixed a general point $x$ in $X$, does there exist a curve $V$ in $X$ passing
through $x$ and such that $C$ and $V$ have the same homology ...

3
votes

1
answer

370
views

### Automorphisms of Cartesian products

Let us consider the Cartesian product $X^r$, where $X$ is a smooth projective variety. There is a subgroup $Aut_{\Delta}(X^r)\subset Aut(X^r)$ of automorphisms of $X^r$ mapping a $k$-dimensional ...

1
vote

2
answers

299
views

### Automorphisms of locally trivial fibrations

Let $f:X\rightarrow Y$ be a locally trivial fibration with a variety $F$ as the fiber. Here $X, Y, F$ are smooth, projective varieties.
Does any automorphism of $F$ induce an automorphism of $X$?
In ...

12
votes

1
answer

440
views

### Obstructed automorphisms of schemes

Let $X$ be a smooth projective scheme over a field $\mathbf{k}$ of characteristic zero such that $\mathrm{H}^0(X, \mathrm{T}X)$ vanishes, and let $f$ be an automorphism of $X$. I would like to have an ...

4
votes

0
answers

1k
views

### Examples of a topological semidirect product

Let $G$ be a compact topological group, and $\operatorname{Aut}(G)$ the group of autohomeomorphisms of $G$. I have proved some (topological) results about the holomorph $G\leftthreetimes \operatorname{...

9
votes

1
answer

757
views

### Automorphisms of del Pezzo surfaces

Let $S$ be a del Pezzo surface of degree six over $\mathbb{C}$. Then $S$ is the blow-up of $\mathbb{P}^2$ in three general points $p_1,p_2,p_3$.
Is it true that its automorphism group is $((\mathbb{C}...

3
votes

1
answer

478
views

### Automorphisms of surfaces

Let $X$ be a projective surface with a morphism $f:X\rightarrow\mathbb{P}^1$. Assume that $f^{-1}(t)\cong\mathbb{P}^1$ for any $t\neq 0$ but $f^{-1}(0)$ is the union of two $\mathbb{P}^1$'s ...

0
votes

1
answer

141
views

### Graph automorphisms that preserve independent sets [closed]

Let $G=(V,E)$ be a graph and $\mathrm{Ind}(G)$ be the collection of its independent sets.
We call a graph automorphism $f:V \to V$ of $G$ good if it is non-trivial and $f(\mathrm{Ind}(G))=\mathrm{...

6
votes

0
answers

374
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

0
answers

111
views

### When polynomial GI implies polynomial (edge) colored GI?

(edge) colored graph isomorphism is GI which
preserves the colors (of edges if it is edge colored).
There are several reductions using transformations/gadgets
of (edge) colored GI to GI. For edge ...

3
votes

1
answer

992
views

### How hard is a variant of graph automorphism problem?

I'm interested in a variant of graph automorphism problem (which is prime candidate for $NP$-Intermediate problem).
Restricted GA
Input: Given an undirected graph $G(E, V)$, and $\epsilon |V|/2$ pairs ...

4
votes

1
answer

187
views

### Property of IA automorphisms of free groups

For $n \in\mathbb{N}$ define:
$X_n=\{x_1,\ldots,x_n\}$,
$F(X_n)$ the free group on $X_n$,
$\varphi:F(X_n)\to F(X_{n-1})$ an epimorphism defined by $x_i\stackrel{\varphi}{\mapsto} x_i$ for $1\le i\le ...

6
votes

3
answers

1k
views

### Automorphisms of a smooth quadric surface $Q\subset\mathbb{P}^{3}$

Let $Q\cong\mathbb{P^{1}_{1}}\times\mathbb{P^{1}_{2}}\subset\mathbb{P}^{3}$ be a smooth quadric surface. We have the following two actions on $Q$:
$$S_2\times Q\rightarrow Q,\; (\sigma,(x,y))\mapsto\...

2
votes

1
answer

348
views

### why do automorphisms preserve ample divisors?

Let $X \hookrightarrow \mathbb{P}$ be a smooth hypersurface inside some projective space $\mathbb{P}$ and let $H$ be a smooth hyperplane section of $X$. Now let $\varphi$ be an automorphism of $X$.
...

12
votes

1
answer

966
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$ ...