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