Questions tagged [automorphisms]

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

Filter by
Sorted by
Tagged with
5 votes
0 answers
148 views

Combinatorial classes where not almost all objects are asymmetric

Let $\mathcal{C} = \bigcup_{n=0}^{\infty}\mathcal{C}_n$ be a class of finite (labeled) combinatorial objects, where $\mathcal{C}_n$ is the set of objects on $[n] = \{1,2,\dotsc,n\}$. For example, $\...
Sam Hopkins's user avatar
  • 22.5k
10 votes
1 answer
544 views

Can automorphism equivalence in a free group be detected in a nilpotent quotient?

If $G$ is a group and $g_1, g_2 \in G$ let us write $g_1 \sim g_2$ if there is an automorphism $\alpha \in \operatorname{Aut}(G)$ such that $g_1^\alpha = g_2$. Let $F = F_2$ be the free group on two ...
Sean Eberhard's user avatar
0 votes
0 answers
108 views

Krull dimension of ring of invariants

Let $A$ be a $K$-algebra for some local number field $K$, and denote by $\dim A$ its Krull dimension. Let $G$ be an algebraic group defined over $\text{Spec}K$, and assume $G$ acts on $A$ by $K$-...
kindasorta's user avatar
  • 1,373
4 votes
1 answer
175 views

Subfields of division rings of degree $2$ which are not invariant

Let $A$ be a noncommutative division ring, and let $B$ be a sub division ring (here, $B$ is allowed to be commutative) of degree $2$. Are there easy examples known for which $B$ is not globally fixed ...
THC's user avatar
  • 4,313
1 vote
0 answers
57 views

Twisting a graded algebra by an automorphism (Transitivity)

Definition: Let $A=A=\bigoplus_{j=0}^{\infty} A_j$ be a connected $\mathbb{N}$-graded $k$-graded algebra and let $\phi\in\text{Aut($A$)}$ be a graded automorphism of degree zero. A new graded algebra ...
Lumi's user avatar
  • 11
4 votes
1 answer
274 views

The $1$-dimensional Jacobian Conjecture over $\mathbb{Z}$-torsion free rings

I am looking for further proofs, preferably in the literature, of the following result: Proposition: Let $R$ be a unital commutative $\mathbb{Z}$-torsion free ring. If $f(x) \in R[x]$ with $f'(x) \in ...
M.G.'s user avatar
  • 6,683
2 votes
0 answers
55 views

Composition of correspondences pulled back to $\mathrm{CH}_0$

Let $X,Y,Z$ be varieties. Given two correspondences $\Gamma_1 \subset X \times Y$ and $\Gamma_2 \subset Y \times Z$ there is a composition, $$ [\Gamma_1] \circ [\Gamma_2] = \pi_{13 *} (\pi_{12}^* [\...
Ben C's user avatar
  • 3,226
0 votes
0 answers
88 views

What is $(C, D, \delta, \gamma)$ and $(C, \delta; D, \gamma)$ Desarguesian?

A projective plane is $(C, \gamma)$-Desarguesian if for any 2 triangles $A_1 B_1 C_1, A_2 B_2 C_2$ in perspective from $C$ (which means $C \in A_1 A_2, B_1 B_2, C_1 C_2$) such that $A_1 B_1 \cap A_2 ...
Display name's user avatar
4 votes
1 answer
308 views

Automorphisms of vector spaces and the complex numbers without choice

In Zermelo-Fraenkel set theory without the Axiom of Choice (AC), it is consistent to say that there are models in which: there are vector spaces without a basis; the field of complex numbers $\mathbb{...
THC's user avatar
  • 4,313
1 vote
0 answers
113 views

Is the commutator of the holomorph of generalized quaternion group abelian?

Let $Q_{2^{n}} = \langle x, y \mathrel\vert x^{2^{n-1}}=y^4 = 1, x^{2^{n-2}}=y^2, y^{-1}xy = x^{-1} \rangle$ be the generalized quaternion group of order $2^{n}$. Let $\operatorname{Hol}(Q_{2^{n+1}})$ ...
bidermeyer's user avatar
3 votes
0 answers
61 views

Set of equivalence classes of a Lie algebra under the action of the automorphism group

I recently became interested in the following question: Given a Lie algebra $\mathfrak{g}$, define two elements $x,y\in\mathfrak{g}$ to be equivalent if there exists an automorphism $\phi\in\...
Joakim Arnlind's user avatar
2 votes
1 answer
110 views

About external automorphism on non-well founded model of Finite ZF?

Let $M$ a non-well founded model of Finite $\sf ZF$, which is $\sf ZF$ with axiom of infinity replaced by the axiom stating that all sets are finite. So there must be a set $\zeta$ that $M$ thinks it'...
Zuhair Al-Johar's user avatar
2 votes
0 answers
171 views

Automorphisms of a K3 surface

I was studying the following algebraic surface in $\mathbb{P}^5$ defined by the following three quadrics: \begin{cases} x^2 + xy + y^2=w^2\\ x^2 + 3xz + z^2=t^2\\ y^2 + 5yz + z^2=s^2. \...
did's user avatar
  • 595
3 votes
0 answers
65 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 ...
THC's user avatar
  • 4,313
1 vote
1 answer
251 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 ${\...
Basics's user avatar
  • 1,821
4 votes
0 answers
78 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}$...
Jérémy Blanc's user avatar
16 votes
2 answers
825 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 ...
Daniel Sebald's user avatar
1 vote
0 answers
80 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 ...
Malkoun's user avatar
  • 4,981
-2 votes
1 answer
156 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)\...
Jack's user avatar
  • 13
0 votes
1 answer
170 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 ...
user avatar
1 vote
1 answer
135 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 ...
Zuhair Al-Johar's user avatar
1 vote
0 answers
65 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^\...
Zuhair Al-Johar's user avatar
1 vote
1 answer
145 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 ...
José María Grau Ribas's user avatar
1 vote
1 answer
92 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 ...
Keshav Srinivasan's user avatar
5 votes
1 answer
278 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 ...
Theodoros Papazachariou's user avatar
4 votes
1 answer
175 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\}$. (...
user237522's user avatar
  • 2,783
1 vote
0 answers
100 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 ...
Davide Cesare Veniani's user avatar
3 votes
0 answers
128 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:...
user avatar
9 votes
1 answer
396 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 ...
Neil Strickland's user avatar
3 votes
1 answer
410 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 ...
user avatar
2 votes
0 answers
120 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 ...
M. Winter's user avatar
  • 12.5k
5 votes
0 answers
303 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 ...
W4cc0's user avatar
  • 599
7 votes
1 answer
498 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$ ...
Mikhail Goltvanitsa's user avatar
3 votes
1 answer
194 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 ...
user121276's user avatar
1 vote
0 answers
60 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)...
user237522's user avatar
  • 2,783
3 votes
0 answers
136 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 ...
Arnaldo Mandel's user avatar
5 votes
1 answer
230 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 $...
THF's user avatar
  • 51
3 votes
1 answer
200 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 ...
Drike's user avatar
  • 1,555
7 votes
3 answers
585 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)=\...
mathreader's user avatar
  • 1,040
2 votes
0 answers
193 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 ...
THC's user avatar
  • 4,313
1 vote
2 answers
547 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,...
Puzzled's user avatar
  • 8,832
5 votes
1 answer
478 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$...
user237522's user avatar
  • 2,783
1 vote
1 answer
203 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$ ...
Samuel Schlesinger's user avatar
1 vote
1 answer
344 views

Automorphism group of tensor product of two graphs

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 ...
user26766's user avatar
  • 111
8 votes
1 answer
462 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 ...
Justin Benfield's user avatar
0 votes
0 answers
123 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 ...
IvanKuckir's user avatar
3 votes
0 answers
152 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 ...
მამუკა ჯიბლაძე's user avatar
1 vote
1 answer
421 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 ...
Ron's user avatar
  • 2,116
0 votes
2 answers
291 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 ...
user avatar
3 votes
1 answer
451 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 ...
user avatar